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 0347A7EE35 for ; Thu, 21 Apr 2016 23:07:08 +0200 (CEST) IronPort-PHdr: 9a23:HUaSOx3dUXdzreScsmDT+DRfVm0co7zxezQtwd8ZsegeKvad9pjvdHbS+e9qxAeQG96Lu7Qa26GP7vuocFdDyKjCmUhKSIZLWR4BhJdetC0bK+nBN3fGKuX3ZTcxBsVIWQwt1Xi6NU9IBJS2PAWK8TWM5DIfUi/yKRBybrysXNWC34Lph6vrpsabSj4LrQT+SIs6FA+xowTVu5teqqpZAYF19CH0pGBVcf9d32JiKAHbtR/94sCt4MwrqHwI6LoXzeBrFODQdqgDQLpDDSgnLWEp9YWr70GCHj2v+n4YdWMSg18NOwjE9xH7WJi0lHCq5q8hhGHaZpWuDON8ZTP35K5uTFrsiTwbHz8/6mDezMJq34xBpxf0vx10zYrTV9u9K/d0OK/QLoBSfnZIQssEDn8JOYi7dYZaVLBZMA== 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.14; 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.14 as permitted sender) identity=mailfrom; client-ip=212.227.15.14; 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.14; 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: A0BEAgCiPxlXkA4P49RegmypYgQDgXkBjieCHYF0hg4lgQo6EgEBAQEBAQEBEQEBAQEHDQkJIS+CMoIGM2sJARYCJgJLOIgDARmfF49di1gfhVJ8hyKHGRAwgjSCVgWYD5dJBIVXjy4nCoFnAQtTgVaJYAEBAQ X-IPAS-Result: A0BEAgCiPxlXkA4P49RegmypYgQDgXkBjieCHYF0hg4lgQo6EgEBAQEBAQEBEQEBAQEHDQkJIS+CMoIGM2sJARYCJgJLOIgDARmfF49di1gfhVJ8hyKHGRAwgjSCVgWYD5dJBIVXjy4nCoFnAQtTgVaJYAEBAQ X-IronPort-AV: E=Sophos;i="5.24,514,1454972400"; d="scan'208,217";a="215343181" Received: from mout.web.de ([212.227.15.14]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 21 Apr 2016 23:07:07 +0200 Received: from [95.91.238.172] by 3capp-webde-bs06.server.lan (via HTTP); Thu, 21 Apr 2016 23:07:06 +0200 MIME-Version: 1.0 Message-ID: From: picflo_2@web.de To: caml-list@inria.fr Content-Type: text/html; charset=UTF-8 Date: Thu, 21 Apr 2016 23:07:06 +0200 Importance: normal Sensitivity: Normal X-Priority: 3 X-Provags-ID: V03:K0:yUYEW5fW5CgzZiG2feMl7QXwQMOn4YapNKl3GTwbSxD /cDQfPagmRpRzBrLAEGnBCwh4fXR9LFEQs/OJr+o2yv8RQ7KBP TR8idufrCjDgyx3XdDZ16qjuE/n7BQavYmpcmmJmYf0ZMGDJPw n4U5UFiXbZ69ogNdCL0wyC1D8j+uXYfXuT+vcB9SCPteuBSLsa xCGDg6oX3NPE5pAPhXQp3wpz6uqXsJNAXUMlv9e5dokOneSd6e XpGyO8Z9veSCtpMVFJMpedbV1c1g40tIypoLw2oYGL7+OUiDVJ zX6g/o= X-UI-Out-Filterresults: notjunk:1;V01:K0:btLh3kPtsys=:5/5VGREMZkXsBxWq5yi8Wr TmlGikMrgYPQ5GH3s9A7Xqv6tbgBoNL1Fuo4D0GAGjca/o8qKQ+Tn3nLvaGyCAN2Ns/DLnIy/ fOCLOmsEAYoypkCvQ67OkhBvtobwsOuNXqIIqOGQ+hM03Jza1Ls04j2zeSZsrS+pFZZ+0Firv YYZC0LUL8ALAiL9ub8/wU1SqtCS0+r1egqgesu5qmQCcaXxEPO/SPS4UfA4kIjhqd9LTRd7H9 GOEorzSCVaLvAxX5eqYHXiin0BkAgEh/slV4DAXDwt0V8yvD9Nxn+WywoUl3d5VYYDam9ok75 1BjY0Z0cwOMSP5KmFxqW9tzfBIB9c9n/tIzU6svo53/fpAQBLDqOdyS9j4XpE+flxUi57BIx4 Jhm1+o2lxL3R/WonQa5fmPQ5a6xtplBvIuW21EKwv9fEbqceoBk3rm2MsJkhTktAqirAePNV+ cOmnZGNnb2bIFanCPAVmIQfppT1wvmCHyBB4MuMEhJH2Rc8/t2YRlJobIbJh5w3FkgJ2p1wg9 DLR5pnYGS8FJR4VWb43zcIE254nmqjfA5Y4g2f4lxbKYUhuQT3xlChPlzwJc3JOnE0tRfuomW J7elydMDRiuOQwZDWEP8j3sXnfMOvaICz3 X-Validation-by: picflo_2@web.de Subject: [Caml-list] LLVM debug information

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