Enum Terminator

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,
    None,
}

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

None

Implementations

impl Terminator

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: FnMut(&BlockTarget) -> R>( &self, index: usize, f: F, ) -> R

pub fn update_target<F: FnMut(&mut BlockTarget)>(&mut self, index: usize, f: F)

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 HasValues<FunctionBody> for Terminator

fn values<'a>( &'a self, f: &'a FunctionBody, ) -> Box<dyn Iterator<Item = <FunctionBody as Func>::Value> + 'a>

fn values_mut<'a>( &'a mut self, g: &'a mut FunctionBody, ) -> Box<dyn Iterator<Item = &'a mut Value> + 'a>

where FunctionBody: 'a,

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 Term<FunctionBody> for Terminator

type Target = BlockTarget

fn targets<'a>(&'a self) -> Box<dyn Iterator<Item = &'a BlockTarget> + 'a>

where FunctionBody: 'a,

fn targets_mut<'a>( &'a mut self, ) -> Box<dyn Iterator<Item = &'a mut BlockTarget> + 'a>

where FunctionBody: 'a,

impl Eq for Terminator

impl StructuralPartialEq for Terminator