math: ldexp, modf, nearbyint, scalb are correctly rounded
[libc-test] / src / math / scalb.c
1 #include <stdint.h>
2 #include <stdio.h>
3 #include "util.h"
4
5 static struct dd_d t[] = {
6 #include "sanity/scalb.h"
7
8 };
9
10 int main(void)
11 {
12         #pragma STDC FENV_ACCESS ON
13         double y;
14         float d;
15         int e, i, err = 0;
16         struct dd_d *p;
17
18         for (i = 0; i < sizeof t/sizeof *t; i++) {
19                 p = t + i;
20
21                 if (p->r < 0)
22                         continue;
23                 fesetround(p->r);
24                 feclearexcept(FE_ALL_EXCEPT);
25                 y = scalb(p->x, p->x2);
26                 e = fetestexcept(INEXACT|INVALID|DIVBYZERO|UNDERFLOW|OVERFLOW);
27
28                 if (!checkexcept(e, p->e, p->r)) {
29                         printf("%s:%d: bad fp exception: %s scalb(%a,%a)=%a, want %s",
30                                 p->file, p->line, rstr(p->r), p->x, p->x2, p->y, estr(p->e));
31                         printf(" got %s\n", estr(e));
32                         err++;
33                 }
34                 d = ulperr(y, p->y, p->dy);
35                 if (!checkcr(y, p->y, p->r)) {
36                         printf("%s:%d: %s scalb(%a,%a) want %a got %a ulperr %.3f = %a + %a\n",
37                                 p->file, p->line, rstr(p->r), p->x, p->x2, p->y, y, d, d-p->dy, p->dy);
38                         err++;
39                 }
40         }
41         return !!err;
42 }