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