Enum Terminator 

pub enum Terminator {
    Branch {
        target: BlockId,
    },
    CondBranch {
        cond: ValueId,
        true_target: BlockId,
        false_target: BlockId,
    },
    Return,
}

Block terminator transferring control to successor blocks.

Variants

Branch

Unconditional branch.

Fields

target: BlockId

Target block.

CondBranch

Conditional branch.

Fields

cond: ValueId

Condition (must be Bool type).

true_target: BlockId

Target if condition is true.

false_target: BlockId

Target if condition is false.

Return

Return from kernel.

Implementations

impl Terminator

pub fn successors(&self) -> Vec<BlockId>

Returns all successor block IDs.

pub fn operands(&self) -> Vec<ValueId>

Returns all value IDs used by this 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.

impl PartialEq for Terminator

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