[Bug target/52146] [x32] - Wrong code to access addresses 0x80000000 to 0xFFFFFFFF

[hjl.tools at gmail dot com]

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=52146

--- Comment #5 from H.J. Lu <hjl.tools at gmail dot com> 2012-02-10 00:21:18 
UTC ---
Created attachment 26636
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26636
A patch