fixed

commit d63b28e68b2f1d12654cdbcf4b144b8053e81229
parent 6590b78a6cd7248b5704728cbcff2d1e6e7642c9
Author: Jared Tobin <jared@jtobin.io>
Date:   Sun, 30 Nov 2025 10:54:45 +0400

wider: wip work on bit manipulation

Diffstat:
M
lib/Data/Word/Wider.hs
 | 
36
+++++++++++++++++++++++++++++++++++-

1 file changed, 35 insertions(+), 1 deletion(-)
diff --git a/lib/Data/Word/Wider.hs b/lib/Data/Word/Wider.hs
@@ -124,7 +124,7 @@ from (Wider (# w0, w1, w2, w3 #)) =
   where
     !size = B.finiteBitSize (0 :: Word)
 
--- bit shifts -----------------------------------------------------------------
+-- bit manipulation -----------------------------------------------------------
 
 -- | Constant-time 1-bit shift-right with carry, indicating whether the
 --   lowest bit was set.
@@ -150,6 +150,40 @@ shr1_c (Wider w) =
   let !(# r, c #) = shr1_c# w
   in  (Wider r, C.decide c)
 
+and_w#
+  :: (# Word#, Word#, Word#, Word# #)
+  -> (# Word#, Word#, Word#, Word# #)
+  -> (# Word#, Word#, Word#, Word# #)
+and_w# (# a0, a1, a2, a3 #) (# b0, b1, b2, b3 #) =
+  (# and# a0 b0, and# a1 b1, and# a2 b2, and# a3 b3 #)
+{-# INLINE and_w# #-}
+
+and :: Wider -> Wider -> Wider
+and (Wider a) (Wider b) = Wider (and_w# a b)
+
+or_w#
+  :: (# Word#, Word#, Word#, Word# #)
+  -> (# Word#, Word#, Word#, Word# #)
+  -> (# Word#, Word#, Word#, Word# #)
+or_w# (# a0, a1, a2, a3 #) (# b0, b1, b2, b3 #) =
+  (# or# a0 b0, or# a1 b1, or# a2 b2, or# a3 b3 #)
+{-# INLINE or_w# #-}
+
+or :: Wider -> Wider -> Wider
+or (Wider a) (Wider b) = Wider (or_w# a b)
+
+-- conditional_shr#
+--   :: (# Word#, Word#, Word#, Word# #)
+--   -> Int#
+--   -> C.Choice
+--   -> (# (# Word#, Word#, Word#, Word# #), Word# #)
+-- conditional_shr# (# a0, a1, a2, a3 #) s c =
+--   let !size = case B.finiteBitSize (0 :: Word) of I# m -> m
+--       !rs = s
+--       !ls = size -# s
+--       !(# l3, c3 #) =
+--         (# C.ct_select_word# a3 (uncheckedShiftRL# a3 rs)
+
 -- addition, subtraction ------------------------------------------------------
 
 -- | Overflowing addition, computing 'a + b', returning the sum and a