GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-29 11:02:13 +03:00
Code Issues Projects Releases Wiki Activity

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

Browse Source 
add a `Bits` instance to `MemInt`
This commit is contained in:
Valentin Robert 2024-07-24 08:43:02 -07:00 committed by GitHub
commit 32244627f2
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
base/src/Data/Macaw/Memory.hs
View File

@ -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