[Bug target/52352] [x32] - Wrong code to access addresses 0x80000000 to 0xFFFFFFFF using registers

[steffen-schmidt at siemens dot com]

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

--- Comment #1 from Steffen Schmidt <steffen-schmidt at siemens dot com> 
2012-02-23 11:38:50 UTC ---
Created attachment 26728
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26728
Generated -mx32 -O3 assembler