[Bug target/52876] [x32] - Sign extend 32 to 64bit then clear upper 32bits fails O1 or higher

[hjl.tools at gmail dot com]

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

--- Comment #10 from H.J. Lu <hjl.tools at gmail dot com> 2012-04-05 14:30:40 
UTC ---
simplify_binary_operation (code=AND, mode=DImode, op0=0x7ffff1ac0900, 
    op1=0x7ffff1a8ffb0) at /export/gnu/import/git/gcc/gcc/simplify-rtx.c:1893
1893      gcc_assert (GET_RTX_CLASS (code) != RTX_COMPARE);
(gdb) call debug_rtx (op0)
(reg/f:DI 64 [ addr ])
(gdb) call debug_rtx (op1)
(const_int 4294967295 [0xffffffff])
(gdb) 

returns

(reg/f:DI 64 [ addr ])