Re: Conflicts between C standard and 754-2008
Hossam Fahmy wrote:
> and without any parenthesis I assumed that the evaluation will always
> proceed from left to right and I swapped the second and third term.
> So we are getting:
> (z-y)+x = 100
> and
> (z+x)-y=0
Without associativity there is no such thing as a "third term", so you
can't swap 2nd and 3rd terms, and the cited optimization rule does not
apply.
What would be allowed is replacing z-y+x with x+(z-y).
In any case, in the presence of NaNs FP addition may be non-commutative.
Michel.
---Sent: 2011-01-06 13:25:41 UTC