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 jos...@codesourcery.com
