[patch] add x32 support

Richard Henderson rth at twiddle.net
Thu Jan 10 22:03:21 CET 2013

On 01/10/2013 12:46 PM, Torbjorn Granlund wrote:
> (I wonder if this can become a robust ABI with current hardware, unless
> we pay a major performance price.  It seems like address arithmetic by
> means of hardware indexing, lea, etc, will be 64-bits, while we want to
> compute mod 2^32.)

The addr32 prefix takes care of this.


More information about the gmp-devel mailing list