Blame src/math/fenv.c

Szabolcs Nagy ae0f0f
#include <stdint.h>
Szabolcs Nagy ae0f0f
#include <stdio.h>
Szabolcs Nagy ae0f0f
#include <stdarg.h>
Szabolcs Nagy ae0f0f
#include "util.h"
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
static int test_status;
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
#define error(...) print(__FILE__, __LINE__, __VA_ARGS__)
Szabolcs Nagy ae0f0f
static void print(char *f, int l, char *fmt, ...)
Szabolcs Nagy ae0f0f
{
Szabolcs Nagy ae0f0f
	test_status = 1;
Szabolcs Nagy ae0f0f
	va_list ap;
Szabolcs Nagy ae0f0f
	printf("%s:%d: ", f, l);
Szabolcs Nagy ae0f0f
	va_start(ap, fmt);
Szabolcs Nagy ae0f0f
	vprintf(fmt, ap);
Szabolcs Nagy ae0f0f
	va_end(ap);
Szabolcs Nagy ae0f0f
}
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
#define F(n) {#n, n}
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
static struct {
Szabolcs Nagy ae0f0f
	char *name;
Szabolcs Nagy ae0f0f
	int i;
Szabolcs Nagy ae0f0f
} te[] = {
Szabolcs Nagy ae0f0f
#ifdef FE_DIVBYZERO
Szabolcs Nagy ae0f0f
	F(FE_DIVBYZERO),
Szabolcs Nagy ae0f0f
#endif
Szabolcs Nagy ae0f0f
#ifdef FE_INEXACT
Szabolcs Nagy ae0f0f
	F(FE_INEXACT),
Szabolcs Nagy ae0f0f
#endif
Szabolcs Nagy ae0f0f
#ifdef FE_INVALID
Szabolcs Nagy ae0f0f
	F(FE_INVALID),
Szabolcs Nagy ae0f0f
#endif
Szabolcs Nagy ae0f0f
#ifdef FE_OVERFLOW
Szabolcs Nagy ae0f0f
	F(FE_OVERFLOW),
Szabolcs Nagy ae0f0f
#endif
Szabolcs Nagy ae0f0f
#ifdef FE_UNDERFLOW
Szabolcs Nagy ae0f0f
	F(FE_UNDERFLOW),
Szabolcs Nagy ae0f0f
#endif
Szabolcs Nagy ae0f0f
};
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
static void test_except()
Szabolcs Nagy ae0f0f
{
Szabolcs Nagy ae0f0f
	#pragma STDC FENV_ACCESS ON
Szabolcs Nagy ae0f0f
	int i,r;
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
	for (i=0; i < sizeof te/sizeof*te; i++) {
Szabolcs Nagy ae0f0f
		feclearexcept(FE_ALL_EXCEPT);
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
		r = feraiseexcept(te[i].i);
Szabolcs Nagy ae0f0f
		if (r)
Szabolcs Nagy ae0f0f
			error("feraiseexcept(%s) returned %d\n", te[i].name, r);
Szabolcs Nagy ae0f0f
		r = fetestexcept(FE_ALL_EXCEPT);
Szabolcs Nagy ae0f0f
		if (r != te[i].i)
Szabolcs Nagy ae0f0f
			error("feraiseexcept(%s) want %d got %d\n",
Szabolcs Nagy ae0f0f
				te[i].name, te[i].i, r);
Szabolcs Nagy ae0f0f
	}
Szabolcs Nagy ae0f0f
}
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
static struct {
Szabolcs Nagy ae0f0f
	char *name;
Szabolcs Nagy ae0f0f
	int i;
Szabolcs Nagy ae0f0f
} tr[] = {
Szabolcs Nagy ae0f0f
	F(FE_TONEAREST),
Szabolcs Nagy ae0f0f
#ifdef FE_UPWARD
Szabolcs Nagy ae0f0f
	F(FE_UPWARD),
Szabolcs Nagy ae0f0f
#endif
Szabolcs Nagy ae0f0f
#ifdef FE_DOWNWARD
Szabolcs Nagy ae0f0f
	F(FE_DOWNWARD),
Szabolcs Nagy ae0f0f
#endif
Szabolcs Nagy ae0f0f
#ifdef FE_TOWARDZERO
Szabolcs Nagy ae0f0f
	F(FE_TOWARDZERO),
Szabolcs Nagy ae0f0f
#endif
Szabolcs Nagy ae0f0f
};
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
static void test_round()
Szabolcs Nagy ae0f0f
{
Szabolcs Nagy ae0f0f
	#pragma STDC FENV_ACCESS ON
Szabolcs Nagy ae0f0f
	int i,r;
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
	for (i=0; i < sizeof tr/sizeof*tr; i++) {
Szabolcs Nagy ae0f0f
		if (tr[i].i < 0)
Szabolcs Nagy ae0f0f
			error("%s (%d) < 0\n", tr[i].name, tr[i].i);
Szabolcs Nagy ae0f0f
		for (r=0; r < i; r++)
Szabolcs Nagy ae0f0f
			if (tr[r].i == tr[i].i)
Szabolcs Nagy ae0f0f
				error("%s (%d) == %s (%d)\n",
Szabolcs Nagy ae0f0f
					tr[r].name, tr[r].i, tr[i].name, tr[i].i);
Szabolcs Nagy ae0f0f
	}
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
	for (i=0; i < sizeof tr/sizeof*tr; i++) {
Szabolcs Nagy ae0f0f
		r = fesetround(tr[i].i);
Szabolcs Nagy ae0f0f
		if (r != 0)
Szabolcs Nagy ae0f0f
			error("fesetround %d\n", r);
Szabolcs Nagy ae0f0f
		r = fegetround();
Szabolcs Nagy ae0f0f
		if (r != tr[i].i)
Szabolcs Nagy ae0f0f
			error("fegetround %x wanted %x\n", r, tr[i].i);
Szabolcs Nagy ae0f0f
	}
Szabolcs Nagy ae0f0f
}
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
/* ieee double precision add operation */
Szabolcs Nagy ae0f0f
static struct dd_d t[] = {
Szabolcs Nagy ae0f0f
T(RN,                  0x1p+0,                 0x1p-52,    0x1.0000000000001p+0,          0x0p+0, 0)
Szabolcs Nagy ae0f0f
T(RN,                  0x1p+0,                 0x1p-53,                  0x1p+0,         -0x1p-1, INEXACT)
Szabolcs Nagy ae0f0f
T(RN,                  0x1p+0,              0x1.01p-53,    0x1.0000000000001p+0,       0x1.fep-2, INEXACT)
Szabolcs Nagy ae0f0f
T(RN,                  0x1p+0,                -0x1p-54,                  0x1p+0,          0x1p-2, INEXACT)
Szabolcs Nagy ae0f0f
T(RN,                  0x1p+0,             -0x1.01p-54,    0x1.fffffffffffffp-1,      -0x1.fep-2, INEXACT)
Szabolcs Nagy ae0f0f
T(RN,                 -0x1p+0,                -0x1p-53,                 -0x1p+0,          0x1p-1, INEXACT)
Szabolcs Nagy ae0f0f
T(RN,                 -0x1p+0,             -0x1.01p-53,   -0x1.0000000000001p+0,      -0x1.fep-2, INEXACT)
Szabolcs Nagy ae0f0f
T(RN,                 -0x1p+0,                 0x1p-54,                 -0x1p+0,         -0x1p-2, INEXACT)
Szabolcs Nagy ae0f0f
T(RN,                 -0x1p+0,              0x1.01p-54,   -0x1.fffffffffffffp-1,       0x1.fep-2, INEXACT)
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
T(RU,                  0x1p+0,                 0x1p-52,    0x1.0000000000001p+0,          0x0p+0, 0)
Szabolcs Nagy ae0f0f
T(RU,                  0x1p+0,                 0x1p-53,    0x1.0000000000001p+0,          0x1p-1, INEXACT)
Szabolcs Nagy ae0f0f
T(RU,                  0x1p+0,              0x1.01p-53,    0x1.0000000000001p+0,       0x1.fep-2, INEXACT)
Szabolcs Nagy ae0f0f
T(RU,                  0x1p+0,                -0x1p-54,                  0x1p+0,          0x1p-2, INEXACT)
Szabolcs Nagy ae0f0f
T(RU,                  0x1p+0,             -0x1.01p-54,                  0x1p+0,       0x1.01p-2, INEXACT)
Szabolcs Nagy ae0f0f
T(RU,                 -0x1p+0,                -0x1p-53,                 -0x1p+0,          0x1p-1, INEXACT)
Szabolcs Nagy ae0f0f
T(RU,                 -0x1p+0,             -0x1.01p-53,                 -0x1p+0,       0x1.01p-1, INEXACT)
Szabolcs Nagy ae0f0f
T(RU,                 -0x1p+0,                 0x1p-54,   -0x1.fffffffffffffp-1,          0x1p-1, INEXACT)
Szabolcs Nagy ae0f0f
T(RU,                 -0x1p+0,              0x1.01p-54,   -0x1.fffffffffffffp-1,       0x1.fep-2, INEXACT)
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
T(RD,                  0x1p+0,                 0x1p-52,    0x1.0000000000001p+0,          0x0p+0, 0)
Szabolcs Nagy ae0f0f
T(RD,                  0x1p+0,                 0x1p-53,                  0x1p+0,         -0x1p-1, INEXACT)
Szabolcs Nagy ae0f0f
T(RD,                  0x1p+0,              0x1.01p-53,                  0x1p+0,      -0x1.01p-1, INEXACT)
Szabolcs Nagy ae0f0f
T(RD,                  0x1p+0,                -0x1p-54,    0x1.fffffffffffffp-1,         -0x1p-1, INEXACT)
Szabolcs Nagy ae0f0f
T(RD,                  0x1p+0,             -0x1.01p-54,    0x1.fffffffffffffp-1,      -0x1.fep-2, INEXACT)
Szabolcs Nagy ae0f0f
T(RD,                 -0x1p+0,                -0x1p-53,   -0x1.0000000000001p+0,         -0x1p-1, INEXACT)
Szabolcs Nagy ae0f0f
T(RD,                 -0x1p+0,             -0x1.01p-53,   -0x1.0000000000001p+0,      -0x1.fep-2, INEXACT)
Szabolcs Nagy ae0f0f
T(RD,                 -0x1p+0,                 0x1p-54,                 -0x1p+0,         -0x1p-2, INEXACT)
Szabolcs Nagy ae0f0f
T(RD,                 -0x1p+0,              0x1.01p-54,                 -0x1p+0,      -0x1.01p-2, INEXACT)
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
T(RZ,                  0x1p+0,                 0x1p-52,    0x1.0000000000001p+0,          0x0p+0, 0)
Szabolcs Nagy ae0f0f
T(RZ,                  0x1p+0,                 0x1p-53,                  0x1p+0,         -0x1p-1, INEXACT)
Szabolcs Nagy ae0f0f
T(RZ,                  0x1p+0,              0x1.01p-53,                  0x1p+0,      -0x1.01p-1, INEXACT)
Szabolcs Nagy ae0f0f
T(RZ,                  0x1p+0,                -0x1p-54,    0x1.fffffffffffffp-1,         -0x1p-1, INEXACT)
Szabolcs Nagy ae0f0f
T(RZ,                  0x1p+0,             -0x1.01p-54,    0x1.fffffffffffffp-1,      -0x1.fep-2, INEXACT)
Szabolcs Nagy ae0f0f
T(RZ,                 -0x1p+0,                -0x1p-53,                 -0x1p+0,          0x1p-1, INEXACT)
Szabolcs Nagy ae0f0f
T(RZ,                 -0x1p+0,             -0x1.01p-53,                 -0x1p+0,       0x1.01p-1, INEXACT)
Szabolcs Nagy ae0f0f
T(RZ,                 -0x1p+0,                 0x1p-54,   -0x1.fffffffffffffp-1,          0x1p-1, INEXACT)
Szabolcs Nagy ae0f0f
T(RZ,                 -0x1p+0,              0x1.01p-54,   -0x1.fffffffffffffp-1,       0x1.fep-2, INEXACT)
Szabolcs Nagy ae0f0f
};
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
static void test_round_add(void)
Szabolcs Nagy ae0f0f
{
Szabolcs Nagy ae0f0f
	#pragma STDC FENV_ACCESS ON
Szabolcs Nagy ae0f0f
	double y;
Szabolcs Nagy ae0f0f
	float d;
Szabolcs Nagy ae0f0f
	int i;
Szabolcs Nagy ae0f0f
	struct dd_d *p;
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
	for (i = 0; i < sizeof t/sizeof *t; i++) {
Szabolcs Nagy ae0f0f
		p = t + i;
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
		if (p->r < 0)
Szabolcs Nagy ae0f0f
			continue;
Szabolcs Nagy ae0f0f
		fesetround(p->r);
Szabolcs Nagy ae0f0f
		y = p->x + p->x2;
Szabolcs Nagy ae0f0f
		d = ulperr(y, p->y, p->dy);
Szabolcs Nagy ae0f0f
		if (!checkcr(y, p->y, p->r)) {
Szabolcs Nagy ae0f0f
			printf("%s:%d: %s %a+%a want %a got %a ulperr %.3f = %a + %a\n",
Szabolcs Nagy ae0f0f
				p->file, p->line, rstr(p->r), p->x, p->x2, p->y, y, d, d-p->dy, p->dy);
Szabolcs Nagy ae0f0f
			test_status = 1;
Szabolcs Nagy ae0f0f
		}
Szabolcs Nagy ae0f0f
	}
Szabolcs Nagy ae0f0f
}
Szabolcs Nagy ae0f0f
Szabolcs Nagy ae0f0f
int main(void)
Szabolcs Nagy ae0f0f
{
Szabolcs Nagy ae0f0f
	test_except();
Szabolcs Nagy ae0f0f
	test_round();
Szabolcs Nagy ae0f0f
	test_round_add();
Szabolcs Nagy ae0f0f
	return test_status;
Szabolcs Nagy ae0f0f
}