Creating X32 ABI code with GCC?

[Vincent Diepeveen]

hi,

Kernel 3.4 supports X32 ABI.

see http://kernelnewbies.org/ 
Linux_3.4#head-039c9d273884c9639937c10d68b4a3214869eb4b

This could give fantastic speedups at x64 hardware as it combines the  
advantages of 64 bits
  programming, bunch of registers, with the advantage of still  
reusing the old codes 'signed integer' lookup
which right now slows down so much in x64 as it creates an extra sign  
extension for the lookup 32 bits signed
  value to 64 bits signed value.

Does GCC already support this and if so which options can i trigger  
this with GCC?

If so does this work at all x64 processors as well?

If i google i see a few postings about X32 'backported to GCC'  
attempt in 2011 somewhere, but no confirmation whatsoever.

Thanks,
Vincent