• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 #include <stdint.h>
2 #include <stdio.h>
3 #include "mtest.h"
4 
5 static struct ff_fi t[] = {
6 #include "sanity/remquof.h"
7 #include "special/remquof.h"
8 };
9 
main(void)10 int main(void)
11 {
12 	#pragma STDC FENV_ACCESS ON
13 	int yi;
14 	float y;
15 	float d;
16 	int e, i, err = 0;
17 	struct ff_fi *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 = remquof(p->x, p->x2, &yi);
27 		e = fetestexcept(INEXACT|INVALID|DIVBYZERO|UNDERFLOW|OVERFLOW);
28 
29 		if (!checkexcept(e, p->e, p->r)) {
30 			printf("%s:%d: bad fp exception: %s remquof(%a,%a)=%a,%lld, want %s",
31 				p->file, p->line, rstr(p->r), p->x, p->x2, p->y, p->i, estr(p->e));
32 			printf(" got %s\n", estr(e));
33 			err++;
34 		}
35 		d = ulperr(y, p->y, p->dy);
36 		if (!checkcr(y, p->y, p->r) ||
37 		(!isnan(p->y) && (yi & 7) != (p->i & 7)) ||
38 		(!isnan(p->y) && (yi < 0) != (p->i < 0))) {
39 			printf("%s:%d: %s remquof(%a,%a) want %a,%lld got %a,%d ulperr %.3f = %a + %a\n",
40 				p->file, p->line, rstr(p->r), p->x, p->x2, p->y, p->i, y, yi, d, d-p->dy, p->dy);
41 			err++;
42 		}
43 	}
44 	return !!err;
45 }
46