Enum spirt::TypeCtor

pub enum TypeCtor {
    QPtr,
    SpvInst(Inst),
    SpvStringLiteralForExtInst,
}

Type “constructor”: a TypeDef wiithout any TypeCtorArgs (Types/Consts).

Variants

QPtr

“Quasi-pointer”, an untyped pointer-like abstract scalar that can represent both memory locations (in any address space) and other kinds of locations (e.g. SPIR-V OpVariables in non-memory “storage classes”).

This flexibility can be used to represent pointers from source languages that expect/are defined to operate on untyped memory (C, C++, Rust, etc.), that can then be legalized away (e.g. via inlining) or even emulated.

Information narrowing down how values of the type may be created/used (e.g. “points to variable x” or “accessed at offset y”) can be found attached as Attrs on those Values (see Attr::QPtr).

SpvInst(Inst)

SpvStringLiteralForExtInst

The type of a ConstCtor::SpvStringLiteralForExtInst constant, i.e. a SPIR-V OpString with no actual type in SPIR-V.

Trait Implementations

impl Clone for TypeCtor

fn clone(&self) -> TypeCtor

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Hash for TypeCtor

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 PartialEq<TypeCtor> for TypeCtor

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

impl StructuralEq for TypeCtor

impl StructuralPartialEq for TypeCtor