http://gcc.gnu.org/bugzilla/show_bug.cgi?id=55142
--- Comment #22 from Eric Botcazou <ebotcazou at gcc dot gnu.org> 2012-11-07 22:43:00 UTC --- > (,%eax,4) generates a 0x67 address-size prefix, which zero-extends > 32-bit address to 64-bit. OK, I see. Then it would be interesting to have a testcase that generates the problematic mov %edx,-0x40000300(%rax) in order to really understand the issue.