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