double NaN to float conversion problem about spinhawk HOT 5 CLOSED

from Paulo's email sent to me:
...
But reading objdump output, it is supposed to be
done by the hardware, in both cases, the instruction:

ledbr %f0,%f0

from spinhawk.

All production versions of Hercules up to 3.09 contain only a partial implementation of IEEE floating point (BFP in mainframe terminology). This partial implementation is known to produce incorrect results for certain operations. The development version of Hercules has addressed this problem by replacing the partial BFP implementation by calls to the softfloat package, which while slower does produce correct results. The modification has not yet been retrofitted into the production versions of Hercules but it is in the plan.

from spinhawk.

This bug is now scheduled for correction in release 3.10

from spinhawk.

Bug has been corrected by spinhawk commit ee5f56a which will be included in the next release (3.10)

from spinhawk.

Fixed by release 3.10

from spinhawk.