Fix i386/x86_64 log1pl (sNaN) (bug 20229).

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

Tested for x86_64 and x86.

	[BZ #20229]
	* sysdeps/i386/fpu/s_log1pl.S (__log1pl): Add NaN input to itself.
	* sysdeps/x86_64/fpu/s_log1pl.S (__log1pl): Likewise.
	* math/libm-test.inc (log1p_test_data): Add sNaN tests.
This commit is contained in:
Joseph Myers 2016-06-08 23:11:42 +00:00
parent 09096b3615
commit 8c010e2f71
4 changed files with 9 additions and 0 deletions

View File

@ -1,5 +1,10 @@
2016-06-08 Joseph Myers <joseph@codesourcery.com>
[BZ #20229]
* sysdeps/i386/fpu/s_log1pl.S (__log1pl): Add NaN input to itself.
* sysdeps/x86_64/fpu/s_log1pl.S (__log1pl): Likewise.
* math/libm-test.inc (log1p_test_data): Add sNaN tests.
[BZ #20228]
* sysdeps/i386/fpu/e_log10l.S (__ieee754_log10l): Add NaN input to
itself.

View File

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

View File

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

View File

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