math: add fma(x,y,z) test cases for z=0 and x*y rounds to -0
[libc-test] / src / math / special / fmal.h
index 1f60313..161b791 100644 (file)
@@ -47,3 +47,11 @@ T(RN,                   -0x1p-10000L,       0x1.0000000000001p-6445L,
 T(RU,                   -0x1p-10000L,       0x1.0000000000001p-6445L,                    0x1p-16382L,   0x1.fffffffffffffffcp-16383L,         0x1p-52, INEXACT|UNDERFLOW)
 T(RD,                   -0x1p-10000L,       0x1.0000000000001p-6445L,                    0x1p-16382L,   0x1.fffffffffffffff8p-16383L,         -0x1p+0, INEXACT|UNDERFLOW)
 T(RZ,                   -0x1p-10000L,       0x1.0000000000001p-6445L,                    0x1p-16382L,   0x1.fffffffffffffff8p-16383L,         -0x1p+0, INEXACT|UNDERFLOW)
+T(RN,                   -0x1p-10000L,                     0x1p-6500L,                        0x0p+0L,                       -0x0p+0L,         0x1p-55, INEXACT|UNDERFLOW)
+T(RN,                   -0x1p-10000L,                     0x1p-6500L,                       -0x0p+0L,                       -0x0p+0L,         0x1p-55, INEXACT|UNDERFLOW)
+T(RZ,                   -0x1p-10000L,                     0x1p-6500L,                        0x0p+0L,                       -0x0p+0L,         0x1p-55, INEXACT|UNDERFLOW)
+T(RZ,                   -0x1p-10000L,                     0x1p-6500L,                       -0x0p+0L,                       -0x0p+0L,         0x1p-55, INEXACT|UNDERFLOW)
+T(RD,                   -0x1p-10000L,                     0x1p-6500L,                        0x0p+0L,                   -0x1p-16445L,         -0x1p+0, INEXACT|UNDERFLOW)
+T(RD,                   -0x1p-10000L,                     0x1p-6500L,                       -0x0p+0L,                   -0x1p-16445L,         -0x1p+0, INEXACT|UNDERFLOW)
+T(RU,                   -0x1p-10000L,                     0x1p-6500L,                        0x0p+0L,                       -0x0p+0L,         0x1p-55, INEXACT|UNDERFLOW)
+T(RU,                   -0x1p-10000L,                     0x1p-6500L,                       -0x0p+0L,                       -0x0p+0L,         0x1p-55, INEXACT|UNDERFLOW)