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 special purpose registers to the definition of 'RegisterInfo'

Browse Source
This commit is contained in:
Tristan Ravitch 2017-10-03 16:37:01 -07:00
parent 171cc0d5ca
commit 2ec88811c5
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -111,8 +111,10 @@ ppcRegs :: forall w ppc
. (w ~ MC.RegAddrWidth (PPCReg ppc), 1 <= w)
=> [Some (PPCReg ppc)]
ppcRegs = concat [ gprs
, sprs
]
where
sprs = [ Some PPC_IP, Some PPC_LNK, Some PPC_CTR, Some PPC_CR ]
gprs = [ Some (PPC_GP (D.GPR rnum))
| rnum <- [0..31]
]