This is the mail archive of the
mailing list for the GCC project.
Re: Expansion of narrowing math built-ins into power instructions
On Wed, 14 Aug 2019, Segher Boessenkool wrote:
> Does something like
> float d; double a, b, x;
> d = fadd (a + x, b - x);
> work as wanted, with such a representation? It would simplify (does it?) to
> d = fadd (a, b);
> but is that allowed?
It's not allowed, but neither is simplifying (a + x) + (b - x) into (a +
b), when contraction isn't allowed.
Joseph S. Myers