X-Git-Url: http://nsz.repo.hu/git/?p=libc-test;a=blobdiff_plain;f=src%2Fmath%2Fy0f.c;h=7bd78a6fc589fef8d49298ce4459852b388e2e88;hp=4ff83f76ddd086837df76017de4557334a422794;hb=2c671f66e28ac079ae1148f5135c9a52129cc807;hpb=457b0dbfc1d72080f6ba9fe47cd712e0f090732a diff --git a/src/math/y0f.c b/src/math/y0f.c index 4ff83f7..7bd78a6 100644 --- a/src/math/y0f.c +++ b/src/math/y0f.c @@ -1,14 +1,19 @@ +#define _DEFAULT_SOURCE 1 +#define _BSD_SOURCE 1 +#define _GNU_SOURCE 1 #include #include -#include "util.h" +#include "mtest.h" static struct f_f t[] = { #include "sanity/y0f.h" +#include "special/y0f.h" }; int main(void) { + #pragma STDC FENV_ACCESS ON float y; float d; int e, i, err = 0; @@ -16,9 +21,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 = y0f(p->x); - e = getexcept(); + e = fetestexcept(INEXACT|INVALID|DIVBYZERO|UNDERFLOW|OVERFLOW); + if (!checkexcept(e, p->e, p->r)) { printf("%s:%d: bad fp exception: %s y0f(%a)=%a, want %s", p->file, p->line, rstr(p->r), p->x, p->y, estr(p->e)); @@ -26,10 +36,13 @@ int main(void) err++; } d = ulperrf(y, p->y, p->dy); - if (!checkulp(d, p->r)) { - printf("%s:%d: %s y0f(%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); + if ((!(p->x < 0) && !checkulp(d, p->r)) || (p->x < 0 && !isnan(y) && y != -inf)) { +// printf("%s:%d: %s y0f(%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;