similar to: [LLVMdev] Suggestion for VM porting to LLVM

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 ?

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

Hi Mike, thanks for the suggestion. Do you know if there are any articles around that explains how to use LLVM to build a VM that should work like mine ? I've read something around (mostly source code) but a good article/doc will be perfect Gabriele Il giorno 04/apr/09, alle ore 19:23, Mike Stump ha scritto: > On Apr 4, 2009, at 1:20 AM, Gabriele Farina wrote: >> Which

On Apr 4, 2009, at 1:20 AM, Gabriele Farina wrote: > Which approach do you suggest ? are there any alternatives ? My take, do the second one first, gain some experience and have some fun. You can use this to double check the performance and suitability. But mid-term, I'd say, do both. This allows you to compare the performance of each solution against the other, compile time,

Well, you are right :) In fact I've started porting the VM in the spare time and it is working fine. I'm still having some issues to understand the garbage collector, but I'll delve more into it as soon as the other features will be complete Gabriele Il giorno 07/apr/09, alle ore 08:22, someguy ha scritto: > Gabrielle, > > The way I see it, its pretty much the same

Hi, Isn't it intended to explain how to build a compiler for a custom language that targets LLVM-IR ? Is it useful also to understand how to build a VM that is meant to execute custom bytecode (converting it to LLVM-IR previously) ? Thanks, Gabriele Il giorno 05/apr/09, alle ore 11:36, Anton Korobeynikov ha scritto: > Hello, Gabriele > >> thanks for the suggestion. Do you

Gabrielle, The way I see it, its pretty much the same thing... Conversion to LLVM-IR of a custom bytecode is the same as conversion to LLVM-IR of a custom language. The syntax of the 'custom language' just happens to be binary bytecode. On Sun, Apr 5, 2009 at 1:15 PM, Gabriele Farina <gabriele at sephiroth.it>wrote: > Hi, > > Isn't it intended to explain how to build

>On Sunday 14 June 2009 14:09:33 Wesley W. Terpstra wrote: >> On Sun, Jun 14, 2009 at 10:50 AM, Florian Weimer<fw at deneb.enyo.de> wrote: >> > Is this really a problem for MLton? I think you only get less precise >> > alias analysis, and that's it. >> >> Correct. However, I want a fair comparison between LLVM performance >> and the native x86

On Tuesday 16 June 2009 15:44:04 Aaron Gray wrote: > Jon Harrop wrote: > >Even if this puts LLVM at an unfair disadvantage, I think you will find > >that > >LLVM will thrash MLton's current x86 backend anyway. > > > >I did some benchmarking on HLVM and found that it was often several times > >faster than OCaml when the GC is not the bottleneck: > >

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

Someone is trying to work on HLVM with me but they're hitting a problem that we have not been able to resolve. Specifically, GCC seems to be performing some kind of sanity check for "stack smashing" and is calling abort because it is unhappy with something that the code is doing. However, I am not sure what and cannot reproduce the problem. The stack trace they have given me is:

On Monday 31 March 2008 09:56:45 Erick Tryzelaar wrote: > The full series of the ocaml tutorial is done! You can find it here: > > http://llvm.org/docs/tutorial/ > > Please let me know if you have any comments, bugs, suggestions, and > etc. I'll send a mail to the ocaml mailing list tomorrow to drum up > some interest from the other ocaml users. I think your new OCaml

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

On Sat, Sep 20, 2008 at 9:57 AM, Jon Harrop <jonathandeanharrop at googlemail.com> wrote: > I think your new OCaml tutorials and the original C++ ones are absolutely > brilliant! Thanks Jon. I'm sorry I missed this message. Now that you've had some more experience with llvm, would you be interested in adding to the doc some performance and GC stuff? I haven't personally

I'm toying with benchmarks on my HLVM and am unable to get any performance improvement from optimization passes. Moreover, some of my programs generate a lot of redundant code (e.g. alloca a struct, store a struct into it and read only one field without using the rest of the struct) and this does not appear to be optimized away. I simply copied the use of PassManager from the Kaleidoscope

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

Following on from the success of our previous OCaml Journal articles covering LLVM, we have begun a series dedicated to the design and implementation of high-level languages using LLVM. In particular, these new articles are more pragmatic in nature and go beyond describing working compilers to also discuss testing, debugging and the performance of LLVM-based compilers. The first article in

What happened to the HLVM project? I understand it was intended to be a high-level VM specifically for dynamic languages and this post indicates that it was integrated into the LLVM project last year: http://www.nabble.com/NEWS:-HLVM-merges-with-LLVM-td9627113.html But I cannot find any code in LLVM that looks like it would have come from HLVM. -- Dr Jon Harrop, Flying Frog Consultancy

Hi all, I would like to implement GC for a language supporting multiple threads. There will be no shared state between threads as communication will be based on message passing. I do not care much about performance. The priority for me is to get things working. I have read LLVM guide on writing GC: http://llvm.org/docs/GarbageCollection.html. Shadow stack approach looks very promising. The

Jon Harrop wrote: > The simplest way is surely to reuse HLVM because it provides everything you > need and is even written in the right language! ;-) Is there a web page with HLVM docs? There's a README.txt in the subversion repository: https://llvm.org/svn/llvm-project/hlvm/trunk/README.txt which says: HLVM comes with documentation in HTML format. These are provided in