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

macaw-{ppc,riscv}-symbolic: Move S definition above functions that use it

Browse Source
This commit is contained in:
Ryan Scott 2024-07-26 15:03:53 -04:00 committed by Ryan Scott
parent 1966a30909
commit 1a2b9284f1
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -62,6 +62,8 @@ data SemanticsError = NonUserSymbol String
instance X.Exception SemanticsError
type S p v sym rtp bs r ctx = C.CrucibleState p sym (MS.MacawExt (SP.AnyPPC v)) rtp bs r ctx
termSemantics :: (C.IsSymInterface sym, 1 <= SP.AddrWidth v)
=> SymFuns sym
-> MP.PPCTermStmt v ids
@ -409,5 +411,3 @@ withRounding
withRounding bak r action = do
r' <- toValBV bak r
U.withRounding (C.backendGetSym bak) r' action
type S p v sym rtp bs r ctx = C.CrucibleState p sym (MS.MacawExt (SP.AnyPPC v)) rtp bs r ctx

4
macaw-riscv-symbolic/src/Data/Macaw/RISCV/Symbolic/Functions.hs
View File

@ -27,6 +27,8 @@ import qualified Data.Macaw.RISCV.Symbolic.Panic as RP
data SymFuns sym = SymFuns
type S p rv sym rtp bs r ctx = C.CrucibleState p sym (MS.MacawExt (MR.RISCV rv)) rtp bs r ctx
funcSemantics :: SymFuns sym
-> MR.RISCVPrimFn rv (RA.AtomWrapper f) mt
-> S p rv sym rtp bs r ctx
@ -50,5 +52,3 @@ termSemantics :: SymFuns sym
-> S p rv sym rtp bs r ctx
-> IO (C.RegValue sym C.UnitType, S p rv sym rtp bs r ctx)
termSemantics _fs term _s = case term of {}
type S p rv sym rtp bs r ctx = C.CrucibleState p sym (MS.MacawExt (MR.RISCV rv)) rtp bs r ctx