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