[LLVMdev] HLVM released

[Jon Harrop]

I have been working on a high-level virtual machine built upon LLVM since 
Christmas 2008 and just released the first working version:

  http://forge.ocamlcore.org/projects/hlvm/

This alpha release of HLVM provides:

. Unit, bool, int and float primitive types.
. Tuples (as first-class structs).
. Homogeneous array type.
. Boxed value type.
. Function pointers.
. Generic printing.
. Full tail calls.
. Precise garbage collection.
. Foreign function interface to C.
. JIT compilation to native code using LLVM.
. Catching of stack overflows using libsigsegv.

The GC is brand new (I wrote it over the weekend) and I need to fix and 
optimize it before moving HLVM into beta but the code already includes a 
variety of example programs (written in ASTs) including Sieve of 
Eratosthenes, Mandelbrot Rendering and n-Queens Solvers. Apart from the GC, 
performance is superb and is often several times faster than OCaml on x86.

HLVM is published under a 2-clause BSD license and has been funded entirely by 
Flying Frog Consultancy Ltd.

-- 
Dr Jon Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com/?e