X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;f=src%2Fmath%2Ffmaf.c;fp=src%2Fmath%2Ffmaf.c;h=20fdb025fd33972b1c0b353b8bb8875bb8df9f29;hb=588927eced2aa02855723750217fe3fc26404da9;hp=0000000000000000000000000000000000000000;hpb=cb9f87af9a1f917facd1140603b24f1087729751;p=libc-test

diff --git a/src/math/fmaf.c b/src/math/fmaf.c
new file mode 100644
index 0000000..20fdb02
--- /dev/null
+++ b/src/math/fmaf.c
@@ -0,0 +1,41 @@
+#include <stdint.h>
+#include <stdio.h>
+#include "util.h"
+
+static struct fff_f t[] = {
+#include "sanity/fmaf.h"
+};
+
+int main(void)
+{
+	#pragma STDC FENV_ACCESS ON
+	float y;
+	float d;
+	int e, i, err = 0;
+	struct fff_f *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 = fmaf(p->x, p->x2, p->x3);
+		e = fetestexcept(INEXACT|INVALID|DIVBYZERO|UNDERFLOW|OVERFLOW);
+
+		if (!checkexcept(e, p->e, p->r)) {
+			printf("%s:%d: bad fp exception: %s fmaf(%a,%a,%a)=%a, want %s",
+				p->file, p->line, rstr(p->r), p->x, p->x2, p->x3, p->y, estr(p->e));
+			printf(" got %s\n", estr(e));
+			err++;
+		}
+		d = ulperrf(y, p->y, p->dy);
+		if (!checkulp(d, p->r)) {
+			printf("%s:%d: %s fmaf(%a,%a,%a) want %a got %a ulperr %.3f = %a + %a\n",
+				p->file, p->line, rstr(p->r), p->x, p->x2, p->x3, p->y, y, d, d-p->dy, p->dy);
+			err++;
+		}
+	}
+	return !!err;
+}