Struct ControlStackFrame

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

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: u16

Original stack pointer.

might_return_early: bool

Flag to mark frames that might contain early returns

Implementations

impl ControlStackFrame

pub fn new( ty: ControlStackFrameType, original_pc_offset: u16, original_sp: u16, 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.

pub fn set_might_return_early(&mut self, value: bool)

Set the flag indicating this frame might contain early returns

pub fn is_function_boundary(&self) -> bool

Check if this frame is at a function boundary

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.