Enum BlockArg 

#[non_exhaustive]
pub enum BlockArg {
    Value(Value),
    Result(u32),
    Exception,
    ErrorCode,
}

An argument passed along a control-flow edge to a block parameter.

Besides ordinary values, the edges of invoke and check terminators can pass what the terminator itself produces, which is not an SSA value before the edge is taken:

Argument	Valid on	Meaning
Result(i)	invoke normal edge; check normal edge (i = 0)	the i-th result (returns, then relocated refs)
Result(i)	invoke unwind edge, i >= returns	a relocated ref
Exception	invoke unwind edge	the exception payload (ptr)
ErrorCode	check error edge	the OPS error code (u32)

Examples

use ir_lang::{BlockArg, Value};

let a: BlockArg = Value::from_u32(3).into();
assert_eq!(a, BlockArg::Value(Value::from_u32(3)));
assert_eq!(BlockArg::Result(1).to_string(), "res1");

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.

Value(Value)

An SSA value.

Result(u32)

A result of the invoke or check terminator.

Exception

The exception payload of an invoke’s unwind edge.

ErrorCode

The error code of a check’s error edge.

Trait Implementations

impl Clone for BlockArg

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for BlockArg

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 Eq for BlockArg

impl From<Value> for BlockArg

fn from(v: Value) -> Self

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 PartialEq for BlockArg

fn eq(&self, other: &Self) -> bool

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for BlockArg