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

Propagate changes for X86_64 RepMovs and RepStos.

Browse Source
This commit is contained in:
Andrei Stefanescu 2018-11-27 10:30:59 -08:00
parent fa570e0c1a
commit 76ff48eec0
1 changed files with 21 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
macaw-ppc-symbolic/src/Data/Macaw/PPC/Symbolic.hs
View File

@ -8,8 +8,10 @@
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE TypeApplications #-}
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TypeSynonymInstances #-}
{-# LANGUAGE TypeOperators #-}
{-# LANGUAGE UndecidableInstances #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}
module Data.Macaw.PPC.Symbolic (
ppc64MacawSymbolicFns,
ppc64MacawEvalFn,
@ -39,6 +41,7 @@ import GHC.TypeLits
import Control.Lens ( (^.), (%~), (&) )
import Control.Monad ( void )
import qualified Control.Monad.Catch as X
import Control.Monad.IO.Class ( liftIO )
import qualified Data.Functor.Identity as I
import qualified Data.Parameterized.Context as Ctx
import qualified Data.Parameterized.Map as MapF
@ -133,6 +136,24 @@ ppc32MacawEvalFn fs = \xt s -> case xt of
PPCPrimStmt stmt -> F.stmtSemantics fs stmt s
PPCPrimTerm term -> F.termSemantics fs term s
instance MS.ArchInfo MP.PPC64 where
archVals _ = Just $ MS.ArchVals
{ MS.archFunctions = ppc64MacawSymbolicFns
, MS.withArchEval = \sym k -> do
sfns <- liftIO $ F.newSymFuns sym
k $ \_ _ -> ppc64MacawEvalFn sfns
, MS.withArchConstraints = \x -> x
}
instance MS.ArchInfo MP.PPC32 where
archVals _ = Just $ MS.ArchVals
{ MS.archFunctions = ppc32MacawSymbolicFns
, MS.withArchEval = \sym k -> do
sfns <- liftIO $ F.newSymFuns sym
k $ \_ _ -> ppc32MacawEvalFn sfns
, MS.withArchConstraints = \x -> x
}
ppcRegName :: MP.PPCReg ppc tp -> C.SolverSymbol
ppcRegName r = C.systemSymbol ("!" ++ show (MC.prettyF r))