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