Enum llvm_ir::types::Type

pub enum Type {
    VoidType,
    IntegerType {
        bits: u32,
    },
    PointerType {
        pointee_type: TypeRef,
        addr_space: AddrSpace,
    },
    FPType(FPType),
    FuncType {
        result_type: TypeRef,
        param_types: Vec<TypeRef>,
        is_var_arg: bool,
    },
    VectorType {
        element_type: TypeRef,
        num_elements: usize,
    },
    ArrayType {
        element_type: TypeRef,
        num_elements: usize,
    },
    StructType {
        element_types: Vec<TypeRef>,
        is_packed: bool,
    },
    NamedStructType {
        name: String,
    },
    X86_MMXType,
    MetadataType,
    LabelType,
    TokenType,
}

See LLVM 14 docs on Type System

Variants

VoidType

See LLVM 14 docs on Void Type

IntegerType

Fields

bits: u32

See LLVM 14 docs on Integer Type

PointerType

Fields

pointee_type: TypeRef

addr_space: AddrSpace

See LLVM 14 docs on Pointer Type

FPType(FPType)

See LLVM 14 docs on Floating-Point Types

FuncType

Fields

result_type: TypeRef

param_types: Vec<TypeRef>

is_var_arg: bool

See LLVM 14 docs on Function Type

VectorType

Fields

element_type: TypeRef

num_elements: usize

Vector types (along with integer, FP, pointer, X86_MMX, and X86_AMX types) are “first class types”, which means they can be produced by instructions (see LLVM 14 docs on First Class Types). See LLVM 14 docs on Vector Type

ArrayType

Fields

element_type: TypeRef

num_elements: usize

Struct and Array types (but not vector types) are “aggregate types” and cannot be produced by a single instruction (see LLVM 14 docs on Aggregate Types). See LLVM 14 docs on Array Type

StructType

Fields

element_types: Vec<TypeRef>

is_packed: bool

The StructType variant is used for a “literal” (i.e., anonymous) structure type. See LLVM 14 docs on Structure Type

NamedStructType

Fields

name: String

Name of the struct type

Named structure types. Note that these may be self-referential (i.e., recursive). See LLVM 14 docs on Structure Type To get the actual definition of a named structure type, use module.types.named_struct_def().

X86_MMXType

See LLVM 14 docs on X86_MMX Type

MetadataType

See LLVM 14 docs on Metadata Type

LabelType

LabelType is the type of BasicBlock labels. See LLVM 14 docs on Label Type

TokenType

See LLVM 14 docs on Token Type

Trait Implementations

impl AsRef<Type> for TypeRef

fn as_ref(&self) -> &Type

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for Type

fn clone(&self) -> Type

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Type

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Display for Type

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl From<FPType> for Type

fn from(fpt: FPType) -> Type

Converts to this type from the input type.

impl Hash for Type

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

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

fn get_type(&self, types: &Types) -> TypeRef

impl Eq for Type

impl StructuralEq for Type

impl StructuralPartialEq for Type