Enum InstructionIR 

pub enum InstructionIR {
    Match(MatchIR),
    Call(CallIR),
    Return(ReturnIR),
    Trampoline(TrampolineIR),
}

Pre-layout instruction with symbolic references.

Variants

Match(MatchIR)

Call(CallIR)

Return(ReturnIR)

Trampoline(TrampolineIR)

Implementations

impl InstructionIR

pub fn label(&self) -> Label

Get the label where this instruction lives.

pub fn size(&self) -> usize

Compute instruction size in bytes (8, 16, 24, 32, 48, or 64).

pub fn successors(&self) -> Vec<Label>

Get all successor labels (for graph building).

pub fn resolve<F, G, R>( &self, map: &BTreeMap<Label, StepAddr>, lookup_member: F, get_member_base: G, lookup_regex: R, ) -> Vec<u8>

where F: Fn(Symbol, TypeId) -> Option<u16>, G: Fn(TypeId) -> Option<u16>, R: Fn(StringId) -> Option<u16>,

Resolve labels and serialize to bytecode bytes.

• lookup_member: maps (field_name Symbol, field_type TypeId) to member index
• get_member_base: maps parent TypeId to member base index
• lookup_regex: maps pattern to RegexTable index (for predicate regexes)

Trait Implementations

impl Clone for InstructionIR

fn clone(&self) -> InstructionIR

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InstructionIR

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

Formats the value using the given formatter.

impl From<CallIR> for InstructionIR

fn from(c: CallIR) -> Self

Converts to this type from the input type.

impl From<MatchIR> for InstructionIR

fn from(m: MatchIR) -> Self

Converts to this type from the input type.

impl From<ReturnIR> for InstructionIR

fn from(r: ReturnIR) -> Self

Converts to this type from the input type.

impl From<TrampolineIR> for InstructionIR

fn from(t: TrampolineIR) -> Self

Converts to this type from the input type.