Note that the ocaml compiler has a flag -cmm which outputs C-- ast code.
F. Reig made a c-- ocaml backend during his thesis.  Including a GC.
Unhappily, sources code haven't been released.
But it proves it works.

Le 26 août 2011 14:30, "Erik de Castro Lopo" <mle+ocaml@mega-nerd.com> a
écrit :

Pierre-Alexandre Voye wrote:

> I have a stupid question : I wonder if it would not be a bad idea th...
I have some experience in thie area. I work on the DDC compiler [0]
a compiler for a strict by default (optionally lazy) evaluation
dialect of Haskell.

When I joined the project the compiler had a working compile via C
backend, to which I added an LLVM backend [1].

Executables compiled via the LLVM backend (even without exploring
any of the LLVM optimisation passes) were faster than the same
executables compiled via C (gcc -O2). I suspect this is because
the generated C code was nothing like the C code people write and
the GCC is only good at optimising idiomatic C code.

I highly recommend LLVM as a compiler backend.

HTH,
Erik

[0] http://disciple.ouroborus.net/
[1] http://www.mega-nerd.com/erikd/Blog/CodeHacking/DDC/index.html

--
----------------------------------------------------------------------
Erik de Castro Lopo
http://www.mega-nerd.com/


-- 
Caml-list mailing list. Subscription management and archives:
https://sympa-roc.inria.fr/wws/i...