Fix i386/x86_64 log2l (sNaN) (bug 20235).

The i386/x86_64 versions of log2l return sNaN for sNaN input.  This
patch fixes them to add NaN inputs to themselves so that qNaN is
returned in this case.

Tested for x86_64 and x86.

	[BZ #20235]
	* sysdeps/i386/fpu/e_log2l.S (__ieee754_log2l): Add NaN input to
	itself.
	* sysdeps/x86_64/fpu/e_log2l.S (__ieee754_log2l): Likewise.
	* math/libm-test.inc (log2_test_data): Add sNaN tests.
This commit is contained in:
Joseph Myers 2016-06-09 18:04:30 +00:00
parent b7519f61fe
commit f00faa4a43
4 changed files with 10 additions and 0 deletions

View File

@ -1,5 +1,11 @@
2016-06-09 Joseph Myers <joseph@codesourcery.com>
[BZ #20235]
* sysdeps/i386/fpu/e_log2l.S (__ieee754_log2l): Add NaN input to
itself.
* sysdeps/x86_64/fpu/e_log2l.S (__ieee754_log2l): Likewise.
* math/libm-test.inc (log2_test_data): Add sNaN tests.
[BZ #20234]
* sysdeps/ieee754/ldbl-128ibm/s_log1pl.c (__log1pl): Add positive
infinity or NaN input to itself.

View File

@ -9076,6 +9076,8 @@ static const struct test_f_f_data log2_test_data[] =
TEST_f_f (log2, plus_infty, plus_infty, ERRNO_UNCHANGED),
TEST_f_f (log2, qnan_value, qnan_value, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
TEST_f_f (log2, -qnan_value, qnan_value, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
TEST_f_f (log2, snan_value, qnan_value, INVALID_EXCEPTION),
TEST_f_f (log2, -snan_value, qnan_value, INVALID_EXCEPTION),
AUTO_TESTS_f_f (log2),
};

View File

@ -64,6 +64,7 @@ ENTRY(__ieee754_log2l)
3: jp 4b // in case x is ±Inf
fstp %st(1)
fstp %st(1)
fadd %st(0)
ret
END (__ieee754_log2l)
strong_alias (__ieee754_log2l, __log2l_finite)

View File

@ -63,6 +63,7 @@ ENTRY(__ieee754_log2l)
jnz 4b // in case x is ±Inf
fstp %st(1)
fstp %st(1)
fadd %st(0)
ret
END (__ieee754_log2l)