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. r~