Class RecordType

Inheritance Relationships

Base Type

Derived Type

Class Documentation

class RecordType : public seq::types::Type

Subclassed by seq::types::MethodType

Public Functions

RecordType(RecordType const&)
void operator=(RecordType const&)
void setContents(std::vector<Type *> types, std::vector<std::string> names)
bool named() const
bool empty() const
std::vector<types::Type *> getTypes()
std::string getName() const

Returns the full name (e.g. array[int], Foo[str,bool]) of this type.

Value *defaultValue(llvm::BasicBlock *block)

Codegens the default value of this type. Usually this is just what you’d expect: zero for integral types, null for pointer and reference types, recursively defined for aggregate types.


value of the default value

  • block: where to codegen the default value

void initOps()

Performs a one-time initialization of this type’s methods, including magic methods.

void initFields()

Performs a one-time initialization of this type’s fields.

bool isAtomic() const

Returns whether this type is “atomic”. A type is defined to be atomic if its LLVM representation contains no pointers to heap allocated data. This is used internally by the GC, as we can allocate “atomic” and “non-atomic” blocks separately. Atomic blocks do not need to be scanned when searching for pointers.

bool is(Type *type) const

Checks whether this type “is” another type.

bool isStrict(Type *type) const
unsigned numBaseTypes() const

Returns the number of “base types” of this type. E.g., int.numBaseTypes() would return 0, whereas array[str].numBaseTypes() would return 1, and (int,float,str).numBaseTypes() would return 3.

types::Type *getBaseType(unsigned idx) const

Obtain the base type at index idx. idx should be less than numBaseTypes().

Type *getLLVMType(llvm::LLVMContext &context) const

Returns the LLVM type corresponding to this type.

void addLLVMTypesToStruct(llvm::StructType *structType)
size_t size(llvm::Module *module) const

Returns the size (in bytes) of the LLVM type corresponding to this type.

types::RecordType *asRec()

Returns this type as a record type, or null if it isn’t a record type. This is basically for overriding C++’s RTTI/dynamic_cast so that generic types can be converted to their actual types.

types::RecordType *clone(Generic *ref)

Clones this type and all of its methods. ref is used internally to keep track of cloned objects, and to make sure we don’t clone certain objects twice.


cloned type

  • ref: generic object that is being cloned

Public Static Functions

types::RecordType *get(std::vector<Type *> types, std::vector<std::string> names = {}, std::string name = "")

Protected Functions

RecordType(std::vector<Type *> types, std::vector<std::string> names = {}, std::string name = "")

Protected Attributes

std::vector<Type *> types
std::vector<std::string> names