[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 #4 from Steffen Schmidt <steffen-schmidt at siemens dot com> 
2012-02-23 11:40:41 UTC ---
Created attachment 26731
  --> http://gcc.gnu.org/bugzilla/attachment.cgi?id=26731
Generated -m64 -O1 assembler