From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id 2EC7A7EE35 for ; Fri, 22 Apr 2016 11:51:24 +0200 (CEST) IronPort-PHdr: 9a23:xRLDMhWDk/74DAXZlYA70OD0Xu/V8LGtZVwlr6E/grcLSJyIuqrYZhCAt8tkgFKBZ4jH8fUM07OQ6PCwHzNYqs/c+Fk5M7VyFDY9wf0MmAIhBMPXQWbaF9XNKxIAIcJZSVV+9Gu6O0UGUOz3ZlnVv2HgpWVKQka3CwN5K6zPF5LIiIzvjqbpq82VPF0D3Wf1SIgxBSv1hD2ZjtMRj4pmJ/R54TryiVwMRd5rw3h1L0mYhRf265T41pdi9yNNp6BprJYYAu3MRYoTCPlyBTgdPmYu5dHqqxjfXEPPvCNdAS0qlU9TCAjC4Qnidov6qW37uOs73CyHe8H7Hp4uXjH396ZgRhvvv30vKDMztm3a2Z84t75SvB/0/083+IXTeozAbqJz Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=picflo_2@web.de; spf=Pass smtp.mailfrom=picflo_2@web.de; spf=None smtp.helo=postmaster@mout.web.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of picflo_2@web.de) identity=pra; client-ip=212.227.17.12; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="picflo_2@web.de"; x-sender="picflo_2@web.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of picflo_2@web.de designates 212.227.17.12 as permitted sender) identity=mailfrom; client-ip=212.227.17.12; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="picflo_2@web.de"; x-sender="picflo_2@web.de"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.web.de) identity=helo; client-ip=212.227.17.12; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="picflo_2@web.de"; x-sender="postmaster@mout.web.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CnAABo8hlXkAwR49RegmyBH32nVZAigh2BdCSFagIjgQk5EwEBAQEBAQEBEQEBAQEHDQkJIS+CLYIVAQEEI1YQBQoUAgImAgJJDhkRiAMBAxYKrXSLXh8rIoRbAQEBAQEBAQMBAQEBAQEWBHyHIoUsgWoDEBEfgjSCVgWYD4V7kU4EhVePLyEBglWBVmqIdgEBAQ X-IPAS-Result: A0CnAABo8hlXkAwR49RegmyBH32nVZAigh2BdCSFagIjgQk5EwEBAQEBAQEBEQEBAQEHDQkJIS+CLYIVAQEEI1YQBQoUAgImAgJJDhkRiAMBAxYKrXSLXh8rIoRbAQEBAQEBAQMBAQEBAQEWBHyHIoUsgWoDEBEfgjSCVgWYD4V7kU4EhVePLyEBglWBVmqIdgEBAQ X-IronPort-AV: E=Sophos;i="5.24,516,1454972400"; d="scan'208,217";a="175419180" Received: from mout.web.de ([212.227.17.12]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 22 Apr 2016 11:51:23 +0200 Received: from [62.96.41.227] by 3capp-webde-bap16.server.lan (via HTTP); Fri, 22 Apr 2016 11:51:21 +0200 MIME-Version: 1.0 Message-ID: From: picflo_2@web.de To: schoepp@tcs.ifi.lmu.de Cc: caml-list@inria.fr Content-Type: text/html; charset=UTF-8 Date: Fri, 22 Apr 2016 11:51:21 +0200 Importance: normal Sensitivity: Normal In-Reply-To: <5719E4F4.1070203@tcs.ifi.lmu.de> References: , <5719E4F4.1070203@tcs.ifi.lmu.de> X-UI-Message-Type: mail X-Priority: 3 X-Provags-ID: V03:K0:liWLokSVzIinHFGufi97pkENqc4RchxtTaWymyoWv7k gr+MUkGzgFD7UJ596p2IGAxCQTK0n9h2Ec5nUAN0GBXbVpX5aD TnOUx7tDROEcUwmznfP6F1dklJRNSWosBlnuIF7EfGV+0iU44A LykWTBdFy53kmu0r43PQcZr9MKKfyjt/e7zOIB2Wc4YANy7w1X rrh8PzcjuRqrDxicWCXymFfC7cu0Bunz/1f2xijx1IATV3aACL 0H/A9GERPSbtPEZob3hIGH/zpMKCww2i6xVXWroaHMIPXGjfvg GtNcqTdcuxPZzf0IV+0rag1vWdj X-UI-Out-Filterresults: notjunk:1;V01:K0:SLgnyqQR0Cs=:DIIk0HqdM1xLb6A2wzmrom UfE4MTTjbX4PtNJeOTFN62MG+wYwe8arZeZPxXR0yGGp4zIPVsMdZnnX4Zu3bcRezGGcE6hRH RYnniaCjgg/BDsmuXvPTVuDMn/Hkp2iLt4H7dQ1DuxhLqCKSWp1g53f8N4cI4jkS2EnB+IJGq bgO465BJAgyEeOYuMYvX38yKvYJ/nEz+3UWetgegcMJA07CVLj8ZxWEFGfffd+YD5aUf0w0Al ubIlGd1VwDPWdyFnr668UVO2InRYJJKbU4Pt4AO3CyXYb2zzGHw0uIJmZGvKh7B1t6mA3sNLd rsGhifrz/F1cPjp0VVQ0+Ht41xnZzGMs4t5AEKTqe5t3JSuem5Pa6irhG2C59ff3wWJeelwdT v3fJ2Wzqple4Q1U4c7IX0ae7u3qNyQIiGL5Nkw+jdrMaDNClSYbTkvvxrrQMnbexFpfpI5KEt lWxNUFxH7g== X-Validation-by: picflo_2@web.de Subject: Aw: [Caml-list] LLVM debug information
Hi,
 
thanks for the link seems promising.
 
There shouldn't be then any objective to make a pull request to move this or a copy of it into the
llvm/include/llvm-c folder? From there on we could work on the missing ocaml bindings
 
Best,
Florian
 
Gesendet: Freitag, 22. April 2016 um 10:46 Uhr
Von: "Ulrich Schöpp" <schoepp@tcs.ifi.lmu.de>
An: caml-list@inria.fr
Betreff: Re: [Caml-list] LLVM debug information
Hi,

have you seen that the go bindings already contain a C wrapper for the
DIBuilder class?

https://github.com/llvm-mirror/llvm/blob/master/bindings/go/llvm/DIBuilderBindings.h

It contains this comment:

// FIXME: These bindings shouldn't be Go-specific and should eventually
// move to a (somewhat) less stable collection of C APIs for use in
// creating bindings of LLVM in other languages.

I would also be interested in OCaml bindings for this.

Best,
Ulrich

On 21/04/16 23:07, picflo_2@web.de wrote:
> Hi all,
>
> at the company I currently work for LLVM is used for the backend of a
> DSL. Since this DSL is missing a debugger
> i was looking into this topic and what would actually be missing to add
> the required information to use something like
> lldb or gdb or even link it to the Visual Studio MI Debug Engine to
> debug the resulting code. If I understand it correctly
> the OCaml LLVM bindings only give access to the IRBuilder class and not
> the required DIBuilder class? Would it be sufficient
> to add at first the C wrapper for the DIBuilder class and then the OCaml
> bindings using these C wrapper to add debug information
> to the offical LLVM repo to start writing a DSL specific debugger using
> OCaml?
>
> Best regards,
>
> Florian