Struct CallIR 

pub struct CallIR {
    pub label: Label,
    pub nav: Nav,
    pub node_field: Option<NonZeroU16>,
    pub next: Label,
    pub target: Label,
}

Call instruction IR with symbolic target.

Fields

label: Label

Where this instruction lives.

nav: Nav

Navigation to apply before jumping to target.

node_field: Option<NonZeroU16>

Field constraint (None = no constraint).

next: Label

Return address (where to continue after callee returns).

target: Label

Callee entry point.

Implementations

impl CallIR

pub fn new(label: Label, target: Label, next: Label) -> Self

Create a call instruction with default nav (Stay) and no field constraint.

pub fn nav(self, nav: Nav) -> Self

Set the navigation command.

pub fn node_field(self, f: impl Into<Option<NonZeroU16>>) -> Self

Set the field constraint.

pub fn resolve(&self, map: &BTreeMap<Label, StepAddr>) -> [u8; 8]

Resolve labels and serialize to bytecode bytes.

Trait Implementations

impl Clone for CallIR

fn clone(&self) -> CallIR

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for CallIR

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.