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 ? 2011/8/30 Fermin Reig > Pierre-Alexandre Voye wrote: > >> 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. >> > > If anyone is interested, the dissertation is available at > http://theses.gla.ac.uk/686/ > > Fermin > > >> Le 26 août 2011 14:30, "Erik de Castro Lopo" >> 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. >>> .. >>> >>> > -- --------------------- https://twitter.com/#!/ontologiae/ http://linuxfr.org/users/montaigne