X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=src%2Fmath%2Ffminl.c;h=da7a047749d6a591a0cc7522db024eae7f18b0cc;hb=b55b931794bff9e88a3443daa8404c74f7f1d17c;hp=2f7106522a9f66768e3a28bd6d76c676085c7f47;hpb=4282b03a8c212b0e38af1876364be5f332673ce6;p=libc-test diff --git a/src/math/fminl.c b/src/math/fminl.c index 2f71065..da7a047 100644 --- a/src/math/fminl.c +++ b/src/math/fminl.c @@ -1,19 +1,22 @@ #include #include -#include "util.h" +#include "mtest.h" static struct ll_l t[] = { #if LDBL_MANT_DIG == 53 #include "sanity/fmin.h" +#include "special/fmin.h" #elif LDBL_MANT_DIG == 64 #include "sanity/fminl.h" +#include "special/fminl.h" #endif }; int main(void) { + #pragma STDC FENV_ACCESS ON long double y; float d; int e, i, err = 0; @@ -21,18 +24,24 @@ 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 = fminl(p->x, p->x2); - e = getexcept(); - if (!checkexcept(e, p->e, p->r)) { - printf("%s fminl(%La,%La)==%La except: want %s", rstr(p->r), p->x, p->x2, p->y, estr(p->e)); + e = fetestexcept(INEXACT|INVALID|DIVBYZERO|UNDERFLOW|OVERFLOW); + + if (!checkexceptall(e, p->e, p->r)) { + printf("%s:%d: bad fp exception: %s fminl(%La,%La)=%La, want %s", + p->file, p->line, rstr(p->r), p->x, p->x2, p->y, estr(p->e)); printf(" got %s\n", estr(e)); err++; } d = ulperrl(y, p->y, p->dy); - if (!checkulp(d, p->r)) { - printf("%s fminl(%La,%La) want %La got %La ulperr %.3f = %a + %a\n", - rstr(p->r), p->x, p->x2, p->y, y, d, d-p->dy, p->dy); + if (!checkcr(y, p->y, p->r)) { + printf("%s:%d: %s fminl(%La,%La) want %La got %La 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++; } }