Skip to content

Commit

Permalink
macaw-{ppc,riscv}-symbolic: Move S definition above functions that us…
Browse files Browse the repository at this point in the history
…e it
  • Loading branch information
RyanGlScott committed Jul 26, 2024
1 parent 1966a30 commit 1a2b928
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
4 changes: 2 additions & 2 deletions macaw-ppc-symbolic/src/Data/Macaw/PPC/Symbolic/Functions.hs
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand Down Expand Up @@ -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
Original file line number Diff line number Diff line change
Expand Up @@ -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
Expand All @@ -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

0 comments on commit 1a2b928

Please sign in to comment.