Enum spirt::TypeKind

pub enum TypeKind {
    QPtr,
    SpvInst {
        spv_inst: Inst,
        type_and_const_inputs: SmallVec<[TypeOrConst; 2]>,
    },
    SpvStringLiteralForExtInst,
}

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

Fields

spv_inst: Inst

type_and_const_inputs: SmallVec<[TypeOrConst; 2]>

SpvStringLiteralForExtInst

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

Trait Implementations

impl Clone for TypeKind

fn clone(&self) -> TypeKind

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Hash for TypeKind

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 InternInCx<Type> for TypeKind

fn intern_in_cx(self, cx: &Context) -> Type

impl PartialEq for TypeKind

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

impl StructuralPartialEq for TypeKind