Class GenType

Nested Relationships

Inheritance Relationships

Base Type

Class Documentation

class seq::types::GenType : public seq::types::Type

Public Types

enum GenTypeKind


enumerator NORMAL
enumerator PREFETCH
enumerator INTERALIGN

Public Functions

GenType(GenType const&) = delete
void operator=(FuncType const&) = delete
bool isAtomic() const override

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.

llvm::Value *defaultValue(llvm::BasicBlock *block) override

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

llvm::Value *done(llvm::Value *self, llvm::BasicBlock *block)
void resume(llvm::Value *self, llvm::BasicBlock *block, llvm::BasicBlock *normal, llvm::BasicBlock *unwind)
llvm::Value *promise(llvm::Value *self, llvm::BasicBlock *block, bool returnPtr = false)
void send(llvm::Value *self, llvm::Value *val, llvm::BasicBlock *block)
void destroy(llvm::Value *self, llvm::BasicBlock *block)
bool fromPrefetch()
bool fromInterAlign()
void setAlignParams(InterAlignParams alnParams)
InterAlignParams getAlignParams()
void initOps() override

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

bool is(Type *type) const override

Checks whether this type “is” another type.

unsigned numBaseTypes() const override

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.

Type *getBaseType(unsigned idx) const override

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

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

Returns the LLVM type corresponding to this type.

size_t size(llvm::Module *module) const override

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

GenType *asGen() override

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

GenType *clone(Generic *ref) override

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

GenType *get(Type *outType, GenTypeKind kind = GenTypeKind::NORMAL) noexcept
GenType *get(GenTypeKind kind = GenTypeKind::NORMAL) noexcept
struct InterAlignParams

Public Functions


Public Members

Expr *a
Expr *b
Expr *ambig
Expr *gapo
Expr *gape
Expr *score_only
Expr *bandwidth
Expr *zdrop
Expr *end_bonus