Enum ExitReason 

pub enum ExitReason {
    Halt,
    Trap,
    Panic,
    OutOfGas,
    PageFault(u32),
    HostCall(u32),
    Ecall,
}

Terminal status from a single execute() call.

Variants

Halt

Normal halt (program executed a halt opcode).

Trap

Deliberate trap (opcode 0). Program-initiated termination.

Panic

Runtime error: invalid opcode, bad dynamic jump, etc.

OutOfGas

Gas counter reached zero mid-execution.

PageFault(u32)

Memory access at a page the address space doesn’t map. The argument is the page-aligned faulting address.

HostCall(u32)

Host-call with the given opcode (the integration layer supplies an EcallHandler that interprets the opcode).

Ecall

PVM ecall (opcode 3, no immediate). The recompiler-side counterpart to the interpreter’s EcallKind::Ecall routing. In the kernel, the integration layer reads φ[11] (mgmt op) and φ[12] (subject|object) to dispatch; the bench harness loops on this to skip the prologue’s MGMT_MAP calls.

Trait Implementations

impl Clone for ExitReason

fn clone(&self) -> ExitReason

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for ExitReason

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl PartialEq for ExitReason

fn eq(&self, other: &ExitReason) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for ExitReason

impl StructuralPartialEq for ExitReason