https://gcc.gnu.org/bugzilla/show_bug.cgi?id=92140
Jakub Jelinek <jakub at gcc dot gnu.org> changed: What |Removed |Added ---------------------------------------------------------------------------- CC| |jakub at gcc dot gnu.org --- Comment #2 from Jakub Jelinek <jakub at gcc dot gnu.org> --- So, what combine attempts here and fails recognizing is in tst1: (parallel [ (set (mem/c:SI (symbol_ref:DI ("v") [flags 0x40] <var_decl 0x7f142dbe6bd0 v>) [1 v+0 S4 A32]) (plus:SI (ne:SI (mem:QI (plus:DI (reg:DI 89 [ c ]) (symbol_ref:DI ("table") [flags 0x40] <var_decl 0x7f142dbe6ab0 table>)) [0 table S1 A8]) (const_int 0 [0])) (mem/c:SI (symbol_ref:DI ("v") [flags 0x40] <var_decl 0x7f142dbe6bd0 v>) [1 v+0 S4 A32]))) (clobber (reg:CC 17 flags)) ]) in tst2: (parallel [ (set (mem/c:SI (symbol_ref:DI ("v") [flags 0x40] <var_decl 0x7f142dbe6bd0 v>) [1 v+0 S4 A32]) (minus:SI (mem/c:SI (symbol_ref:DI ("v") [flags 0x40] <var_decl 0x7f142dbe6bd0 v>) [1 v+0 S4 A32]) (ne:SI (mem:QI (plus:DI (reg:DI 89 [ c ]) (symbol_ref:DI ("table") [flags 0x40] <var_decl 0x7f142dbe6ab0 table>)) [0 table S1 A8]) (const_int 0 [0])))) (clobber (reg:CC 17 flags)) ]) and in tst3: (parallel [ (set (reg:SI 82 [ <retval> ]) (plus:SI (ne:SI (reg:SI 86) (const_int 0 [0])) (const_int 1 [0x1]))) (clobber (reg:CC 17 flags)) ])