Enum Terminator 

pub enum Terminator {
    Jump(BlockId),
    Branch {
        condition: ValueId,
        then_block: BlockId,
        else_block: BlockId,
    },
    Switch {
        value: ValueId,
        default: BlockId,
        cases: Vec<(ValueId, BlockId)>,
    },
    Return {
        values: SmallVec<[ValueId; 2]>,
    },
    Revert {
        offset: ValueId,
        size: ValueId,
    },
    ReturnData {
        offset: ValueId,
        size: ValueId,
    },
    Stop,
    SelfDestruct {
        recipient: ValueId,
    },
    Invalid,
}

A block terminator instruction.

Variants

Jump(BlockId)

Unconditional jump to another block.

Branch

Conditional branch.

Fields

condition: ValueId

The condition value (must be boolean).

then_block: BlockId

The block to jump to if true.

else_block: BlockId

The block to jump to if false.

Switch

Multi-way switch.

Fields

value: ValueId

The value to switch on.

default: BlockId

The default block.

cases: Vec<(ValueId, BlockId)>

The cases: (value, block).

Return

Return from function.

Fields

values: SmallVec<[ValueId; 2]>

The return values.

Revert

Revert execution.

Fields

offset: ValueId

Memory offset of revert data.

size: ValueId

Size of revert data.

ReturnData

Return raw, already-encoded data: RETURN(offset, size). Used for ABI-encoded external returns whose size is computed at runtime.

Fields

offset: ValueId

Memory offset of the return data.

size: ValueId

Size of the return data in bytes.

Stop

Stop execution.

SelfDestruct

Self-destruct the contract.

Fields

recipient: ValueId

The address to send remaining funds to.

Invalid

Invalid operation (unreachable code).

Implementations

impl Terminator

pub fn successors(&self) -> SmallVec<[BlockId; 2]>

Returns the successor blocks of this terminator.

pub const fn mnemonic(&self) -> &'static str

Returns the mnemonic for this terminator.

pub fn operands(&self) -> SmallVec<[ValueId; 4]>

Returns the ValueId operands of this terminator (the values it reads). Block targets are NOT included; use Self::successors for those.

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.

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