about summary refs log tree commit diff
path: root/sysdeps/m68k
diff options
context:
space:
mode:
authorJoseph Myers <joseph@codesourcery.com>2014-03-11 22:24:00 +0000
committerJoseph Myers <joseph@codesourcery.com>2014-03-11 22:24:00 +0000
commit600fa36158cd741d897b2d22c735c60247b982e0 (patch)
tree8e220cd7d1dc1619fd4cfb14b3f05a454f6ab813 /sysdeps/m68k
parentd7706c32589ef32f4bed3122a2f5c861b214149e (diff)
downloadglibc-600fa36158cd741d897b2d22c735c60247b982e0.tar.gz
glibc-600fa36158cd741d897b2d22c735c60247b982e0.tar.xz
glibc-600fa36158cd741d897b2d22c735c60247b982e0.zip
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.
Diffstat (limited to 'sysdeps/m68k')
-rw-r--r--sysdeps/m68k/m680x0/fpu/s_nextafterl.c5
1 files changed, 4 insertions, 1 deletions
diff --git a/sysdeps/m68k/m680x0/fpu/s_nextafterl.c b/sysdeps/m68k/m680x0/fpu/s_nextafterl.c
index 03c136bb08..ad77ca4f67 100644
--- a/sysdeps/m68k/m680x0/fpu/s_nextafterl.c
+++ b/sysdeps/m68k/m680x0/fpu/s_nextafterl.c
@@ -89,7 +89,10 @@ long double __nextafterl(long double x, long double y)
 	    }
 	}
 	esy = esx&0x7fff;
-	if(esy==0x7fff) return x+x;	/* overflow  */
+	if(esy==0x7fff) {
+	    long double u = x + x;	/* overflow  */
+	    math_force_eval (u);
+	}
 	if(esy==0 && (hx & 0x80000000) == 0) { /* underflow */
 	    y = x*x;
 	    math_force_eval (y);		/* raise underflow flag */