math: do correctly rounded checks where it's appropriate

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

diff --git a/src/math/ldexp.c b/src/math/ldexp.c
index 7605945..4ab011f 100644 (file)
--- a/src/math/ldexp.c
+++ b/src/math/ldexp.c
@@ -9,6 +9,7 @@ static struct di_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 = ldexp(p->x, p->i);
-               e = getexcept();
+               e = fetestexcept(INEXACT|INVALID|DIVBYZERO|UNDERFLOW|OVERFLOW);
+
                if (!checkexcept(e, p->e, p->r)) {
                        printf("%s:%d: bad fp exception: %s ldexp(%a, %lld)=%a, want %s",
                                p->file, p->line, rstr(p->r), p->x, p->i, p->y, estr(p->e));