Enum TerminatorKind 

pub enum TerminatorKind {
    Goto(BasicBlockId),
    SwitchBool {
        operand: Operand,
        true_bb: BasicBlockId,
        false_bb: BasicBlockId,
    },
    Call {
        func: Operand,
        args: Vec<Operand>,
        destination: Place,
        next: BasicBlockId,
    },
    Return,
    Unreachable,
}

Variants

Goto(BasicBlockId)

Unconditional jump.

SwitchBool

Conditional branch.

Fields

operand: Operand

true_bb: BasicBlockId

false_bb: BasicBlockId

Call

Function call.

Fields

func: Operand

args: Vec<Operand>

destination: Place

Where to store the return value.

next: BasicBlockId

Block to jump to after the call returns.

Return

Return from function.

Unreachable

Unreachable (after diverging calls, infinite loops).

Trait Implementations

impl Clone for TerminatorKind

fn clone(&self) -> TerminatorKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TerminatorKind

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

Formats the value using the given formatter.

impl PartialEq for TerminatorKind

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for TerminatorKind