From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <wojciech.meyer@googlemail.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 BE92CBC58
	for <caml-list@yquem.inria.fr>; Thu, 18 Nov 2010 14:07:53 +0100 (CET)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: ApMBAIrs40xKfVIukGdsb2JhbACiSwgWAQIJCQwHEQMfpW6LegEFjjIBBIVLilw
X-IronPort-AV: E=Sophos;i="4.59,213,1288566000"; 
   d="scan'208";a="66808469"
Received: from mail-ww0-f46.google.com ([74.125.82.46])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 17 Nov 2010 23:57:06 +0100
Received: by wwf26 with SMTP id 26so773333wwf.3
        for <caml-list@yquem.inria.fr>; Wed, 17 Nov 2010 14:57:06 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=googlemail.com; s=gamma;
        h=domainkey-signature:received:received:from:to:cc:subject:references
         :date:in-reply-to:message-id:user-agent:mime-version:content-type;
        bh=w5lr8Ge5m0F41KLiMFikLR8LrtyAfBEvArsad2vW/5I=;
        b=gz8x35Vr8z2/UZRQqWAs5vfyHzpH6aQ6VAVZdMSK+szYFCsDgIjaYwD3AVbRW/QSHJ
         c2oHtQaVEVvCQrZWF296hpefHyazD+WDz4S2+N7k8kuXpP5PHqjnET6baGudm/vtHbaO
         zj7nZY91ODwTSX/h3KD5O9CtUqBbwiINhK4YI=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=googlemail.com; s=gamma;
        h=from:to:cc:subject:references:date:in-reply-to:message-id
         :user-agent:mime-version:content-type;
        b=o+oAbRoSUO/1tNbU90qXKBudTAJgLc0tjPeKixazJlF2KdykOxHsSCZl2+KRfGxeUS
         5GeJnY6jGvo+NB2Vt8UVWjrLjypm8Bd3kTrbCp6d6E0Ps9Z7Pwb4fDO11BldhQ3/y6J2
         Z20pyQ4T/fcdqucUgzQo/WzvqCIzvPgaLvO4s=
Received: by 10.227.6.225 with SMTP id a33mr9879988wba.181.1290034626142;
        Wed, 17 Nov 2010 14:57:06 -0800 (PST)
Received: from spec-desktop.specuu.com (host81-157-57-159.range81-157.btcentralplus.com [81.157.57.159])
        by mx.google.com with ESMTPS id h29sm1949160wbc.15.2010.11.17.14.57.03
        (version=TLSv1/SSLv3 cipher=RC4-MD5);
        Wed, 17 Nov 2010 14:57:05 -0800 (PST)
From: Wojciech Daniel Meyer <wojciech.meyer@googlemail.com>
To: Alain Frisch <alain@frisch.fr>
Cc: Benedikt Meurer <benedikt.meurer@googlemail.com>,
	caml-list@yquem.inria.fr
Subject: Re: [Caml-list] Native toplevel?
References: <D252EA22-12B7-4161-8F51-B09A505424D7@googlemail.com>
	<4CE395D4.4000105@frisch.fr>
Date: Wed, 17 Nov 2010 22:57:01 +0000
In-Reply-To: <4CE395D4.4000105@frisch.fr> (Alain Frisch's message of "Wed, 17
	Nov 2010 09:44:04 +0100")
Message-ID: <87tyjfh83m.fsf@gmail.com>
User-Agent: Gnus/5.13 (Gnus v5.13) Emacs/24.0.50
MIME-Version: 1.0
Content-Type: text/plain
X-Spam: no; 0.00; toplevel:01 frisch:01 frisch:01 toplevel:01 mlp:01 mlp:01 wrote:01 emit:01 emit:01 caml-list:01 writes:01 alain:01 alain:01 assembler:02 usable:02 

Alain Frisch <alain@frisch.fr> writes:

> On 11/16/2010 03:52 PM, Benedikt Meurer wrote:
> A further step to improve this native toplevel is to avoid the call to
> the external assembler and linker.  To do that, one basically needs to
> replace the assembly code emitters (emit.mlp/emit_nt.mlp) with native
> code emitters and do the relocation/dynamic loading by hand, which is
> quite easy.

Maybe this could possibly help with the emission part (at least for X86)
(regarding OCamlJIT as well):

https://github.com/danmey/ocaml-inline-x86/

The project is `not yet there', however I am currently putting some
effort to make it more usable. If anybody is interested please shout.

> -- Alain

Wojciech