double NaN to float conversion problem

[pcpa]

I have been told to report here an issue I suspected could be a Hercules emulator problem, and was told it works (does not abort) on actual hardware. This small test program fails on hercules-3.08.2-1.fc20.x86_64 using a fedora 16 image:

extern void abort(void);

void
test(float f)
{
    float fnan = 0.0f/0.0f;
    if (*(int*)&f != *(int*)&fnan)
        abort();
}

int
main(int argc, char *argv[])
{
        double dnan = 0.0/0.0;
        test(dnan);
        return 0;
}

[sharkcz]

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

[rbowler]

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.

[rbowler]

This bug is now scheduled for correction in release 3.10

[rbowler]

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

[rbowler]

Fixed by release 3.10