1#define _XOPEN_SOURCE 700 2#include <stdint.h> 3#include <stdio.h> 4#include "mtest.h" 5 6static struct d_d t[] = { 7#include "sanity/y0.h" 8#include "special/y0.h" 9 10}; 11 12int main(void) 13{ 14 #pragma STDC FENV_ACCESS ON 15 double y; 16 float d; 17 int e, i, bad, err = 0; 18 struct d_d *p; 19 20 for (i = 0; i < sizeof t/sizeof *t; i++) { 21 p = t + i; 22 23 if (p->r < 0) 24 continue; 25 fesetround(p->r); 26 feclearexcept(FE_ALL_EXCEPT); 27 y = y0(p->x); 28 e = fetestexcept(INEXACT|INVALID|DIVBYZERO|UNDERFLOW|OVERFLOW); 29 30#ifndef __aarch64__ 31 if (!checkexcept(e, p->e, p->r)) { 32 printf("%s:%d: bad fp exception: %s y0(%a)=%a, want %s", 33 p->file, p->line, rstr(p->r), p->x, p->y, estr(p->e)); 34 printf(" got %s\n", estr(e)); 35 err++; 36 } 37#endif 38 d = ulperr(y, p->y, p->dy); 39 bad = p->x < 0 && !isnan(y) && y != -inf; 40 if (bad || (!(p->x < 0) && !checkulp(d, p->r))) { 41 if (!bad && fabsf(d) < 0x1p52f) 42 printf("X "); 43 else 44 err++; 45 printf("%s:%d: %s y0(%a) want %a got %a ulperr %.3f = %a + %a\n", 46 p->file, p->line, rstr(p->r), p->x, p->y, y, d, d-p->dy, p->dy); 47 } 48 } 49 return !!err; 50} 51