Re: [PATCH][match-and-simplify] Complete associate_* patterns

2014-09-11 Thread Richard Biener
On Thu, 11 Sep 2014, Marc Glisse wrote: > On Thu, 11 Sep 2014, Richard Biener wrote: > > > + /* We can't reassociate floating-point or fixed-point plus or minus > > +because of saturation to +-Inf. */ > > + (if (!FLOAT_TYPE_P (type) && !FIXED_POINT_TYPE_P (type)) > > Do you remember if ther

Re: [PATCH][match-and-simplify] Complete associate_* patterns

2014-09-11 Thread Marc Glisse
On Thu, 11 Sep 2014, Richard Biener wrote: + /* We can't reassociate floating-point or fixed-point plus or minus +because of saturation to +-Inf. */ + (if (!FLOAT_TYPE_P (type) && !FIXED_POINT_TYPE_P (type)) Do you remember if there was a particular reason not to add || flag_associative

[PATCH][match-and-simplify] Complete associate_* patterns

2014-09-11 Thread Richard Biener
The following patch completes transitioning tree-ssa-forwprop.c:associate_* to patterns. Bootstrapped and tested on x86_64-unknown-linux-gnu. Richard. 2014-09-11 Richard Biener * match-plusminus.pd: Complete associate_plusminus patterns. Properly guard all patterns. Add as