From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <michael@elehack.net>
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 EB37FBC57
	for <caml-list@yquem.inria.fr>; Fri,  3 Dec 2010 16:33:01 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AnsFALec+Eyty1O7/2dsb2JhbACVII4WccJ4ghSDNASEXokfGg
X-IronPort-AV: E=Sophos;i="4.59,293,1288566000"; 
   d="scan'208";a="81249194"
Received: from elehack.net ([173.203.83.187])
  by mail4-smtp-sop.national.inria.fr with ESMTP; 03 Dec 2010 16:33:01 +0100
Received: from [192.168.42.102] (unknown [68.168.162.166])
	by elehack.net (Postfix) with ESMTPSA id 84CB8C8838
	for <caml-list@yquem.inria.fr>; Fri,  3 Dec 2010 09:33:19 -0600 (CST)
Message-ID: <4CF90DA9.9000305@elehack.net>
Date: Fri, 03 Dec 2010 09:32:57 -0600
From: Michael Ekstrand <michael@elehack.net>
User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.12) Gecko/20101027 Lightning/1.0b2 Thunderbird/3.1.6
MIME-Version: 1.0
To: caml-list@yquem.inria.fr
Subject: Re: ocamlopt LLVM support (Was: [Caml-list] OCamlJIT2 vs. OCamlJIT)
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>
In-Reply-To: <AB3E2F68-0E5B-4B4F-A4F8-3C67BD6F598E@googlemail.com>
X-Enigmail-Version: 1.1.2
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; ocamlopt:01 compiler:01 ocaml:01 high-level:01 stub:01 wrote:01 caml-list:01 conventions:02 languages:03 benedikt:03 standard:07 researchers:07 michael:07 michael:07 libraries:11 

On 12/03/2010 04:03 AM, Benedikt Meurer wrote:
> 2. Some interesting optimizations and all the standard optimizations for free.

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. 
Particularly if that cost involves changing the calling conventions and
thereby breaking all existing stub libraries.

- Michael