Re: [Caml-list] Linear Scan Register Allocator for ocamlopt/ocamlnat

[Pierre-Alexandre Voye <ontologiae@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 2208 bytes --]

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 <reig@acm.org>

> 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+ocaml@mega-nerd.com<mailto:
>>> mle%2Bocaml@mega-nerd.**com <mle%252Bocaml@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<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

[-- Attachment #2: Type: text/html, Size: 3396 bytes --]