Enum Terminator 

pub enum Terminator {
    NoTerminator,
    ReturnVoid,
    Return(Value),
    Jump(BasicBlockId),
    Branch(Value, BasicBlockId, BasicBlockId),
}

Terminator terminates a given basic block. For information on basic blocks, see ModuleBuilder::push_block.

Variants

NoTerminator

No terminator has been added to the block yet. Note that compiling blocks with this as its terminator results in undefined behaviour.

ReturnVoid

The block ends with a return with no value.

Return(Value)

The block ends with a return with a value.

Jump(BasicBlockId)

The block ends with a jump to another block.

Branch(Value, BasicBlockId, BasicBlockId)

The block ends with a branch to two different blocks depending on the truthiness of the value. If the value is true, it jumps to the first block; otherwise, it jumps to the second block.

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 Display for Terminator

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

Formats the value using the given formatter.