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

Add some type instance declarations for ppc32 and ppc64

Browse Source
This commit is contained in:
Tristan Ravitch 2017-10-02 13:35:04 -07:00
parent 90a9c5ff65
commit 20e5b5f00d
1 changed files with 8 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -2,17 +2,22 @@
{-# LANGUAGE GADTs #-}
{-# LANGUAGE StandaloneDeriving #-}
{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE TypeFamilies #-}
module Data.Macaw.PPC.PPCReg (
PPCReg(..),
linuxSystemCallPreservedRegisters
) where
import qualified Data.Set as S
import qualified Data.Macaw.CFG as MC
import Data.Macaw.Types
import Data.Parameterized.Classes
import Data.Parameterized.Some ( Some(..) )
import qualified Data.Parameterized.TH.GADT as TH
import qualified Dismantle.PPC as D
import qualified SemMC.Architecture.PPC32 as PPC32
import qualified SemMC.Architecture.PPC64 as PPC64
data PPCReg arch tp where
PPC_GP :: D.GPR -> PPCReg arch (BVType 64)
@ -46,3 +51,6 @@ instance OrdF (PPCReg arch) where
linuxSystemCallPreservedRegisters :: proxy ppc -> S.Set (Some (PPCReg ppc))
linuxSystemCallPreservedRegisters _ =
S.fromList [ Some (PPC_GP (D.GPR rnum)) | rnum <- [14..31] ]
type instance MC.RegAddrWidth (PPCReg PPC32.PPC) = 32
type instance MC.RegAddrWidth (PPCReg PPC64.PPC) = 64