[Caml-list] AArch64 (64 bit ARM) support?

[Caml-list] AArch64 (64 bit ARM) support?

[Richard W.M. Jones]

Just wondering if anyone is looking at AArch64 support for ocamlopt?

Rich.

-- 
Richard Jones
Red Hat

Re: [Caml-list] AArch64 (64 bit ARM) support?

[Xavier Leroy]

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

Re: [Caml-list] AArch64 (64 bit ARM) support?

[Benedikt Meurer]

On Mar 24, 2013, at 11:42 , Xavier Leroy <Xavier.Leroy@inria.fr> 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

Re: [Caml-list] AArch64 (64 bit ARM) support?

[Wojciech Meyer]

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
<benedikt.meurer@googlemail.com> wrote:
>
> On Mar 24, 2013, at 11:42 , Xavier Leroy <Xavier.Leroy@inria.fr> 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

Re: [Caml-list] AArch64 (64 bit ARM) support?

[Stéphane Glondu]

Le 25/03/2013 23:09, Wojciech Meyer a écrit :
> I might actually just ask ARM if they have anything for you to help
> with the Aarch64 backend.
> Will keep you up to date.

Debian and Ubuntu have been ported to this new architecture:

  http://lists.debian.org/debian-arm/2013/02/msg00054.html

Note: this guy is affiliated with ARM.


Cheers,

-- 
Stéphane