From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 53356BC57 for ; Mon, 13 Dec 2010 03:13:44 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AoQBAAAQBU1KfVMzkGdsb2JhbACGS45ehi8BhzxjCBUBAQIJCQwHEQQlp1yJcIIYg3EuiFYBAQMFhUUEink X-IronPort-AV: E=Sophos;i="4.59,333,1288566000"; d="scan'208";a="92073746" Received: from mail-gw0-f51.google.com ([74.125.83.51]) by mail1-smtp-roc.national.inria.fr with ESMTP; 13 Dec 2010 03:13:43 +0100 Received: by gwaa18 with SMTP id a18so3675135gwa.10 for ; Sun, 12 Dec 2010 18:13:43 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:in-reply-to :references:date:message-id:subject:from:to:cc:content-type; bh=qPKXA46xMZ8z66ZRX4m68ICI+/GqFxRpMxZgs42W16c=; b=GjCP8HzlaCUdv8SGZ3w6+SrE/lXhasoNlT03IVE0DtTl9HYUX+9vV4HaCyUiogFIyk 1TUQ4DbvdyqIxCf7sKZad0tFRXE386sdExcd/Hyv9Z3T97I+DzdLHdXhBCkScb6MOGnw TL/WoQxnjnBJvCz9jj1UCrm+/GuaGkJFZ76Gc= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=tnsMUcWMA9HTa/ERIhjhyNOSdjLmH8Jp/1x/8wT/iZ3YLAq6rwr3EVaehZPvBfI7GL Wtc1ToZ6xOoqCa289acnkme9yrNRIzrzS1dvkNJ9Ox6zvCtKPaaiJsD6M9ImO78lc0Pv j00N44t9ApLELGkqWSXqGhHfzMese1kIgnWds= MIME-Version: 1.0 Received: by 10.90.8.19 with SMTP id 19mr4192708agh.204.1292206422966; Sun, 12 Dec 2010 18:13:42 -0800 (PST) Received: by 10.90.211.10 with HTTP; Sun, 12 Dec 2010 18:13:42 -0800 (PST) In-Reply-To: <03b201cb9a56$122c7700$36856500$@com> References: <036001cb9a0c$725acef0$57106cd0$@com> <20101212175524.73a8e285@deb0> <9264BEE6-DBAE-4523-93AC-4560615D2AC5@googlemail.com> <20101212215552.317892e7@deb0> <03a701cb9a48$b957e860$2c07b920$@com> <20101213002724.3ef32c01@deb0> <03b201cb9a56$122c7700$36856500$@com> Date: Mon, 13 Dec 2010 04:13:42 +0200 Message-ID: Subject: Re: Value types (Was: [Caml-list] ocamlopt LLVM support) From: Eray Ozkural To: Jon Harrop Cc: =?ISO-8859-1?Q?T=F6r=F6k_Edwin?= , caml-list@inria.fr Content-Type: multipart/alternative; boundary=0016e6434bd4d1426d0497414097 X-Spam: no; 0.00; ocamlopt:01 eray:01 ozkural:01 low-level:01 high-level:01 eray:01 ozkural:01 bilkent:01 low-level:01 high-level:01 bilkent:01 caml-list:01 groups:02 groups:02 sci:04 --0016e6434bd4d1426d0497414097 Content-Type: text/plain; charset=ISO-8859-1 It's better to focus on low-level optimizations within LLVM IR I think, high-level optimizations would better be done beforehand. It's not a bad marriage though. :) -- Eray Ozkural, PhD candidate. Comp. Sci. Dept., Bilkent University, Ankara http://groups.yahoo.com/group/ai-philosophy http://myspace.com/arizanesil http://myspace.com/malfunct --0016e6434bd4d1426d0497414097 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable It's better to focus on low-level optimizations within LLVM IR I think,= high-level optimizations would better be done beforehand. It's not a b= ad marriage though. :)

--
Eray Ozkural, PhD candid= ate.=A0 Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo= .com/group/ai-philosophy
h= ttp://myspace.com/arizanesil ht= tp://myspace.com/malfunct

--0016e6434bd4d1426d0497414097--