[LLVMdev] Suggestion for VM porting to LLVM

Gabriele Farina gabriele at sephiroth.it
Sun Apr 5 00:31:37 PDT 2009

Hi Jon,

I've read your articles about HLVM, and that was one of the reasons  
that convinced me to try out LLVM. Actually my VM has been implemented  
in C++, but as long as it is not extremely complex, I might port it to  
OCaml that sounds more compact for this kind of programs. Did you find  
any significant performance loss when using OCaml over C++ ? Runtime  
performance is quite important in my situation.


Il giorno 04/apr/09, alle ore 19:46, Jon Harrop ha scritto:

> On Saturday 04 April 2009 09:20:21 Gabriele Farina wrote:
>> - generate IR from my complier;
>> - build a VM that converts at runtime my bytecode to IR and  
>> executes it;
>> I largely prefer the second option because it would be great if I can
>> continue to use to old programs without having to recompile them.
>> Which approach do you suggest ? are there any alternatives ?
> I've done something similar with HLVM, albeit for a new VM that uses  
> a new
> representation. I found the combination of OCaml and LLVM to work  
> extremely
> well. OCaml makes it very easy to manipulate programs and its LLVM  
> bindings
> make it very easy to JIT compile and execute native code. My entire VM
> (including GC) is only 1kLOC.
> -- 
> Dr Jon Harrop, Flying Frog Consultancy Ltd.
> http://www.ffconsultancy.com/?e
> _______________________________________________
> LLVM Developers mailing list
> LLVMdev at cs.uiuc.edu         http://llvm.cs.uiuc.edu
> http://lists.cs.uiuc.edu/mailman/listinfo/llvmdev

More information about the llvm-dev mailing list