X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=src%2Fmath%2Fnexttoward.c;fp=src%2Fmath%2Fnexttoward.c;h=9a87d00863fe1e434724694157b3051e130ff68c;hb=ddfb9f92381086ef0b29f6fdddee3f7e51fb82e1;hp=0000000000000000000000000000000000000000;hpb=c5feb4f9850fcffb9027d9b93ac4a6b486d7600f;p=libc-test

diff --git a/src/math/nexttoward.c b/src/math/nexttoward.c
new file mode 100644
index 0000000..9a87d00
--- /dev/null
+++ b/src/math/nexttoward.c
@@ -0,0 +1,47 @@
+#include <stdint.h>
+#include <stdio.h>
+#include "util.h"
+
+static struct ll_l t[] = {
+#if LDBL_MANT_DIG == 53
+#include "sanity/nexttoward.h"
+
+#elif LDBL_MANT_DIG == 64
+#include "sanity/nexttoward.h"
+
+#endif
+};
+
+int main(void)
+{
+	#pragma STDC FENV_ACCESS ON
+	long double y;
+	float d;
+	int e, i, err = 0;
+	struct ll_l *p;
+
+	for (i = 0; i < sizeof t/sizeof *t; i++) {
+		p = t + i;
+
+		if (p->r < 0)
+			continue;
+		fesetround(p->r);
+		feclearexcept(FE_ALL_EXCEPT);
+		y = nexttoward(p->x, p->x2);
+		e = fetestexcept(INEXACT|INVALID|DIVBYZERO|UNDERFLOW|OVERFLOW);
+
+		if (!checkexcept(e, p->e, p->r)) {
+			printf("%s:%d: bad fp exception: %s nexttoward(%La,%La)=%La, want %s",
+				p->file, p->line, rstr(p->r), p->x, p->x2, p->y, estr(p->e));
+			printf(" got %s\n", estr(e));
+			err++;
+		}
+		d = ulperrl(y, p->y, p->dy);
+		if (!checkulp(d, p->r)) {
+			printf("%s:%d: %s nexttoward(%La,%La) want %La got %La ulperr %.3f = %a + %a\n",
+				p->file, p->line, rstr(p->r), p->x, p->x2, p->y, y, d, d-p->dy, p->dy);
+			err++;
+		}
+	}
+	return !!err;
+}