Enum spirt::qptr::QPtrMemUsageKind

pub enum QPtrMemUsageKind {
    Unused,
    StrictlyTyped(Type),
    DirectAccess(Type),
    OffsetBase(Rc<BTreeMap<u32, QPtrMemUsage>>),
    DynOffsetBase {
        element: Rc<QPtrMemUsage>,
        stride: NonZeroU32,
    },
}

Variants

Unused

Not actually used, which could be caused by pointer offsetting operations with unused results, or as an intermediary state during analyses.

StrictlyTyped(Type)

Used as a typed pointer (e.g. via unknown SPIR-V instructions), requiring a specific choice of pointee type which cannot be modified, and has to be reused as-is when lifting QPtrs back to typed pointers.

Other overlapping uses can be merged into this one as long as they can be fully expressed using the (transitive) components of this type.

DirectAccess(Type)

Used directly to access memory (e.g. QPtrOp::Load, QPtrOp::Store), which can be decomposed as necessary (down to individual scalar leaves), to allow maximal merging opportunities.

OffsetBase(Rc<BTreeMap<u32, QPtrMemUsage>>)

Used as a common base for (constant) offsetting, which requires it to have its own (aggregate) type, when lifting QPtrs back to typed pointers.

DynOffsetBase

Fields

element: Rc<QPtrMemUsage>

stride: NonZeroU32

Used as a common base for (dynamic) offsetting, which requires it to have its own (array) type, when lifting QPtrs back to typed pointers, with one single element type being repeated across the entire size.

Trait Implementations

impl Clone for QPtrMemUsageKind

fn clone(&self) -> QPtrMemUsageKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Hash for QPtrMemUsageKind

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 InnerTransform for QPtrMemUsageKind

fn inner_transform_with( &self, transformer: &mut impl Transformer ) -> Transformed<Self>

impl InnerVisit for QPtrMemUsageKind

fn inner_visit_with<'a>(&'a self, visitor: &mut impl Visitor<'a>)

impl PartialEq<QPtrMemUsageKind> for QPtrMemUsageKind

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

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

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

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for QPtrMemUsageKind

impl StructuralEq for QPtrMemUsageKind

impl StructuralPartialEq for QPtrMemUsageKind