add tests

GaloisInc · Jun 5, 2024 · df735df · df735df
1 parent 97e3373
commit df735df
Showing 1 changed file with 12 additions and 0 deletions.
diff --git a/tests/RunUnitTests.hs b/tests/RunUnitTests.hs
@@ -34,6 +34,18 @@ main =
     , testGroup "bfIsSubnormal (float32 NearEven)"
         (map (\bf -> bfSubnormalTestCase bf False)
              [bfPosZero, bfFromInt 1, bfFromInt 0, bfNaN, bfNegInf, bfPosInf])
+    , testGroup "IEEE 754 compare"
+      [ testGroup "Comparisons with NaN should always return False"
+        [ testCase "NaN > 0" $ False @=? bfNaN > bfPosZero
+        , testCase "0 > NaN" $ False @=? bfPosZero > bfNaN
+        , testCase "NaN >= 0" $ False @=? bfNaN >= bfPosZero
+        , testCase "0 >= NaN" $ False @=? bfPosZero >= bfNaN
+        , testCase "NaN < 0" $ False @=? bfNaN < bfPosZero
+        , testCase "0 < NaN" $ False @=? bfPosZero < bfNaN
+        , testCase "NaN <= 0" $ False @=? bfNaN <= bfPosZero
+        , testCase "0 <= NaN" $ False @=? bfPosZero <= bfNaN
+        ]
+      ]
     ]
 
 statusUnderflow :: Status -> Bool