Blob Blame History Raw
#include <stdio.h>
#include <math.h>
#include "test.h"

static struct {
	double x;
	double yf;
	double yi;
} t[] = {
	0.7, 0x1.6666666666666p-1, 0.0,
	-0.7, -0x1.6666666666666p-1, -0.0,
	1.7, 0x1.6666666666666p-1, 1.0,
	-1.7, -0x1.6666666666666p-1, -1.0,
	2.0, 0.0, 2.0,
	-2.0, -0.0, -2.0,
	-0x1p99, -0.0, -0x1p99,
	-0.0, -0.0, -0.0,
	INFINITY, 0.0, INFINITY,
	-INFINITY, -0.0, -INFINITY,
	NAN, NAN, NAN,
};

static struct {
	float x;
	float yf;
	float yi;
} tf[] = {
	0.7, 0x1.666666p-1, 0.0,
	-0.7, -0x1.666666p-1, -0.0,
	1.7, 0x1.666668p-1, 1.0,
	-1.7, -0x1.666668p-1, -1.0,
	2.0, 0.0, 2.0,
	-2.0, -0.0, -2.0,
	-0x1p99, -0.0, -0x1p99,
	-0.0, -0.0, -0.0,
	INFINITY, 0.0, INFINITY,
	-INFINITY, -0.0, -INFINITY,
	NAN, NAN, NAN,
};

static struct {
	long double x;
	long double yf;
	long double yi;
} tl[] = {
	0.7L, 0x1.6666666666666666p-1L, 0.0,
	-0.7L, -0x1.6666666666666666p-1L, -0.0,
	1.7L, 0x1.6666666666666668p-1L, 1.0,
	-1.7L, -0x1.6666666666666668p-1L, -1.0,
	2.0, 0, 2.0,
	-2.0, -0.0, -2.0,
	-0x1p99, -0.0, -0x1p99,
	-0.0, -0.0, -0.0,
	INFINITY, 0.0, INFINITY,
	-INFINITY, -0.0, -INFINITY,
	NAN, NAN, NAN,
};

#define eq(a, b) (isnan(a) && isnan(b) || ((a) == (b) && signbit(a) == signbit(b)))

void test_modf()
{
	double yf, yi;
	int i;
	for (i = 0; i < sizeof t/sizeof *t; i++) {
		yf = modf(t[i].x, &yi);
		if (!eq(yf,t[i].yf) || !eq(yi,t[i].yi))
			error("modf(%a) want %a %a got %a %a\n", t[i].x, t[i].yf, t[i].yi, yf, yi);
	}
}
void test_modff()
{
	float yf, yi;
	int i;
	for (i = 0; i < sizeof tf/sizeof *tf; i++) {
		yf = modff(tf[i].x, &yi);
		if (!eq(yf,tf[i].yf) || !eq(yi,tf[i].yi))
			error("modff(%a) want %a %a got %a %a\n", tf[i].x, tf[i].yf, tf[i].yi, yf, yi);
	}
}
void test_modfl()
{
	long double yf, yi;
	int i;
	for (i = 0; i < sizeof tl/sizeof *tl; i++) {
		yf = modfl(tl[i].x, &yi);
		if (!eq(yf,tl[i].yf) || !eq(yi,tl[i].yi))
			error("modfl(%La) want %La %La got %La %La\n", tl[i].x, tl[i].yf, tl[i].yi, yf, yi);
	}
}