https://gcc.gnu.org/bugzilla/show_bug.cgi?id=115813
--- Comment #2 from Andi Kleen <andi-gcc at firstfloor dot org> --- Is that the right pattern for the example? It looks different Enabling match.pd debugging for the scalar version shows: taddbit.c.034t.ccp1:Applying pattern match.pd:3960, gimple-match.cc:18437 taddbit.c.034t.ccp1:Applying pattern match.pd:3760, gimple-match.cc:14134 taddbit.c.035t.forwprop1:Applying pattern match.pd:3960, gimple-match.cc:18437 taddbit.c.035t.forwprop1:Applying pattern match.pd:3760, gimple-match.cc:14134 taddbit.c.035t.forwprop1:Applying pattern match.pd:1880, gimple-match.cc:34062 But anyways I suspect the general problem applies to a lot of patterns in match.pd
