Safe Haskell	None
Language	Haskell2010

Wrench.Isa.Wasm32.State

Contents

The state
Memory map
Memory access
Operand stack
Locals
Scan cache
Branch cache
Control stack
Control-record encoding

Description

The machine's state and every primitive that touches it: where code, data and the two stacks sit in memory, the counted word/byte accessors, and the operand and control stacks -- the latter including the binary format of a control record, since the format and the LIFO discipline that gives it meaning are one thing.

Synopsis

data Wasm32St w = Wasm32St {
- pc :: Int
- sp :: Int
- frameBase :: Int
- localCount :: Int
- ctrlSp :: Int
- stackRoot :: Int
- scanCache :: ![(Int, Int)]
- scanCacheSize :: Int
- branchCache :: ![BranchEntry w]
- branchCacheSize :: Int
- tosRegs :: ![(Int, w)]
- tosRegCount :: Int
- mem :: IoMem (Wasm32Isa w w) w
- ir :: [(Int, Wasm32Isa w w)]
- stopped :: Bool
- internalError :: Maybe Text
}
defaultStackRoot :: IoMem (Wasm32Isa w w) w -> Int
getWord :: IsWord w => Int -> State (Wasm32St w) w
setWord :: IsWord w => Int -> w -> State (Wasm32St w) ()
fetchInstructionAt :: IsWord w => Int -> State (Wasm32St w) (Either Text (Wasm32Isa w w))
getByte :: IsWord w => Int -> State (Wasm32St w) Word8
setByte :: IsWord w => Int -> Word8 -> State (Wasm32St w) ()
setPc :: Int -> State (Wasm32St w) ()
nextPc :: Wasm32Isa w w -> State (Wasm32St w) ()
raiseInternalError :: Text -> State (Wasm32St w) ()
pushValue :: IsWord w => w -> State (Wasm32St w) ()
popValue :: IsWord w => State (Wasm32St w) w
localAddr :: IsWord w => Int -> State (Wasm32St w) Int
reserveLocals :: IsWord w => Int -> State (Wasm32St w) ()
cachedScan :: Int -> State (Wasm32St w) (Either Text Int) -> State (Wasm32St w) (Either Text Int)
data BranchEntry w = BranchEntry {
- beFrom :: Int
- beRecord :: Int
- beWords :: [w]
- beTo :: Int
- beCtrlSp :: Int
}
cachedBranch :: IsWord w => Int -> Int -> State (Wasm32St w) (Maybe (BranchEntry w))
rememberBranch :: IsWord w => BranchEntry w -> State (Wasm32St w) ()
data Scope
- = LoopScope {
  - csStart :: Int
  - csEnd :: Int
  }
- | BlockScope {
  - csEnd :: Int
  }
- | CallScope {
  - csCallerFrameBase :: Int
  - csCallerLocalCount :: Int
  - csReturnPc :: Int
  - csResultCount :: Int
  }
pushScope :: IsWord w => Scope -> State (Wasm32St w) ()
retireScopes :: IsWord w => Int -> State (Wasm32St w) ()
scopeAtDepth :: IsWord w => Int -> State (Wasm32St w) (Maybe (Either Text Scope))
scopeRecordAtDepth :: IsWord w => Int -> State (Wasm32St w) (Maybe (Int, [w]))
innermostCall :: IsWord w => State (Wasm32St w) (Either Text (Int, Scope))
ctrlCorruptedErr :: Int -> Text -> Text
scopeAddrs :: IsWord w => Wasm32St w -> [Int]
scopeRecordBytes :: IsWord w => Int
scopeWordAddrs :: IsWord w => Int -> [Int]

The state

data Wasm32St w Source #

The machine state.

Constructors

Wasm32St

Fields

pc :: Int
Address of the next instruction.
sp :: Int
Address of the topmost operand.
frameBase :: Int
Address of local 0 of the current frame.
localCount :: Int
How many locals the current frame has: its parameters plus whatever locals.reserve added.
ctrlSp :: Int
Top of the control stack.
stackRoot :: Int
Where both stacks start. Set by sp.init; by default three quarters of the way into memory.
scanCache :: ![(Int, Int)]
The last scanCacheSize scans for a matching else or end, most recently used first: where each scan started and where it ended.
scanCacheSize :: Int
How many scans scanCache keeps.
branchCache :: ![BranchEntry w]
The last branchCacheSize branches taken, most recently used first.
branchCacheSize :: Int
How many branches branchCache keeps.
tosRegs :: ![(Int, w)]
The top-of-stack registers: copies of the last tosRegCount values pushed and not yet popped, the last pushed first, each with the address of its slot.
tosRegCount :: Int
How many values tosRegs holds.
mem :: IoMem (Wasm32Isa w w) w
Memory, including the memory-mapped I/O ports.
ir :: [(Int, Wasm32Isa w w)]
Instruction register: the instructions of the last fetched words, by address.
stopped :: Bool
Set by halt.
internalError :: Maybe Text
The error that stopped the machine, if any.

Instances

Instances details

Show w => Show (Wasm32St w) Source #

Instance details

Defined in Wrench.Isa.Wasm32.State

Methods

showsPrec :: Int -> Wasm32St w -> ShowS #

show :: Wasm32St w -> String #

showList :: [Wasm32St w] -> ShowS #

IsWord w => InitState (Wasm32St w) Source #

Instance details

Defined in Wrench.Isa.Wasm32.Execute

Methods

initState :: Int -> MemOf (Wasm32St w) -> StdGen -> Wasm32St w Source #

IsWord w => Inspectable (Wasm32St w) Source #

Instance details

