Haren Visavadia wrote:
--- Robert Dewar wrote:
Haren Visavadia wrote:
--- Robert Dewar wrote:
I would expect the seem behaviour for both cases.
why? You have some inaccurate model of computation,
which in the absence of switches, is not guaranteed.
Floating-point semantics are indeed tricky.
Why are extra switches added onto the test.c and not
test-case.c?
I assume you mean why is an extra switch needed in
one case and not the other? Well the answer is that
the optimization that causes extra precision for
one of the operands applies in one case and not the
other. It is often tricky to know exactly what the
effects of optimization are.
