Enum BlockExit

pub enum BlockExit {
    Jump {
        arg: JumpArg,
    },
    ConditionalJump {
        condition: Operand,
        arg_then: JumpArg,
        arg_else: JumpArg,
    },
    Switch {
        value: Operand,
        default: JumpArg,
        cases: Vec<(Constant, JumpArg)>,
    },
    Return {
        value: Operand,
    },
    Unreachable,
}

Variants

Jump

Fields

arg: JumpArg

ConditionalJump

Fields

condition: Operand

arg_then: JumpArg

arg_else: JumpArg

Switch

Fields

value: Operand

default: JumpArg

cases: Vec<(Constant, JumpArg)>

Return

Fields

value: Operand

Unreachable

Implementations

impl BlockExit

pub fn walk_jump_args<F>(&mut self, f: F)

where F: FnMut(&mut JumpArg),

Trait Implementations

impl Clone for BlockExit

fn clone(&self) -> BlockExit

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BlockExit

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

Formats the value using the given formatter.

impl Display for BlockExit

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

Formats the value using the given formatter.

impl PartialEq for BlockExit

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

impl StructuralPartialEq for BlockExit