math: add fma(x,y,z) test cases for z=0 and x*y rounds to -0

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

diff --git a/src/math/special/fmaf.h b/src/math/special/fmaf.h
index ef9957a..fdbb6d9 100644 (file)
--- a/src/math/special/fmaf.h
+++ b/src/math/special/fmaf.h
@@ -66,3 +66,11 @@ T(RN,   0x1.000004p+0,   0x1.fffffep+0,  0x1.000002p-45,   0x1.000004p+1,
 T(RN,   0x1.000004p+0,  -0x1.fffffep+0, -0x1.fffffep-46,  -0x1.000002p+1,          0x1p-1, INEXACT)
 T(RN,   0x1.000004p+0,  -0x1.fffffep+0,        -0x1p-45,  -0x1.000004p+1,         -0x1p-1, INEXACT)
 T(RN,   0x1.000004p+0,  -0x1.fffffep+0, -0x1.000002p-45,  -0x1.000004p+1,         -0x1p-1, INEXACT)
+T(RN,       -0x1p-100,        0x1p-100,          0x0p+0,         -0x0p+0,         0x1p-51, INEXACT|UNDERFLOW)
+T(RN,       -0x1p-100,        0x1p-100,         -0x0p+0,         -0x0p+0,         0x1p-51, INEXACT|UNDERFLOW)
+T(RZ,       -0x1p-100,        0x1p-100,          0x0p+0,         -0x0p+0,         0x1p-51, INEXACT|UNDERFLOW)
+T(RZ,       -0x1p-100,        0x1p-100,         -0x0p+0,         -0x0p+0,         0x1p-51, INEXACT|UNDERFLOW)
+T(RD,       -0x1p-100,        0x1p-100,          0x0p+0,       -0x1p-149,         -0x1p+0, INEXACT|UNDERFLOW)
+T(RD,       -0x1p-100,        0x1p-100,         -0x0p+0,       -0x1p-149,         -0x1p+0, INEXACT|UNDERFLOW)
+T(RU,       -0x1p-100,        0x1p-100,          0x0p+0,         -0x0p+0,         0x1p-51, INEXACT|UNDERFLOW)
+T(RU,       -0x1p-100,        0x1p-100,         -0x0p+0,         -0x0p+0,         0x1p-51, INEXACT|UNDERFLOW)