[racket-dev] ARM support in the JIT

From: Matthew Flatt (mflatt at cs.utah.edu)
Date: Wed Apr 17 18:59:04 EDT 2013

At Mon, 8 Apr 2013 15:22:02 -0600, Matthew Flatt wrote:
> At Mon, 08 Apr 2013 16:15:03 -0500, Brian Mastenbrook wrote:
> > On 04/08/2013 03:58 PM, Matthew Flatt wrote:
> > > I've pushed changes to the JIT to add an ARM back-end, which is based
> > > on Paulo César Pereira de Andrade's very nice implementation of GNU
> > > lightning for ARM.
> > 
> > On what processors is this expected to work? In particular is the ARMv6 
> > supported (Raspberry Pi)? I have one of those personally for testing.
> I think ARMv4 is the lower bound. ARMv6 is supposed to work, so let me
> know if it doesn't.

It didn't. I've pushed repairs.

The ARM JIT is now configured statically, instead of dynamically, based
on CPP definitions by the compiler. Configuration via "/proc/cpuinfo"
seems not to be reliable (on A Raspberry Pi running Raspian, for
example), and static selection makes the JIT itself significantly

Posted on the dev mailing list.