On 6 March 2013 12:38, David McQuillan wrote: > Have there been any implementations of gcc for a 32 bit pointer system where > the registers are 64 bits long?
Yes, the new x32 ABI for x86_64, see https://sites.google.com/site/x32abi/ and http://lwn.net/Articles/456731/