X-Git-Url: http://nsz.repo.hu/git/?p=libc-test;a=blobdiff_plain;f=src%2Fmath%2Fy0.c;h=7470c43f942420954039b34a806f6fd28024aab4;hp=00df0164abbe3995d27cb83cb0ff5668dc89be13;hb=2c671f66e28ac079ae1148f5135c9a52129cc807;hpb=4282b03a8c212b0e38af1876364be5f332673ce6 diff --git a/src/math/y0.c b/src/math/y0.c index 00df016..7470c43 100644 --- a/src/math/y0.c +++ b/src/math/y0.c @@ -1,14 +1,19 @@ +#define _DEFAULT_SOURCE 1 +#define _BSD_SOURCE 1 +#define _XOPEN_SOURCE 700 #include #include -#include "util.h" +#include "mtest.h" static struct d_d t[] = { #include "sanity/y0.h" +#include "special/y0.h" }; int main(void) { + #pragma STDC FENV_ACCESS ON double y; float d; int e, i, err = 0; @@ -16,19 +21,28 @@ 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 = y0(p->x); - e = getexcept(); + e = fetestexcept(INEXACT|INVALID|DIVBYZERO|UNDERFLOW|OVERFLOW); + if (!checkexcept(e, p->e, p->r)) { - printf("%s y0(%a)==%a except: want %s", rstr(p->r), p->x, p->y, estr(p->e)); + printf("%s:%d: bad fp exception: %s y0(%a)=%a, want %s", + p->file, p->line, rstr(p->r), p->x, p->y, estr(p->e)); printf(" got %s\n", estr(e)); err++; } d = ulperr(y, p->y, p->dy); - if (!checkulp(d, p->r)) { - printf("%s y0(%a) want %a got %a ulperr %.3f = %a + %a\n", - rstr(p->r), p->x, p->y, y, d, d-p->dy, p->dy); + if ((!(p->x < 0) && !checkulp(d, p->r)) || (p->x < 0 && !isnan(y) && y != -inf)) { +// printf("%s:%d: %s y0(%a) want %a got %a ulperr %.3f = %a + %a\n", +// p->file, p->line, rstr(p->r), p->x, p->y, y, d, d-p->dy, p->dy); err++; + // TODO: avoid spamming the output + printf(__FILE__ ": known to be broken near zeros\n"); + break; } } return !!err;