From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 57E757EE79 for ; Fri, 22 Apr 2016 10:46:50 +0200 (CEST) IronPort-PHdr: 9a23:sZStvRBYQk2y4GmzVKNuUyQJP3N1i/DPJgcQr6AfoPdwSP7/p8bcNUDSrc9gkEXOFd2CrakU26yJ6+u4AyQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTnkb/qsMWJKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46FppIZ8VvDxdqE8CLhZFygOMmYv5cStuwOQYxGI4y4hVn8XmRp/OAPFcgniFsPquSv9u/Jl8DWRJov3Q7FyXTG/qatmHky7wBwbPiI0pTmEwvd7i7hW9Uqs Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=schoepp@tcs.ifi.lmu.de; spf=None smtp.mailfrom=schoepp@tcs.ifi.lmu.de; spf=None smtp.helo=postmaster@acheron.ifi.lmu.de Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of schoepp@tcs.ifi.lmu.de) identity=pra; client-ip=129.187.214.135; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="schoepp@tcs.ifi.lmu.de"; x-sender="schoepp@tcs.ifi.lmu.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of schoepp@tcs.ifi.lmu.de) identity=mailfrom; client-ip=129.187.214.135; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="schoepp@tcs.ifi.lmu.de"; x-sender="schoepp@tcs.ifi.lmu.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@acheron.ifi.lmu.de) identity=helo; client-ip=129.187.214.135; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="schoepp@tcs.ifi.lmu.de"; x-sender="postmaster@acheron.ifi.lmu.de"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0BeAABK5BlXjYfWu4FehAt9t3eCDw6BdCSFagKBKzgUAQEBAQEBAQERAQEBAQkLCwchL4ItghUBAQQjVRELGAkWCwICCQMCAQIBNw4TBgIBAYgRAxIOrgWMJiKEWwELFgQEimyCXoItgjSCVgWYD4MogWZtkU4EhVePLx4BgliBVjowiHYBAQE X-IPAS-Result: A0BeAABK5BlXjYfWu4FehAt9t3eCDw6BdCSFagKBKzgUAQEBAQEBAQERAQEBAQkLCwchL4ItghUBAQQjVRELGAkWCwICCQMCAQIBNw4TBgIBAYgRAxIOrgWMJiKEWwELFgQEimyCXoItgjSCVgWYD4MogWZtkU4EhVePLx4BgliBVjowiHYBAQE X-IronPort-AV: E=Sophos;i="5.24,516,1454972400"; d="asc'?scan'208";a="175407760" Received: from acheron.ifi.lmu.de ([129.187.214.135]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 22 Apr 2016 10:46:49 +0200 Received: from [10.153.73.68] (assisi.tcs.ifi.lmu.de [10.153.73.68]) (using TLSv1 with cipher DHE-RSA-AES128-SHA (128/128 bits)) (No client certificate requested) (Authenticated sender: schoepp.uli.tcs) by acheron.ifi.lmu.de (Postfix) with ESMTPSA id 0F18D94A2A7 for ; Fri, 22 Apr 2016 10:46:49 +0200 (CEST) To: caml-list@inria.fr References: From: =?UTF-8?Q?Ulrich_Sch=c3=b6pp?= Message-ID: <5719E4F4.1070203@tcs.ifi.lmu.de> Date: Fri, 22 Apr 2016 10:46:44 +0200 User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:38.0) Gecko/20100101 Thunderbird/38.6.0 MIME-Version: 1.0 In-Reply-To: Content-Type: multipart/signed; micalg=pgp-sha512; protocol="application/pgp-signature"; boundary="wBhW7gMAdMKGON28pmS3fknVqC1POfjgt" Subject: Re: [Caml-list] LLVM debug information This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --wBhW7gMAdMKGON28pmS3fknVqC1POfjgt Content-Type: multipart/mixed; boundary="Al0kcKUNIgxmGTDSXarpGHFQ7DwUA8lRB" From: =?UTF-8?Q?Ulrich_Sch=c3=b6pp?= To: caml-list@inria.fr Message-ID: <5719E4F4.1070203@tcs.ifi.lmu.de> Subject: Re: [Caml-list] LLVM debug information References: In-Reply-To: --Al0kcKUNIgxmGTDSXarpGHFQ7DwUA8lRB Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable 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/DIBuilderB= indings.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, >=20=20 > 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? >=20=20 > Best regards, >=20=20 > Florian --Al0kcKUNIgxmGTDSXarpGHFQ7DwUA8lRB-- --wBhW7gMAdMKGON28pmS3fknVqC1POfjgt Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v2 iQEcBAEBCgAGBQJXGeT4AAoJEGXFPOSpuhK+WTAH/Rv+hLw3ayj6buV/drAi/qMP uHQgei6jrHLLqpPosOus6zZVLrDdEF0Lw4EneAbPuDBuC7Zz12sfHOvtok6+6Ny4 TdXk5ofaSYyOY76BC2POVcTEo2p+MLWWB+vMzcMdZicBaAT3z5F+vsTop8WYGmS+ SwxZ7613xgy3FGcEoX2+9lmA37VkbRgORJTr8jOFiAZtI8Boyh+BcKhN2AekX5FX Q+d5oNbvd+OmrYUl7iQnACbotwiyhDg1HmEAz2MUpPSvZhf4AO7JOhFWSopsCwq+ t5W14XJMetcZB7M5jCT8LWHFS/IhMbrfYdnVfEBvsu6qTQM78m+EfTAKJQAGODg= =5qZZ -----END PGP SIGNATURE----- --wBhW7gMAdMKGON28pmS3fknVqC1POfjgt--