From: whitequark <whitequark@whitequark.org>
To: picflo_2@web.de
Cc: schoepp@tcs.ifi.lmu.de, caml-list@inria.fr
Subject: Re: [Caml-list] LLVM debug information
Date: Mon, 02 May 2016 19:15:16 +0300 [thread overview]
Message-ID: <58ec94d13dc4bc534bfb1e180822b966@whitequark.org> (raw)
In-Reply-To: <trinity-396d9e31-9b84-4c79-9ee6-6fcf801c20f7-1461318681954@3capp-webde-bap16>
On 2016-04-22 12:51, picflo_2@web.de wrote:
> 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
Exposing DIBuilder to llvm-c properly is somewhat complicated and what
you propose was considered and rejected over two years ago. However,
there is ongoing work to bring debug information to LLVM-C and you
may watch it on http://reviews.llvm.org/D19088.
After that's merged the OCaml part is straightforward.
>
> 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
--
whitequark
next prev parent reply other threads:[~2016-05-02 16:15 UTC|newest]
Thread overview: 5+ messages / expand[flat|nested] mbox.gz Atom feed top
2016-04-21 21:07 picflo_2
2016-04-22 8:46 ` Ulrich Schöpp
2016-04-22 9:51 ` Aw: " picflo_2
2016-05-02 16:15 ` whitequark [this message]
2016-05-04 13:18 ` picflo_2
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=58ec94d13dc4bc534bfb1e180822b966@whitequark.org \
--to=whitequark@whitequark.org \
--cc=caml-list@inria.fr \
--cc=picflo_2@web.de \
--cc=schoepp@tcs.ifi.lmu.de \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox