Enum ControlFlow 

pub enum ControlFlow {
    IfElse {
        cond: Variable,
        then: NodeIndex,
        or_else: NodeIndex,
        merge: Option<NodeIndex>,
    },
    Switch {
        value: Variable,
        default: NodeIndex,
        branches: Vec<(u32, NodeIndex)>,
        merge: Option<NodeIndex>,
    },
    Loop {
        body: NodeIndex,
        continue_target: NodeIndex,
        merge: NodeIndex,
    },
    LoopBreak {
        break_cond: Variable,
        body: NodeIndex,
        continue_target: NodeIndex,
        merge: NodeIndex,
    },
    Return,
    None,
}

Control flow that terminates a block

Variants

IfElse

An if or if-else branch that should be structured if applicable.

Fields

cond: Variable

then: NodeIndex

or_else: NodeIndex

merge: Option<NodeIndex>

Switch

A switch branch that paths based on value

Fields

value: Variable

default: NodeIndex

branches: Vec<(u32, NodeIndex)>

merge: Option<NodeIndex>

Loop

A loop with a header (the block that contains this variant), a body and a continue target. merge is the block that gets executed as soon as the loop terminates.

Fields

body: NodeIndex

continue_target: NodeIndex

merge: NodeIndex

LoopBreak

A loop with a header (the block that contains this variant), a body and a continue target. merge is the block that gets executed as soon as the loop terminates. The header contains the break condition.

Fields

break_cond: Variable

body: NodeIndex

continue_target: NodeIndex

merge: NodeIndex

Return

A return statement. This should only occur once in the program and all other returns should instead branch to this single return block.

None

No special control flow. The block must have exactly one edge that should be followed.

Trait Implementations

impl Clone for ControlFlow

fn clone(&self) -> ControlFlow

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ControlFlow

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

Formats the value using the given formatter.

impl Default for ControlFlow

fn default() -> ControlFlow

Returns the “default value” for a type.