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 1349D7EE80 for ; Mon, 25 Mar 2013 23:09:14 +0100 (CET) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of wojciech.meyer@gmail.com) identity=pra; client-ip=209.85.214.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of wojciech.meyer@gmail.com designates 209.85.214.180 as permitted sender) identity=mailfrom; client-ip=209.85.214.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="wojciech.meyer@gmail.com"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mail-ob0-f180.google.com) identity=helo; client-ip=209.85.214.180; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="wojciech.meyer@gmail.com"; x-sender="postmaster@mail-ob0-f180.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Aj0CAAnKUFHRVda0iGdsb2JhbABDsWuSCYECCBYOAQEBCAsUFAQkgh8BAQVAARsSCwEDDAYFCwcGDSEiAREBBQEKBA4GExKHbwEDDwykW4wygnuETwoZJwMKWYh8AQUMjEGCSwdjgl0DlmeBH44DFimEIA08 X-IPAS-Result: Aj0CAAnKUFHRVda0iGdsb2JhbABDsWuSCYECCBYOAQEBCAsUFAQkgh8BAQVAARsSCwEDDAYFCwcGDSEiAREBBQEKBA4GExKHbwEDDwykW4wygnuETwoZJwMKWYh8AQUMjEGCSwdjgl0DlmeBH44DFimEIA08 X-IronPort-AV: E=Sophos;i="4.84,907,1355094000"; d="scan'208";a="7805208" Received: from mail-ob0-f180.google.com ([209.85.214.180]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 25 Mar 2013 23:09:12 +0100 Received: by mail-ob0-f180.google.com with SMTP id wo10so4108221obc.25 for ; Mon, 25 Mar 2013 15:09:11 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=mime-version:x-received:in-reply-to:references:date:message-id :subject:from:to:cc:content-type; bh=dozG5aGQK6tWha9dEb0qI7ZJqPLQpQgVEAXiJYeaKPY=; b=B4X0YBpbRiVGQoEvJr/BjRPFgmUVGfUtiEArN303cAoeTMX1KMzZ2Qk0rwcU6X5zv4 5FujtElGdv3P1vPUFvst31VloDsf8034hJtMIYiWHg/yg4E7LAFQ6mvD9Ntyn9ZmY9Nv VTYfxtv93wfV6o/N1M6Ao3/PHqpljyw8XMPuxv7QM7oCzaQiHtKyxhRTnhi/XSVWSNdn gbZV1KtQJlMQ3rXFMuyqum3c6F44gcvpJDqfd5YzMlq7ulajmChfUjEUwu04SXIbxX1t xpdmfgpH3M5ul4tOxv3jkTYvThpm+SaKxephfWOoPtgCrCsCdBx8ZKknN+aUa+cRsLod uttw== MIME-Version: 1.0 X-Received: by 10.60.27.66 with SMTP id r2mr12636950oeg.139.1364249351246; Mon, 25 Mar 2013 15:09:11 -0700 (PDT) Received: by 10.182.172.97 with HTTP; Mon, 25 Mar 2013 15:09:11 -0700 (PDT) In-Reply-To: <5372E1BA-6412-40F4-9AF7-412249E422A6@gmail.com> References: <20130323232545.GB30390@annexia.org> <514ED893.5040509@inria.fr> <5372E1BA-6412-40F4-9AF7-412249E422A6@gmail.com> Date: Mon, 25 Mar 2013 22:09:11 +0000 Message-ID: From: Wojciech Meyer To: Benedikt Meurer Cc: Xavier Leroy , caml-list@inria.fr Content-Type: text/plain; charset=ISO-8859-1 Subject: Re: [Caml-list] AArch64 (64 bit ARM) support? Hello, I might actually just ask ARM if they have anything for you to help with the Aarch64 backend. Will keep you up to date. all the best, Wojciech On Sun, Mar 24, 2013 at 6:42 PM, Benedikt Meurer wrote: > > On Mar 24, 2013, at 11:42 , Xavier Leroy wrote: > >> 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. > > I was hoping to get access to preliminary ARM v8 hardware at my new employer later this year, so I could start adding the necessary changes to the ARM backend. > >> Cheers, >> - Xavier Leroy > > greets, > Benedikt > -- > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs