Enum Terminator 

pub enum Terminator {
    Goto {
        target: String,
    },
    SwitchInt {
        condition: String,
        targets: Vec<(String, String)>,
        otherwise: Option<String>,
    },
    Return,
    Call {
        return_target: Option<String>,
        unwind_target: Option<String>,
    },
    Assert {
        success_target: String,
        failure_target: Option<String>,
    },
    Drop {
        target: String,
        unwind_target: Option<String>,
    },
    Unreachable,
    Unknown(String),
}

Terminator instruction that ends a basic block

Variants

Goto

Unconditional jump: goto -> bb5

Fields

target: String

SwitchInt

Conditional branch: switchInt(x) -> [0: bb1, otherwise: bb2]

Fields

condition: String

Condition variable being tested

targets: Vec<(String, String)>

Map of values to target blocks

otherwise: Option<String>

Default target (otherwise case)

Return

Function return

Call

Function call with potential branches (return/unwind)

Fields

return_target: Option<String>

Target block on successful return

unwind_target: Option<String>

Target block on unwind (panic)

Assert

Assertion (similar to Call)

Fields

success_target: String

Target block if assertion passes

failure_target: Option<String>

Target block if assertion fails

Drop

Drop value (can unwind)

Fields

target: String

unwind_target: Option<String>

Unreachable

Unreachable code

Unknown(String)

Unknown or unparsed terminator

Trait Implementations

impl Clone for Terminator

fn clone(&self) -> Terminator

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Terminator

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

Formats the value using the given formatter.