1570af302Sopenharmony_ci#include <stdint.h> 2570af302Sopenharmony_ci#include <stdio.h> 3570af302Sopenharmony_ci#include "mtest.h" 4570af302Sopenharmony_ci 5570af302Sopenharmony_cistatic struct l_ll t[] = { 6570af302Sopenharmony_ci#if LDBL_MANT_DIG == 53 7570af302Sopenharmony_ci#include "sanity/modf.h" 8570af302Sopenharmony_ci#include "special/modf.h" 9570af302Sopenharmony_ci#elif LDBL_MANT_DIG == 64 10570af302Sopenharmony_ci#include "sanity/modfl.h" 11570af302Sopenharmony_ci#include "special/modfl.h" 12570af302Sopenharmony_ci#endif 13570af302Sopenharmony_ci}; 14570af302Sopenharmony_ci 15570af302Sopenharmony_ciint main(void) 16570af302Sopenharmony_ci{ 17570af302Sopenharmony_ci #pragma STDC FENV_ACCESS ON 18570af302Sopenharmony_ci long double y, yi; 19570af302Sopenharmony_ci float d, di; 20570af302Sopenharmony_ci int e, i, err = 0; 21570af302Sopenharmony_ci struct l_ll *p; 22570af302Sopenharmony_ci 23570af302Sopenharmony_ci for (i = 0; i < sizeof t/sizeof *t; i++) { 24570af302Sopenharmony_ci p = t + i; 25570af302Sopenharmony_ci 26570af302Sopenharmony_ci if (p->r < 0) 27570af302Sopenharmony_ci continue; 28570af302Sopenharmony_ci fesetround(p->r); 29570af302Sopenharmony_ci feclearexcept(FE_ALL_EXCEPT); 30570af302Sopenharmony_ci y = modfl(p->x, &yi); 31570af302Sopenharmony_ci e = fetestexcept(INEXACT|INVALID|DIVBYZERO|UNDERFLOW|OVERFLOW); 32570af302Sopenharmony_ci 33570af302Sopenharmony_ci /* TODO: fix inexact */ 34570af302Sopenharmony_ci if (!checkexceptall(e|INEXACT, p->e|INEXACT, p->r)) { 35570af302Sopenharmony_ci printf("%s:%d: bad fp exception: %s modf(%La)=%La,%La, want %s", 36570af302Sopenharmony_ci p->file, p->line, rstr(p->r), p->x, p->y, p->y2, estr(p->e)); 37570af302Sopenharmony_ci printf(" got %s\n", estr(e)); 38570af302Sopenharmony_ci err++; 39570af302Sopenharmony_ci } 40570af302Sopenharmony_ci d = ulperr(y, p->y, p->dy); 41570af302Sopenharmony_ci di = ulperr(yi, p->y2, p->dy2); 42570af302Sopenharmony_ci if (!checkcr(y, p->y, p->r) || !checkcr(yi, p->y2, p->r)) { 43570af302Sopenharmony_ci printf("%s:%d: %s modf(%La) want %La,%La got %La,%La, ulperr %.3f = %a + %a, %.3f = %a + %a\n", 44570af302Sopenharmony_ci p->file, p->line, rstr(p->r), p->x, p->y, p->y2, y, yi, d, d-p->dy, p->dy, di, di-p->dy2, p->dy2); 45570af302Sopenharmony_ci err++; 46570af302Sopenharmony_ci } 47570af302Sopenharmony_ci } 48570af302Sopenharmony_ci return !!err; 49570af302Sopenharmony_ci} 50