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