]> git.ipfire.org Git - thirdparty/glibc.git/commit - math/s_cacosf.c
Fix cacos (+Inf + finite*i) in round-downward mode (bug 16928).
authorJoseph Myers <joseph@codesourcery.com>
Wed, 14 May 2014 12:37:24 +0000 (12:37 +0000)
committerJoseph Myers <joseph@codesourcery.com>
Wed, 14 May 2014 12:37:24 +0000 (12:37 +0000)
commit01dbacd22a8d5e0053f8d0cf13a80286b6cfe79b
tree91adc1f6c05cc5dbfb6b3b55b7500fa9dae9fd0e
parent913d03c864ea2547e97f8d2d30fc71a008d4d103
Fix cacos (+Inf + finite*i) in round-downward mode (bug 16928).

According to C99/C11 Annex G, cacos applied to a value with real part
+Inf and finite imaginary part should produce a result with real part
+0.  glibc wrongly produces a result with real part -0 in FE_DOWNWARD
mode.  This patch fixes this by checking for zero results in the
relevant case of non-finite arguments (where there should never be a
result with -0 real part), and converts the tests of cacos to
ALL_RM_TEST.

Tested x86_64 and x86 and ulps updated accordingly.

[BZ #16928]
* math/s_cacos.c (__cacos): Ensure zero real part of result from
non-finite arguments is +0.
* math/s_cacosf.c (__cacosf): Likewise.
* math/s_cacosl.c (__cacosl): Likewise.
* math/libm-test.inc (cacos_test): Use ALL_RM_TEST.
* sysdeps/i386/fpu/libm-test-ulps: Update.
* sysdeps/x86_64/fpu/libm-test-ulps: Likewise.
ChangeLog
NEWS
math/libm-test.inc
math/s_cacos.c
math/s_cacosf.c
math/s_cacosl.c
sysdeps/i386/fpu/libm-test-ulps
sysdeps/x86_64/fpu/libm-test-ulps