Re: [PATCH] Fix PR78546

2016-11-28 Thread Richard Biener
On Mon, 28 Nov 2016, Richard Biener wrote: > > The following fixes an optimization regression noted in PR78546 where > moving patterns from forwprop to match.pd missed one variant. > > Bootstrap & regtest running on x86_64-unknown-linux-gnu. The following is what I have applied (note the fix, t

Re: [PATCH] Fix PR78546

2016-11-28 Thread Bernd Edlinger
Hi Richard, I am just wondering if this might be a mistake, because this looks somehow odd: > + /* CST - (CST - A) -> CST - A */ > + (simplify > + (minus CONSTANT_CLASS_P@1 (minus CONSTANT_CLASS_P@2 @0)) > + (with { tree cst = const_binop (MINUS_EXPR, type, @1, @2); } > +(if (cst