From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 80D8B7EF01 for ; Wed, 4 May 2016 15:18:51 +0200 (CEST) IronPort-PHdr: 9a23:UrIa2BB/vJMX105O3d1sUyQJP3N1i/DPJgcQr6AfoPdwSP79pMbcNUDSrc9gkEXOFd2CrakU2qyO6eu+ACQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTmkbjosMOKKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FpwfRueuC/Va00drFeFzU6Mn40+Nyj9UObDFjH2nxJTWUXjhdRHgHf71muQZfwribjq+Nn2wGFPczqQKkpUC6hqaBxR0m7pj0AMmsh8WrZjstH1opErRjnqxEskMbvfIiJOa8mLevmdtQASD8bBss= Authentication-Results: mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of picflo_2@web.de) identity=pra; client-ip=212.227.15.3; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="picflo_2@web.de"; x-sender="picflo_2@web.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of picflo_2@web.de designates 212.227.15.3 as permitted sender) identity=mailfrom; client-ip=212.227.15.3; receiver=mail2-smtp-roc.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 (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.web.de) identity=helo; client-ip=212.227.15.3; receiver=mail2-smtp-roc.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: A0AsAADq9SlXkAMP49RegmyBH323WYIPAQ2BdSSFaAEBAQECI4EPOBQBAQEBAQEBAREBAQEBBw0JCSEvgi2CFAEBAQMBI1YQBR4CAiYCAkkOBhMRiAMBAwoMCqt3i3cfKyKEMAEBAQEBAQQBAQEBAQEBGXyHIgGFLoFpAxAGgl2CWQWIAocIiQ+FfIpShwEEhViHZ4dNDw8BAYJYgVdqiDwBAQE X-IPAS-Result: A0AsAADq9SlXkAMP49RegmyBH323WYIPAQ2BdSSFaAEBAQECI4EPOBQBAQEBAQEBAREBAQEBBw0JCSEvgi2CFAEBAQMBI1YQBR4CAiYCAkkOBhMRiAMBAwoMCqt3i3cfKyKEMAEBAQEBAQQBAQEBAQEBGXyHIgGFLoFpAxAGgl2CWQWIAocIiQ+FfIpShwEEhViHZ4dNDw8BAYJYgVdqiDwBAQE X-IronPort-AV: E=Sophos;i="5.24,577,1454972400"; d="scan'208,217";a="216961651" Received: from mout.web.de ([212.227.15.3]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 04 May 2016 15:18:50 +0200 Received: from [62.96.41.227] by 3capp-webde-bs25.server.lan (via HTTP); Wed, 4 May 2016 15:18:49 +0200 MIME-Version: 1.0 Message-ID: From: picflo_2@web.de To: whitequark Cc: schoepp@tcs.ifi.lmu.de, caml-list@inria.fr Content-Type: text/html; charset=UTF-8 Date: Wed, 4 May 2016 15:18:49 +0200 Importance: normal Sensitivity: Normal In-Reply-To: <58ec94d13dc4bc534bfb1e180822b966@whitequark.org> References: , <5719E4F4.1070203@tcs.ifi.lmu.de> , <58ec94d13dc4bc534bfb1e180822b966@whitequark.org> X-UI-Message-Type: mail X-Priority: 3 X-Provags-ID: V03:K0:UDX/OZQmt5OjGYJXTw95+LtOFGR2EJHWCa9nj/lgpLO erHbOay+YOQiK8qNdug3jyMrNHsqmmYBTWB+oZF3rAtHNuQbYB qo9jc7ABQD0Y4Rw/Y+hhFW43Trra5g6Fcyh4nWjblz7hChA1FB YjwBNb3JSosg2W+PKMp+70uzhgbX1y276vl/IOF9iUOesv9Y2K 4X5i0+PAl5gCFfMCMCLqFy9IHT42sA/kvEU97eSrOKNxeOun71 WjH86V2FvpVvxYMZ3jPn7lflBVx/poPxpD2GdutdPy4+xfYH5y Ac7R/Y= X-UI-Out-Filterresults: notjunk:1;V01:K0:8booh6hCrqU=:AQDHtUKcE7gPyBxqyZ51JO w1ROP1vauohqsTRk/Jbrq+NpbqbqTGXAJ+LZMBLIZMA8gPtFLwm46KW4ErcIdrxmtkj5dKJ27 SA7ItdF6afGMo/cKSUZiclC9zmRp8VFEsW8YbCX178uyJZrsLX3b7Us3QKRPyWv/ErGhqfcoh Exj5Jg1BKL34czLyGQqnfDcjofUJGC4oPW6UdaacMSwUU8x9Qgrq9uIw5B35Aum2F1+hDVHno 62h6z9f+IHsynykSIiG1nWAZSBvcgzZszonHFpPqJm/6/TeiIDBg+rH6VKGUMLTN5ZqAYVUSQ xkdxRArPgIRHjjo0PjjOJO44043x36nR3+Csh1p1FB94DKggzoEUGS1zikmAVXPrPjXYdr0pK wp60L42/OkanKxKl3dPtU49n0CqACFU4IzfjUtoQEBIEysW5p5KO1QOXWoI3OU6sZVv5OxW19 m2ZwbTCE6Q== X-Validation-by: picflo_2@web.de Subject: Aw: [Caml-list] LLVM debug information
Hi,
 
thanks for that information, i will watch it
 
Florian
 
Gesendet: Montag, 02. Mai 2016 um 18:15 Uhr
Von: whitequark <whitequark@whitequark.org>
An: picflo_2@web.de
Cc: schoepp@tcs.ifi.lmu.de, caml-list@inria.fr
Betreff: Re: Aw: [Caml-list] LLVM debug information
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