glibc/sysdeps/ieee754/ldbl-128ibm
Joseph Myers 600fa36158 Fix nextafter overflow in non-default rounding modes (bug 16677).
ISO C requires the result of nextafter to be independent of the
rounding mode, even when underflow or overflow occurs.  This patch
fixes the bug in various nextafter implementations that, having done
an overflowing computation to force an overflow exception (correct),
they then return the result of that computation rather than an
infinity computed some other way (incorrect, when the overflowing
result of arithmetic with that sign and rounding mode is finite but
the correct result is infinite) - generally by falling through to
existing code to return a value that in fact is correct for this case
(but was computed by an integer increment and so without generating
the exceptions required).  Having fixed the bug, the previously
deferred conversion of nextafter testing in libm-test.inc to
ALL_RM_TEST is also included.

Tested x86_64 and x86; also spot-checked results of nextafter tests
for powerpc32 and mips64 to test the ldbl-128ibm and ldbl-128
changes.  (The m68k change is untested.)

	[BZ #16677]
	* math/s_nextafter.c (__nextafter): Do not return value from
	overflowing computation.
	* sysdeps/i386/fpu/s_nextafterl.c (__nextafterl): Likewise.
	* sysdeps/ieee754/flt-32/s_nextafterf.c (__nextafterf): Likewise.
	* sysdeps/ieee754/ldbl-128/s_nextafterl.c (__nextafterl):
	Likewise.
	* sysdeps/ieee754/ldbl-128ibm/s_nextafterl.c (__nextafterl):
	Likewise.
	* sysdeps/m68k/m680x0/fpu/s_nextafterl.c (__nextafterl): Likewise.
	* math/libm-test.inc (nextafter_test): Use ALL_RM_TEST.
2014-03-11 22:24:00 +00:00
..
e_acoshl.c Fix ldbl-128ibm acoshl inaccuracy (bug 16384). 2014-01-02 16:33:06 +00:00
e_acosl.c Avoid ordered comparisons of NaNs in ldbl-128ibm acosl and asinl. 2013-10-10 19:11:30 +00:00
e_asinl.c Avoid ordered comparisons of NaNs in ldbl-128ibm acosl and asinl. 2013-10-10 19:11:30 +00:00
e_atan2l.c PowerPC floating point little-endian [3 of 15] 2013-10-04 10:32:36 +09:30
e_atanhl.c PowerPC floating point little-endian [2 of 15] 2013-10-04 10:32:19 +09:30
e_coshl.c Fix ldbl-128ibm coshl spurious overflows (bug 16407). 2014-01-07 22:00:04 +00:00
e_exp10l.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
e_expl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
e_fmodl.c Use glibc_likely instead __builtin_expect. 2014-02-10 15:07:12 +01:00
e_gammal_r.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
e_hypotl.c PowerPC floating point little-endian [4 of 15] 2013-10-04 10:32:48 +09:30
e_ilogbl.c PowerPC floating point little-endian [3 of 15] 2013-10-04 10:32:36 +09:30
e_j0l.c 2006-01-27 Dwayne Grant McConnell <decimal@us.ibm.com> 2006-01-28 00:15:15 +00:00
e_j1l.c 2006-01-27 Dwayne Grant McConnell <decimal@us.ibm.com> 2006-01-28 00:15:15 +00:00
e_jnl.c Fix Bessel function error handling (bug 6807, bug 15901). 2013-12-04 14:39:37 +00:00
e_lgammal_r.c 2006-01-27 Dwayne Grant McConnell <decimal@us.ibm.com> 2006-01-28 00:15:15 +00:00
e_log2l.c PowerPC floating point little-endian [2 of 15] 2013-10-04 10:32:19 +09:30
e_log10l.c PowerPC floating point little-endian [3 of 15] 2013-10-04 10:32:36 +09:30
e_logl.c Fix ldbl-128ibm logl inaccuracy (bug 16386). 2014-01-02 16:35:46 +00:00
e_powl.c PowerPC floating point little-endian [3 of 15] 2013-10-04 10:32:36 +09:30
e_rem_pio2l.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
e_remainderl.c PowerPC floating point little-endian [4 of 15] 2013-10-04 10:32:48 +09:30
e_sinhl.c PowerPC floating point little-endian [2 of 15] 2013-10-04 10:32:19 +09:30
e_sqrtl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
gamma_productl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
ieee754.h Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
k_cosl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
k_sincosl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
k_sinl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
k_tanl.c PowerPC floating point little-endian [3 of 15] 2013-10-04 10:32:36 +09:30
ldbl2mpn.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
Makefile 2006-01-27 Dwayne Grant McConnell <decimal@us.ibm.com> 2006-01-28 00:15:15 +00:00
math_ldbl.h Use glibc_likely instead __builtin_expect. 2014-02-10 15:07:12 +01:00
mpn2ldbl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
printf_fphex.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
s_asinhl.c Fix ldbl-128ibm asinhl inaccuracy (bug 16385). 2014-01-02 16:34:24 +00:00
s_atanl.c PowerPC floating point little-endian [2 of 15] 2013-10-04 10:32:19 +09:30
s_cbrtl.c 2006-01-27 Dwayne Grant McConnell <decimal@us.ibm.com> 2006-01-28 00:15:15 +00:00
s_ceill.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
s_copysignl.c Use <> for math.h and math_private.h everywhere. 2012-03-09 16:09:10 -08:00
s_cosl.c PowerPC floating point little-endian [2 of 15] 2013-10-04 10:32:19 +09:30
s_cprojl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
s_ctanhl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
s_ctanl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
s_erfl.c Fix erfc errno setting on underflow (bug 6786). 2013-12-03 16:25:18 +00:00
s_expm1l.c Fix ldbl-128ibm expm1l on large arguments (bug 16408). 2014-01-08 13:32:39 +00:00
s_fabsl.c PowerPC floating point little-endian [2 of 15] 2013-10-04 10:32:19 +09:30
s_finitel.c PowerPC floating point little-endian [2 of 15] 2013-10-04 10:32:19 +09:30
s_floorl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
s_fmal.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
s_fpclassifyl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
s_frexpl.c PowerPC floating point little-endian [3 of 15] 2013-10-04 10:32:36 +09:30
s_isinf_nsl.c PowerPC floating point little-endian [3 of 15] 2013-10-04 10:32:36 +09:30
s_isinfl.c PowerPC floating point little-endian [3 of 15] 2013-10-04 10:32:36 +09:30
s_isnanl.c PowerPC floating point little-endian [2 of 15] 2013-10-04 10:32:19 +09:30
s_issignalingl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
s_llrintl.c Use glibc_likely instead __builtin_expect. 2014-02-10 15:07:12 +01:00
s_llroundl.c Use glibc_likely instead __builtin_expect. 2014-02-10 15:07:12 +01:00
s_log1pl.c PowerPC floating point little-endian [3 of 15] 2013-10-04 10:32:36 +09:30
s_logbl.c Use glibc_likely instead __builtin_expect. 2014-02-10 15:07:12 +01:00
s_lrintl.c Use glibc_likely instead __builtin_expect. 2014-02-10 15:07:12 +01:00
s_lroundl.c Use glibc_likely instead __builtin_expect. 2014-02-10 15:07:12 +01:00
s_modfl.c PowerPC floating point little-endian [3 of 15] 2013-10-04 10:32:36 +09:30
s_nearbyintl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
s_nextafterl.c Fix nextafter overflow in non-default rounding modes (bug 16677). 2014-03-11 22:24:00 +00:00
s_nexttoward.c PowerPC floating point little-endian [3 of 15] 2013-10-04 10:32:36 +09:30
s_nexttowardf.c PowerPC floating point little-endian [3 of 15] 2013-10-04 10:32:36 +09:30
s_remquol.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
s_rintl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
s_roundl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
s_scalblnl.c PowerPC floating point little-endian [3 of 15] 2013-10-04 10:32:36 +09:30
s_scalbnl.c PowerPC floating point little-endian [3 of 15] 2013-10-04 10:32:36 +09:30
s_signbitl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
s_sincosl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
s_sinl.c PowerPC floating point little-endian [2 of 15] 2013-10-04 10:32:19 +09:30
s_tanhl.c PowerPC floating point little-endian [3 of 15] 2013-10-04 10:32:36 +09:30
s_tanl.c PowerPC floating point little-endian [2 of 15] 2013-10-04 10:32:19 +09:30
s_truncl.c PowerPC: remove wrong truncl implementation for PowerPC64 2014-01-08 08:14:48 -06:00
strtold_l.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
t_sincosl.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00
w_expl.c BZ#13889: expl (709.75) wrongly overflows for ldbl-128ibm 2013-03-22 12:39:10 -03:00
x2y2m1l.c Update copyright notices with scripts/update-copyrights 2014-01-01 22:00:23 +10:00