[ARM] Fix PR target/59833
authorAurelien Jarno <aurelien@aurel32.net>
Thu, 21 Jul 2016 08:27:47 +0000 (08:27 +0000)
committerRamana Radhakrishnan <ramana@gcc.gnu.org>
Thu, 21 Jul 2016 08:27:47 +0000 (08:27 +0000)
commita1b01d34036c85f23b7ca1a2c99e5b6bb0b8e68c
tree3973337fb07a5c53e6c89382ef87a62c8ee3a2c6
parent23974819345d2dc793cc77c85a5d84d05c787fa2
[ARM] Fix PR target/59833

For Aurelien Jarno <aurelien@aurel32.net>

On ARM soft-float, the float to double conversion doesn't convert a sNaN
to qNaN as the IEEE Std 754 standard mandates:

"Under default exception handling, any operation signaling an invalid
operation exception and for which a floating-point result is to be
delivered shall deliver a quiet NaN."

Given the soft float ARM code ignores exceptions and always provides a
result, a float to double conversion of a signaling NaN should return a
quiet NaN. Fix this in extendsfdf2.

gcc/ChangeLog:

PR target/59833
* config/arm/ieee754-df.S (extendsfdf2): Convert sNaN to qNaN.

gcc/testsuite/ChangeLog:

* gcc.dg/pr59833.c: New testcase.

From-SVN: r238584
gcc/testsuite/gcc.dg/pr59833.c [new file with mode: 0644]
libgcc/ChangeLog
libgcc/config/arm/ieee754-df.S