Defined in Wrench.Isa.Wasm32.Report

Associated Types

type WordOf (Wasm32St w)
Instance details Defined in Wrench.Isa.Wasm32.Report type WordOf (Wasm32St w) = w
type IsaOf (Wasm32St w)
Instance details Defined in Wrench.Isa.Wasm32.Report type IsaOf (Wasm32St w) = Wasm32Isa w w

Methods

programCounter :: Wasm32St w -> Int Source #

memoryDump :: Wasm32St w -> MemOf (Wasm32St w) Source #

ioStreams :: Wasm32St w -> IntMap ([WordOf (Wasm32St w)], [WordOf (Wasm32St w)]) Source #

views :: [View (StateEnv (Wasm32St w))] Source #

isaStats :: [Stat (StateEnv (Wasm32St w))] Source #

isHalted :: Wasm32St w -> Bool Source #

IsWord w => Machine (Wasm32St w) (Wasm32Isa w w) w Source #

Instance details

Defined in Wrench.Isa.Wasm32.Execute

Methods

instructionFetch :: State (Wasm32St w) (Either Text (Int, Wasm32Isa w w)) Source #

instructionStep :: State (Wasm32St w) () Source #

instructionExecute :: Int -> Wasm32Isa w w -> State (Wasm32St w) () Source #

type IsaOf (Wasm32St w) Source #

Instance details

Defined in Wrench.Isa.Wasm32.Report

type IsaOf (Wasm32St w) = Wasm32Isa w w

type MemOf (Wasm32St w) Source #

Instance details

Defined in Wrench.Isa.Wasm32.State

type MemOf (Wasm32St w) = IoMem (Wasm32Isa w w) w

type WordOf (Wasm32St w) Source #

Instance details

Defined in Wrench.Isa.Wasm32.Report

type WordOf (Wasm32St w) = w

Memory map

defaultStackRoot :: IoMem (Wasm32Isa w w) w -> Int Source #

Memory access

getWord :: IsWord w => Int -> State (Wasm32St w) w Source #

setWord :: IsWord w => Int -> w -> State (Wasm32St w) () Source #

fetchInstructionAt :: IsWord w => Int -> State (Wasm32St w) (Either Text (Wasm32Isa w w)) Source #

getByte :: IsWord w => Int -> State (Wasm32St w) Word8 Source #

setByte :: IsWord w => Int -> Word8 -> State (Wasm32St w) () Source #

setPc :: Int -> State (Wasm32St w) () Source #

nextPc :: Wasm32Isa w w -> State (Wasm32St w) () Source #

raiseInternalError :: Text -> State (Wasm32St w) () Source #

Operand stack

pushValue :: IsWord w => w -> State (Wasm32St w) () Source #

popValue :: IsWord w => State (Wasm32St w) w Source #

Locals

localAddr :: IsWord w => Int -> State (Wasm32St w) Int Source #

reserveLocals :: IsWord w => Int -> State (Wasm32St w) () Source #

Scan cache

cachedScan :: Int -> State (Wasm32St w) (Either Text Int) -> State (Wasm32St w) (Either Text Int) Source #

Branch cache

data BranchEntry w Source #

A taken br or br_if: where it was, the control record it read and that record's words, and where it went.

Constructors

BranchEntry
Fields beFrom :: Int beRecord :: Int beWords :: [w] beTo :: Int beCtrlSp :: Int

Instances

Instances details

Show w => Show (BranchEntry w) Source #
Instance details Defined in Wrench.Isa.Wasm32.State Methods showsPrec :: Int -> BranchEntry w -> ShowS # show :: BranchEntry w -> String # showList :: [BranchEntry w] -> ShowS #

cachedBranch :: IsWord w => Int -> Int -> State (Wasm32St w) (Maybe (BranchEntry w)) Source #

rememberBranch :: IsWord w => BranchEntry w -> State (Wasm32St w) () Source #

Control stack

data Scope Source #

Constructors

LoopScope
Fields csStart :: Int csEnd :: Int
BlockScope
Fields csEnd :: Int
CallScope
Fields csCallerFrameBase :: Int csCallerLocalCount :: Int csReturnPc :: Int csResultCount :: Int

Instances

Instances details

Show Scope Source #
Instance details Defined in Wrench.Isa.Wasm32.State Methods showsPrec :: Int -> Scope -> ShowS # show :: Scope -> String # showList :: [Scope] -> ShowS #
Eq Scope Source #
Instance details Defined in Wrench.Isa.Wasm32.State Methods (==) :: Scope -> Scope -> Bool # (/=) :: Scope -> Scope -> Bool #
BitPack Scope Source #
Instance details Defined in Wrench.Isa.Wasm32.State Methods unpack :: IsWord w => BitGet w Scope Source # pack :: IsWord w => Scope -> BitPut w () Source #

pushScope :: IsWord w => Scope -> State (Wasm32St w) () Source #

retireScopes :: IsWord w => Int -> State (Wasm32St w) () Source #

scopeAtDepth :: IsWord w => Int -> State (Wasm32St w) (Maybe (Either Text Scope)) Source #

scopeRecordAtDepth :: IsWord w => Int -> State (Wasm32St w) (Maybe (Int, [w])) Source #

innermostCall :: IsWord w => State (Wasm32St w) (Either Text (Int, Scope)) Source #

ctrlCorruptedErr :: Int -> Text -> Text Source #

Control-record encoding

scopeAddrs :: IsWord w => Wasm32St w -> [Int] Source #

scopeRecordBytes :: IsWord w => Int Source #

scopeWordAddrs :: IsWord w => Int -> [Int] Source #