similar to: [LLVMdev] Improving OCaml bindings

(readding llvmdev) On Sun, Nov 3, 2013 at 1:40 AM, Peter Zotov <whitequark at whitequark.org>wrote: > Sean Silva писал 03.11.2013 09:22: > >> On Sat, Nov 2, 2013 at 9:04 PM, Peter Zotov <whitequark at whitequark.org> >> wrote: >> >> Hello folks. >>> >>> I'm very interested in improving LLVM's OCaml bindings. I have

Hello folks. I'm very interested in improving LLVM's OCaml bindings. I have several nontrivial patches sitting on llvm-commits for several weeks, and so far there's been little interest in them. Could someone with a good understanding of OCaml please take a look at these? 1) http://llvm-reviews.chandlerc.com/D1925 Every other function in OCaml bindings accepts context

I've just committed the first two chapters of my ocaml llvm bindings tutorial by porting the Kaleidoscope tutorial to ocaml. These chapters are the lexer and parser. If anyone is interest in trying it out, I'd love any feedback. If you've got the svn trunk checked out, you'll find the docs here: docs/tutorial/OCamlLangImpl1.html docs/tutorial/OCamlLangImpl2.html If not, you can

On Sunday 25 November 2007 20:01, Gordon Henriksen wrote: > On Nov 25, 2007, at 11:49, Jon Harrop wrote: > > On Sunday 25 November 2007 12:23, Gordon Henriksen wrote: > >> If ocamlc is on your path, then 'configure; make; make install' > >> should install the bindings in your ocaml lib. > > > > Right. I hadn't noticed they were already installed

On Mar 27, 2008, at 04:30, Erick Tryzelaar wrote: > I've just committed the first two chapters of my ocaml llvm bindings > tutorial by porting the Kaleidoscope tutorial to ocaml. These chapters > are the lexer and parser. If anyone is interest in trying it out, I'd > love any feedback. If you've got the svn trunk checked out, you'll > find the docs here: > >

Hi, thanks Chris and Gordon for the fantasic infrastructure and ocaml bindings and Erick for the prompt response! I'm looking to use LLVM to write program analyses for C/C++ programs, but to use Ocaml to write the analyses. I did see there were bindings for iterating over: * functions in a module [iter_functions] * basic blocks in a functions [iter_blocks] * instructions in a block

On Nov 25, 2007, at 11:49, Jon Harrop wrote: > On Sunday 25 November 2007 12:23, Gordon Henriksen wrote: > >> If ocamlc is on your path, then 'configure; make; make install' >> should install the bindings in your ocaml lib. > > Right. I hadn't noticed they were already installed after llvm "make > install" in: > > /usr/local/lib/ocaml/

On Mon, Jul 26, 2010 at 10:15 AM, Jason Johnson <jason.johnson.081 at gmail.com> wrote: > Hello list, > > Since reading the kaleidoscope tutorial I have decided to play around with creating a language I've had in the back of my mind for some time.  I would prefer not to write the front end in c or c++ though if it can be avoided.  I read online that the ocaml bindings are

(ccing llvmdev) Hi Ranjit! I only ported Chris's tutorial and Gordon did the vast majority of the bindings, so they deserve most of the praise. I believe there are techniques for walking over the CFG. You can load up code using Llvm_bitreader, use things like Llvm.iter_globals, Llvm.iter_functions, and Llvm.iter_instrs to walk over the module, and write out a new llmodule using

Hello list, Since reading the kaleidoscope tutorial I have decided to play around with creating a language I've had in the back of my mind for some time. I would prefer not to write the front end in c or c++ though if it can be avoided. I read online that the ocaml bindings are distributed with llvm but are not always as up to date as the c or c++ bindings. Is this (still) the case? Is

Attached are updated LLVM-OCaml Bindings Tutorial from Chris Wailes. (http://lists.cs.uiuc.edu/pipermail/llvmdev/2009-April/021804.html) We changed them to work with the latest APIs(LLVM2.6 and the latest LLVM from SVN). Does anyone know if there is any realistic project using LLVM-OCaml Bindings? How is the performance? Jianzhou -------------- next part -------------- A non-text attachment was

On Tue, Feb 16, 2010 at 2:47 AM, Jon Harrop <jon at ffconsultancy.com> wrote: > On Tuesday 16 February 2010 03:51:00 Jianzhou Zhao wrote: >> Does anyone know if there is any realistic project using LLVM-OCaml >> Bindings? > > I've written a VM in OCaml built upon LLVM using LLVM's OCaml bindings: > >  http://www.ffconsultancy.com/ocaml/hlvm/ > > There

On Tuesday 16 February 2010 03:51:00 Jianzhou Zhao wrote: > Does anyone know if there is any realistic project using LLVM-OCaml > Bindings? I've written a VM in OCaml built upon LLVM using LLVM's OCaml bindings: http://www.ffconsultancy.com/ocaml/hlvm/ There are at least two other significant users of LLVM's OCaml bindings, AFAIK. > How is the performance? Performance

Attached are alternative the files for chapters 1-7 that use ocamlyacc and ocamllex. I have cleaned them up and debugged them as best I can but I may have missed something, so any comments on them would be great. Also, the LLVM-OCaml bindings are messed up in Fedora 10 (some of the binary files point to their origonal build directory) so I had to put in a dirty hack in the Makefile. I left in

The full series of the ocaml tutorial is done! You can find it here: http://llvm.org/docs/tutorial/ Please let me know if you have any comments, bugs, suggestions, and etc. I'll send a mail to the ocaml mailing list tomorrow to drum up some interest from the other ocaml users.

For all LLVM users out there: what kinds of errors do you spend the most time debugging? On Saturday 15 March 2008 08:03:47 Erick Tryzelaar wrote: > Does this sound like it could work, or am I missing something? Excellent idea. You might also consider building a data structure on the OCaml side that is equivalent to the LLVM code: module Op = struct type int_op = [ `IAdd | ... ]

On Mon, Feb 15, 2010 at 11:47 PM, Jon Harrop <jon at ffconsultancy.com> wrote: > There are at least two other significant users of LLVM's OCaml bindings, > AFAIK. I'm writing an llvm backend/repl for felix, but it's pretty early. > My only gripe with LLVM's OCaml bindings is the way an error caught on the > LLVM side causes my program to die in a way that the

On Monday 31 March 2008 09:56:45 Erick Tryzelaar wrote: > The full series of the ocaml tutorial is done! You can find it here: > > http://llvm.org/docs/tutorial/ > > Please let me know if you have any comments, bugs, suggestions, and > etc. I'll send a mail to the ocaml mailing list tomorrow to drum up > some interest from the other ocaml users. I think your new OCaml

On Thu, Jul 31, 2008 at 12:32, Erik de Castro Lopo <mle+cl at mega-nerd.com> wrote: > Hi all, > > I'm interested in the LLVM Ocaml bindings so I pulled the current > sources from SVN and built them. When I ran the test suite I got the > following stats: > > # of expected passes 2631 > # of unexpected failures 7 > # of expected

Hi all, from llvm-trunk I'm getting this failure: llvm[0]: Running test suite make[1]: Entering directory `/home/rleissa/projects/llvm/build_debug/test' Making a new site.exp file... Making LLVM 'lit.site.cfg' file... Making LLVM unittest 'lit.site.cfg' file... make -C /home/rleissa/projects/llvm/build_debug/test/../tools/clang/test lit.site.cfg Unit/lit.site.cfg