Safe Haskell	None
Language	GHC2021

Language.QBE.Simulator.Default.State

Contents

Interpreter State
State Monad

Synopsis

data Env v b = Env {
- envSyms :: Map GlobalIdent Address
- envFuncs :: Map GlobalIdent FuncDef
- envFuncAddrs :: Map Address GlobalIdent
- envMem :: Memory IOArray b
- envStk :: [StackFrame v]
- envStkPtr :: v
- envDataPtr :: Address
}
type DataMem = [(Address, DataDef)]
mkEnv :: (Storable v b, ValueRepr v) => Program -> Address -> Size -> IO (Env v b)
initData :: (Storable v b, ValueRepr v) => DataMem -> StateT (Env v b) IO ()
loadObj :: (Storable v b, ValueRepr v) => Address -> DataObj -> StateT (Env v b) IO Address
storeValues :: Storable v b => Address -> [v] -> StateT (Env v b) IO Address
newtype SimState v b a = SimState {
- unSimState :: StateT (Env v b) IO a
}
unliftCatch :: Exception t => StateT s IO a -> (t -> StateT s IO a) -> StateT s IO a
run :: (ValueRepr v, Storable v b) => Env v b -> SimState v b a -> IO a

Interpreter State

data Env v b Source #

Constructors

Env
Fields envSyms :: Map GlobalIdent Address envFuncs :: Map GlobalIdent FuncDef envFuncAddrs :: Map Address GlobalIdent envMem :: Memory IOArray b envStk :: [StackFrame v] envStkPtr :: v envDataPtr :: Address

Instances

Instances details

MonadState (Env v b) (SimState v b) Source #
Instance details Defined in Language.QBE.Simulator.Default.State Methods get :: SimState v b (Env v b) # put :: Env v b -> SimState v b () # state :: (Env v b -> (a, Env v b)) -> SimState v b a #

type DataMem = [(Address, DataDef)] Source #

mkEnv :: (Storable v b, ValueRepr v) => Program -> Address -> Size -> IO (Env v b) Source #

initData :: (Storable v b, ValueRepr v) => DataMem -> StateT (Env v b) IO () Source #

loadObj :: (Storable v b, ValueRepr v) => Address -> DataObj -> StateT (Env v b) IO Address Source #

storeValues :: Storable v b => Address -> [v] -> StateT (Env v b) IO Address Source #

State Monad

newtype SimState v b a Source #

Simulator state, parameterized over a value and byte representation.

Constructors

SimState
Fields unSimState :: StateT (Env v b) IO a

Instances

Instances details

MonadError EvalError (SimState v b) Source #	Implements `MonadError` in `SimState` via `IOException`s. This should be more performant than using `ExceptT` monad transformer in conjunction with `StateT`.
Instance details Defined in Language.QBE.Simulator.Default.State Methods throwError :: EvalError -> SimState v b a # catchError :: SimState v b a -> (EvalError -> SimState v b a) -> SimState v b a #
MonadIO (SimState v b) Source #
Instance details Defined in Language.QBE.Simulator.Default.State Methods liftIO :: IO a -> SimState v b a #
Applicative (SimState v b) Source #
Instance details Defined in Language.QBE.Simulator.Default.State Methods pure :: a -> SimState v b a # (<>) :: SimState v b (a -> b0) -> SimState v b a -> SimState v b b0 # liftA2 :: (a -> b0 -> c) -> SimState v b a -> SimState v b b0 -> SimState v b c # (>) :: SimState v b a -> SimState v b b0 -> SimState v b b0 # (<*) :: SimState v b a -> SimState v b b0 -> SimState v b a #
Functor (SimState v b) Source #
Instance details Defined in Language.QBE.Simulator.Default.State Methods fmap :: (a -> b0) -> SimState v b a -> SimState v b b0 # (<$) :: a -> SimState v b b0 -> SimState v b a #
Monad (SimState v b) Source #
Instance details Defined in Language.QBE.Simulator.Default.State Methods (>>=) :: SimState v b a -> (a -> SimState v b b0) -> SimState v b b0 # (>>) :: SimState v b a -> SimState v b b0 -> SimState v b b0 # return :: a -> SimState v b a #
(Storable v b, ValueRepr v, NFData b) => Simulator (SimState v b) v Source #
Instance details Defined in Language.QBE.Simulator.Default.State Methods isTrue :: v -> SimState v b Bool Source # toAddress :: v -> SimState v b Address Source # lookupSymbol :: GlobalIdent -> SimState v b (Maybe Address) Source # findFunc :: GlobalIdent -> SimState v b (Maybe (SomeFunc (SimState v b) v)) Source # findFuncByAddr :: Address -> SimState v b (Maybe (SomeFunc (SimState v b) v)) Source # activeFrame :: SimState v b (StackFrame v) Source # pushStackFrame :: StackFrame v -> SimState v b () Source # popStackFrame :: SimState v b (StackFrame v) Source # getSP :: SimState v b v Source # setSP :: v -> SimState v b () Source # writeMemory :: Address -> ExtType -> v -> SimState v b () Source # readMemory :: LoadType -> Address -> SimState v b v Source #
MonadState (Env v b) (SimState v b) Source #
Instance details Defined in Language.QBE.Simulator.Default.State Methods get :: SimState v b (Env v b) # put :: Env v b -> SimState v b () # state :: (Env v b -> (a, Env v b)) -> SimState v b a #

unliftCatch :: Exception t => StateT s IO a -> (t -> StateT s IO a) -> StateT s IO a Source #

Unlift IOException handling into a generic StateT monad.

run :: (ValueRepr v, Storable v b) => Env v b -> SimState v b a -> IO a Source #