diff --git a/src/math/drem.c b/src/math/drem.c new file mode 100644 index 0000000..ec4bd33 --- /dev/null +++ b/src/math/drem.c @@ -0,0 +1,44 @@ +#define _GNU_SOURCE +#include +#include +#include "mtest.h" + +static struct dd_d t[] = { +#include "sanity/remainder.h" +#include "special/remainder.h" + +}; + +int main(void) +{ + #pragma STDC FENV_ACCESS ON + double y; + float d; + int e, i, err = 0; + struct dd_d *p; + + for (i = 0; i < sizeof t/sizeof *t; i++) { + p = t + i; + + if (p->r < 0) + continue; + fesetround(p->r); + feclearexcept(FE_ALL_EXCEPT); + y = drem(p->x, p->x2); + e = fetestexcept(INEXACT|INVALID|DIVBYZERO|UNDERFLOW|OVERFLOW); + + if (!checkexcept(e, p->e, p->r)) { + printf("%s:%d: bad fp exception: %s drem(%a,%a)=%a, 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 = ulperr(y, p->y, p->dy); + if (!checkcr(y, p->y, p->r)) { + printf("%s:%d: %s drem(%a,%a) want %a got %a 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++; + } + } + return !!err; +} diff --git a/src/math/dremf.c b/src/math/dremf.c new file mode 100644 index 0000000..ed16ede --- /dev/null +++ b/src/math/dremf.c @@ -0,0 +1,44 @@ +#define _GNU_SOURCE +#include +#include +#include "mtest.h" + +static struct ff_f t[] = { +#include "sanity/remainderf.h" +#include "special/remainderf.h" + +}; + +int main(void) +{ + #pragma STDC FENV_ACCESS ON + float y; + float d; + int e, i, err = 0; + struct ff_f *p; + + for (i = 0; i < sizeof t/sizeof *t; i++) { + p = t + i; + + if (p->r < 0) + continue; + fesetround(p->r); + feclearexcept(FE_ALL_EXCEPT); + y = dremf(p->x, p->x2); + e = fetestexcept(INEXACT|INVALID|DIVBYZERO|UNDERFLOW|OVERFLOW); + + if (!checkexcept(e, p->e, p->r)) { + printf("%s:%d: bad fp exception: %s dremf(%a,%a)=%a, 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 = ulperrf(y, p->y, p->dy); + if (!checkcr(y, p->y, p->r)) { + printf("%s:%d: %s dremf(%a,%a) want %a got %a 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++; + } + } + return !!err; +}