qiurui
/
glibc
mirror of git://sourceware.org/git/glibc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

math: Fix the expected atan2f (inf) results 

The pi defined constants are not the expected value for atan2
on non-default rounding modes.  Instead use the autogenerated value.

Reviewed-by: DJ Delorie <dj@redhat.com>
This commit is contained in:
Adhemerval Zanella 2024-11-20 15:50:22 -03:00
parent 517c213377
commit abe1d65aa6
3 changed files with 2366 additions and 56 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

50
math/auto-libm-test-in
View File

@ -558,6 +558,56 @@ atan -min
atan min_subnorm
atan -min_subnorm
# atan2 (y,inf) == +0 for finite y > 0 or +0
atan2 1 inf
atan2 0 inf
atan2 min inf
atan2 min_subnorm inf
atan2 max inf
# atan2 (y,inf) == -0 for finite y < 0 or -0
atan2 -1 inf
atan2 -0 inf
atan2 -min inf
atan2 -min_subnorm inf
atan2 -max inf
# atan2(+inf, x) == pi/2 for finite x
atan2 inf 1
atan2 inf 0
atan2 inf min
atan2 inf min_subnorm
atan2 inf max
atan2 inf -1
atan2 inf -0
atan2 inf -min
atan2 inf -min_subnorm
atan2 inf -max
# atan2(-inf, x) == -pi/2 for finite x
atan2 -inf 1
atan2 -inf 0
atan2 -inf min
atan2 -inf min_subnorm
atan2 -inf max
atan2 -inf -1
atan2 -inf -0
atan2 -inf -min
atan2 -inf -min_subnorm
atan2 -inf -max
# atan2 (y,-inf) == +pi for finite y > 0 or +0
atan2 1 -inf
atan2 0 -inf
atan2 min -inf
atan2 min_subnorm -inf
atan2 max -inf
# atan2 (y,-inf) == -pi for finite y < 0 or -0.
atan2 -1 -inf
atan2 -0 -inf
atan2 -min -inf
atan2 -min_subnorm -inf
atan2 -max -inf
atan2 inf inf
atan2 -inf inf
atan2 inf -inf
atan2 -inf -inf
# atan2 (0,x) == 0 for x > 0.
atan2 0 1
# atan2 (-0,x) == -0 for x > 0.

2316
math/auto-libm-test-out-atan2
View File

File diff suppressed because it is too large Load Diff

56
math/libm-test-atan2.inc
View File

@ -20,62 +20,6 @@
static const struct test_ff_f_data atan2_test_data[] =
{
/* atan2 (y,inf) == +0 for finite y > 0 or +0. */
TEST_ff_f (atan2, 1, plus_infty, 0, ERRNO_UNCHANGED),
TEST_ff_f (atan2, plus_zero, plus_infty, 0, ERRNO_UNCHANGED),
TEST_ff_f (atan2, min_value, plus_infty, 0, ERRNO_UNCHANGED),
TEST_ff_f (atan2, min_subnorm_value, plus_infty, 0, ERRNO_UNCHANGED),
TEST_ff_f (atan2, max_value, plus_infty, 0, ERRNO_UNCHANGED),
/* atan2 (y,inf) == -0 for finite y < 0 or -0. */
TEST_ff_f (atan2, -1, plus_infty, minus_zero, ERRNO_UNCHANGED),
TEST_ff_f (atan2, minus_zero, plus_infty, minus_zero, ERRNO_UNCHANGED),
TEST_ff_f (atan2, -min_value, plus_infty, minus_zero, ERRNO_UNCHANGED),
TEST_ff_f (atan2, -min_subnorm_value, plus_infty, minus_zero, ERRNO_UNCHANGED),
TEST_ff_f (atan2, -max_value, plus_infty, minus_zero, ERRNO_UNCHANGED),
/* atan2(+inf, x) == pi/2 for finite x. */
TEST_ff_f (atan2, plus_infty, 1, lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, plus_infty, plus_zero, lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, plus_infty, min_value, lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, plus_infty, min_subnorm_value, lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, plus_infty, max_value, lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, plus_infty, -1, lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, plus_infty, minus_zero, lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, plus_infty, -min_value, lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, plus_infty, -min_subnorm_value, lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, plus_infty, -max_value, lit_pi_2_d, ERRNO_UNCHANGED),
/* atan2(-inf, x) == -pi/2 for finite x. */
TEST_ff_f (atan2, minus_infty, 1, -lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, minus_infty, plus_zero, -lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, minus_infty, min_value, -lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, minus_infty, min_subnorm_value, -lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, minus_infty, max_value, -lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, minus_infty, -1, -lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, minus_infty, minus_zero, -lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, minus_infty, -min_value, -lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, minus_infty, -min_subnorm_value, -lit_pi_2_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, minus_infty, -max_value, -lit_pi_2_d, ERRNO_UNCHANGED),
/* atan2 (y,-inf) == +pi for finite y > 0 or +0. */
TEST_ff_f (atan2, 1, minus_infty, lit_pi, ERRNO_UNCHANGED),
TEST_ff_f (atan2, plus_zero, minus_infty, lit_pi, ERRNO_UNCHANGED),
TEST_ff_f (atan2, min_value, minus_infty, lit_pi, ERRNO_UNCHANGED),
TEST_ff_f (atan2, min_subnorm_value, minus_infty, lit_pi, ERRNO_UNCHANGED),
TEST_ff_f (atan2, max_value, minus_infty, lit_pi, ERRNO_UNCHANGED),
/* atan2 (y,-inf) == -pi for finite y < 0 or -0. */
TEST_ff_f (atan2, -1, minus_infty, -lit_pi, ERRNO_UNCHANGED),
TEST_ff_f (atan2, minus_zero, minus_infty, -lit_pi, ERRNO_UNCHANGED),
TEST_ff_f (atan2, -min_value, minus_infty, -lit_pi, ERRNO_UNCHANGED),
TEST_ff_f (atan2, -min_subnorm_value, minus_infty, -lit_pi, ERRNO_UNCHANGED),
TEST_ff_f (atan2, -max_value, minus_infty, -lit_pi, ERRNO_UNCHANGED),
TEST_ff_f (atan2, plus_infty, plus_infty, lit_pi_4_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, minus_infty, plus_infty, -lit_pi_4_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, plus_infty, minus_infty, lit_pi_3_m_4_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, minus_infty, minus_infty, -lit_pi_3_m_4_d, ERRNO_UNCHANGED),
TEST_ff_f (atan2, qnan_value, qnan_value, qnan_value, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
TEST_ff_f (atan2, qnan_value, -qnan_value, qnan_value, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),
TEST_ff_f (atan2, -qnan_value, qnan_value, qnan_value, NO_INEXACT_EXCEPTION|ERRNO_UNCHANGED),