From 05f3ed0a799d08c2b3ecc256fc0dc08d8b9a3784 Mon Sep 17 00:00:00 2001 From: Joseph Myers Date: Wed, 19 Oct 2016 22:58:34 +0000 Subject: Stop powerpc copysignl raising "invalid" for sNaN argument (bug 20718). The powerpc (hard-float) implementations of copysignl, both 32-bit and 64-bit, raise spurious "invalid" exceptions when the first argument is a signaling NaN. copysign functions should never raise exceptions even for signaling NaNs. The problem is the use of an fcmpu instruction to test the sign of the high part of the long double argument. This patch fixes the functions to use fsel instead (as used for fabsl following my fixes for a similar bug there), or to examine the integer representation for older 32-bit processors without fsel. Tested for powerpc64 and powerpc32 (configurations with and without fsel used). [BZ #20718] * sysdeps/powerpc/powerpc32/fpu/s_copysignl.S (__copysignl): Do not use floating-point comparisons to test sign. * sysdeps/powerpc/powerpc64/fpu/s_copysignl.S (__copysignl): Likewise. --- ChangeLog | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'ChangeLog') diff --git a/ChangeLog b/ChangeLog index 9b226786af..49436bcf4b 100644 --- a/ChangeLog +++ b/ChangeLog @@ -1,5 +1,11 @@ 2016-10-19 Joseph Myers + [BZ #20718] + * sysdeps/powerpc/powerpc32/fpu/s_copysignl.S (__copysignl): Do + not use floating-point comparisons to test sign. + * sysdeps/powerpc/powerpc64/fpu/s_copysignl.S (__copysignl): + Likewise. + * math/bits/mathcalls.h [__GLIBC_USE (IEC_60559_BFP_EXT)] (getpayload): New declaration. * math/Versions (getpayload): New libm symbol at version -- cgit 1.4.1