> ARM   -1 + 1 = -0 cmp 0 fail; cmp -0 fail
>       1 + -1 = 0 cmp 0 ok; cmp -0 ok

I know floating point add isn't associative, but I thought it was at
least meant to be commutative.  The bug may not be where you think.

> the fpi guts are independent of the emulation on top, aren't they?

More or less.  There's the question of how many secret extra bits
of precision to maintain internally, beyond the ones you get when
you store from a register.


Reply via email to