d/freebsd-dev
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Test that the result is correctly rounded when |y/x| is huge.

Browse Source
This commit is contained in:
David Schultz 2008-08-02 19:21:33 +00:00
parent 9d7d093689
commit b1e24d8714
Notes: svn2git 2020-12-20 02:59:44 +00:00 
svn path=/head/; revision=181206
1 changed files with 9 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

25
tools/regression/lib/msun/test-invtrig.c
View File

@ -362,22 +362,15 @@ test_atan_huge(void)
test2(atan2, -0x1.0p1000, 0x1.0p-1000, (double)-pi / 2, FE_INEXACT);
test2(atan2l, -ldexpl(1.0, LDBL_MAX_EXP - 100),
ldexpl(1.0, 100 - LDBL_MAX_EXP), -pi / 2, FE_INEXACT);
/*
* XXX We ought to be able to insist that these are correctly rounded,
* but that isn't true in practice.
*/
test2_tol(atan2f, 0x1.0p100, -0x1.0p-100, (float)pi / 2,
1, FE_INEXACT);
test2_tol(atan2, 0x1.0p1000, -0x1.0p-1000, (double)pi / 2,
1, FE_INEXACT);
test2_tol(atan2l, ldexpl(1.0, LDBL_MAX_EXP - 100),
-ldexpl(1.0, 100 - LDBL_MAX_EXP), pi / 2, 0, FE_INEXACT);
test2_tol(atan2f, -0x1.0p100, -0x1.0p-100, (float)-pi / 2,
1, FE_INEXACT);
test2_tol(atan2, -0x1.0p1000, -0x1.0p-1000, (double)-pi / 2,
1, FE_INEXACT);
test2_tol(atan2l, -ldexpl(1.0, LDBL_MAX_EXP - 100),
-ldexpl(1.0, 100 - LDBL_MAX_EXP), -pi / 2, 1, FE_INEXACT);
test2(atan2f, 0x1.0p100, -0x1.0p-100, (float)pi / 2, FE_INEXACT);
test2(atan2, 0x1.0p1000, -0x1.0p-1000, (double)pi / 2, FE_INEXACT);
test2(atan2l, ldexpl(1.0, LDBL_MAX_EXP - 100),
-ldexpl(1.0, 100 - LDBL_MAX_EXP), pi / 2, FE_INEXACT);
test2(atan2f, -0x1.0p100, -0x1.0p-100, (float)-pi / 2, FE_INEXACT);
test2(atan2, -0x1.0p1000, -0x1.0p-1000, (double)-pi / 2, FE_INEXACT);
test2(atan2l, -ldexpl(1.0, LDBL_MAX_EXP - 100),
-ldexpl(1.0, 100 - LDBL_MAX_EXP), -pi / 2, FE_INEXACT);
}
/*