From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <Xavier.Leroy@inria.fr>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by sympa.inria.fr (Postfix) with ESMTPS id 7B6477EEBF
	for <caml-list@sympa.inria.fr>; Fri, 10 Jul 2015 19:39:30 +0200 (CEST)
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  Xavier.Leroy@inria.fr) identity=pra; client-ip=212.27.42.3;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="Xavier.Leroy@inria.fr";
  x-sender="Xavier.Leroy@inria.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  Xavier.Leroy@inria.fr) identity=mailfrom;
  client-ip=212.27.42.3;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="Xavier.Leroy@inria.fr";
  x-sender="Xavier.Leroy@inria.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp3-g21.free.fr) identity=helo;
  client-ip=212.27.42.3;
  receiver=mail3-smtp-sop.national.inria.fr;
  envelope-from="Xavier.Leroy@inria.fr";
  x-sender="postmaster@smtp3-g21.free.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: A0BJAQAoAqBVnAMqG9Rbg2aEALoJhXsCgUpMAQEBAQEBEgEBAQEBBg0JCSEuhCQBAQQjMCURCxgCAgUWCwICCQMCAQIBRRMIAQGILgm5aZY5AQEIAQEBARoEgSGKKoUNFoJSgUMBBJQxhGmHG4hEkCeEI4M4AQEB
X-IPAS-Result: A0BJAQAoAqBVnAMqG9Rbg2aEALoJhXsCgUpMAQEBAQEBEgEBAQEBBg0JCSEuhCQBAQQjMCURCxgCAgUWCwICCQMCAQIBRRMIAQGILgm5aZY5AQEIAQEBARoEgSGKKoUNFoJSgUMBBJQxhGmHG4hEkCeEI4M4AQEB
X-IronPort-AV: E=Sophos;i="5.15,448,1432591200"; 
   d="scan'208";a="139700591"
Received: from smtp3-g21.free.fr ([212.27.42.3])
  by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 10 Jul 2015 19:39:30 +0200
Received: from [192.168.1.2] (unknown [82.237.71.191])
	by smtp3-g21.free.fr (Postfix) with ESMTPS id CE50BA6355
	for <caml-list@inria.fr>; Fri, 10 Jul 2015 19:39:29 +0200 (CEST)
Message-ID: <55A00351.2050604@inria.fr>
Date: Fri, 10 Jul 2015 19:39:29 +0200
From: Xavier Leroy <Xavier.Leroy@inria.fr>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0
MIME-Version: 1.0
To: caml-list@inria.fr
References: <CAGyVGgOE77g4QGvQcqj3ug_Nv2x7xC0Go94ZDaLk-UA-D-u4iA@mail.gmail.com> <559EEE98.8080303@starynkevitch.net>
In-Reply-To: <559EEE98.8080303@starynkevitch.net>
Content-Type: text/plain; charset=utf-8
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] Native compiler for oCaml on System Z

On 09/07/15 23:58, Basile Starynkevitch wrote:
> A possible way might be to not directly target SystemZ but to
> leverage on some of the efforts which either have translated the
> Ocaml bytecode to C, or to consider writing some JIT backend for
> Ocaml; I'm thinking of patching the Ocaml native compiler to use
> LLVM or more probably the very new GCCJIT
> https://gcc.gnu.org/onlinedocs/jit to leverage on the optimization
> abilities of GCC middle-end & back-end etc.

Targeting LLVM or GCCJIT is an interesting but separate project.
At least one attempt were made in the past to target LLVM, running into
problems with the (exact) GC interface of OCaml.  Maybe LLVM improved
recently in this department, and maybe GCCJIT can handle it too.  If
not, I think it's a dead end.

- Xavier Leroy