math: add special case test vectors

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

diff --git a/src/math/frexpl.c b/src/math/frexpl.c
index 9d56bf2..e04821b 100644 (file)
--- a/src/math/frexpl.c
+++ b/src/math/frexpl.c
@@ -5,15 +5,18 @@
 static struct l_li t[] = {
 #if LDBL_MANT_DIG == 53
 #include "sanity/frexp.h"
+#include "special/frexp.h"
 
 #elif LDBL_MANT_DIG == 64
 #include "sanity/frexpl.h"
+#include "special/frexpl.h"
 
 #endif
 };
 
 int main(void)
 {
+       #pragma STDC FENV_ACCESS ON
        int yi;
        long double y;
        float d;
@@ -22,9 +25,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 = frexpl(p->x, &yi);
-               e = getexcept();
+               e = fetestexcept(INEXACT|INVALID|DIVBYZERO|UNDERFLOW|OVERFLOW);
+
                if (!checkexcept(e, p->e, p->r)) {
                        printf("%s:%d: bad fp exception: %s frexpl(%La)=%La,%lld, want %s",
                                p->file, p->line, rstr(p->r), p->x, p->y, p->i, estr(p->e));
@@ -32,7 +40,7 @@ int main(void)
                        err++;
                }
                d = ulperrl(y, p->y, p->dy);
-               if (!checkulp(d, p->r) || yi != p->i) {
+               if (!checkcr(y, p->y, p->r) || yi != p->i) {
                        printf("%s:%d: %s frexpl(%La) want %La,%lld got %La,%d ulperr %.3f = %a + %a\n",
                                p->file, p->line, rstr(p->r), p->x, p->y, p->i, y, yi, d, d-p->dy, p->dy);
                        err++;