diff options
author | Joseph Myers <joseph@codesourcery.com> | 2014-02-18 14:45:41 +0000 |
---|---|---|
committer | Joseph Myers <joseph@codesourcery.com> | 2014-02-18 14:45:41 +0000 |
commit | a4fb786185fce5048a13c7879f67dfbe59ff70be (patch) | |
tree | 32d90a80cb679c5d96320ec56b92928312e1246e /sysdeps/x86_64/fpu | |
parent | ef114eafbff80525d079d7d6fadd69a58eb8dcc3 (diff) | |
download | glibc-a4fb786185fce5048a13c7879f67dfbe59ff70be.zip glibc-a4fb786185fce5048a13c7879f67dfbe59ff70be.tar.gz glibc-a4fb786185fce5048a13c7879f67dfbe59ff70be.tar.bz2 |
Fix gen-auto-libm-tests sticky bit setting for negative results.
gen-auto-libm-tests has a bug in the logic for setting a sticky bit
based on the ternary value from MPFR: it is correct for positive
results, but for negative results mpz_setbit acts as if a two's
complement representation is used, whereas the low bit needs setting
based on the sign-magnitude representation GMP actually uses. (This
showed up in converting fma tests to use auto-libm-test-in /
gen-auto-libm-tests.)
This patch fixes the problem by negating the mpz_t value to set its
low bit. There are lots of changes to auto-libm-test-out (mainly 1ulp
fixes to ldbl-128 expected results), but only a few ulps updates are
needed on x86 / x86_64. In one case, a corrected expectation showed
up a spurious underflow exception where the correct result is slightly
outside the underflowing range.
Tested x86_64 and x86 and ulps updated accordingly.
* math/gen-auto-libm-tests.c (adjust_real): Ensure integers are
non-negative before setting low bit.
* math/auto-libm-test-in: Mark one asin test possibly having
spurious underflow.
* math/auto-libm-test-out: Regenerated.
* sysdeps/i386/fpu/libm-test-ulps: Update.
* sysdeps/x86_64/fpu/libm-test-ulps: Likewise.
Diffstat (limited to 'sysdeps/x86_64/fpu')
-rw-r--r-- | sysdeps/x86_64/fpu/libm-test-ulps | 69 |
1 files changed, 69 insertions, 0 deletions
diff --git a/sysdeps/x86_64/fpu/libm-test-ulps b/sysdeps/x86_64/fpu/libm-test-ulps index 02b6d5b..4cb77d9 100644 --- a/sysdeps/x86_64/fpu/libm-test-ulps +++ b/sysdeps/x86_64/fpu/libm-test-ulps @@ -123,11 +123,49 @@ double: 1 Test "asin_downward (-0x1p+0)": double: 1 idouble: 1 +Test "asin_downward (-0x2p-16384)": +ildouble: 1 +ldouble: 1 +Test "asin_downward (-0x4p-1024)": +double: 1 +idouble: 1 +ildouble: 1 +ldouble: 1 +Test "asin_downward (-0x4p-1076)": +double: 1 +idouble: 1 +ildouble: 1 +ldouble: 1 +Test "asin_downward (-0x4p-128)": +double: 1 +float: 1 +idouble: 1 +ifloat: 1 +ildouble: 1 +ldouble: 1 +Test "asin_downward (-0x4p-16384)": +ildouble: 1 +ldouble: 1 +Test "asin_downward (-0x8p-152)": +double: 1 +float: 1 +idouble: 1 +ifloat: 1 +ildouble: 1 +ldouble: 1 +Test "asin_downward (-0x8p-16448)": +ildouble: 1 +ldouble: 1 Test "asin_downward (-0x8p-4)": double: 1 idouble: 1 ildouble: 1 ldouble: 1 +Test "asin_downward (-0x8p-972)": +double: 1 +idouble: 1 +ildouble: 1 +ldouble: 1 Test "asin_downward (-0xf.fffffff8p-4)": double: 1 idouble: 1 @@ -5127,6 +5165,9 @@ ldouble: 1 Test "Imaginary part of: ccos (0x4p-1076 + 0x5.ap+8 i)": double: 1 idouble: 1 +Test "Imaginary part of: ccos (0x4p-16328 + 0x1p-120 i)": +ildouble: 1 +ldouble: 1 Test "Real part of: ccos (0xcp-4 + 0x1.4p+0 i)": double: 1 float: 1 @@ -8485,6 +8526,13 @@ double: 2 idouble: 2 ildouble: 2 ldouble: 2 +Test "Imaginary part of: ctan_downward (-0xc.35p+12 - 0xc.35p+12 i)": +double: 1 +float: 1 +idouble: 1 +ifloat: 1 +ildouble: 1 +ldouble: 1 Test "Real part of: ctan_downward (0x1.921fb4p+0 + +0 i)": float: 1 ifloat: 1 @@ -8631,6 +8679,13 @@ ifloat: 1 Test "Imaginary part of: ctan_downward (0x8p+16380 + 0x1p+0 i)": ildouble: 1 ldouble: 1 +Test "Imaginary part of: ctan_downward (0xc.35p+12 - 0xc.35p+12 i)": +double: 1 +float: 1 +idouble: 1 +ifloat: 1 +ildouble: 1 +ldouble: 1 Test "Real part of: ctan_downward (0xcp-4 + 0x1.4p+0 i)": float: 1 ifloat: 1 @@ -9479,6 +9534,20 @@ idouble: 1 ifloat: 3 ildouble: 1 ldouble: 1 +Test "Real part of: ctanh_downward (-0xc.35p+12 + 0xc.35p+12 i)": +double: 1 +float: 1 +idouble: 1 +ifloat: 1 +ildouble: 1 +ldouble: 1 +Test "Real part of: ctanh_downward (-0xc.35p+12 - 0xc.35p+12 i)": +double: 1 +float: 1 +idouble: 1 +ifloat: 1 +ildouble: 1 +ldouble: 1 Test "Imaginary part of: ctanh_downward (0x1.63p+8 + 0x1p+0 i)": ildouble: 1 ldouble: 1 |