Browse thread
Ocamlopt x86-32 and SSE2
[
Home
]
[ Index:
by date
|
by threads
]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: | 2009-05-11 (08:19) |
From: | Jon Harrop <jon@f...> |
Subject: | Re: [Caml-list] Ocamlopt x86-32 and SSE2 |
On Monday 11 May 2009 09:05:08 Dmitry Bely wrote: > I think it would be the major code rewrite (if ever possible). Merging > SSE2 from amd64 into i386 code generator took about a day of my > efforts. How much time LLVM integration would require? If it is that > simple can you provide a proof-of-the-concept implementation? Well, I can provide a complete garbage collected VM. :-) http://hlvm.forge.ocamlcore.org/ The hard part of writing an LLVM backend for ocamlopt is probably getting LLVM to generate code that is compatible with OCaml's GC, particularly the stack. However, I believe Gordon Henriksen already did this: "Included in the pending LLVM garbage collection code generation changeset is an Ocaml frametable emitter." - http://lists.cs.uiuc.edu/pipermail/llvmdev/2007-November/011527.html Unfortunately, I will not have any spare time until my next book is out... Did any of the OCaml+LLVM student projects get funded in the end? -- Dr Jon Harrop, Flying Frog Consultancy Ltd. http://www.ffconsultancy.com/?e