https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78103
--- Comment #13 from Segher Boessenkool <segher at gcc dot gnu.org> ---
(In reply to Jakub Jelinek from comment #10)
> Unfortunately, it doesn't work for the #c0 testcase, after the combiner
> splitter kicks in, the combiner doesn't even try that 4 insn combination.
It does for me?
Trying 10, 13, 12 -> 14:
10: {r86:DI=r86:DI^0x3f;clobber flags:CC;}
REG_UNUSED flags:CC
13: r88:DI=0x40
12: r87:DI=sign_extend(r86:DI#0)
REG_DEAD r86:DI
14: {r85:DI=r88:DI-r87:DI;clobber flags:CC;}
REG_DEAD r88:DI
REG_DEAD r87:DI
REG_UNUSED flags:CC
REG_EQUAL 0x40-r87:DI
Failed to match this instruction:
(parallel [
(set (reg/v:DI 85 [ x ])
(minus:DI (const_int 64 [0x40])
(xor:DI (sign_extend:DI (subreg:SI (reg:DI 86) 0))
(const_int 63 [0x3f]))))
(clobber (reg:CC 17 flags))
])
Failed to match this instruction:
(set (reg/v:DI 85 [ x ])
(minus:DI (const_int 64 [0x40])
(xor:DI (sign_extend:DI (subreg:SI (reg:DI 86) 0))
(const_int 63 [0x3f]))))
Successfully matched this instruction:
(set (reg:DI 88)
(sign_extend:DI (subreg:SI (reg:DI 86) 0)))
Failed to match this instruction:
(set (reg/v:DI 85 [ x ])
(minus:DI (const_int 64 [0x40])
(xor:DI (reg:DI 88)
(const_int 63 [0x3f]))))
(Because 13 is a move from constant, 4-insn is allowed here).
