Enum QPtrAttr

pub enum QPtrAttr {
    ToSpvPtrInput {
        input_idx: u32,
        pointee: OrdAssertEq<Type>,
    },
    FromSpvPtrOutput {
        addr_space: OrdAssertEq<AddrSpace>,
        pointee: OrdAssertEq<Type>,
    },
    Usage(OrdAssertEq<QPtrUsage>),
}

QPtr-specific attributes ([Attr::QPtr]).

Variants

ToSpvPtrInput

When applied to a DataInst with a QPtr-typed inputs[input_idx], this describes the original OpTypePointer consumed by an unknown SPIR-V instruction (which may, or may not, access memory, at all).

Assumes the original SPIR-V StorageClass is redundant (i.e. can be deduced from the pointer’s provenance), and that any accesses performed through the pointer (or any pointers derived from it) stay within bounds (i.e. logical pointer semantics, unsuited for e.g. OpPtrAccessChain).

Fields

input_idx: u32

pointee: OrdAssertEq<Type>

FromSpvPtrOutput

When applied to a DataInst with a QPtr-typed output value, this describes the original OpTypePointer produced by an unknown SPIR-V instruction (likely creating it, without deriving from an input).

Assumes the original SPIR-V StorageClass is significant (e.g. fresh provenance being created on the fly via OpConvertUToPtr, or derived internally by the implementation via OpImageTexelPointer).

Fields

addr_space: OrdAssertEq<AddrSpace>

pointee: OrdAssertEq<Type>

Usage(OrdAssertEq<QPtrUsage>)

When applied to a QPtr-typed GlobalVar, DataInst, ControlRegionInputDecl or ControlNodeOutputDecl, this tracks all the ways in which the pointer may be used (see QPtrUsage).

Trait Implementations

impl Clone for QPtrAttr

fn clone(&self) -> QPtrAttr

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl From<QPtrAttr> for Attr

fn from(original: QPtrAttr) -> Attr

Converts to this type from the input type.

impl Hash for QPtrAttr

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 QPtrAttr

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

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

Tests for self and other values to be equal, and is used by ==.

const 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 QPtrAttr

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

impl StructuralPartialEq for QPtrAttr