From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <jonathandeanharrop@googlemail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105])
	by yquem.inria.fr (Postfix) with ESMTP id C602EBC57
	for <caml-list@yquem.inria.fr>; Fri,  3 Dec 2010 22:35:30 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AoIAABfx+ExKfVIukGdsb2JhbACWSIxqCBUBAQIJCQwHEQQeqRqMAAEFjXsBBIIUgzQ
X-IronPort-AV: E=Sophos;i="4.59,295,1288566000"; 
   d="scan'208";a="81307078"
Received: from mail-ww0-f46.google.com ([74.125.82.46])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 03 Dec 2010 22:35:30 +0100
Received: by wwj40 with SMTP id 40so3469854wwj.3
        for <caml-list@yquem.inria.fr>; Fri, 03 Dec 2010 13:35:30 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=domainkey-signature:received:received:from:to:references
         :in-reply-to:subject:date:organization:message-id:mime-version
         :content-type:content-transfer-encoding:x-mailer:thread-index
         :content-language;
        bh=PqMyZVkcGL4iusSyQk0+8ncE0TL1oT7Fuuf/m/ZUveA=;
        b=sS/yoDxg7nVseP6qU++b4NC5UPz5OIxGVjVBO+TvYS74JvnujO+NtrZyrDbSaLkYVh
         eKBZJk1vJ2BMmUXokiRYkiZiu9W1lSWgajLM+1v4iDX9Wn8rZ3Q4CqFZ/N+vI4cuGG8x
         G7epqF1shLfljNz7meGhp87n+R+YB9cQbo4no=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlemail.com; s=gamma;
        h=from:to:references:in-reply-to:subject:date:organization:message-id
         :mime-version:content-type:content-transfer-encoding:x-mailer
         :thread-index:content-language;
        b=WYDjV5fSIpccxLu0e31AVNCij/cmi+9vMOo3PJtVbgeRtSovhcz5Ww9IrBGcnOyuQr
         DIPae1rBTGtMyMegLI7J7Dk9lWCJLV2jbqYSIN3SdzC6gzpF5MVNGYCwKCLNFMhSNbRk
         Km1kWRetfM2qNTVPQbqFzby2QbdQwfvPdxUDs=
Received: by 10.216.172.206 with SMTP id t56mr1183451wel.66.1291412129945;
        Fri, 03 Dec 2010 13:35:29 -0800 (PST)
Received: from WinEight ([87.113.160.118])
        by mx.google.com with ESMTPS id x23sm1123761weq.34.2010.12.03.13.35.28
        (version=SSLv3 cipher=RC4-MD5);
        Fri, 03 Dec 2010 13:35:29 -0800 (PST)
From: Jon Harrop <jonathandeanharrop@googlemail.com>
To: "'Michael Ekstrand'" <michael@elehack.net>,
	<caml-list@yquem.inria.fr>
References: <3DCEA910-1382-47E5-876B-059178F8F82E@googlemail.com>	<20101130124803.7952fca1@deb0>	<D6C274D9-8A00-4D6F-936A-58206CA5D358@googlemail.com>	<AANLkTi=Wu1SXVgQ+X0NECNx3oUsD=xEy-9Zq6T3ncJ+W@mail.gmail.com>	<B8C055A1-2A67-4C7E-BF67-4A639619C4EB@wanadoo.fr>	<0a8b01cb90da$da5e6240$8f1b26c0$@com>	<5E2DA3F1-7998-4F62-B617-7B6451D1001D@googlemail.com>	<0b3b01cb9161$a81c8e10$f855aa30$@com>	<B965CE04-4059-421F-A8CD-EB178BF32D40@googlemail.com>	<0b9301cb91a3$8f42fd60$adc8f820$@com>	<AB3E2F68-0E5B-4B4F-A4F8-3C67BD6F598E@googlemail.com> <4CF90DA9.9000305@elehack.net>
In-Reply-To: <4CF90DA9.9000305@elehack.net>
Subject: RE: ocamlopt LLVM support (Was: [Caml-list] OCamlJIT2 vs. OCamlJIT)
Date: Fri, 3 Dec 2010 21:34:53 -0000
Organization: Flying Frog Consultancy
Message-ID: <0cb101cb9331$ed78d230$c86a7690$@com>
MIME-Version: 1.0
Content-Type: text/plain;
	charset="US-ASCII"
Content-Transfer-Encoding: 7bit
X-Mailer: Microsoft Office Outlook 12.0
Thread-Index: AcuS/2/JzaLCnYjBQDaH6RynEZkwuwAMM4Xw
Content-Language: en-gb
X-Spam: no; 0.00; ocamlopt:01 compiler:01 ocaml:01 high-level:01 cheers:01 caml-list:01 optimization:03 languages:03 researchers:07 michael:07 i'm:09 passes:10 though:13 language:15 U4:82 

Michael:
> We would also get new optimizations developed by the compiler backend
> and computer architecture researchers working on LLVM for free.  I see
> that as one of the major benefits - it lets the OCaml community harness
> that work (and share it with other languages) and focus our energies on
> high-level language features and language-specific optimizations.
> 
> Not sure if the benefit is worth the cost of doing it, though.

I'm not even sure there would be any benefit. More optimization passes to
play with != more performance.

Cheers,
Jon.