fixed

commit 1391b6091f4f29f1cb4347e9b7cdf3ef9978051d
parent 08373ec62cf445acd82b9957eff1057be6f9bd67
Author: Jared Tobin <jared@jtobin.io>
Date:   Thu, 23 Jan 2025 10:43:43 +0400

test: assertion for quotrem_2by1

Diffstat:
M
test/Main.hs
 | 
7
+++++++

1 file changed, 7 insertions(+), 0 deletions(-)
diff --git a/test/Main.hs b/test/Main.hs
@@ -175,6 +175,12 @@ recip_2by1_case1 = do
   let !q = recip_2by1 (B.complement 0xff)
   H.assertEqual mempty 256 q
 
+quotrem_2by1_case0 :: H.Assertion
+quotrem_2by1_case0 = do
+  let !d = B.complement 0xFF :: Word64
+      !o = quotrem_2by1 8 4 d (recip_2by1 d)
+  H.assertEqual mempty (P 8 2052) o
+
 -- main -----------------------------------------------------------------------
 
 comparison :: TestTree
@@ -242,6 +248,7 @@ main = defaultMain $
     , H.testCase "quotrem_r matches case1" quotrem_r_case1
     , H.testCase "recip_2by1 matches case0" recip_2by1_case0
     , H.testCase "recip_2by1 matches case1" recip_2by1_case1
+    , H.testCase "quotrem_2by1 matches case0" quotrem_2by1_case0
     ]
   ]