Struct ControlStackFrame

pub struct ControlStackFrame {
    pub ty: ControlStackFrameType,
    pub original_pc_offset: u16,
    result: BlockType,
    pub original_sp: u8,
}

Holds the necessary metadata to support the smission of control flow instructions.

NOTE: The output of control flow should be placed on the stack, so we don’t need to store the result type.

Fields

ty: ControlStackFrameType

The type of the control stack frame.

If loop, break it while popping.

original_pc_offset: u16

The program counter offset at the beginning of if.

result: BlockType

The return values of the block.

Could be useful for validation.

original_sp: u8

Original stack pointer.

Implementations

impl ControlStackFrame

pub fn new( ty: ControlStackFrameType, original_pc_offset: u16, original_sp: u8, result: BlockType, ) -> Self

Create a new control stack frame.

pub fn pc_offset(&self) -> u16

Get the offset of the original program counter.

pub fn result(&self) -> BlockType

Get the result type of the control stack frame.

Trait Implementations

impl Clone for ControlStackFrame

fn clone(&self) -> ControlStackFrame

Returns a copy of the value.

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

Performs copy-assignment from source.