Merge pull request #405 from GaloisInc/vr/bits-memint

add a `Bits` instance to `MemInt`
GaloisInc · Jul 24, 2024 · 3224462 · 3224462
2 parents 4b38285 + d2561b1
commit 3224462
Showing 1 changed file with 14 additions and 0 deletions.
diff --git a/base/src/Data/Macaw/Memory.hs b/base/src/Data/Macaw/Memory.hs
@@ -466,6 +466,20 @@ instance MemWidth w => Integral (MemInt w) where
     where (q,r) = memIntValue x `quotRem` memIntValue y
   toInteger = toInteger . memIntValue
 
+instance MemWidth w => Bits (MemInt w) where
+  MemInt x .&. MemInt y = memInt (x .&. y)
+  MemInt x .|. MemInt y = memInt (x .|. y)
+  MemInt x `xor` MemInt y = memInt (x `xor` y)
+  complement (MemInt x) = memInt (complement x)
+  MemInt x `shift` i = memInt (x `shift` i)
+  MemInt x `rotate` i = memInt (x `rotate` i)
+  bitSize = addrBitSize
+  bitSizeMaybe x = Just (addrBitSize x)
+  isSigned _ = True
+  MemInt x `testBit` i = x `testBit` i
+  bit i = memInt (bit i)
+  popCount (MemInt x) = popCount x
+
 ------------------------------------------------------------------------
 -- Relocation