[Bug rtl-optimization/111467] REE failing to eliminate redundant extension due to multiple reaching def(s)

[vineetg at gcc dot gnu.org via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=111467

--- Comment #1 from Vineet Gupta <vineetg at gcc dot gnu.org> ---
(insn 8 4 11 2 (set (reg:SI 15 a5 [orig:137 b ] [137])  <--- DEF #1
        (reg:SI 11 a1 [orig:136 b ] [136])) "max.c":12:20 207 {*movsi_internal}
     (nil))

(jump_insn 11 8 22 2 (set (pc)
        (if_then_else (ge (reg/v:DI 11 a1 [orig:136 b ] [136])
                (reg/v:DI 10 a0 [orig:135 a ] [135]))
            (label_ref 13)
            (pc))) "max.c":12:20 273 {*branchdi}
     (int_list:REG_BR_PROB 536870916 (nil))
 -> 13)

(insn 12 22 13 3 (set (reg:SI 15 a5 [orig:137 b ] [137])        <--- DEF #2
        (reg:SI 10 a0 [orig:135 a ] [135])) "max.c":12:20 207 {*movsi_internal}
     (nil))

(code_label 13 12 23 4 2 (nil) [1 uses])

(insn 19 14 20 4 (set (reg/i:DI 10 a0)  <-- USE: Multiple reaching DEFs
        (sign_extend:DI (reg:SI 15 a5 [orig:137 b ] [137]))) "max.c":13:1 122
{extendsidi2}
     (nil))