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