[Caml-list] Re: ARM code generator problem

[Benedikt Meurer <benedikt.meurer@googlemail.com>]

On Aug 11, 2012, at 10:57 , Jeffrey Scofield wrote:

> Benedikt,

Hey Jeffrey,

>> Looking through the arm-as-to-ios script you published, I could merge
>> most of the label, symbol addressing and jump table related code. BTW
>> you're script isn't going to work for large compilation units, because
>> the range of the LDR instruction is limited and you always allocate the
>> pool at the end of the file.
> 
> Since I only use the script to process arm.S, I didn't work *too* hard
> at making it work for everything.  But I thought it might be useful
> to other people as a starting point, or as a catalog of the changes
> I had to make.
> 
> If you're not too put off by the ugliness of the compatibility changes,
> I'd be very happy to merge the code.

I started work on merging your code, see the diff here:

https://github.com/bmeurer/ocaml-arm/compare/bm/ios

That handles most of the basic stuff. Now there are some open issues, i.e. what about .arch / .machine? Is that armv6 vs. armv7 thing an ABI difference?

You can install Debian armel within qemu to easily test the Linux ARM stuff. Preinstalled Debian/squeeze images are available from http://people.debian.org/~aurel32/qemu/armel/

> Best regards,
> Jeffrey

Benedikt