Enum MirTerminator

pub enum MirTerminator {
    Jump {
        target: MirBlockId,
        args: Vec<MirLocalId>,
    },
    Branch {
        cond: MirLocalId,
        then_target: MirBlockId,
        then_args: Vec<MirLocalId>,
        else_target: MirBlockId,
        else_args: Vec<MirLocalId>,
    },
    Return {
        value: MirLocalId,
    },
}

Block terminator defining control-flow edges.

Variants

Jump

Unconditional jump to target with block argument values.

Fields

target: MirBlockId

Block id to jump to.

args: Vec<MirLocalId>

Block arguments passed to the target.

Branch

Conditional branch with explicit then/else targets and arguments.

Fields

cond: MirLocalId

Local id holding the branch condition.

then_target: MirBlockId

Target block when the condition is true.

then_args: Vec<MirLocalId>

Block arguments passed to the then target.

else_target: MirBlockId

Target block when the condition is false.

else_args: Vec<MirLocalId>

Block arguments passed to the else target.

Return

Return from current function with value local. Structured return used during CFG construction.

Fields

value: MirLocalId

Local id returned from the function.

Trait Implementations

impl Clone for MirTerminator

fn clone(&self) -> MirTerminator

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MirTerminator

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

Formats the value using the given formatter.