Struct sway_ir::value::Value

pub struct Value(pub Index);

A wrapper around an ECS handle into the Context.

Tuple Fields

0: Index

Implementations

impl Value

pub fn new_argument(context: &mut Context, ty: Type) -> Value

Return a new argument Value.

pub fn new_constant(context: &mut Context, constant: Constant) -> Value

Return a new constant Value.

pub fn new_instruction(context: &mut Context, instruction: Instruction) -> Value

Return a new instruction Value.

pub fn is_constant(&self, context: &Context) -> bool

Return whether this is a constant value.

pub fn is_terminator(&self, context: &Context) -> bool

Return whether this value is an instruction, and specifically a ‘terminator’.

A terminator is always the last instruction in a block (and may not appear anywhere else) and is either a branch or return.

pub fn replace_instruction_value(
    &self,
    context: &mut Context,
    old_val: Value,
    new_val: Value
)

If this value is an instruction and if any of its parameters is old_val then replace them with new_val.

pub fn get_type(&self, context: &Context) -> Option<Type>

Get the type for this value, if found.

Arguments and constants always have a type, but only some instructions do.

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Value

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

Formats the value using the given formatter.

impl Hash for Value

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, 

Feeds a slice of this type into the given Hasher.

impl PartialEq<Value> for Value

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

This method tests for self and other values to be equal, and is used by ==.

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

This method tests for !=.

impl Copy for Value

impl Eq for Value

impl StructuralEq for Value

impl StructuralPartialEq for Value