search for: ocamllangimpl4

...ngs do not support JIT too much. > > Can you elaborate on this? I meant the OCaml bindings let OCaml call existing C++ LLVM routines, such as creating an execution engine, JIT-ing a function with existing JIT or interpret or, and evaluating a function, as what http://llvm.org/docs/tutorial/OCamlLangImpl4.html shows. But LLVM has not exposed the LLVM interfaces to design a new JIT like http://llvm.org/docs/WritingAnLLVMBackend.html#jitSupport. I did not find such bindings from bindings/ocaml/executionengine/llvm_executionengine.ml. Please fix me if I am wrong. > > Several major projects are...

On Wednesday 24 February 2010 03:58:03 Jianzhou Zhao wrote: > I think LLVM OCaml bindings do not support JIT too much. Can you elaborate on this? Several major projects are using OCaml's LLVM bindings to execute non-trivial code via JIT. -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e

...ll get: LLVM ERROR: Tried to execute an unknown external function: i32 (i8*, i32)* fputs There has to be some way of telling LLVM to get some symbols dynamically. What's rather frustrating is that the OCaml LLVM tutorial seems to be doing exactly what I want: http://llvm.org/docs/tutorial/OCamlLangImpl4.html They define some "extern" functions by using "declare function", which are then linked dynamically by the JIT. Unfortunately, this is already what I'm doing, and I can't seem to spot what they are doing differently! - Maxime Jeffrey Yasskin wrote: > In C, on...

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 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: > >

Chapters 3 and 4 are now in subversion: http://llvm.org/viewvc/llvm-project/llvm/trunk/docs/tutorial/OCamlLangImpl3.html?view=co http://llvm.org/viewvc/llvm-project/llvm/trunk/docs/tutorial/OCamlLangImpl4.html?view=co These modules add support for codegen and jitting. Control structures are next :)

...gt; > > > Can you elaborate on this? > > I meant the OCaml bindings let OCaml call existing C++ LLVM routines, > such as creating an execution engine, JIT-ing a function with existing JIT > or interpret or, and evaluating a function, > as what http://llvm.org/docs/tutorial/OCamlLangImpl4.html shows. > But LLVM has not exposed the LLVM interfaces to design a new JIT > like http://llvm.org/docs/WritingAnLLVMBackend.html#jitSupport. > I did not find such bindings from > bindings/ocaml/executionengine/llvm_executionengine.ml. > Please fix me if I am wrong. Your statem...

In C, on Linux, you would have to link your JIT compiler with -rdynamic or -Wl,-export-dynamic (they're synonyms). I'm not sure what the equivalent linker flag is for OCaml. You can see what symbols are available to the JIT with `nm -D`. On Sun, Apr 4, 2010 at 8:41 AM, Nyx <mcheva at cs.mcgill.ca> wrote: > > I'm coding a JIT compiler for C source in OCaml, using LLVM.

...execute an unknown external function: i32 (i8*, i32)* > fputs > > There has to be some way of telling LLVM to get some symbols dynamically. > What's rather frustrating is that the OCaml LLVM tutorial seems to be doing > exactly what I want: > > http://llvm.org/docs/tutorial/OCamlLangImpl4.html > > They define some "extern" functions by using "declare function", which are > then linked dynamically by the JIT. Unfortunately, this is already what I'm > doing, and I can't seem to spot what they are doing differently! > > - Maxime > > J...

I'm coding a JIT compiler for C source in OCaml, using LLVM. I'm pretty much done with the LLVM code generation. The problem is that I can't seem to call C library functions. I was told that all I needed to do to be able to link with libc functions was to declare them in my module and give them external linkage, but this does not seem to work. Please note that this is a JIT compiler. I