Enum MirStmt

pub enum MirStmt {
    Instr(MirInstr),
    If {
        cond: MirLocalId,
        then_body: Vec<MirStmt>,
        else_body: Vec<MirStmt>,
    },
    While {
        loop_params: Vec<MirLocalId>,
        init_args: Vec<MirLocalId>,
        cond_body: Vec<MirStmt>,
        cond: MirLocalId,
        body: Vec<MirStmt>,
        step_args: Vec<MirLocalId>,
    },
    Return {
        value: MirLocalId,
    },
}

Structured lowering helper form.

This is used while constructing CFG and is not stored as the canonical body representation in MirFunction.

Variants

Instr(MirInstr)

Plain instruction embedded in structured lowering output.

If

Structured conditional used during CFG construction.

Fields

cond: MirLocalId

Local id holding the branch condition.

then_body: Vec<MirStmt>

Structured statements executed on the then path.

else_body: Vec<MirStmt>

Structured statements executed on the else path.

While

Structured loop used during CFG construction.

Fields

loop_params: Vec<MirLocalId>

Loop-carried parameter locals.

init_args: Vec<MirLocalId>

Initial arguments supplied to the loop.

cond_body: Vec<MirStmt>

Structured statements computing the loop condition.

cond: MirLocalId

Local id holding the branch condition.

body: Vec<MirStmt>

Structured statements in the loop body.

step_args: Vec<MirLocalId>

Updated loop arguments supplied to the next iteration.

Return

Structured return used during CFG construction.

Fields

value: MirLocalId

Local id returned from the surrounding function.

Trait Implementations

impl Clone for MirStmt

fn clone(&self) -> MirStmt

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for MirStmt

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

Formats the value using the given formatter.