Hi Fermin,
Your thesis is very interessting, but your code is far more interesting ! Why don't you release it with an open source licence ?
Pierre-Alexandre Voye wrote:If anyone is interested, the dissertation is available at http://theses.gla.ac.uk/686/
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.
Fermin
Le 26 août 2011 14:30, "Erik de Castro Lopo" <mle+ocaml@mega-nerd.com <mailto:mle%2Bocaml@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...