similar to: [LLVMdev] Calling OCaml functions from LLVM

Another quick question. In ./bindings/ocaml/Makefile.ocaml, the configurations when ENABLE_OPTIMIZED<>1 are commented, which set -g flag to $(OCAMLC). Is that for back-compatibility to support OCaml < 3.10.0? On Sun, Feb 28, 2010 at 6:48 PM, Erick Tryzelaar <idadesub at users.sourceforge.net> wrote: > On Sun, Feb 28, 2010 at 8:38 AM, Jianzhou Zhao <jianzhou at

On Tue, Mar 2, 2010 at 3:23 AM, Erick Tryzelaar <idadesub at users.sourceforge.net> wrote: > On Mon, Mar 1, 2010 at 7:34 AM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: >> Another quick question. >> In ./bindings/ocaml/Makefile.ocaml, the configurations when >> ENABLE_OPTIMIZED<>1 are commented, which set -g flag to $(OCAMLC). >> Is that for

On Sun, Feb 28, 2010 at 8:38 AM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: > Hi, > > At the code below from > ./bindings/ocaml/executionengine/executionengine_ocaml.c, > we create an OCaml Variant from C. It is from 2.6, the latest 2.7 has > the same code. > > Line 240 Option = alloc(1, 1) assigns tag1 to the 'some' constructor. > In term of

On Mon, Mar 1, 2010 at 7:34 AM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: > Another quick question. > In ./bindings/ocaml/Makefile.ocaml, the configurations when > ENABLE_OPTIMIZED<>1 are commented, which set -g flag to $(OCAMLC). > Is that for back-compatibility to support OCaml < 3.10.0? At the time, we were still supporting 3.09. It sounds like everyone's

Hello Jianzhou, On Sat, Aug 14, 2010 at 8:25 PM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: > Hi, > > Does 2.8 release plan to change anything in Ocaml bindings? > http://llvm.org/docs/ReleaseNotes.html#whatsnew does not list any > relevant features. I usually wait until around nowish before a release to sync llvm-c and the ocaml bindings. I'll start the process.

On Fri, Aug 20, 2010 at 6:49 AM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: > Hello, > > How does LLVM release deal with users' changings, and consider them as > a patch? But it would be very appreciated if you can review my > bindings to see if they are well-designed. > > Thanks You can just attach it here. In the future you could either file a bug report or

On Wednesday 24 February 2010 13:26:33 Jianzhou Zhao wrote: > On Wed, Feb 24, 2010 at 7:10 AM, Jon Harrop <jon at ffconsultancy.com> wrote: > > 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? > > I meant the OCaml bindings let OCaml call existing

On Wed, Feb 24, 2010 at 7:10 AM, Jon Harrop <jon at ffconsultancy.com> wrote: > 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? 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

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

Hi, Does 2.8 release plan to change anything in Ocaml bindings? http://llvm.org/docs/ReleaseNotes.html#whatsnew does not list any relevant features. 2.7 added 'operand' that can access each operand from a value. external operand : llvalue -> int -> llvalue = "llvm_operand" Does this binding also expose a primitive to return how many operands a given value has? I need

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

LLVM-2.6 takes 3s from OCamlbuild, but the lastest LLVM (I am using r95712) takes 34s. I attached the code. But the new LLVM fixed a problem of dispose_module in 2.6. I got this error in 2.6, but the new LLVM works well. While deleting: [14 x i8]* %greeting An asserting value handle still pointed to this value! UNREACHABLE executed at

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

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

In OCaml 4.06 we need to link to daemon to libasmrun_pic.a (the OCaml runtime linked with -fPIC). Otherwise you will see many errors like this: /usr/bin/ld: /usr/lib64/ocaml/libasmrun.a(startup_aux.o): relocation R_X86_64_32 against `.rodata.str1.1' can not be used when making a shared object; recompile with -fPIC /usr/bin/ld: /usr/lib64/ocaml/libasmrun.a(startup.o): relocation

Hi, At the code below from ./bindings/ocaml/executionengine/executionengine_ocaml.c, we create an OCaml Variant from C. It is from 2.6, the latest 2.7 has the same code. Line 240 Option = alloc(1, 1) assigns tag1 to the 'some' constructor. In term of http://caml.inria.fr/pub/docs/manual-ocaml/manual032.html, I think the 'some' should have a tag 0. We dont have a runtime error for

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

Package: libxen-ocaml-dev Version: 4.2.0-1 Severity: important Tags: patch Dear Maintainer, The ocaml libraries are currently unusable as they contain the build path of .s libraries. For example: root at myvm:~# cat test.ml let _ = let v = Xenctrl.with_intf (fun h -> Xenctrl.version h) in () root at myvm:~# ocamlfind ocamlopt -package xenctrl test.ml -linkpkg -o test File

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

Hi, The attached is the OCaml binding patch to 2.6. This still works on 2.6, because the optimizations I am working on rely on some features of 2.6, which were removed from 2.7. But from the view of OCaml bindings, it does not change too much from 2.6 to 2.7, I also merged some new bindings in 2.7 into 2.6. What this patch does are 1) bindings to define an LLVM IR pretty printer in OCaml, which