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

Marc Glisse marc.glisse@inria.fr
Thu Sep 11 11:39:00 GMT 2014


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_math
when this was in forwprop?

-- 
Marc Glisse



More information about the Gcc-patches mailing list