GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 08:53:12 +03:00
Code Issues Projects Releases Wiki Activity

Add a comment to setRegVal

Browse Source
This commit is contained in:
Tristan Ravitch 2018-03-29 10:01:06 -07:00
parent 1ebf0cabb7
commit 13c202f966
1 changed files with 3 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
macaw-semmc/src/Data/Macaw/SemMC/Generator.hs
View File

@ -162,6 +162,9 @@ blockState = lens _blockState (\s v -> s { _blockState = v })
curRegState :: Simple Lens (GenState arch ids s) (RegState (ArchReg arch) (Value arch ids))
curRegState = blockState . pBlockState
-- | Update the value of a machine register (in the 'Generator' state) with a
-- new macaw 'Value'. This function applies a simplifier ('simplifyValue') to
-- the value first, if possible.
setRegVal :: (OrdF (ArchReg arch), MM.MemWidth (RegAddrWidth (ArchReg arch)))
=> ArchReg arch tp
-> Value arch ids tp