Joseph Myers a820f9b3c0 Fix remquo spurious overflows (bug 17978). ...

Various remquo implementations, when computing the last three bits of
the quotient, have spurious overflows when 4 times the second argument
to remquo overflows.  These overflows can in turn cause bad results in
rounding modes where that overflow results in a finite value.  This
patch adds tests to avoid the problem multiplications in cases where
they would overflow, similar to those that control an earlier
multiplication by 8.

Tested for x86_64, x86, mips64 and powerpc.

	[BZ #17978]
	* sysdeps/ieee754/dbl-64/s_remquo.c (__remquo): Do not form
	products 4 * y and 2 * y where those would overflow.
	* sysdeps/ieee754/dbl-64/wordsize-64/s_remquo.c (__remquo):
	Likewise.
	* sysdeps/ieee754/flt-32/s_remquof.c (__remquof): Likewise.
	* sysdeps/ieee754/ldbl-128/s_remquol.c (__remquol): Likewise.
	* sysdeps/ieee754/ldbl-128ibm/s_remquol.c (__remquol): Likewise.
	* sysdeps/ieee754/ldbl-96/s_remquol.c (__remquol): Likewise.
	* math/libm-test.inc (remquo_test_data): Add more tests.

2015-02-16 22:38:28 +00:00

..

wordsize-64

Fix remquo spurious overflows (bug 17978).

2015-02-16 22:38:28 +00:00

asincos.tbl

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

atnat2.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

atnat.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

branred.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

branred.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

dbl2mpn.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

dla.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

doasin.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

doasin.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

dosincos.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

dosincos.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

e_acos.c

…

e_acosh.c

Format floating routines.

2013-10-17 16:03:24 +02:00

e_asin.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

e_atan2.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

e_atanh.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

e_cosh.c

Fix cosh spurious underflows from expm1 (bug 16354), inaccurate results near 0 (bug 17061).

2014-06-23 20:20:10 +00:00

e_exp2.c

Fix exp2 spurious underflows (bug 16560).

2015-02-12 19:02:45 +00:00

e_exp10.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

e_exp.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

e_fmod.c

Use glibc_likely instead __builtin_expect.

2014-02-10 15:07:12 +01:00

e_gamma_r.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

e_hypot.c

Use glibc_likely instead __builtin_expect.

2014-02-10 15:07:12 +01:00

e_ilogb.c

Format floating routines.

2013-10-17 16:03:24 +02:00

e_j0.c

Format floating routines.

2013-10-17 16:03:24 +02:00

e_j1.c

Set errno for y1 overflow (bug 17050).

2014-06-23 20:17:13 +00:00

e_jn.c

Fix yn overflow handling in non-default rounding modes (bug 16561, bug 16562).

2014-06-27 14:52:13 +00:00

e_lgamma_r.c

Use <> for math.h and math_private.h everywhere.

2012-03-09 16:09:10 -08:00

e_log2.c

Use glibc_likely instead __builtin_expect.

2014-02-10 15:07:12 +01:00

e_log10.c

Use glibc_likely instead __builtin_expect.

2014-02-10 15:07:12 +01:00

e_log.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

e_pow.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

e_rem_pio2.c

Format floating routines.

2013-10-17 16:03:24 +02:00

e_remainder.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

e_sinh.c

Use glibc_likely instead __builtin_expect.

2014-02-10 15:07:12 +01:00

e_sqrt.c

Fix libm fegetround namespace (bug 17748).

2015-01-02 20:44:42 +00:00

gamma_product.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

gamma_productf.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

halfulp.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

k_cos.c

…

k_rem_pio2.c

Format floating routines.

2013-10-17 16:03:24 +02:00

k_sin.c

…

k_tan.c

Replace sysdeps/ieee754/dbl-64/k_tan.c with empty file

2012-02-26 16:10:46 +01:00

Makefile

Compile e_sqrt.c with -ffp-contract=off.

2013-12-18 12:07:06 +00:00

MathLib.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

mpa-arch.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

mpa.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

mpa.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

mpatan2.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

mpatan.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

mpatan.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

mpexp.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

mplog.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

mpn2dbl.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

mpsqrt.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

mpsqrt.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

mptan.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

mydefs.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

powtwo.tbl

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

root.tbl

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

s_asinh.c

Use glibc_likely instead __builtin_expect.

2014-02-10 15:07:12 +01:00

s_atan.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

s_cbrt.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

s_ceil.c

Format floating routines.

2013-10-17 16:03:24 +02:00

s_copysign.c

Format floating routines.

2013-10-17 16:03:24 +02:00

s_cos.c

…

s_erf.c

Fix erf underflow handling near 0 (bug 16516).

2014-05-14 12:34:03 +00:00

s_expm1.c

Format floating routines.

2013-10-17 16:03:24 +02:00

s_fabs.c

Format floating routines.

2013-10-17 16:03:24 +02:00

s_finite.c

PowerPC: multiarch finite/finitef for PowerPC32

2013-12-06 05:47:03 -06:00

s_floor.c

Format floating routines.

2013-10-17 16:03:24 +02:00

s_fma.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

s_fmaf.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

s_fpclassify.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

s_frexp.c

Format floating routines.

2013-10-17 16:03:24 +02:00

s_isinf_ns.c

Format floating routines.

2013-10-17 16:03:24 +02:00

s_isinf.c

Format floating routines.

2013-10-17 16:03:24 +02:00

s_isnan.c

Format floating routines.

2013-10-17 16:03:24 +02:00

s_issignaling.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

s_llrint.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

s_llround.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

s_log1p.c

[BZ #16823] Fix log1pl returning wrong infinity sign

2014-04-29 15:43:36 +02:00

s_logb.c

Use glibc_likely instead __builtin_expect.

2014-02-10 15:07:12 +01:00

s_lrint.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

s_lround.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

s_modf.c

Use glibc_likely instead __builtin_expect.

2014-02-10 15:07:12 +01:00

s_nearbyint.c

Format floating routines.

2013-10-17 16:03:24 +02:00

s_nexttoward.c

…

s_remquo.c

Fix remquo spurious overflows (bug 17978).

2015-02-16 22:38:28 +00:00

s_rint.c

Format floating routines.

2013-10-17 16:03:24 +02:00

s_round.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

s_scalbln.c

[BZ #6803] Set errno for scalbln, scalbn

2014-06-20 07:48:20 +05:30

s_scalbn.c

Use glibc_likely instead __builtin_expect.

2014-02-10 15:07:12 +01:00

s_signbit.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

s_sin.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

s_sincos.c

Fix sincos errno setting (bug 15467).

2015-02-11 23:17:25 +00:00

s_tan.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

s_tanh.c

Format floating routines.

2013-10-17 16:03:24 +02:00

s_trunc.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

sincos32.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

sincos32.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

sincostab.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

slowexp.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

slowpow.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

t_exp2.h

…

t_exp.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

uasncs.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

uatan.tbl

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

uexp.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

uexp.tbl

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

ulog.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

ulog.tbl

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

upow.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

upow.tbl

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

urem.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

uroot.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

usncs.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

utan.h

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

utan.tbl

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

w_exp.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

x2y2m1.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00

x2y2m1f.c

Update copyright dates with scripts/update-copyrights.

2015-01-02 16:29:47 +00:00