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.