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

Remove a literal width of 64

Browse Source 
That should have been a function of the architecture
This commit is contained in:
Tristan Ravitch 2017-10-03 10:31:06 -07:00
parent 083f9b4fa1
commit 7aadfdf373
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
macaw-ppc/src/Data/Macaw/PPC/Generator.hs
View File

@ -66,7 +66,7 @@ frontierBlocks = lens _frontierBlocks (\s v -> s { _frontierBlocks = v })
-- PreBlock
data PreBlock ppc ids = PreBlock { pBlockIndex :: !Word64
, pBlockAddr :: !(MM.MemSegmentOff 64)
, pBlockAddr :: !(MM.MemSegmentOff (ArchAddrWidth ppc))
-- ^ Starting address of function in preblock.
, _pBlockStmts :: !(Seq.Seq (Stmt ppc ids))
, _pBlockState :: !(RegState (PPCReg ppc) (Value ppc ids))