Enum MirTerminatorKind 

pub enum MirTerminatorKind {
    Goto(BasicBlockId),
    Branch {
        cond: MirOperand,
        then_block: BasicBlockId,
        else_block: BasicBlockId,
    },
    Switch {
        discr: MirOperand,
        cases: Vec<(MirOperand, BasicBlockId)>,
        otherwise: BasicBlockId,
    },
    For {
        binding: MirLocalId,
        iterable: MirRvalue,
        body_block: BasicBlockId,
        exit_block: BasicBlockId,
    },
    TryCatch {
        try_block: BasicBlockId,
        catch_block: BasicBlockId,
        catch_binding: Option<MirLocalId>,
    },
    Return(Vec<MirOperand>),
    Await {
        future: MirOperand,
        result: Option<MirPlace>,
        resume: BasicBlockId,
    },
    Unreachable,
}

Variants

Goto(BasicBlockId)

Branch

Fields

cond: MirOperand

then_block: BasicBlockId

else_block: BasicBlockId

Switch

Fields

discr: MirOperand

cases: Vec<(MirOperand, BasicBlockId)>

otherwise: BasicBlockId

For

Fields

binding: MirLocalId

iterable: MirRvalue

body_block: BasicBlockId

exit_block: BasicBlockId

TryCatch

Fields

try_block: BasicBlockId

catch_block: BasicBlockId

catch_binding: Option<MirLocalId>

Return(Vec<MirOperand>)

Await

Fields

future: MirOperand

result: Option<MirPlace>

resume: BasicBlockId

Unreachable

Trait Implementations

impl Clone for MirTerminatorKind

fn clone(&self) -> MirTerminatorKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MirTerminatorKind

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for MirTerminatorKind

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for MirTerminatorKind

fn eq(&self, other: &MirTerminatorKind) -> 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 Serialize for MirTerminatorKind

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for MirTerminatorKind