Enum BlockArg

pub enum BlockArg {
    Value(Value),
    TryCallRet(u32),
    TryCallExn(u32),
}

A BlockArg is a sum type of Value, TryCallRet, and TryCallExn. The latter two are values that are generated “on the edge” out of a try_call instruction into a successor block. We use special arguments rather than special values for these because they are not definable as SSA values at a certain program point – only when the BlockCall is executed.

Variants

Value(Value)

An ordinary value, usable at the branch instruction using this BlockArg, whose value is passed as an argument.

TryCallRet(u32)

A return value of a try_call’s called function. Signatures allow multiple return values, so this carries an index. This may be used only on the normal (non-exceptional) BlockCall out of a try_call or try_call_indirect instruction.

TryCallExn(u32)

An exception payload value of a try_call. Some ABIs may allow multiple payload values, so this carries an index. Its type is defined by the ABI of the called function. This may be used only on an exceptional BlockCall out of a try_call or try_call_indirect instruction.

Implementations

impl BlockArg

pub fn as_value(&self) -> Option<Value>

Return this argument as a Value, if it is one, or None otherwise.

pub fn map_value<F: FnMut(Value) -> Value>(&self, f: F) -> Self

Update the contained value, if any.

Trait Implementations

impl Clone for BlockArg

fn clone(&self) -> BlockArg

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for BlockArg

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

Formats the value using the given formatter.

impl Display for BlockArg

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

Formats the value using the given formatter.

impl From<Value> for BlockArg

fn from(value: Value) -> BlockArg

Converts to this type from the input type.

impl Hash for BlockArg

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl Ord for BlockArg

fn cmp(&self, other: &BlockArg) -> Ordering

This method returns an Ordering between self and other.

fn max(self, other: Self) -> Self

where Self: Sized,

Compares and returns the maximum of two values.

fn min(self, other: Self) -> Self

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized,

Restrict a value to a certain interval.

impl PartialEq for BlockArg

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

fn partial_cmp(&self, other: &BlockArg) -> Option<Ordering>

This method returns an ordering between self and other values if one exists.

fn lt(&self, other: &Rhs) -> bool

Tests less than (for self and other) and is used by the < operator.

fn le(&self, other: &Rhs) -> bool

Tests less than or equal to (for self and other) and is used by the <= operator.

fn gt(&self, other: &Rhs) -> bool

Tests greater than (for self and other) and is used by the > operator.

fn ge(&self, other: &Rhs) -> bool

Tests greater than or equal to (for self and other) and is used by the >= operator.

impl Copy for BlockArg

impl Eq for BlockArg

impl StructuralPartialEq for BlockArg