Definitions for classes related to type representation. More...

#include "type.h"
#include "expr.h"
#include "llvmutil.h"
#include "module.h"
#include "sym.h"
#include <llvm/BinaryFormat/Dwarf.h>
#include <llvm/IR/DIBuilder.h>
#include <llvm/IR/DebugInfo.h>
#include <llvm/IR/Module.h>
#include <llvm/IR/Value.h>
#include <llvm/Support/MathExtras.h>
#include <map>
#include <stdio.h>

Include dependency graph for type.cpp:

Go to the source code of this file.

Functions
static bool	lShouldPrintName (const std::string &name)

static llvm::DIType *	lCreateDIArray (llvm::DIType *eltType, int count)

static llvm::Type *	lGetAtomicLLVMType (llvm::LLVMContext ctx, const AtomicType aType, bool isStorageType)

static llvm::Type *	lGetVectorLLVMType (llvm::LLVMContext ctx, const VectorType vType, bool isStorage)

static std::string	lMangleStructName (const std::string &name, Variability variability)

static std::string	lMangleStruct (Variability variability, bool isConst, const std::string &name)

static const Type *	lVectorConvert (const Type type, SourcePos pos, const char reason, int vecSize)

static bool	lCheckTypeEquality (const Type a, const Type b, bool ignoreConst)

Variables
static std::map< std::string, llvm::StructType * >	lStructTypeMap

Detailed Description

Definitions for classes related to type representation.

Definition in file type.cpp.

Function Documentation

◆ lCheckTypeEquality()

static bool lCheckTypeEquality	(	const Type *	a,
		const Type *	b,
		bool	ignoreConst
	)

static

◆ lCreateDIArray()

static llvm::DIType* lCreateDIArray	(	llvm::DIType *	eltType,
		int	count
	)

static

Utility routine to create a llvm array type of the given number of the given element type.

Definition at line 70 of file type.cpp.

References Module::diBuilder, and m.

Referenced by EnumType::GetDIType(), PointerType::GetDIType(), and ArrayType::GetDIType().

◆ lGetAtomicLLVMType()

static llvm::Type* lGetAtomicLLVMType	(	llvm::LLVMContext *	ctx,
		const AtomicType *	aType,
		bool	isStorageType
	)

static

Definition at line 467 of file type.cpp.

References Assert, AtomicType::basicType, LLVMTypes::BoolStorageType, LLVMTypes::BoolType, LLVMTypes::BoolVectorStorageType, LLVMTypes::BoolVectorType, LLVMTypes::DoubleType, LLVMTypes::DoubleVectorType, FATAL, LLVMTypes::FloatType, LLVMTypes::FloatVectorType, AtomicType::GetAsUniformType(), AtomicType::GetVariability(), LLVMTypes::Int16Type, LLVMTypes::Int16VectorType, LLVMTypes::Int32Type, LLVMTypes::Int32VectorType, LLVMTypes::Int64Type, LLVMTypes::Int64VectorType, LLVMTypes::Int8Type, LLVMTypes::Int8VectorType, ArrayType::LLVMType(), Variability::soaWidth, Variability::type, AtomicType::TYPE_BOOL, AtomicType::TYPE_DOUBLE, AtomicType::TYPE_FLOAT, AtomicType::TYPE_INT16, AtomicType::TYPE_INT32, AtomicType::TYPE_INT64, AtomicType::TYPE_INT8, AtomicType::TYPE_UINT16, AtomicType::TYPE_UINT32, AtomicType::TYPE_UINT64, AtomicType::TYPE_UINT8, AtomicType::TYPE_VOID, Variability::Unbound, Variability::Uniform, AtomicType::variability, and Variability::Varying.

Referenced by AtomicType::LLVMStorageType(), and AtomicType::LLVMType().

◆ lGetVectorLLVMType()

static llvm::Type* lGetVectorLLVMType	(	llvm::LLVMContext *	ctx,
		const VectorType *	vType,
		bool	isStorage
	)

static

Definition at line 1420 of file type.cpp.

References Assert, VectorType::base, Module::errorCount, FATAL, VectorType::GetBaseType(), VectorType::GetElementCount(), VectorType::getVectorMemoryCount(), Type::IsSOAType(), Type::IsUniformType(), Type::IsVaryingType(), Type::LLVMStorageType(), Type::LLVMType(), m, and VectorType::numElements.

Referenced by VectorType::LLVMStorageType(), and VectorType::LLVMType().

◆ lMangleStruct()

static std::string lMangleStruct	(	Variability	variability,
		bool	isConst,
		const std::string &	name
	)

static

Mangle a struct name for use in function name mangling.

Definition at line 1772 of file type.cpp.

References Assert, Variability::MangleString(), and Variability::Unbound.

Referenced by StructType::Mangle(), and UndefinedStructType::Mangle().

◆ lMangleStructName()

static std::string lMangleStructName	(	const std::string &	name,
		Variability	variability
	)

static

Using a struct's name, its variability, and the vector width for the current compilation target, this function generates a string that encodes that full structure type, for use in the lStructTypeMap. Note that the vector width is needed in order to differentiate between 'varying' structs with different compilation targets, which have different memory layouts...

Definition at line 1538 of file type.cpp.

References FATAL, g, Target::getVectorWidth(), Variability::SOA, Variability::soaWidth, Globals::target, Variability::type, Variability::Uniform, and Variability::Varying.

Referenced by StructType::GetCStructName(), StructType::LLVMType(), UndefinedStructType::LLVMType(), StructType::StructType(), and UndefinedStructType::UndefinedStructType().

◆ lShouldPrintName()

static bool lShouldPrintName ( const std::string & name )

static

Utility routine used in code that prints out declarations; returns true if the given name should be printed, false otherwise. This allows us to omit the names for various internal things (whose names start with double underscores) and emit anonymous declarations for them instead.

Definition at line 59 of file type.cpp.

Referenced by AtomicType::GetCDeclaration(), EnumType::GetCDeclaration(), StructType::GetCDeclaration(), UndefinedStructType::GetCDeclaration(), and ReferenceType::GetCDeclaration().