Safe Haskell	None
Language	Haskell2010

LibRISCV.Effects.Operations.Default.Interpreter

Description

Implements the default (concrete) interpreter for the Operations effect.

Synopsis

data ArchState = ArchState {
- getReg :: RegisterFile IOUArray Int32
- getMem :: Memory IOUArray Word8
}
mkArchState :: Address -> Word32 -> IO ArchState
dumpState :: ArchState -> IO ()
defaultInstructions :: forall (m :: Type -> Type). MonadIO m => ArchState -> Operations BV ~> m

Documentation

Representation of the concrete architectural state of the interpreter.

Constructors

ArchState
Fields getReg :: RegisterFile IOUArray Int32 Register file implementation of the architectural state. getMem :: Memory IOUArray Word8 Memory implementation of the architectural state.

Create a new ArchState based on a memory start address and a memory size.

Write a textual representation of the ArchState to standard output.

defaultInstructions :: forall (m :: Type -> Type). MonadIO m => ArchState -> Operations BV ~> m Source #

Implements concrete interpretation of the Operations effect based on a BV value representation.