[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

H.J. Lu <hjl.tools at gmail dot com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |ubizjak at gmail dot com

--- Comment #9 from H.J. Lu <hjl.tools at gmail dot com> 2012-04-05 13:49:31 
UTC ---
On trunk, cse1 turns

(insn 6 3 7 2 (set (reg:DI 64)
        (sign_extend:DI (subreg/u:SI (reg/v/f:DI 63 [ addr ]) 0))) x.i:6 122
{*e
xtendsidi2_rex64}
     (nil))

(insn 7 6 8 2 (parallel [
            (set (reg:DI 61 [ li.3 ])
                (and:DI (reg:DI 64)
                    (const_int 4294967295 [0xffffffff])))
            (clobber (reg:CC 17 flags))
        ]) x.i:10 377 {*anddi_1}
     (nil))

(insn 8 7 9 2 (set (mem/c:DI (symbol_ref:DI ("li")  <var_decl 0x7ffff19b8140
li>
) [0 li+0 S8 A64])
        (reg:DI 61 [ li.3 ])) x.i:10 62 {*movdi_internal_rex64}
     (nil))

into

(insn 6 3 7 2 (set (reg/f:DI 64 [ addr ])
        (sign_extend:DI (subreg/u:SI (reg/v/f:DI 63 [ addr ]) 0))) x.i:6 122
{*e
xtendsidi2_rex64}
     (nil))

(insn 7 6 8 2 (set (reg:DI 61 [ li.3 ])
        (reg/f:DI 64 [ addr ])) x.i:10 62 {*movdi_internal_rex64}
     (nil))

(insn 8 7 9 2 (set (mem/c:DI (symbol_ref:DI ("li")  <var_decl 0x7ffff19b8140
li>
) [0 li+0 S8 A64])
        (reg/f:DI 64 [ addr ])) x.i:10 62 {*movdi_internal_rex64}
     (nil))