From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p7UL8Ka4010421 for ; Tue, 30 Aug 2011 23:08:24 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ag4BAFpQXU5CbwQbkWdsb2JhbABChEyjdBQBAQEBCQsLBxQEIYFAAQEEASMPAQUILgoBAQ8LGAICBQQSCAMCAgkDAgECATQRBg4FAwGHbgICpn2EBI1kBYEshBCBEZ0ihww X-IronPort-AV: E=Sophos;i="4.68,304,1312149600"; d="scan'208";a="117757448" Received: from out3.smtp.messagingengine.com ([66.111.4.27]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/ADH-AES256-SHA; 30 Aug 2011 23:08:23 +0200 Received: from compute6.internal (compute6.nyi.mail.srv.osa [10.202.2.46]) by gateway1.messagingengine.com (Postfix) with ESMTP id 0B91C2097F; Tue, 30 Aug 2011 17:08:22 -0400 (EDT) Received: from frontend1.messagingengine.com ([10.202.2.160]) by compute6.internal (MEProxy); Tue, 30 Aug 2011 17:08:22 -0400 DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d= messagingengine.com; h=message-id:date:from:mime-version:to:cc :subject:references:in-reply-to:content-type :content-transfer-encoding; s=smtpout; bh=+ZWT5HwRV0JZOosTN01qa3 GsRPI=; b=qZ+V8dcDLW0Qd77nvCaELZybRG8kv8/LlzbJKLFY5iQbwGtoV2t3WT BCa7UMSaeAtiZb+34fWRfEjP+UHYnP2xhroL9fm9RAZNN0c9HBnKtNdAXBygAbGO 1cTBM+tgUW5yFz4WSA8/F83YsllhXzXvL1fsniMjds9uDs8bU59AM= X-Sasl-enc: IMwrXlOy8DP+2yA5cT/Gi24BodFnsh0NzTue39bBCtzs 1314738501 Received: from Macintosh-6.local (132.Red-81-35-203.dynamicIP.rima-tde.net [81.35.203.132]) by mail.messagingengine.com (Postfix) with ESMTPSA id 8DA7D96038F; Tue, 30 Aug 2011 17:08:20 -0400 (EDT) Message-ID: <4E5D50FD.3030308@acm.org> Date: Tue, 30 Aug 2011 22:07:09 +0100 From: Fermin Reig User-Agent: Thunderbird 2.0.0.24 (Macintosh/20100228) MIME-Version: 1.0 To: Pierre-Alexandre Voye CC: caml-list@inria.fr References: <93199F3B-E9CF-4D93-9B2B-BAAB03F4FC08@googlemail.com> <4EF51F29-D437-4F6F-9C91-DBEA3D4C3EB8@googlemail.com> <1314218451.3496.42.camel@thinkpad> <11577B43-4270-4BA4-AA77-7FDEFB4B563B@googlemail.com> <1314267668.3496.62.camel@thinkpad> <20110826222943.1e28a3c110f9da2a871db261@mega-nerd.com> In-Reply-To: Content-Type: text/plain; charset=UTF-8; format=flowed Content-Transfer-Encoding: 8bit Subject: Re: [Caml-list] Linear Scan Register Allocator for ocamlopt/ocamlnat 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" > > 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... >>