https://gcc.gnu.org/bugzilla/show_bug.cgi?id=60962
--- Comment #3 from joseph at codesourcery dot com <joseph at codesourcery dot com> --- On Mon, 26 Sep 2016, rguenth at gcc dot gnu.org wrote: > /* We want to canonicalize to positive real constants. Pretend > that only negative ones can be easily negated. */ > > is that we don't transform x + -2.*y to x - 2.*y (which in this case would > also pessimize code, but well...). Note that such a transformation is invalid if flag_rounding_math.
