My Project
Public Types | Public Member Functions | Static Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
llvm::memoir::TypeVariable Struct Reference

#include <Types.hpp>

Inheritance diagram for llvm::memoir::TypeVariable:
llvm::memoir::Type

Public Types

using TypeID = uint64_t
 

Public Member Functions

bool operator== (Type &T) const
 
std::string toString (std::string indent="") const override
 
- Public Member Functions inherited from llvm::memoir::Type
TypeKind getKind () const
 
virtual llvm::Type * get_llvm_type (llvm::LLVMContext &C) const
 
virtual Option< std::string > get_code () const
 
virtual bool operator== (const Type &other) const
 
virtual bool operator<= (const Type &other) const
 

Static Public Member Functions

static TypeVariable & get ()
 
static bool classof (const Type *t)
 
- Static Public Member Functions inherited from llvm::memoir::Type
static IntegerType & get_u64_type ()
 
static IntegerType & get_u32_type ()
 
static IntegerType & get_u16_type ()
 
static IntegerType & get_u8_type ()
 
static IntegerType & get_u2_type ()
 
static IntegerType & get_i64_type ()
 
static IntegerType & get_i32_type ()
 
static IntegerType & get_i16_type ()
 
static IntegerType & get_i8_type ()
 
static IntegerType & get_i2_type ()
 
static IntegerType & get_bool_type ()
 
static IntegerType & get_size_type (const llvm::DataLayout &DL)
 
static FloatType & get_f32_type ()
 
static DoubleType & get_f64_type ()
 
static PointerType & get_ptr_type ()
 
static VoidType & get_void_type ()
 
static ReferenceType & get_ref_type (Type &referenced_type)
 
static Type & define_type (std::string name, Type &type)
 
static Type & lookup_type (std::string name)
 
static TupleType & get_tuple_type (llvm::ArrayRef< Type * > fields)
 
static ArrayType & get_array_type (Type &element_type, size_t length)
 
static Type & from_code (std::string code)
 
static bool is_primitive_type (Type &type)
 
static bool is_reference_type (Type &type)
 
static bool is_struct_type (Type &type)
 
static bool is_collection_type (Type &type)
 
static bool is_unsized (Type &type)
 
static bool value_is_object (llvm::Value &value)
 
static bool value_is_collection_type (llvm::Value &value)
 
static bool value_is_struct_type (llvm::Value &value)
 

Protected Member Functions

 TypeVariable (TypeID id)
 
- Protected Member Functions inherited from llvm::memoir::Type
 Type (TypeKind code)
 

Protected Attributes

TypeID id
 
- Protected Attributes inherited from llvm::memoir::Type
TypeKind code
 

Detailed Description

A type variable used for unification.

The documentation for this struct was generated from the following file:
Generated by doxygen 1.9.1