Mark more libm tests with xfail-rounding:ldbl-128ibm.

This patch marks more libm tests as expected to fail for ldbl-128ibm
in non-default rounding modes.  Given this, my expm1l fix
<https://sourceware.org/ml/libc-alpha/2014-01/msg00135.html> and my
libgcc fix <http://gcc.gnu.org/ml/gcc-patches/2014-01/msg00157.html>
for spurious overflows, the remaining failures in test-ldouble.out
(for powerpc32 hard float) are small ulps, spurious underflow and
inexact exceptions (the former probably arising from libgcc bugs
though I haven't checked each case; the latter are barely meaningful
for this format anyway when basic arithmetic isn't correctly rounding,
though most of them are probably GCC bug 59412 which doesn't actually
involve long double), missing underflow exceptions from clog, ctan and
ctanh (probably one of the known bugs for another function), and logb
in round-downward mode (bug 887, though it's really a GCC bug that
we're not currently working around).

Tested for powerpc32 hard float.

	* math/auto-libm-test-in: Mark various tests with
	xfail-rounding:ldbl-128ibm.
	* math/auto-libm-test-out: Regenerated.
This commit is contained in:
Joseph Myers 2014-01-07 22:41:58 +00:00
parent b821f414e4
commit a5a326f660
3 changed files with 443 additions and 433 deletions

View File

@ -1,5 +1,9 @@
2014-01-07 Joseph Myers <joseph@codesourcery.com> 2014-01-07 Joseph Myers <joseph@codesourcery.com>
* math/auto-libm-test-in: Mark various tests with
xfail-rounding:ldbl-128ibm.
* math/auto-libm-test-out: Regenerated.
[BZ #16407] [BZ #16407]
* sysdeps/ieee754/ldbl-128ibm/e_coshl.c (__ieee754_coshl): * sysdeps/ieee754/ldbl-128ibm/e_coshl.c (__ieee754_coshl):
Increase overflow threshold. Increase overflow threshold.

View File

@ -614,8 +614,9 @@ ctan 1 45
ctan 1 47 ctan 1 47
ctan 1 355 ctan 1 355
ctan 1 365 ctan 1 365
ctan 1 5680 # GCC bug 59666: results on directed rounding may be incorrect.
ctan 1 5690 ctan 1 5680 xfail-rounding:ldbl-128ibm
ctan 1 5690 xfail-rounding:ldbl-128ibm
ctan 0x3.243f6cp-1 0 ctan 0x3.243f6cp-1 0
@ -623,10 +624,11 @@ ctan 0x1p127 1
ctan 0x1p1023 1 ctan 0x1p1023 1
ctan 0x1p16383 1 ctan 0x1p16383 1
ctan 50000 50000 # GCC bug 59666: results on directed rounding may be incorrect.
ctan 50000 -50000 ctan 50000 50000 xfail-rounding:ldbl-128ibm
ctan -50000 50000 ctan 50000 -50000 xfail-rounding:ldbl-128ibm
ctan -50000 -50000 ctan -50000 50000 xfail-rounding:ldbl-128ibm
ctan -50000 -50000 xfail-rounding:ldbl-128ibm
ctan 0x1.921fb6p+0 0x1p-149 ctan 0x1.921fb6p+0 0x1p-149
ctan 0x1.921fb54442d18p+0 0x1p-1074 ctan 0x1.921fb54442d18p+0 0x1p-1074
@ -646,8 +648,9 @@ ctanh 45 1
ctanh 47 1 ctanh 47 1
ctanh 355 1 ctanh 355 1
ctanh 365 1 ctanh 365 1
ctanh 5680 1 # GCC bug 59666: results on directed rounding may be incorrect.
ctanh 5690 1 ctanh 5680 1 xfail-rounding:ldbl-128ibm
ctanh 5690 1 xfail-rounding:ldbl-128ibm
ctanh 0 0x3.243f6cp-1 ctanh 0 0x3.243f6cp-1
@ -655,10 +658,11 @@ ctanh 1 0x1p127
ctanh 1 0x1p1023 ctanh 1 0x1p1023
ctanh 1 0x1p16383 ctanh 1 0x1p16383
ctanh 50000 50000 # GCC bug 59666: results on directed rounding may be incorrect.
ctanh 50000 -50000 ctanh 50000 50000 xfail-rounding:ldbl-128ibm
ctanh -50000 50000 ctanh 50000 -50000 xfail-rounding:ldbl-128ibm
ctanh -50000 -50000 ctanh -50000 50000 xfail-rounding:ldbl-128ibm
ctanh -50000 -50000 xfail-rounding:ldbl-128ibm
ctanh 0x1p-149 0x1.921fb6p+0 ctanh 0x1p-149 0x1.921fb6p+0
ctanh 0x1p-1074 0x1.921fb54442d18p+0 ctanh 0x1p-1074 0x1.921fb54442d18p+0
@ -709,13 +713,15 @@ exp 50.0
exp 88.72269439697265625 exp 88.72269439697265625
exp 709.75 exp 709.75
# Bug 16284: results on directed rounding may be incorrect. # Bug 16284: results on directed rounding may be incorrect.
exp 1000.0 xfail-rounding:dbl-64 # GCC bug 59666: results on directed rounding may be incorrect.
exp 710 xfail-rounding:dbl-64 exp 1000.0 xfail-rounding:dbl-64 xfail-rounding:ldbl-128ibm
exp 710 xfail-rounding:dbl-64 xfail-rounding:ldbl-128ibm
exp -1234 exp -1234
# Bug 16284: results on directed rounding may be incorrect. # Bug 16284: results on directed rounding may be incorrect.
exp 0x2.c679d1f73f0fb628p+8 xfail-rounding:dbl-64 # GCC bug 59666: results on directed rounding may be incorrect.
exp 1e5 xfail-rounding:dbl-64 exp 0x2.c679d1f73f0fb628p+8 xfail-rounding:dbl-64 xfail-rounding:ldbl-128ibm
exp max xfail-rounding:dbl-64 exp 1e5 xfail-rounding:dbl-64 xfail-rounding:ldbl-128ibm
exp max xfail-rounding:dbl-64 xfail-rounding:ldbl-128ibm
exp -7.4444006192138124e+02 exp -7.4444006192138124e+02
exp -0x1.75f113c30b1c8p+9 exp -0x1.75f113c30b1c8p+9
exp -max exp -max

File diff suppressed because it is too large Load Diff