Enum RegTerm 

pub enum RegTerm {
    Fallthrough,
    Br {
        target_block: u32,
        values: Vec<Reg>,
    },
    BrIf {
        cond: Reg,
        target_block: u32,
        values: Vec<Reg>,
    },
    BrIfNull {
        value: Reg,
        target_block: u32,
        values: Vec<Reg>,
    },
    BrIfNonNull {
        value: Reg,
        target_block: u32,
        values: Vec<Reg>,
    },
    IfFork {
        cond: Reg,
        then_block: u32,
        else_block: u32,
    },
    BrTable {
        index: Reg,
        targets: Vec<u32>,
        default: u32,
        values: Vec<Reg>,
    },
    Return {
        values: Vec<Reg>,
    },
    Trap,
}

A block terminator — how execution leaves this block.

Variants

Fallthrough

Fall through to the next block in sequence.

Br

Branch to a target block, passing values.

Fields

target_block: u32

values: Vec<Reg>

BrIf

Conditional branch: if cond is non-zero, branch; otherwise fall through.

Fields

cond: Reg

target_block: u32

values: Vec<Reg>

BrIfNull

br_on_null: branch when the reference value is null.

Fields

value: Reg

target_block: u32

values: Vec<Reg>

BrIfNonNull

br_on_non_null: branch when the reference value is non-null, forwarding it (as the last branch value) to the target.

Fields

value: Reg

target_block: u32

values: Vec<Reg>

IfFork

Two-way fork: if cond is non-zero, go to then_block; else to else_block.

Fields

cond: Reg

then_block: u32

else_block: u32

BrTable

Multi-target dispatch (br_table): branch to targets[i] when the index value equals i, or to default when out of range.

Fields

index: Reg

targets: Vec<u32>

default: u32

values: Vec<Reg>

Return

Return from the function with values.

Fields

values: Vec<Reg>

Trap

Unconditional trap (unreachable).

Trait Implementations

impl Clone for RegTerm

fn clone(&self) -> RegTerm

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for RegTerm

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

Formats the value using the given formatter.

impl PartialEq for RegTerm

fn eq(&self, other: &RegTerm) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for RegTerm