Struct Value 

pub struct Value {
    pub kind: ValueKind,
    pub ty: Type,
}

Fields

kind: ValueKind

ty: Type

Implementations

impl Value

pub fn new(id: Id, ty: Type) -> Self

pub fn constant(value: ConstantValue, ty: impl Into<Type>) -> Self

pub fn elem_type(&self) -> ElemType

pub fn storage_type(&self) -> StorageType

pub fn can_mutate(&self) -> bool

pub fn address_space(&self) -> AddressSpace

pub fn value_type(&self) -> Type

impl Value

pub fn is_immutable(&self) -> bool

Whether a value is always immutable. Used for optimizations to determine whether it’s safe to inline/merge

pub fn is_array_like(&self) -> bool

Is this an array type that yields items when indexed, or a scalar/vector that yields elems/slices when indexed?

pub fn is_value(&self) -> bool

pub fn is_memory(&self) -> bool

Is this an value type that is contained in concrete memory, or a local array/scalar/vector?

pub fn has_buffer_length(&self) -> bool

pub fn is_constant(&self, value: i64) -> bool

Determines if the value is a constant with the specified value (converted if necessary)

pub fn is_true(&self) -> bool

Determines if the value is a boolean constant with the true value

pub fn is_false(&self) -> bool

Determines if the value is a boolean constant with the false value

impl Value

pub fn vector_size(&self) -> usize

pub fn id(&self) -> Id

pub fn as_const(&self) -> Option<ConstantValue>

Trait Implementations

impl Clone for Value

fn clone(&self) -> Value

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Value

impl Debug for Value

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for Value

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for Value

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

Formats the value using the given formatter.

impl Eq for Value

impl From<&Value> for Value

fn from(value: &Value) -> Self

Converts to this type from the input type.

impl From<bf16> for Value

fn from(value: bf16) -> Self

Converts to this type from the input type.

impl From<bool> for Value

fn from(value: bool) -> Self

Converts to this type from the input type.

impl From<e2m1> for Value

fn from(value: e2m1) -> Self

Converts to this type from the input type.

impl From<e2m1x2> for Value

fn from(_value: e2m1x2) -> Self

Converts to this type from the input type.

impl From<e2m3> for Value

fn from(_value: e2m3) -> Self

Converts to this type from the input type.

impl From<e3m2> for Value

fn from(_value: e3m2) -> Self

Converts to this type from the input type.

impl From<e4m3> for Value

fn from(value: e4m3) -> Self

Converts to this type from the input type.

impl From<e5m2> for Value

fn from(value: e5m2) -> Self

Converts to this type from the input type.

impl From<f16> for Value

fn from(value: f16) -> Self

Converts to this type from the input type.

impl From<f32> for Value

fn from(value: f32) -> Self

Converts to this type from the input type.

impl From<f64> for Value

fn from(value: f64) -> Self

Converts to this type from the input type.

impl From<flex32> for Value

fn from(value: flex32) -> Self

Converts to this type from the input type.

impl From<i8> for Value

fn from(value: i8) -> Self

Converts to this type from the input type.

impl From<i16> for Value

fn from(value: i16) -> Self

Converts to this type from the input type.

impl From<i32> for Value

fn from(value: i32) -> Self

Converts to this type from the input type.

impl From<i64> for Value

fn from(value: i64) -> Self

Converts to this type from the input type.

impl From<isize> for Value

fn from(value: isize) -> Self

Converts to this type from the input type.

impl From<tf32> for Value

fn from(value: tf32) -> Self

Converts to this type from the input type.

impl From<u8> for Value

fn from(value: u8) -> Self

Converts to this type from the input type.

impl From<u16> for Value

fn from(value: u16) -> Self

Converts to this type from the input type.

impl From<u32> for Value

fn from(value: u32) -> Self

Converts to this type from the input type.

impl From<u64> for Value

fn from(value: u64) -> Self

Converts to this type from the input type.

impl From<ue8m0> for Value

fn from(value: ue8m0) -> Self

Converts to this type from the input type.

impl From<usize> for Value

fn from(value: usize) -> Self

Converts to this type from the input type.

impl FromArgList for Value

fn from_arg_list(args: &mut VecDeque<Value>) -> Self

Creates this type from a list of values. This works like a parse stream, where consumed values are popped from the front.

fn as_arg_list(&self) -> impl IntoIterator<Item = Value>

Turns this type into a list of Values.

fn as_arg_list_mut(&mut self) -> impl IntoIterator<Item = &mut Value>

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, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl OperationArgs for Value

fn sanitize_args_ptr(&mut self, scope: &Scope)

Sanitize args for the ptr constraint, loading inputs from pointers for ops that take values. This is needed because Rust “helpfully” auto-derefs references, skipping the explicit deref code that inserts a Memory::Load.

fn from_args(args: &[Value]) -> Option<Self>

Construct this type from a list of arguments. If not all arguments are Value, returns None

fn as_args(&self) -> Option<Vec<Value>>

Turns this type into a flat list of arguments. If not all arguments are Value, returns None

fn as_args_mut(&mut self) -> Option<Vec<&mut Value>>

Turns this type into a flat list of arguments. If not all arguments are Value, returns None

fn read_pointers(&self) -> Vec<Value>

fn write_pointers(&self) -> Vec<Value>

impl Ord for Value

fn cmp(&self, other: &Value) -> 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 Value

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

Equality operator ==.

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

Inequality operator !=.

impl PartialOrd for Value

fn partial_cmp(&self, other: &Value) -> 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 Serialize for Value

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

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl StructuralPartialEq for Value

impl TypeHash for Value

fn write_hash(hasher: &mut impl Hasher)

Write the structure of the type to the hasher

fn type_hash() -> u64

Generate a stable hash of the type structure.