Re: Avoid matching the same pattern statement twice

2018-07-03 Thread Richard Biener
On Tue, Jul 3, 2018 at 10:02 AM Richard Sandiford wrote: > > r262275 allowed pattern matching on pattern statements. Testing for > SVE on more benchmarks showed a case where this interacted badly > with 14/n. > > The new over-widening detection could narrow a COND_EXPR A to another > COND_EXPR B,

Avoid matching the same pattern statement twice

2018-07-03 Thread Richard Sandiford
r262275 allowed pattern matching on pattern statements. Testing for SVE on more benchmarks showed a case where this interacted badly with 14/n. The new over-widening detection could narrow a COND_EXPR A to another COND_EXPR B, which mixed_size_cond could then match. This was working as expected.