Fix __ieee754_logl (-LDBL_MAX) in FE_DOWNWARD mode (bug 17022).
authorJoseph Myers <joseph@codesourcery.com>
Wed, 18 Jun 2014 12:32:01 +0000 (12:32 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Wed, 18 Jun 2014 12:32:01 +0000 (12:32 +0000)
commit4ba7a00fe3779e6ffafad6d47305b3491cdac33e
tree8735df5c818ab5022e97f53c3fd69be723299a45
parentb3a9f56ba59c3d8eadd3135a1c25c37a63151450
Fix __ieee754_logl (-LDBL_MAX) in FE_DOWNWARD mode (bug 17022).

This patch fixes __ieee754_logl (-LDBL_MAX) on x86_64 and x86 not to
subtract 1 from its argument and so cause spurious overflow in
FE_DOWNWARD mode.  (For any argument strictly less than -1, it doesn't
matter whether or not 1 is subtracted before computing log1p, as long
as the result doesn't overflow to -Inf.)

Tested x86_64 and x86.  (This particular case lacks test coverage,
since the testsuite doesn't cover -lieee, but it will be covered by
tests after the following patch to test pow in all rounding modes,
which was the context in which this bug was found.)

[BZ #17022]
* sysdeps/i386/fpu/e_logl.S (__ieee754_logl): Do not subtract 1
from arguments -2 or below.
* sysdeps/i386/i686/fpu/e_logl.S (__ieee754_logl): Likewise.
* sysdeps/x86_64/fpu/e_logl.S (__ieee754_logl): Likewise.
ChangeLog
NEWS
sysdeps/i386/fpu/e_logl.S
sysdeps/i386/i686/fpu/e_logl.S
sysdeps/x86_64/fpu/e_logl.S