Struct wasmi_validation::func::BlockFrame

pub struct BlockFrame {
    pub started_with: StartedWith,
    pub block_type: BlockType,
    pub value_stack_len: usize,
    pub polymorphic_stack: bool,
}

Control stack frame.

Fields

started_with: StartedWith

The opcode that started this block frame.

block_type: BlockType

A signature, which is a block signature type indicating the number and types of result values of the region.

value_stack_len: usize

A limit integer value, which is an index into the value stack indicating where to reset it to on a branch to that label.

polymorphic_stack: bool

Boolean which signals whether value stack became polymorphic. Value stack starts in a non-polymorphic state and becomes polymorphic only after an instruction that never passes control further is executed, i.e. unreachable, br (but not br_if!), etc.

Trait Implementations

impl Clone for BlockFrame

fn clone(&self) -> BlockFrame

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BlockFrame

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

Formats the value using the given formatter.