Enum Terminator

#[non_exhaustive]
pub enum Terminator {
    Br {
        target: BlockTarget,
    },
    CondBr {
        cond: Value,
        if_true: BlockTarget,
        if_false: BlockTarget,
    },
    Select {
        value: Value,
        targets: Vec<BlockTarget>,
        default: BlockTarget,
    },
    Return {
        values: Vec<Value>,
    },
    ReturnCall {
        func: Func,
        args: Vec<Value>,
    },
    ReturnCallIndirect {
        sig: Signature,
        table: Table,
        args: Vec<Value>,
    },
    ReturnCallRef {
        sig: Signature,
        args: Vec<Value>,
    },
    Unreachable,
    UB,
    None,
}

Variants (Non-exhaustive)

Non-exhaustive enums could have additional variants added in future. Therefore, when matching against variants of non-exhaustive enums, an extra wildcard arm must be added to account for any future variants.

Br

Fields

target: BlockTarget

CondBr

Fields

cond: Value

if_true: BlockTarget

if_false: BlockTarget

Select

Fields

value: Value

targets: Vec<BlockTarget>

default: BlockTarget

Return

Fields

values: Vec<Value>

ReturnCall

Fields

func: Func

args: Vec<Value>

ReturnCallIndirect

Fields

sig: Signature

table: Table

args: Vec<Value>

ReturnCallRef

Fields

sig: Signature

args: Vec<Value>

Unreachable

UB

None

Implementations

impl Terminator

pub fn num_targets(&self) -> usize

pub fn visit_targets<F: FnMut(&BlockTarget)>(&self, f: F)

pub fn update_targets<F: FnMut(&mut BlockTarget)>(&mut self, f: F)

pub fn visit_target<R, F: FnOnce(&BlockTarget) -> R>( &self, index: usize, f: F, ) -> R

pub fn try_visit_target<R, F: FnOnce(&BlockTarget) -> R>( &self, index: usize, f: F, ) -> Result<R, usize>

pub fn update_target<T, F: FnOnce(&mut BlockTarget) -> T>( &mut self, index: usize, f: F, ) -> Result<T, usize>

pub fn visit_successors<F: FnMut(Block)>(&self, f: F)

pub fn visit_uses<F: FnMut(Value)>(&self, f: F)

pub fn update_uses<F: FnMut(&mut Value)>(&mut self, f: F)

Trait Implementations

impl Clone for Terminator

fn clone(&self) -> Terminator

Returns a copy 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 Default for Terminator

fn default() -> Self

Returns the “default value” for a type.

impl<'de> Deserialize<'de> for Terminator

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

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

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for Terminator

impl StructuralPartialEq for Terminator