Interface class that defines the type abstraction. More...

#include <type.h>

Inheritance diagram for Type:

[legend]

Collaboration diagram for Type:

Public Member Functions
virtual bool	IsBoolType () const =0

virtual bool	IsFloatType () const =0

virtual bool	IsIntType () const =0

virtual bool	IsUnsignedType () const =0

bool	IsPointerType () const

bool	IsArrayType () const

bool	IsReferenceType () const

bool	IsVoidType () const

virtual bool	IsConstType () const =0

bool	IsNumericType () const

virtual Variability	GetVariability () const =0

bool	IsUniformType () const

bool	IsVaryingType () const

bool	IsSOAType () const

int	GetSOAWidth () const

bool	HasUnboundVariability () const

virtual const Type *	ResolveUnboundVariability (Variability v) const =0

virtual const Type *	GetAsUniformType () const =0

virtual const Type *	GetAsVaryingType () const =0

virtual const Type *	GetAsUnboundVariabilityType () const =0

virtual const Type *	GetAsSOAType (int width) const =0

virtual const Type *	GetAsUnsignedType () const

virtual const Type *	GetBaseType () const =0

virtual const Type *	GetReferenceTarget () const

virtual const Type *	GetAsConstType () const =0

virtual const Type *	GetAsNonConstType () const =0

virtual std::string	GetString () const =0

virtual std::string	Mangle () const =0

virtual std::string	GetCDeclaration (const std::string &name) const =0

virtual llvm::Type *	LLVMType (llvm::LLVMContext *ctx) const =0

virtual llvm::Type *	LLVMStorageType (llvm::LLVMContext *ctx) const

virtual llvm::DIType *	GetDIType (llvm::DIScope *scope) const =0

Static Public Member Functions
static bool	Equal (const Type a, const Type b)

static bool	EqualIgnoringConst (const Type a, const Type b)

static const Type *	MoreGeneralType (const Type type0, const Type type1, SourcePos pos, const char *reason, bool forceVarying=false, int vecSize=0)

static bool	IsBasicType (const Type *type)

Public Attributes
const TypeId	typeId

Protected Member Functions
	Type (TypeId id)

Detailed Description

Interface class that defines the type abstraction.

Abstract base class that defines the interface that must be implemented for all types in the language.

Definition at line 90 of file type.h.

Constructor & Destructor Documentation

◆ Type()

Type::Type ( TypeId id )

inlineprotected

Definition at line 259 of file type.h.

Member Function Documentation

◆ Equal()

bool Type::Equal	(	const Type *	a,
		const Type *	b
	)

static

Checks two types for equality. Returns true if they are exactly the same, false otherwise.

Definition at line 2853 of file type.cpp.

References lCheckTypeEquality().

Referenced by Module::AddFunctionDeclaration(), Module::AddGlobalVariable(), FunctionSymbolExpr::computeOverloadCost(), ConstExpr::ConstExpr(), ForeachActiveStmt::EmitCode(), FunctionSymbolExpr::GetConstant(), StructMemberExpr::GetType(), SelectExpr::GetValue(), InitSymbol(), lAddTypeIfNew(), lCreateISPCSymbol(), lDoTypeConv(), lEncodeType(), lGetConstExprConstant(), SymbolTable::LookupFunction(), lProcessPrintArg(), MoreGeneralType(), DeclStmt::Optimize(), BinaryExpr::Optimize(), and SelectExpr::Optimize().

◆ EqualIgnoringConst()

bool Type::EqualIgnoringConst	(	const Type *	a,
		const Type *	b
	)

static

Checks two types for equality. Returns true if they are exactly the same (ignoring const-ness of the type), false otherwise.

Definition at line 2855 of file type.cpp.

References lCheckTypeEquality().

Referenced by FunctionSymbolExpr::computeOverloadCost(), TypeCastExpr::GetValue(), PointerType::IsVoidPointer(), IsVoidType(), lCanImproveVectorDivide(), lDoTypeConv(), lEmitBinaryArith(), lEmitBinaryPointerArith(), lEmitStructDecl(), MoreGeneralType(), UnaryExpr::Optimize(), BinaryExpr::Optimize(), FunctionEmitContext::storeUniformToSOA(), IndexExpr::TypeCheck(), and SwitchStmt::TypeCheck().

◆ GetAsConstType()

virtual const Type* Type::GetAsConstType ( ) const

pure virtual

Get a const version of this type. If it's already const, then the old Type pointer is returned.

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by ConstExpr::ConstExpr(), ArrayType::GetAsConstType(), ReferenceType::GetAsConstType(), StructType::GetElementType(), lApplyTypeQualifiers(), lDoTypeConv(), and SwitchStmt::TypeCheck().

◆ GetAsNonConstType()

virtual const Type* Type::GetAsNonConstType ( ) const

pure virtual

Get a non-const version of this type. If it's already not const, then the old Type pointer is returned.

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by FunctionSymbolExpr::computeOverloadCost(), emitOffloadParamStruct(), ArrayType::GetAsNonConstType(), ReferenceType::GetAsNonConstType(), ReferenceType::GetCDeclaration(), SelectExpr::GetValue(), lAddTypeIfNew(), lDeconstifyType(), lDoTypeConv(), lEmitStructDecl(), lGetConstExprConstant(), lProcessPrintArg(), MoreGeneralType(), BinaryExpr::Optimize(), SelectExpr::Optimize(), and Module::writeDevStub().

◆ GetAsSOAType()

virtual const Type* Type::GetAsSOAType ( int width ) const

pure virtual

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by ArrayType::GetAsSOAType().

◆ GetAsUnboundVariabilityType()

virtual const Type* Type::GetAsUnboundVariabilityType ( ) const

pure virtual

Get an instance of the type with unbound variability.

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by ArrayType::GetAsUnboundVariabilityType(), ReferenceType::GetAsUnboundVariabilityType(), lApplyTypeQualifiers(), and lDeclareSizeAndPtrIntTypes().

◆ GetAsUniformType()

virtual const Type* Type::GetAsUniformType ( ) const

pure virtual

Return a "uniform" instance of this type. If the type is already uniform, its "this" pointer will be returned.

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by FunctionEmitContext::addVaryingOffsetsIfNeeded(), ArrayType::GetAsUniformType(), ReferenceType::GetAsUniformType(), ArrayType::GetCDeclaration(), TypeCastExpr::GetConstant(), IndexExpr::GetType(), StructMemberExpr::GetType(), VectorMemberExpr::GetType(), NewExpr::GetValue(), InitSymbol(), PointerType::IsVoidPointer(), lAddVaryingOffsetsIfNeeded(), lApplyTypeQualifiers(), lDoTypeConv(), lFinalSliceOffset(), lGetExprListConstant(), FunctionEmitContext::loadUniformFromSOA(), lProcessPrintArg(), FunctionEmitContext::storeUniformToSOA(), IndexExpr::TypeCheck(), SwitchStmt::TypeCheck(), and TypeCastExpr::TypeCheck().

◆ GetAsUnsignedType()

const Type * Type::GetAsUnsignedType ( ) const

virtual

If this is a signed integer type, return the unsigned version of the type. Otherwise, return the original type.

Reimplemented in VectorType, ArrayType, and AtomicType.

Definition at line 2569 of file type.cpp.

Referenced by ArrayType::GetAsUnsignedType(), lApplyTypeQualifiers(), and lDeclareSizeAndPtrIntTypes().

◆ GetAsVaryingType()

virtual const Type* Type::GetAsVaryingType ( ) const

pure virtual

Return a "varying" instance of this type. If the type is already varying, its "this" pointer will be returned.

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by FunctionSymbolExpr::computeOverloadCost(), FunctionEmitContext::gather(), ArrayType::GetAsVaryingType(), ReferenceType::GetAsVaryingType(), BinaryExpr::GetType(), IndexExpr::GetType(), PtrDerefExpr::GetType(), StructMemberExpr::GetType(), VectorMemberExpr::GetType(), TypeCastExpr::GetValue(), lApplyTypeQualifiers(), lUniformValueToVarying(), lVaryingStructHasUniformMember(), MoreGeneralType(), FunctionEmitContext::scatter(), BinaryExpr::TypeCheck(), AssignExpr::TypeCheck(), and NewExpr::TypeCheck().

◆ GetBaseType()

virtual const Type* Type::GetBaseType ( ) const

pure virtual

Returns the basic root type of the given type. For example, for an array or short-vector, this returns the element type. For a struct or atomic type, it returns itself.

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by FunctionEmitContext::addVaryingOffsetsIfNeeded(), FunctionEmitContext::AllocaInst(), FunctionEmitContext::applyVaryingGEP(), FunctionCallExpr::EstimateCost(), ReferenceType::GetBaseType(), IndexExpr::GetLValueType(), VectorMemberExpr::GetLValueType(), PtrDerefExpr::GetType(), StructMemberExpr::GetType(), SelectExpr::GetValue(), TypeCastExpr::GetValue(), lCheckExportedParameterTypes(), lCheckTypeEquality(), lDoTypeConv(), lFinalSliceOffset(), lGetExportedTypes(), lGetFunctionType(), lLLVMConstantValue(), FunctionEmitContext::LoadInst(), FunctionEmitContext::maskedStore(), PossiblyResolveFunctionOverloads(), and FunctionCallExpr::TypeCheck().

◆ GetCDeclaration()

virtual std::string Type::GetCDeclaration ( const std::string & name ) const

pure virtual

Returns a string that is the declaration of the same type in C syntax.

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by emitOffloadParamStruct(), PointerType::GetCDeclaration(), ArrayType::GetCDeclaration(), ReferenceType::GetCDeclaration(), FunctionType::GetCDeclaration(), FunctionType::GetCDeclarationForDispatch(), lEmitStructDecl(), lEmitVectorTypedefs(), and Module::writeDevStub().

◆ GetDIType()

virtual llvm::DIType* Type::GetDIType ( llvm::DIScope * scope ) const

pure virtual

Returns the DIType (LLVM's debugging information structure), corresponding to this type.

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by Module::AddGlobalVariable(), FunctionEmitContext::EmitFunctionParameterDebugInfo(), FunctionEmitContext::EmitVariableDebugInfo(), PointerType::GetDIType(), ArrayType::GetDIType(), StructType::GetDIType(), ReferenceType::GetDIType(), FunctionType::GetDIType(), lDefineConstantInt(), and lDefineProgramIndex().

◆ GetReferenceTarget()

const Type * Type::GetReferenceTarget ( ) const

virtual

If this is a reference type, returns the type it is referring to. For all other types, just returns its own type.

Reimplemented in ReferenceType.

Definition at line 2564 of file type.cpp.

Referenced by FunctionEmitContext::AddElementOffset(), FunctionSymbolExpr::computeOverloadCost(), MemberExpr::create(), FunctionEmitContext::GetElementPtrInst(), IndexExpr::GetLValue(), IndexExpr::GetLValueType(), SymbolExpr::GetLValueType(), VectorMemberExpr::GetLValueType(), IndexExpr::GetType(), RefDerefExpr::GetType(), AddressOfExpr::GetType(), TypeCastExpr::GetValue(), VectorMemberExpr::GetValue(), lCheckAllOffSafety(), lCheckTypeEquality(), lDoTypeConv(), lEmitPrePostIncDec(), lGetExportedTypes(), FunctionEmitContext::LoadInst(), MoreGeneralType(), FunctionEmitContext::StoreInst(), SelectExpr::TypeCheck(), IndexExpr::TypeCheck(), and VectorMemberExpr::VectorMemberExpr().

◆ GetSOAWidth()

int Type::GetSOAWidth ( ) const

inline

Returns the structure of arrays width for SOA types. This method returns zero for types with non-SOA variability.

Definition at line 145 of file type.h.

Referenced by EnumType::GetAsSOAType(), PointerType::GetAsSOAType(), StructType::GetAsSOAType(), ArrayType::GetCDeclaration(), FunctionEmitContext::GetElementPtrInst(), GetStructTypesNamesPositions(), InitSymbol(), lCheckIndicesVersusBounds(), lConvertPointerConstant(), lDoTypeConv(), lEmitBinaryPointerArith(), lEmitStructDecl(), and BinaryExpr::TypeCheck().

◆ GetString()

virtual std::string Type::GetString ( ) const

pure virtual

Returns a text representation of the type (for example, for use in warning and error messages).

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by StructType::checkIfCanBeSOA(), MemberExpr::create(), FunctionEmitContext::CurrentLanesReturned(), ReturnStmt::EmitCode(), emitOffloadParamStruct(), DeclSpecs::GetBaseType(), FunctionType::GetCDeclaration(), FunctionType::GetCDeclarationForDispatch(), FunctionSymbolExpr::GetConstant(), FunctionType::GetReturnTypeString(), PointerType::GetString(), ArrayType::GetString(), ReferenceType::GetString(), FunctionCallExpr::GetValue(), Declarator::InitFromDeclSpecs(), Declarator::InitFromType(), InitSymbol(), lApplyTypeQualifiers(), lCheckForConstStructMember(), lCreateBinaryOperatorCall(), lDoTypeConv(), lGetConstExprConstant(), lGetExprListConstant(), FunctionEmitContext::LoadInst(), lProcessPrintArg(), lVaryingStructHasUniformMember(), lVectorConvert(), MoreGeneralType(), DeclSpecs::Print(), SymbolTable::Print(), ForeachActiveStmt::Print(), ForeachUniqueStmt::Print(), SizeOfExpr::Print(), NewExpr::Print(), FunctionEmitContext::StoreInst(), UnaryExpr::TypeCheck(), BinaryExpr::TypeCheck(), AssignExpr::TypeCheck(), FunctionCallExpr::TypeCheck(), ForeachUniqueStmt::TypeCheck(), IndexExpr::TypeCheck(), TypeCastExpr::TypeCheck(), DeleteStmt::TypeCheck(), PtrDerefExpr::TypeCheck(), SizeOfExpr::TypeCheck(), NewExpr::TypeCheck(), TypeConvertExpr(), and Module::writeDevStub().

◆ GetVariability()

virtual Variability Type::GetVariability ( ) const

pure virtual

Returns the variability of the type.

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by ArrayType::GetVariability(), ReferenceType::GetVariability(), InitSymbol(), lCheckTypeEquality(), and lDoTypeConv().

◆ HasUnboundVariability()

bool Type::HasUnboundVariability ( ) const

inline

Returns true if the underlying type's uniform/varying-ness is unbound.

Definition at line 149 of file type.h.

References Variability::GetString(), Variability::type, and Variability::Unbound.

Referenced by StructType::checkIfCanBeSOA(), EnumType::GetAsUnboundVariabilityType(), StructType::GetAsUnboundVariabilityType(), ReferenceType::GetAsUnboundVariabilityType(), TypeCastExpr::GetLValueType(), TypeCastExpr::GetType(), and TypeCastExpr::TypeCheck().

◆ IsArrayType()

bool Type::IsArrayType ( ) const

Returns true if the underlying type is a array type

Definition at line 163 of file type.cpp.

Referenced by emitOffloadParamStruct(), lEmitStructDecl(), Module::writeDevStub(), and Module::writeHostStub().

◆ IsBasicType()

bool Type::IsBasicType ( const Type * type )

static

Returns true if the given type is an atomic, enum, or pointer type (i.e. not an aggregation of multiple instances of a type or types.)

Definition at line 2762 of file type.cpp.

Referenced by FunctionEmitContext::addVaryingOffsetsIfNeeded(), PointerType::GetCDeclaration(), InitSymbol(), lAddVaryingOffsetsIfNeeded(), lFinalSliceOffset(), lMatchingBoolType(), FunctionEmitContext::maskedStore(), FunctionEmitContext::scatter(), FunctionEmitContext::storeUniformToSOA(), and ForeachUniqueStmt::TypeCheck().

◆ IsBoolType()

virtual bool Type::IsBoolType ( ) const

pure virtual

Returns true if the underlying type is boolean. In other words, this is true for individual bools and for short-vectors with underlying bool type, but not for arrays of bools.

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by FunctionEmitContext::AllocaInst(), TypeCastExpr::GetValue(), ReferenceType::IsBoolType(), lDoTypeConv(), FunctionEmitContext::LoadInst(), lUniformValueToVarying(), FunctionEmitContext::scatter(), FunctionEmitContext::StoreInst(), and BinaryExpr::TypeCheck().

◆ IsConstType()

virtual bool Type::IsConstType ( ) const

pure virtual

Returns true if this type is 'const'-qualified.

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by Module::AddGlobalVariable(), FunctionSymbolExpr::computeOverloadCost(), DeclStmt::EmitCode(), emitOffloadParamStruct(), ArrayType::IsConstType(), ReferenceType::IsConstType(), lCheckForConstStructMember(), lCheckTypeEquality(), lDoTypeConv(), DeclStmt::Optimize(), UnaryExpr::TypeCheck(), AssignExpr::TypeCheck(), and Module::writeDevStub().

◆ IsFloatType()

virtual bool Type::IsFloatType ( ) const

pure virtual

Returns true if the underlying type is float or double. In other words, this is true for individual floats/doubles and for short-vectors of them, but not for arrays of them.

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by ReferenceType::IsFloatType(), lEmitBinaryArith(), lEmitBinaryCmp(), lEmitNegate(), lEmitPrePostIncDec(), BinaryExpr::TypeCheck(), and AssignExpr::TypeCheck().

◆ IsIntType()

virtual bool Type::IsIntType ( ) const

pure virtual

Returns true if the underlying type is an integer type. In other words, this is true for individual integers and for short-vectors of integer types, but not for arrays of integer types.

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by ReferenceType::IsIntType(), lApplyTypeQualifiers(), lEmitNegate(), lIsAllIntZeros(), UnaryExpr::TypeCheck(), and BinaryExpr::TypeCheck().

◆ IsNumericType()

bool Type::IsNumericType ( ) const

inline

Returns true if the underlying type is a float or integer type.

Definition at line 128 of file type.h.

Referenced by UnaryExpr::TypeCheck(), and BinaryExpr::TypeCheck().

◆ IsPointerType()

bool Type::IsPointerType ( ) const

Returns true if the underlying type is either a pointer type

Definition at line 161 of file type.cpp.

Referenced by emitOffloadParamStruct(), FunctionCallExpr::GetLValueType(), lEmitStructDecl(), lGetVaryingDispatchType(), Module::writeDevStub(), and Module::writeHostStub().

◆ IsReferenceType()

bool Type::IsReferenceType ( ) const

Returns true if the underlying type is a array type

Definition at line 165 of file type.cpp.

Referenced by emitOffloadParamStruct(), FunctionCallExpr::GetLValueType(), lMatchingBoolType(), and Module::writeDevStub().

◆ IsSOAType()

bool Type::IsSOAType ( ) const

inline

Returns true if the type is laid out in "structure of arrays" layout.

Definition at line 141 of file type.h.

References Variability::SOA.

Referenced by VectorType::GetDIType(), IndexExpr::GetLValueType(), IndexExpr::GetType(), StructMemberExpr::GetType(), VectorType::getVectorMemoryCount(), Declarator::InitFromType(), InitSymbol(), lConvertPointerConstant(), lConvertPtrToSliceIfNeeded(), lGetVectorLLVMType(), and UnaryExpr::TypeCheck().

◆ IsUniformType()

bool Type::IsUniformType ( ) const

inline

Returns true if the underlying type is uniform

Definition at line 134 of file type.h.

References Variability::Uniform.

Referenced by FunctionEmitContext::AddElementOffset(), Module::AddFunctionDeclaration(), StructType::checkIfCanBeSOA(), FunctionSymbolExpr::computeOverloadCost(), ConstExpr::ConstExpr(), FunctionEmitContext::CurrentLanesReturned(), DeclSpecs::DeclSpecs(), DeclStmt::EmitCode(), IfStmt::EmitCode(), DoStmt::EmitCode(), ForStmt::EmitCode(), ReturnStmt::EmitCode(), SwitchStmt::EmitCode(), AssertStmt::EmitCode(), DeleteStmt::EmitCode(), IfStmt::EstimateCost(), DoStmt::EstimateCost(), ForStmt::EstimateCost(), FunctionCallExpr::EstimateCost(), FunctionEmitContext::gather(), EnumType::GetAsUniformType(), StructType::GetAsUniformType(), ReferenceType::GetAsUniformType(), DeclSpecs::GetBaseType(), VectorType::GetDIType(), FunctionEmitContext::GetElementPtrInst(), IndexExpr::GetLValueType(), StructMemberExpr::GetLValueType(), VectorMemberExpr::GetLValueType(), GetStructTypesNamesPositions(), IndexExpr::GetType(), PtrDerefExpr::GetType(), StructMemberExpr::GetType(), VectorMemberExpr::GetType(), SelectExpr::GetValue(), TypeCastExpr::GetValue(), VectorMemberExpr::GetValue(), VectorType::getVectorMemoryCount(), lAddVaryingOffsetsIfNeeded(), lCheckAllOffSafety(), lCheckTypeEquality(), lConstFoldBinaryLogicalOp(), lConvertPointerConstant(), lDoTypeConv(), lEmitBinaryPointerArith(), lEmitLogicalOp(), lEmitPrePostIncDec(), lEmitVectorTypedefs(), lEncodeType(), lFinalSliceOffset(), lGetConstExprConstant(), lGetExprListConstant(), lGetVectorLLVMType(), lIsDifficultShiftAmount(), lIsMatchWithTypeWidening(), lLLVMConstantValue(), lMatchingBoolType(), FunctionEmitContext::LoadInst(), lProcessPrintArg(), lTypeConvAtomic(), lUniformValueToVarying(), lVaryingStructHasUniformMember(), FunctionEmitContext::maskedStore(), FunctionEmitContext::scatter(), FunctionEmitContext::StoreInst(), IfStmt::TypeCheck(), DoStmt::TypeCheck(), BinaryExpr::TypeCheck(), ForStmt::TypeCheck(), FunctionCallExpr::TypeCheck(), IndexExpr::TypeCheck(), SwitchStmt::TypeCheck(), TypeCastExpr::TypeCheck(), and AssertStmt::TypeCheck().

◆ IsUnsignedType()

virtual bool Type::IsUnsignedType ( ) const

pure virtual

Returns true if the underlying type is unsigned. In other words, this is true for unsigned integers and short vectors of unsigned integer types.

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by BinaryExpr::GetValue(), ReferenceType::IsUnsignedType(), lEmitBinaryArith(), lEmitBinaryCmp(), and lEmitOpAssign().

◆ IsVaryingType()

bool Type::IsVaryingType ( ) const

inline

Returns true if the underlying type is varying

Definition at line 137 of file type.h.

References Variability::Varying.

Referenced by FunctionEmitContext::addVaryingOffsetsIfNeeded(), FunctionSymbolExpr::computeOverloadCost(), ConstExpr::Count(), DeclSpecs::DeclSpecs(), IndexExpr::EstimateCost(), MemberExpr::EstimateCost(), SwitchStmt::EstimateCost(), PtrDerefExpr::EstimateCost(), FunctionEmitContext::gather(), EnumType::GetAsVaryingType(), StructType::GetAsVaryingType(), ReferenceType::GetAsVaryingType(), DeclSpecs::GetBaseType(), PointerType::GetCDeclaration(), ArrayType::GetCDeclaration(), FunctionType::GetCDeclarationForDispatch(), SizeOfExpr::GetConstant(), VectorType::GetDIType(), FunctionEmitContext::GetElementPtrInst(), IndexExpr::GetLValueType(), GetStructTypesNamesPositions(), BinaryExpr::GetType(), SelectExpr::GetType(), StructMemberExpr::GetType(), VectorMemberExpr::GetType(), FunctionCallExpr::GetValue(), IndexExpr::GetValue(), ConstExpr::GetValue(), TypeCastExpr::GetValue(), VectorType::getVectorMemoryCount(), InitSymbol(), lAddVaryingOffsetsIfNeeded(), lContainsPtrToVarying(), lConvertPointerConstant(), lDoTypeConv(), lEmitBinaryArith(), lEmitBinaryCmp(), lEmitBinaryPointerArith(), lEmitLogicalOp(), lEmitStructDecl(), lGetConstExprConstant(), lGetExprListConstant(), lGetVaryingDispatchType(), lGetVectorLLVMType(), lIsDifficultShiftAmount(), lIsVaryingFor(), FunctionEmitContext::LoadInst(), lRecursiveCheckValidParamType(), lTypeConvAtomic(), lUniformValueToVarying(), lVaryingStructHasUniformMember(), FunctionEmitContext::maskedStore(), MoreGeneralType(), SelectExpr::Optimize(), TypeCastExpr::Optimize(), FunctionEmitContext::scatter(), FunctionEmitContext::StoreInst(), BinaryExpr::TypeCheck(), AssignExpr::TypeCheck(), SelectExpr::TypeCheck(), FunctionCallExpr::TypeCheck(), ForeachUniqueStmt::TypeCheck(), and NewExpr::TypeCheck().

◆ IsVoidType()

bool Type::IsVoidType ( ) const

Returns true if the underlying type is either a pointer or an array

Definition at line 167 of file type.cpp.

References EqualIgnoringConst().

Referenced by Module::AddFunctionDeclaration(), Module::AddGlobalVariable(), ArrayType::ArrayType(), FunctionEmitContext::CurrentLanesReturned(), Function::emitCode(), FunctionEmitContext::FunctionEmitContext(), GetStructTypesNamesPositions(), FunctionCallExpr::GetValue(), TypeCastExpr::GetValue(), Declaration::GetVariableDeclarations(), Declarator::InitFromType(), lApplyTypeQualifiers(), lDoTypeConv(), FunctionType::LLVMFunctionType(), PointerType::LLVMType(), FunctionCallExpr::TypeCheck(), TypeCastExpr::TypeCheck(), Module::writeDevStub(), and Module::writeHostStub().

◆ LLVMStorageType()

llvm::Type * Type::LLVMStorageType ( llvm::LLVMContext * ctx ) const

virtual

Returns the LLVM storage type corresponding to this ispc type.

Reimplemented in VectorType, and AtomicType.

Definition at line 125 of file type.cpp.

Referenced by Module::AddGlobalVariable(), FunctionEmitContext::AllocaInst(), StructType::GetDIType(), TypeCastExpr::GetValue(), InitSymbol(), lEmitVaryingSelect(), lGetVectorLLVMType(), PointerType::LLVMType(), ArrayType::LLVMType(), ReferenceType::LLVMType(), lUniformValueToVarying(), FunctionEmitContext::StoreInst(), and StructType::StructType().

◆ LLVMType()

virtual llvm::Type* Type::LLVMType ( llvm::LLVMContext * ctx ) const

pure virtual

Returns the LLVM type corresponding to this ispc type.

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

◆ Mangle()

virtual std::string Type::Mangle ( ) const

pure virtual

Returns a string that represents the mangled type (for use in mangling function symbol names for function overloading). The various Types implementations of this method should collectively ensure that all of them use mangling schemes that are guaranteed not to clash.

Implemented in FunctionType, ReferenceType, UndefinedStructType, StructType, VectorType, ArrayType, PointerType, EnumType, and AtomicType.

Referenced by PointerType::Mangle(), ArrayType::Mangle(), and ReferenceType::Mangle().

◆ MoreGeneralType()

const Type * Type::MoreGeneralType	(	const Type *	type0,
		const Type *	type1,
		SourcePos	pos,
		const char *	reason,
		bool	forceVarying = `false`,
		int	vecSize = `0`
	)

static

Given two types, returns the least general Type that is more general than both of them. (i.e. that can represent their values without any loss of data.) If there is no such Type, return NULL.

Parameters

type0	First of the two types
type1	Second of the two types
pos	Source file position where the general type is needed.
reason	String describing the context of why the general type is needed (e.g. "+ operator").
forceVarying	If `true`, then make sure that the returned type is "varying".
vecSize	The vector size of the returned type. If non-zero, the returned type will be a VectorType of the more general type with given length. If zero, this parameter has no effect.

Returns: The more general type, based on the provided parameters.

Todo:: the vecSize and forceVarying parts of this should probably be factored out and done separately in the cases when needed.

Definition at line 2602 of file type.cpp.

References Assert, Equal(), EqualIgnoringConst(), Error(), GetAsNonConstType(), GetAsVaryingType(), VectorType::GetElementCount(), VectorType::GetElementType(), GetReferenceTarget(), GetString(), PointerType::GetUniform(), IsVaryingType(), PointerType::IsVoidPointer(), lVectorConvert(), AtomicType::UniformUInt32, and AtomicType::VaryingUInt32.

Referenced by BinaryExpr::GetType(), SelectExpr::GetType(), lEmitLogicalOp(), BinaryExpr::TypeCheck(), and SelectExpr::TypeCheck().

◆ ResolveUnboundVariability()

virtual const Type* Type::ResolveUnboundVariability ( Variability v ) const

pure virtual

Member Data Documentation

◆ typeId

const TypeId Type::typeId

Indicates which Type implementation this type is. This value can be used to determine the actual type much more efficiently than using dynamic_cast.

Definition at line 256 of file type.h.

Referenced by CastType().

The documentation for this class was generated from the following files:

Public Member Functions

Static Public Member Functions

Public Attributes

Protected Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ Type()

Member Function Documentation

◆ Equal()

◆ EqualIgnoringConst()

◆ GetAsConstType()

◆ GetAsNonConstType()

◆ GetAsSOAType()

◆ GetAsUnboundVariabilityType()

◆ GetAsUniformType()

◆ GetAsUnsignedType()

◆ GetAsVaryingType()

◆ GetBaseType()

◆ GetCDeclaration()

◆ GetDIType()

◆ GetReferenceTarget()

◆ GetSOAWidth()

◆ GetString()

◆ GetVariability()

◆ HasUnboundVariability()

◆ IsArrayType()

◆ IsBasicType()

◆ IsBoolType()

◆ IsConstType()

◆ IsFloatType()

◆ IsIntType()

◆ IsNumericType()

◆ IsPointerType()

◆ IsReferenceType()

◆ IsSOAType()

◆ IsUniformType()

◆ IsUnsignedType()

◆ IsVaryingType()

◆ IsVoidType()

◆ LLVMStorageType()

◆ LLVMType()

◆ Mangle()

◆ MoreGeneralType()

◆ ResolveUnboundVariability()

Member Data Documentation

◆ typeId