math: add special case test vectors

[libc-test] / src / math / special / fminf.h

diff --git a/src/math/special/fminf.h b/src/math/special/fminf.h
new file mode 100644 (file)
index 0000000..b114567
--- /dev/null
+++ b/src/math/special/fminf.h
@@ -0,0 +1,58 @@
+T(RN,          0x0p+0,          0x1p+0,          0x0p+0,          0x0p+0, 0)
+T(RN,         -0x0p+0,          0x1p+0,         -0x0p+0,          0x0p+0, 0)
+T(RN,          0x1p-1,          0x1p+0,          0x1p-1,          0x0p+0, 0)
+T(RN,         -0x1p-1,          0x1p+0,         -0x1p-1,          0x0p+0, 0)
+T(RN,          0x1p+0,          0x1p+0,          0x1p+0,          0x0p+0, 0)
+T(RN,         -0x1p+0,          0x1p+0,         -0x1p+0,          0x0p+0, 0)
+T(RN,             inf,          0x1p+0,          0x1p+0,          0x0p+0, 0)
+T(RN,            -inf,          0x1p+0,            -inf,          0x0p+0, 0)
+T(RN,             nan,          0x1p+0,          0x1p+0,          0x0p+0, 0)
+T(RN,          0x0p+0,         -0x1p+0,         -0x1p+0,          0x0p+0, 0)
+T(RN,         -0x0p+0,         -0x1p+0,         -0x1p+0,          0x0p+0, 0)
+T(RN,          0x1p-1,         -0x1p+0,         -0x1p+0,          0x0p+0, 0)
+T(RN,         -0x1p-1,         -0x1p+0,         -0x1p+0,          0x0p+0, 0)
+T(RN,          0x1p+0,         -0x1p+0,         -0x1p+0,          0x0p+0, 0)
+T(RN,         -0x1p+0,         -0x1p+0,         -0x1p+0,          0x0p+0, 0)
+T(RN,             inf,         -0x1p+0,         -0x1p+0,          0x0p+0, 0)
+T(RN,            -inf,         -0x1p+0,            -inf,          0x0p+0, 0)
+T(RN,             nan,         -0x1p+0,         -0x1p+0,          0x0p+0, 0)
+T(RN,          0x0p+0,          0x0p+0,          0x0p+0,          0x0p+0, 0)
+T(RN,          0x0p+0,         -0x0p+0,         -0x0p+0,          0x0p+0, 0)
+T(RN,          0x0p+0,             inf,          0x0p+0,          0x0p+0, 0)
+T(RN,          0x0p+0,            -inf,            -inf,          0x0p+0, 0)
+T(RN,          0x0p+0,             nan,          0x0p+0,          0x0p+0, 0)
+T(RN,         -0x0p+0,          0x0p+0,         -0x0p+0,          0x0p+0, 0)
+T(RN,         -0x0p+0,         -0x0p+0,         -0x0p+0,          0x0p+0, 0)
+T(RN,         -0x0p+0,             inf,         -0x0p+0,          0x0p+0, 0)
+T(RN,         -0x0p+0,            -inf,            -inf,          0x0p+0, 0)
+T(RN,         -0x0p+0,             nan,         -0x0p+0,          0x0p+0, 0)
+T(RN,          0x1p+0,          0x0p+0,          0x0p+0,          0x0p+0, 0)
+T(RN,         -0x1p+0,          0x0p+0,         -0x1p+0,          0x0p+0, 0)
+T(RN,             inf,          0x0p+0,          0x0p+0,          0x0p+0, 0)
+T(RN,            -inf,          0x0p+0,            -inf,          0x0p+0, 0)
+T(RN,             nan,          0x0p+0,          0x0p+0,          0x0p+0, 0)
+T(RN,         -0x1p+0,         -0x0p+0,         -0x1p+0,          0x0p+0, 0)
+T(RN,             inf,         -0x0p+0,         -0x0p+0,          0x0p+0, 0)
+T(RN,            -inf,         -0x0p+0,            -inf,          0x0p+0, 0)
+T(RN,             nan,         -0x0p+0,         -0x0p+0,          0x0p+0, 0)
+T(RN,             inf,          0x1p+1,          0x1p+1,          0x0p+0, 0)
+T(RN,             inf,         -0x1p-1,         -0x1p-1,          0x0p+0, 0)
+T(RN,             inf,             nan,             inf,          0x0p+0, 0)
+T(RN,            -inf,          0x1p+1,            -inf,          0x0p+0, 0)
+T(RN,            -inf,         -0x1p-1,            -inf,          0x0p+0, 0)
+T(RN,            -inf,             nan,            -inf,          0x0p+0, 0)
+T(RN,             nan,             nan,             nan,          0x0p+0, 0)
+T(RN,          0x1p+0,             nan,          0x1p+0,          0x0p+0, 0)
+T(RN,         -0x1p+0,             nan,         -0x1p+0,          0x0p+0, 0)
+T(RN,          0x1p+0,             inf,          0x1p+0,          0x0p+0, 0)
+T(RN,         -0x1p+0,             inf,         -0x1p+0,          0x0p+0, 0)
+T(RN,             inf,             inf,             inf,          0x0p+0, 0)
+T(RN,            -inf,             inf,            -inf,          0x0p+0, 0)
+T(RN,          0x1p+0,            -inf,            -inf,          0x0p+0, 0)
+T(RN,         -0x1p+0,            -inf,            -inf,          0x0p+0, 0)
+T(RN,             inf,            -inf,            -inf,          0x0p+0, 0)
+T(RN,            -inf,            -inf,            -inf,          0x0p+0, 0)
+T(RN,        0x1.cp+0,          0x1p-1,          0x1p-1,          0x0p+0, 0)
+T(RN,       -0x1.cp+0,          0x1p-1,       -0x1.cp+0,          0x0p+0, 0)
+T(RN,        0x1.cp+0,         -0x1p-1,         -0x1p-1,          0x0p+0, 0)
+T(RN,       -0x1.cp+0,         -0x1p-1,       -0x1.cp+0,          0x0p+0, 0)