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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83])
	by sympa.inria.fr (Postfix) with ESMTPS id 91CD37EE80
	for <caml-list@sympa.inria.fr>; Sun, 24 Mar 2013 11:42:33 +0100 (CET)
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  Xavier.Leroy@inria.fr) identity=pra; client-ip=212.27.42.2;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="Xavier.Leroy@inria.fr";
  x-sender="Xavier.Leroy@inria.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  Xavier.Leroy@inria.fr) identity=mailfrom;
  client-ip=212.27.42.2;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="Xavier.Leroy@inria.fr";
  x-sender="Xavier.Leroy@inria.fr";
  x-conformance=sidf_compatible
Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@smtp2-g21.free.fr) identity=helo;
  client-ip=212.27.42.2;
  receiver=mail2-smtp-roc.national.inria.fr;
  envelope-from="Xavier.Leroy@inria.fr";
  x-sender="postmaster@smtp2-g21.free.fr";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AuUAALzXTlHUGyoChWdsb2JhbABDhRy9eYJdgXIWDgEBARULGwMlgiQBAQVTJRELEgYJFg8JAwIBAgE3DhMIAQGIFMETjx8WgyoDlmeFfo4R
X-IPAS-Result: AuUAALzXTlHUGyoChWdsb2JhbABDhRy9eYJdgXIWDgEBARULGwMlgiQBAQVTJRELEgYJFg8JAwIBAgE3DhMIAQGIFMETjx8WgyoDlmeFfo4R
X-IronPort-AV: E=Sophos;i="4.84,900,1355094000"; 
   d="scan'208";a="9020829"
Received: from smtp2-g21.free.fr ([212.27.42.2])
  by mail2-smtp-roc.national.inria.fr with ESMTP; 24 Mar 2013 11:42:32 +0100
Received: from [192.168.1.2] (unknown [82.237.71.191])
	by smtp2-g21.free.fr (Postfix) with ESMTP id 096F94B01FC
	for <caml-list@inria.fr>; Sun, 24 Mar 2013 11:42:28 +0100 (CET)
Message-ID: <514ED893.5040509@inria.fr>
Date: Sun, 24 Mar 2013 11:42:27 +0100
From: Xavier Leroy <Xavier.Leroy@inria.fr>
User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:17.0) Gecko/20130221 Thunderbird/17.0.3
MIME-Version: 1.0
To: caml-list@inria.fr
References: <20130323232545.GB30390@annexia.org>
In-Reply-To: <20130323232545.GB30390@annexia.org>
X-Enigmail-Version: 1.4.6
Content-Type: text/plain; charset=ISO-8859-1
Content-Transfer-Encoding: 7bit
Subject: Re: [Caml-list] AArch64 (64 bit ARM) support?

On 24/03/13 00:25, Richard W.M. Jones wrote:
> 
> Just wondering if anyone is looking at AArch64 support for ocamlopt?

I had a look at the ARM v8 / AArch64 documents when they were
released.

>From a compiler writer's point of view, this architecture looks pretty
clean and unproblematic (thanks, ARM!), so I think it will be pretty
easy to support it in ocamlopt.  It looks like one of those ports that
can be completed in one week of work.

Personally, I'd rather wait until real hardware is available, because
developing with an emulator is a pain.

Cheers,

- Xavier Leroy