similar to: [LLVMdev] Does anyone have an IR parser written in OCaml?

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

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

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

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

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 Thu, Nov 11, 2010 at 8:28 AM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: > Hi all, > > http://www.llvm.org/docs/ProgrammersManual.html#BuildRecType suggests > us to define recursive types via opaque and refine. Since LLVM has > structural types, %rt = type { %rt* } and %rt1 = type { %rt* } should > be same structurally. I tested the following code, > > %rt =

On Wed, Apr 20, 2011 at 2:54 PM, Jianzhou Zhao <jianzhou at seas.upenn.edu> wrote: > Hi all, > > I am trying to compile a high-level imperative OOP-like language to > the LLVM IR. Do we have any "generic" way of translating a non-SSA > form to the LLVM IR's SSA? There are lots of LLVM front-ends now. Do > they do such translation individually? or there is some

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

On Tue, Feb 23, 2010 at 10:37 PM, Nyx <mcheva at cs.mcgill.ca> wrote: > > Hello, > > For a course project, I am required to write a compiler for some language of > my choice, and this compiler has to be implemented in a functional language. > I have chosen create a *JIT* compiler for C source, and to implement my > compiler in OCaml using LLVM for the back-end. I have

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

Hi all, I am trying to compile a high-level imperative OOP-like language to the LLVM IR. Do we have any "generic" way of translating a non-SSA form to the LLVM IR's SSA? There are lots of LLVM front-ends now. Do they do such translation individually? or there is some common non-SSA IR that we can translate to, and can be converted to the LLVM IR automatically? I did not find such