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

Fix comment

Browse Source
This commit is contained in:
Iavor Diatchki 2018-01-26 11:35:29 -08:00
parent 54662612ea
commit a7b5ac73ec
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
x86/src/Data/Macaw/X86/ArchTypes.hs
View File

@ -282,7 +282,7 @@ instance Show AVXPointWiseOp2 where
-- | Defines primitive functions in the X86 format. -- | Defines primitive functions in the X86 format.
data X86PrimFn f tp where data X86PrimFn f tp where
EvenParity :: !(f (BVType 8)) -> X86PrimFn f BoolType EvenParity :: !(f (BVType 8)) -> X86PrimFn f BoolType
-- ^ Return true if least-significant bit has even number of bits set. -- ^ Return true if the operatnd has has even number of bits set.
ReadLoc :: !(X86PrimLoc tp) -> X86PrimFn f tp ReadLoc :: !(X86PrimLoc tp) -> X86PrimFn f tp
-- ^ Read from a primitive X86 location -- ^ Read from a primitive X86 location
ReadFSBase :: X86PrimFn f (BVType 64) ReadFSBase :: X86PrimFn f (BVType 64)