Subject: Re: Q: ARM32 ABI To: None <richard.earnshaw@arm.com> From: Philip Blundell <pb@nexus.co.uk> List: port-arm32 Date: 06/04/1998 14:06:48
>I don't think trying to change the ABI like this is a wise idea,
>especially since there would be no performance gain from doing so.
No, that's probably true. There would be a portability gain but I agree it
wouldn't really be worthwhile.
p.