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