From: Fermin Reig <reig@acm.org>
To: Pierre-Alexandre Voye <ontologiae@gmail.com>
Cc: caml-list@inria.fr
Subject: Re: [Caml-list] Linear Scan Register Allocator for ocamlopt/ocamlnat
Date: Tue, 30 Aug 2011 22:07:09 +0100 [thread overview]
Message-ID: <4E5D50FD.3030308@acm.org> (raw)
In-Reply-To: <CANnJ5Ge4_WXbh+MPd6rcycszzvw2dRfRpx=c4+H=ndOZRYnbOQ@mail.gmail.com>
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>> 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...
>>
next prev parent reply other threads:[~2011-08-30 21:08 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-08-01 14:53 Benedikt Meurer
2011-08-01 15:03 ` [Caml-list] " Benedikt Meurer
2011-08-01 15:04 ` [Caml-list] " Gabriel Scherer
2011-08-01 16:57 ` Benedikt Meurer
2011-08-24 19:35 ` Benedikt Meurer
2011-08-24 20:40 ` Gerd Stolpmann
2011-08-25 8:02 ` Benedikt Meurer
2011-08-25 9:34 ` Benedikt Meurer
2011-08-25 10:21 ` Gerd Stolpmann
2011-08-25 10:25 ` Pierre-Alexandre Voye
2011-08-26 10:58 ` Guillaume Yziquel
2011-08-26 12:29 ` Erik de Castro Lopo
[not found] ` <CANnJ5GfmnOhk8mJor8PfrGoC1-5vZWOgUKNZMT9k69iu0TBCeA@mail.gmail.com>
[not found] ` <CANnJ5Gf4AnKPDvrKiYx0joiPbQVOCdFWgPR24Y1ZYYL1Qv5=fg@mail.gmail.com>
2011-08-26 18:33 ` Pierre-Alexandre Voye
2011-08-30 21:07 ` Fermin Reig [this message]
2011-08-30 21:21 ` Pierre-Alexandre Voye
2011-08-25 10:43 ` Benedikt Meurer
2011-08-24 20:47 ` malc
2011-08-26 12:40 ` Roberto Di Cosmo
2011-08-01 15:29 ` Wojciech Meyer
2011-08-01 17:03 ` Benedikt Meurer
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=4E5D50FD.3030308@acm.org \
--to=reig@acm.org \
--cc=caml-list@inria.fr \
--cc=ontologiae@gmail.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox