math: do correctly rounded checks where it's appropriate

[libc-test] / src / math / copysign.c

diff --git a/src/math/copysign.c b/src/math/copysign.c
index 2f1464c..829780e 100644 (file)
--- a/src/math/copysign.c
+++ b/src/math/copysign.c
@@ -9,6 +9,7 @@ static struct dd_d t[] = {
 
 int main(void)
 {
+       #pragma STDC FENV_ACCESS ON
        double y;
        float d;
        int e, i, err = 0;
@@ -16,9 +17,14 @@ int main(void)
 
        for (i = 0; i < sizeof t/sizeof *t; i++) {
                p = t + i;
-               setupfenv(p->r);
+
+               if (p->r < 0)
+                       continue;
+               fesetround(p->r);
+               feclearexcept(FE_ALL_EXCEPT);
                y = copysign(p->x, p->x2);
-               e = getexcept();
+               e = fetestexcept(INEXACT|INVALID|DIVBYZERO|UNDERFLOW|OVERFLOW);
+
                if (!checkexcept(e, p->e, p->r)) {
                        printf("%s:%d: bad fp exception: %s copysign(%a,%a)=%a, want %s",
                                p->file, p->line, rstr(p->r), p->x, p->x2, p->y, estr(p->e));
@@ -26,7 +32,7 @@ int main(void)
                        err++;
                }
                d = ulperr(y, p->y, p->dy);
-               if (!checkulp(d, p->r)) {
+               if (!checkcr(y, p->y, p->r)) {
                        printf("%s:%d: %s copysign(%a,%a) want %a got %a ulperr %.3f = %a + %a\n",
                                p->file, p->line, rstr(p->r), p->x, p->x2, p->y, y, d, d-p->dy, p->dy);
                        err++;