Enum EvmIrTerminatorKind 

pub enum EvmIrTerminatorKind {
    Fallthrough(EvmIrBlockId),
    Jump(EvmIrBlockId),
    Branch {
        condition: EvmIrOperand,
        then_block: EvmIrBlockId,
        else_block: EvmIrBlockId,
    },
    Switch {
        value: EvmIrOperand,
        default: EvmIrBlockId,
        cases: Vec<(EvmIrOperand, EvmIrBlockId)>,
    },
    Return {
        offset: EvmIrOperand,
        size: EvmIrOperand,
    },
    Revert {
        offset: EvmIrOperand,
        size: EvmIrOperand,
    },
    Stop,
    Invalid,
    SelfDestruct {
        recipient: EvmIrOperand,
    },
    RawOpcode(u8),
}

Control-flow terminators in EVM IR.

Variants

Fallthrough(EvmIrBlockId)

Physical fallthrough into the next laid-out block.

Jump(EvmIrBlockId)

Unconditional jump.

Branch

Conditional branch.

Fields

condition: EvmIrOperand

Branch condition.

then_block: EvmIrBlockId

Target when condition is non-zero.

else_block: EvmIrBlockId

Target when condition is zero.

Switch

Multi-way branch.

Fields

value: EvmIrOperand

Discriminant value.

default: EvmIrBlockId

Default target.

cases: Vec<(EvmIrOperand, EvmIrBlockId)>

Case value and target pairs.

Return

EVM RETURN(offset, size).

Fields

offset: EvmIrOperand

Memory offset.

size: EvmIrOperand

Byte length.

Revert

EVM REVERT(offset, size).

Fields

offset: EvmIrOperand

Memory offset.

size: EvmIrOperand

Byte length.

Stop

EVM STOP.

Invalid

EVM INVALID.

SelfDestruct

EVM SELFDESTRUCT(recipient).

Fields

recipient: EvmIrOperand

Beneficiary address.

RawOpcode(u8)

Raw terminal opcode for already stack-scheduled machine-level code.

Trait Implementations

impl Clone for EvmIrTerminatorKind

fn clone(&self) -> EvmIrTerminatorKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for EvmIrTerminatorKind

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

Formats the value using the given formatter.

impl Eq for EvmIrTerminatorKind

impl PartialEq for EvmIrTerminatorKind

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