[Bug tree-optimization/115813] missing constant evaluation for vectors

[andi-gcc at firstfloor dot org]

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