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 <[email protected]> > 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" >> <[email protected]<mailto: >>> mle%2Bocaml@mega-nerd.**com <mle%[email protected]>>> 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<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://sympa-roc.inria.fr/wws/i.> >>> .. >>> >>> > -- --------------------- https://twitter.com/#!/ontologiae/ http://linuxfr.org/users/montaigne -- Caml-list mailing list. Subscription management and archives: https://sympa-roc.inria.fr/wws/info/caml-list Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs
