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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by yquem.inria.fr (Postfix) with ESMTP id CF44EBC57
	for <caml-list@yquem.inria.fr>; Fri,  3 Dec 2010 22:23:07 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AoIAAEbu+ExKfVIukGdsb2JhbACWSIxqCBUBAQIJCQwHEQQeqQ2MAAEFjXoBBIIUgzQ
X-IronPort-AV: E=Sophos;i="4.59,295,1288566000"; 
   d="scan'208";a="90795282"
Received: from mail-ww0-f46.google.com ([74.125.82.46])
  by mail1-smtp-roc.national.inria.fr with ESMTP; 03 Dec 2010 22:23:07 +0100
Received: by wwj40 with SMTP id 40so3457962wwj.3
        for <caml-list@yquem.inria.fr>; Fri, 03 Dec 2010 13:23:07 -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=efeHAuEgR3EeEoddxMYJLfEKlNNAdoDolxaOO+qb+ro=;
        b=FcidA71ksL9lIc1qn9cvwExVGcPo9Bqwujr9BTMJ8dFYUFyvEe34h2Ne4sjqgG3L3i
         u97tu73dE4hKiTTfJb/TNnwLss+XJJJLMZRB+GPnn3KNjUs2Agk41bvaEenmz6x8YDSK
         fRg0ZYzv4PYQOIPen+AjLFW5czdf6NnhRHs+k=
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=ESp77LjrPkTTDhUM5bAjhk0ZJsmDkqIpbpr+/fe/OdnLs8/LNJTMGEvWHI3zKye8Fq
         RmvIBD30DIEG72CpJK3jMkiRioASdNvDQNQzQfwY3TNCE8Sr5uZkHPTDIhQmxbotc1Pg
         jKVEd6Gq1aKfGV0E6svB1ARxMRbX1B9WCl7cM=
Received: by 10.227.132.200 with SMTP id c8mr881838wbt.18.1291411386813;
        Fri, 03 Dec 2010 13:23:06 -0800 (PST)
Received: from WinEight ([87.113.160.118])
        by mx.google.com with ESMTPS id q18sm1574840wbe.23.2010.12.03.13.23.05
        (version=SSLv3 cipher=RC4-MD5);
        Fri, 03 Dec 2010 13:23:05 -0800 (PST)
From: Jon Harrop <jonathandeanharrop@googlemail.com>
To: "'Philippe Strauss'" <philou@philou.ch>,
	<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> <F03F3EDC-2215-46E3-86AF-058B2208C595@philou.ch>
In-Reply-To: <F03F3EDC-2215-46E3-86AF-058B2208C595@philou.ch>
Subject: RE: ocamlopt LLVM support (Was: [Caml-list] OCamlJIT2 vs. OCamlJIT)
Date: Fri, 3 Dec 2010 21:22:30 -0000
Organization: Flying Frog Consultancy
Message-ID: <0cb001cb9330$328102a0$978307e0$@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: AcuS9wpxhjrmRNTaS5WemcORLNhCXQAOFsLg
Content-Language: en-gb
X-Spam: no; 0.00; ocamlopt:01 arrays:01 ocamlopt:01 ocaml's:01 cheers:01 wrote:01 compilers:01 caml-list:01 algorithms:03 float:03 internals:03 unlikely:06 efficient:07 i'm:09 philippe:11 

Philippe wrote:
> I'm totally noob on compilers internals, but if the processing of float
> arrays can be improved a lot by a LLVM ocamlopt, I would use it
> exclusively.

LLVM's x86 code gen will generate more efficient floating point code than
ocamlopt if and only if the type information is available to it. With
OCaml's current design, that is unlikely and you'll still have things like
the 16Mb limit.

What algorithms are you running?

Cheers,
Jon.