If you add the following 2 numbers together:
000..08000 c0200...000
The result is both c02000...00
But the soft float raised an inexact flag, while fpu_double does not.
If you want FPU equivalence checking with soft float library, please contact jlong@eecs.berkeley.edu
Any update ?