Enum Terminator 

pub enum Terminator {
    Goto(BlockId),
    Branch {
        cond: Temp,
        then_: BlockId,
        else_: BlockId,
    },
    Switch {
        disc: Temp,
        arms: Vec<(i64, BlockId)>,
        default: BlockId,
    },
    Return(Option<Temp>),
    Trap,
}

Block terminators.

Variants

Goto(BlockId)

Branch

Fields

cond: Temp

then_: BlockId

else_: BlockId

Switch

Multi-way branch on an integer discriminant (sum tag or Int value).

Fields

disc: Temp

arms: Vec<(i64, BlockId)>

default: BlockId

Return(Option<Temp>)

Trap

Unreachable (e.g. the default of an exhaustive match).

Trait Implementations

impl Debug for Terminator

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

Formats the value using the given formatter.