From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <edwintorok@gmail.com>
X-Original-To: caml-list@yquem.inria.fr
Delivered-To: caml-list@yquem.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id 07571BC57
	for <caml-list@yquem.inria.fr>; Sun, 12 Dec 2010 23:27:31 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: Aq0AAHrbBE3RVaEzimdsb2JhbACjfggVAQELCQwHDwYlp2GJcIIYg3QuiFYBAQMFhUUEjnU
X-IronPort-AV: E=Sophos;i="4.59,333,1288566000"; 
   d="scan'208";a="70360418"
Received: from mail-fx0-f51.google.com ([209.85.161.51])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 12 Dec 2010 23:27:30 +0100
Received: by fxm5 with SMTP id 5so5090284fxm.10
        for <caml-list@inria.fr>; Sun, 12 Dec 2010 14:27:30 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:received:received:date:from:to:cc:subject
         :message-id:in-reply-to:references:x-mailer:mime-version
         :content-type:content-transfer-encoding;
        bh=LqgsmAQXOcdVnq1OuQX1wezUQT5J6wc0shjKAC2QlTE=;
        b=eVk0+gd2FhWphm2tsiiERrqTK2bDALi8xZfw6zOukpbHWWUdO3IBVohjhrIh7kYXWR
         X+oTi3jVydRVv7jeZg1nrB2mo5a1IcI/iDuoyZCGZtQVHcEvG7oCKIOcU8wvzwXAGgTN
         9hytqlVXiZvBfDV3dmtyOTSjunA7Qcpi1TjdE=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=date:from:to:cc:subject:message-id:in-reply-to:references:x-mailer
         :mime-version:content-type:content-transfer-encoding;
        b=Gp+0kJC+9g1L2rryJ9NmoSv+FjiUNz+I4f8/PbjnNZ03VAYElkEhCj+Iu9gcz/seHm
         br+p2miA86F37pEmSdjZkLVX8uL/J0oFQEalaJpEQ/YrdLML09vysKCLChRlb/PahGfA
         A/CXVziUKnXSxPj2oB67T9laoAUVuxgH0bwbc=
Received: by 10.223.83.206 with SMTP id g14mr1743275fal.129.1292192850020;
        Sun, 12 Dec 2010 14:27:30 -0800 (PST)
Received: from deb0 ([79.114.96.209])
        by mx.google.com with ESMTPS id n2sm1487884fam.4.2010.12.12.14.27.29
        (version=SSLv3 cipher=RC4-MD5);
        Sun, 12 Dec 2010 14:27:29 -0800 (PST)
Date: Mon, 13 Dec 2010 00:27:24 +0200
From: =?UTF-8?B?VMO2csO2aw==?= Edwin <edwintorok@gmail.com>
To: Jon Harrop <jonathandeanharrop@googlemail.com>
Cc: <caml-list@inria.fr>
Subject: Re: Value types (Was: [Caml-list] ocamlopt LLVM support)
Message-ID: <20101213002724.3ef32c01@deb0>
In-Reply-To: <03a701cb9a48$b957e860$2c07b920$@com>
References: <036001cb9a0c$725acef0$57106cd0$@com>
	<20101212175524.73a8e285@deb0>
	<9264BEE6-DBAE-4523-93AC-4560615D2AC5@googlemail.com>
	<20101212215552.317892e7@deb0>
	<03a701cb9a48$b957e860$2c07b920$@com>
X-Mailer: Claws Mail 3.7.6 (GTK+ 2.20.1; x86_64-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
X-Spam: no; 0.00; ocamlopt:01 afaict:01 ocaml:01 bindings:01 ocaml:01 edwin:98 edwin:98 wrote:01 wrote:01 caml-list:01 binding:02 optimized:04 types:05 dec:05 preferable:06 

On Sun, 12 Dec 2010 22:05:34 -0000
Jon Harrop <jonathandeanharrop@googlemail.com> wrote:

> Edwin wrote:
> > AFAICT LLVM's OCaml bindings are only good for generating LLVM IR
> > from OCaml, not for actually performing transformations on it
> > (there is no binding to retrieve the type of a value for example).
> > I'll probably be looking into fixing that in the near future, and
> > this may indirectly help your LLVM backend (if you intend to write
> > OCaml specific transformations on the LLVM IR).
> 
> That's a lot of work. Wouldn't it be preferable to do the passes on
> the OCaml side and focus on generating high quality LLVM IR?

Yes, that is probably a better approach (generating the optimized IR in
the first place).

Best regards,
--Edwin