Struct Vm 

pub struct Vm<S> {
    pub stats: Stats,
    pub optimize: bool,
    /* private fields */
}

A machine: an owned module, a memory, and a position in the code.

Fields

stats: Stats

Counters and phase timings for this run.

optimize: bool

Whether freshly lifted blocks get a cleanup round.

Lifting one machine instruction emits every side effect the specification describes, including flag computations the surrounding code never reads. Removing the ones with no users at all is sound block-locally — an instruction with no users cannot be observed — and is paid once per block instead of on every execution of it.

Implementations

impl<S: CodeSource> Vm<S>

pub fn new(ctx: Context<'static>, entry: BlockId, source: S) -> Self

Builds a machine positioned at entry.

pub fn at_address( ctx: Context<'static>, addr: u64, source: S, memory: VmMemory, ) -> Result<Self, CodeError>

Builds a machine positioned at a guest address, lifting the entry block if the module does not already contain it.

pub fn set_block_executor(&mut self, executor: Box<dyn BlockExecutor>)

Installs an alternative executor for block bodies, replacing any previous one. Purely an optimisation: removing it changes speed, not behaviour.

pub fn clear_block_executor(&mut self)

pub fn context(&self) -> &Context<'static>

pub fn memory(&self) -> &VmMemory

pub fn memory_mut(&mut self) -> &mut VmMemory

pub fn emulator(&mut self) -> &mut StandaloneEmulator<VmMemory>

The emulator underneath, for register access and harness seeding.

pub fn pc(&self) -> Option<u64>

The guest address of the block about to execute, if it has one.

pub fn add_breakpoint(&mut self, addr: u64) -> bool

pub fn remove_breakpoint(&mut self, addr: u64) -> bool

pub fn step(&mut self) -> Option<VmExit>

Executes one instruction, lifting code on demand if control leaves the part of the module already known.

Returns None when the step was ordinary, and Some(exit) when the machine stopped for a reason worth reporting.

pub fn run(&mut self, budget: u64) -> VmExit

Runs until the machine stops, or until budget p-code operations have been retired.