Struct ExpressionInfo

pub struct ExpressionInfo {
    pub uniformity: Uniformity,
    pub ref_count: usize,
    assignable_global: Option<Handle<GlobalVariable>>,
    pub ty: TypeResolution,
}

Information about an expression in a function body.

Fields

uniformity: Uniformity

Whether this expression is uniform, and why.

If this expression’s value is not uniform, this is the handle of the expression from which this one’s non-uniformity originates. Otherwise, this is None.

ref_count: usize

The number of direct references to this expression in statements and other expressions.

This is a local reference count only, it may be non-zero for expressions that are ultimately unused.

assignable_global: Option<Handle<GlobalVariable>>

The global variable into which this expression produces a pointer.

This is None unless this expression is either a GlobalVariable, or an Access or AccessIndex that ultimately refers to some part of a global.

Load expressions applied to pointer-typed arguments could refer to globals, but we leave this as None for them.

ty: TypeResolution

The type of this expression.

Implementations

impl ExpressionInfo

const fn new() -> Self

Trait Implementations

impl Clone for ExpressionInfo

fn clone(&self) -> ExpressionInfo

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for ExpressionInfo

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ExpressionInfo

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

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Serialize for ExpressionInfo

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

where __S: Serializer,

Serialize this value into the given Serde serializer.