math: add special case test vectors

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

diff --git a/src/math/special/frexpf.h b/src/math/special/frexpf.h
new file mode 100644 (file)
index 0000000..c400151
--- /dev/null
+++ b/src/math/special/frexpf.h
@@ -0,0 +1,12 @@
+T(RN,          0x0p+0,          0x0p+0,          0x0p+0,           0, 0)
+T(RN,         -0x0p+0,         -0x0p+0,          0x0p+0,           0, 0)
+T(RN,          0x1p-1,          0x1p-1,          0x0p+0,           0, 0)
+T(RN,         -0x1p-1,         -0x1p-1,          0x0p+0,           0, 0)
+T(RN,          0x1p+0,          0x1p-1,          0x0p+0,           1, 0)
+T(RN,         -0x1p+0,         -0x1p-1,          0x0p+0,           1, 0)
+T(RN,          0x1p+1,          0x1p-1,          0x0p+0,           2, 0)
+T(RN,         -0x1p+1,         -0x1p-1,          0x0p+0,           2, 0)
+// TODO: exp is unspecified
+T(RN,             inf,             inf,          0x0p+0,           0, 0)
+T(RN,            -inf,            -inf,          0x0p+0,           0, 0)
+T(RN,             nan,             nan,          0x0p+0,           0, 0)