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§

source§

impl Clone for QPtrMemUsageKind

source§

fn clone(&self) -> QPtrMemUsageKind

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Hash for QPtrMemUsageKind

source§

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher. Read more
1.3.0 · source§

fn hash_slice<H>(data: &[Self], state: &mut H)
where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher. Read more
source§

impl InnerTransform for QPtrMemUsageKind

source§

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

source§

impl InnerVisit for QPtrMemUsageKind

source§

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

source§

impl PartialEq for QPtrMemUsageKind

source§

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

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

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.
source§

impl Eq for QPtrMemUsageKind

source§

impl StructuralPartialEq for QPtrMemUsageKind

Auto Trait Implementations§

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<'a, T, V> DynInnerVisit<'a, V> for T
where T: InnerVisit, V: Visitor<'a>,

source§

fn dyn_inner_visit_with(&'a self, visitor: &mut V)

source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Checks if this value is equivalent to the given key. Read more
source§

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

source§

fn equivalent(&self, key: &K) -> bool

Compare self to key and return true if they are equal.
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for T
where T: Clone,

§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.