From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 0E78A7EEBF for ; Fri, 10 Jul 2015 01:04:02 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of basile@starynkevitch.net) identity=pra; client-ip=46.105.17.220; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="basile@starynkevitch.net"; x-sender="basile@starynkevitch.net"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of basile@starynkevitch.net) identity=mailfrom; client-ip=46.105.17.220; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="basile@starynkevitch.net"; x-sender="basile@starynkevitch.net"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@ovh.starynkevitch.net) identity=helo; client-ip=46.105.17.220; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="basile@starynkevitch.net"; x-sender="postmaster@ovh.starynkevitch.net"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0DFBQAO/Z5V/9wRaS5bgxJUEgODa7l+hXsCCIFdTAEBAQEBAYELhCQBAQQjFUEQCw4KAgIFIQICDwJGBg0BBwKILgG4dJY5AQEBAQYBAQEBHoEhiSiBAoQjEQFRBzCCOIFDAQSRRYJohGeJG49Mhxkmg32BeoE+AQEB X-IPAS-Result: A0DFBQAO/Z5V/9wRaS5bgxJUEgODa7l+hXsCCIFdTAEBAQEBAYELhCQBAQQjFUEQCw4KAgIFIQICDwJGBg0BBwKILgG4dJY5AQEBAQYBAQEBHoEhiSiBAoQjEQFRBzCCOIFDAQSRRYJohGeJG49Mhxkmg32BeoE+AQEB X-IronPort-AV: E=Sophos;i="5.15,442,1432591200"; d="scan'208";a="139577975" Received: from ovh.starynkevitch.net ([46.105.17.220]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-SHA; 10 Jul 2015 01:04:01 +0200 Received: from lstlambert-656-1-266-187.w193-248.abo.wanadoo.fr ([193.248.54.187] helo=[192.168.1.5]) by ovh.starynkevitch.net with esmtp (Exim 4.82) (envelope-from ) id 1ZDKrI-0003l0-Je; Fri, 10 Jul 2015 01:04:00 +0200 Message-ID: <559EFDDB.50102@starynkevitch.net> Date: Fri, 10 Jul 2015 01:03:55 +0200 From: Basile Starynkevitch User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.7.0 MIME-Version: 1.0 To: Bull Durham CC: caml-list@inria.fr References: <559EEE98.8080303@starynkevitch.net> In-Reply-To: Content-Type: text/plain; charset=utf-8; format=flowed Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Native compiler for oCaml on System Z On 07/10/2015 12:17 AM, Bull Durham wrote: > Hi. Yes I've thought of those. However I think a direct port is the > most straightforward way to achieve the best performance results. Perhaps; on the other hand I believe that a GCCJIT approach might produce better code (e.g. because of GCC complex register allocation & instruction scheduling abilities). Maybe before doing a direct port, writing & publishing some wikipage about what you are understanding of ocamlopt would be worthwhile. IIRC there have been such efforts in the past, but such information is stalling quickly. So any grey documentation about Ocaml is welcome. Regards. -- Basile STARYNKEVITCH http://starynkevitch.net/Basile/ email: basilestarynkevitchnet mobile: +33 6 8501 2359 8, rue de la Faiencerie, 92340 Bourg La Reine, France *** opinions {are only mine, sont seulement les miennes} ***