Compilation context for expressions. More...

#include "/home/buildbot/as-worker-4/publish-doxygen-docs/llvm-project/clang/lib/AST/ByteCode/Compiler.h"

Inheritance diagram for clang::interp::Compiler< Emitter >:

[legend]

Public Member Functions
template<typename... Tys>
	Compiler (Context &Ctx, Program &P, Tys &&...Args)
	Initializes the compiler and the backend emitter.

bool	VisitCastExpr (const CastExpr *E)

bool	VisitIntegerLiteral (const IntegerLiteral *E)

bool	VisitFloatingLiteral (const FloatingLiteral *E)

bool	VisitImaginaryLiteral (const ImaginaryLiteral *E)

bool	VisitFixedPointLiteral (const FixedPointLiteral *E)

bool	VisitParenExpr (const ParenExpr *E)

bool	VisitBinaryOperator (const BinaryOperator *E)

bool	VisitLogicalBinOp (const BinaryOperator *E)

bool	VisitPointerArithBinOp (const BinaryOperator *E)
	Perform addition/subtraction of a pointer and an integer or subtraction of two pointers.

bool	VisitComplexBinOp (const BinaryOperator *E)

bool	VisitVectorBinOp (const BinaryOperator *E)

bool	VisitFixedPointBinOp (const BinaryOperator *E)

bool	VisitFixedPointUnaryOperator (const UnaryOperator *E)

bool	VisitCXXDefaultArgExpr (const CXXDefaultArgExpr *E)

bool	VisitCallExpr (const CallExpr *E)

bool	VisitBuiltinCallExpr (const CallExpr *E, unsigned BuiltinID)

bool	VisitCXXDefaultInitExpr (const CXXDefaultInitExpr *E)

bool	VisitCXXBoolLiteralExpr (const CXXBoolLiteralExpr *E)

bool	VisitCXXNullPtrLiteralExpr (const CXXNullPtrLiteralExpr *E)

bool	VisitGNUNullExpr (const GNUNullExpr *E)

bool	VisitCXXThisExpr (const CXXThisExpr *E)

bool	VisitUnaryOperator (const UnaryOperator *E)

bool	VisitVectorUnaryOperator (const UnaryOperator *E)

bool	VisitComplexUnaryOperator (const UnaryOperator *E)

bool	VisitDeclRefExpr (const DeclRefExpr *E)

bool	VisitImplicitValueInitExpr (const ImplicitValueInitExpr *E)

bool	VisitSubstNonTypeTemplateParmExpr (const SubstNonTypeTemplateParmExpr *E)

bool	VisitArraySubscriptExpr (const ArraySubscriptExpr *E)

bool	VisitInitListExpr (const InitListExpr *E)

bool	VisitCXXParenListInitExpr (const CXXParenListInitExpr *E)

bool	VisitConstantExpr (const ConstantExpr *E)

bool	VisitUnaryExprOrTypeTraitExpr (const UnaryExprOrTypeTraitExpr *E)

bool	VisitMemberExpr (const MemberExpr *E)

bool	VisitArrayInitIndexExpr (const ArrayInitIndexExpr *E)

bool	VisitArrayInitLoopExpr (const ArrayInitLoopExpr *E)

bool	VisitOpaqueValueExpr (const OpaqueValueExpr *E)

bool	VisitAbstractConditionalOperator (const AbstractConditionalOperator *E)

bool	VisitStringLiteral (const StringLiteral *E)

bool	VisitObjCStringLiteral (const ObjCStringLiteral *E)

bool	VisitObjCEncodeExpr (const ObjCEncodeExpr *E)

bool	VisitSYCLUniqueStableNameExpr (const SYCLUniqueStableNameExpr *E)

bool	VisitCharacterLiteral (const CharacterLiteral *E)

bool	VisitCompoundAssignOperator (const CompoundAssignOperator *E)

bool	VisitFloatCompoundAssignOperator (const CompoundAssignOperator *E)

bool	VisitPointerCompoundAssignOperator (const CompoundAssignOperator *E)

bool	VisitExprWithCleanups (const ExprWithCleanups *E)

bool	VisitMaterializeTemporaryExpr (const MaterializeTemporaryExpr *E)

bool	VisitCXXBindTemporaryExpr (const CXXBindTemporaryExpr *E)

bool	VisitCompoundLiteralExpr (const CompoundLiteralExpr *E)

bool	VisitTypeTraitExpr (const TypeTraitExpr *E)

bool	VisitArrayTypeTraitExpr (const ArrayTypeTraitExpr *E)

bool	VisitLambdaExpr (const LambdaExpr *E)

bool	VisitPredefinedExpr (const PredefinedExpr *E)

bool	VisitCXXThrowExpr (const CXXThrowExpr *E)

bool	VisitCXXReinterpretCastExpr (const CXXReinterpretCastExpr *E)

bool	VisitCXXNoexceptExpr (const CXXNoexceptExpr *E)

bool	VisitCXXConstructExpr (const CXXConstructExpr *E)

bool	VisitSourceLocExpr (const SourceLocExpr *E)

bool	VisitOffsetOfExpr (const OffsetOfExpr *E)

bool	VisitCXXScalarValueInitExpr (const CXXScalarValueInitExpr *E)

bool	VisitSizeOfPackExpr (const SizeOfPackExpr *E)

bool	VisitGenericSelectionExpr (const GenericSelectionExpr *E)

bool	VisitChooseExpr (const ChooseExpr *E)

bool	VisitEmbedExpr (const EmbedExpr *E)

bool	VisitObjCBoolLiteralExpr (const ObjCBoolLiteralExpr *E)

bool	VisitCXXInheritedCtorInitExpr (const CXXInheritedCtorInitExpr *E)

bool	VisitExpressionTraitExpr (const ExpressionTraitExpr *E)

bool	VisitCXXUuidofExpr (const CXXUuidofExpr *E)

bool	VisitRequiresExpr (const RequiresExpr *E)

bool	VisitConceptSpecializationExpr (const ConceptSpecializationExpr *E)

bool	VisitCXXRewrittenBinaryOperator (const CXXRewrittenBinaryOperator *E)

bool	VisitPseudoObjectExpr (const PseudoObjectExpr *E)

bool	VisitPackIndexingExpr (const PackIndexingExpr *E)

bool	VisitRecoveryExpr (const RecoveryExpr *E)

bool	VisitAddrLabelExpr (const AddrLabelExpr *E)

bool	VisitConvertVectorExpr (const ConvertVectorExpr *E)

bool	VisitShuffleVectorExpr (const ShuffleVectorExpr *E)

bool	VisitExtVectorElementExpr (const ExtVectorElementExpr *E)

bool	VisitObjCBoxedExpr (const ObjCBoxedExpr *E)

bool	VisitCXXStdInitializerListExpr (const CXXStdInitializerListExpr *E)

bool	VisitStmtExpr (const StmtExpr *E)

bool	VisitCXXNewExpr (const CXXNewExpr *E)

bool	VisitCXXDeleteExpr (const CXXDeleteExpr *E)

bool	VisitBlockExpr (const BlockExpr *E)

bool	VisitCXXTypeidExpr (const CXXTypeidExpr *E)

bool	visitCompoundStmt (const CompoundStmt *S)

bool	visitDeclStmt (const DeclStmt *DS)

bool	visitReturnStmt (const ReturnStmt *RS)

bool	visitIfStmt (const IfStmt *IS)

bool	visitWhileStmt (const WhileStmt *S)

bool	visitDoStmt (const DoStmt *S)

bool	visitForStmt (const ForStmt *S)

bool	visitCXXForRangeStmt (const CXXForRangeStmt *S)

bool	visitBreakStmt (const BreakStmt *S)

bool	visitContinueStmt (const ContinueStmt *S)

bool	visitSwitchStmt (const SwitchStmt *S)

bool	visitCaseStmt (const CaseStmt *S)

bool	visitDefaultStmt (const DefaultStmt *S)

bool	visitAttributedStmt (const AttributedStmt *S)

bool	visitCXXTryStmt (const CXXTryStmt *S)

Public Member Functions inherited from clang::StmtVisitorBase< Ptr, ImplClass, RetTy, ParamTys >
RetTy	Visit (PTR(Stmt) S, ParamTys... P)

	BINOP_FALLBACK (PtrMemD) BINOP_FALLBACK(PtrMemI) BINOP_FALLBACK(Mul) BINOP_FALLBACK(Div) BINOP_FALLBACK(Rem) BINOP_FALLBACK(Add) BINOP_FALLBACK(Sub) BINOP_FALLBACK(Shl) BINOP_FALLBACK(LT) BINOP_FALLBACK(GT) BINOP_FALLBACK(LE) BINOP_FALLBACK(GE) BINOP_FALLBACK(EQ) BINOP_FALLBACK(NE) BINOP_FALLBACK(And) BINOP_FALLBACK(Xor) BINOP_FALLBACK(Or) BINOP_FALLBACK(LAnd) BINOP_FALLBACK(LOr) CAO_FALLBACK(MulAssign) CAO_FALLBACK(DivAssign) CAO_FALLBACK(RemAssign) CAO_FALLBACK(AddAssign) CAO_FALLBACK(SubAssign) CAO_FALLBACK(ShlAssign) CAO_FALLBACK(ShrAssign) CAO_FALLBACK(AndAssign) CAO_FALLBACK(OrAssign) UNARYOP_FALLBACK(PostInc) UNARYOP_FALLBACK(PostDec) UNARYOP_FALLBACK(PreInc) UNARYOP_FALLBACK(PreDec) UNARYOP_FALLBACK(AddrOf) UNARYOP_FALLBACK(Deref) UNARYOP_FALLBACK(Plus) UNARYOP_FALLBACK(Minus) UNARYOP_FALLBACK(Not) UNARYOP_FALLBACK(LNot) UNARYOP_FALLBACK(Real) UNARYOP_FALLBACK(Imag) UNARYOP_FALLBACK(Extension) UNARYOP_FALLBACK(Coawait) RetTy VisitStmt(PTR(Stmt) Node

Protected Types
using	LabelTy = typename Emitter::LabelTy

using	AddrTy = typename Emitter::AddrTy

using	OptLabelTy = std::optional< LabelTy >

using	CaseMap = llvm::DenseMap< const SwitchCase *, LabelTy >

Protected Member Functions
bool	visitStmt (const Stmt *S)

bool	visitExpr (const Expr *E, bool DestroyToplevelScope) override

bool	visitFunc (const FunctionDecl *F) override

bool	visitDeclAndReturn (const VarDecl *VD, bool ConstantContext) override
	Toplevel visitDeclAndReturn().

void	emitCleanup ()
	Emits scope cleanup instructions.

const RecordType *	getRecordTy (QualType Ty)
	Returns a record type from a record or pointer type.

Record *	getRecord (QualType Ty)
	Returns a record from a record or pointer type.

Record *	getRecord (const RecordDecl *RD)

const Function *	getFunction (const FunctionDecl *FD)
	Returns a function for the given FunctionDecl.

std::optional< PrimType >	classify (const Expr *E) const

std::optional< PrimType >	classify (QualType Ty) const

PrimType	classifyPrim (QualType Ty) const
	Classifies a known primitive type.

PrimType	classifyPrim (const Expr *E) const
	Classifies a known primitive expression.

bool	visit (const Expr *E)
	Evaluates an expression and places the result on the stack.

bool	visitInitializer (const Expr *E)
	Compiles an initializer.

bool	discard (const Expr *E)
	Evaluates an expression for side effects and discards the result.

bool	delegate (const Expr *E)
	Just pass evaluation on to `E`.

VarCreationState	visitVarDecl (const VarDecl *VD, bool Toplevel=false)
	Creates and initializes a variable from the given decl.

VarCreationState	visitDecl (const VarDecl *VD)

bool	visitAPValue (const APValue &Val, PrimType ValType, const Expr *E)
	Visit an APValue.

bool	visitAPValueInitializer (const APValue &Val, const Expr *E)

bool	visitDeclRef (const ValueDecl D, const Expr E)
	Visit the given decl as if we have a reference to it.

bool	visitBool (const Expr *E)
	Visits an expression and converts it to a boolean.

bool	visitInitList (ArrayRef< const Expr * > Inits, const Expr ArrayFiller, const Expr E)

bool	visitArrayElemInit (unsigned ElemIndex, const Expr *Init)
	Pointer to the array(not the element!) must be on the stack when calling this.

unsigned	allocateLocalPrimitive (DeclTy &&Decl, PrimType Ty, bool IsConst, bool IsExtended=false)
	Creates a local primitive value.

std::optional< unsigned >	allocateLocal (DeclTy &&Decl, QualType Ty=QualType(), const ValueDecl *ExtendingDecl=nullptr)
	Allocates a space storing a local given its type.

unsigned	allocateTemporary (const Expr *E)

Protected Attributes
Context &	Ctx
	Current compilation context.

Program &	P
	Program to link to.

llvm::DenseMap< const ValueDecl *, Scope::Local >	Locals
	Variable to storage mapping.

llvm::DenseMap< const OpaqueValueExpr *, unsigned >	OpaqueExprs
	OpaqueValueExpr to location mapping.

VariableScope< Emitter > *	VarScope = nullptr
	Current scope.

std::optional< uint64_t >	ArrayIndex
	Current argument index. Needed to emit ArrayInitIndexExpr.

const Expr *	SourceLocDefaultExpr = nullptr
	DefaultInit- or DefaultArgExpr, needed for SourceLocExpr.

bool	DiscardResult = false
	Flag indicating if return value is to be discarded.

bool	InStmtExpr = false

bool	Initializing = false
	Flag inidicating if we're initializing an already created variable.

const ValueDecl *	InitializingDecl = nullptr

llvm::SmallVector< InitLink >	InitStack

bool	InitStackActive = false

std::optional< PrimType >	ReturnType
	Type of the expression returned by the function.

CaseMap	CaseLabels
	Switch case mapping.

VariableScope< Emitter > *	BreakVarScope = nullptr
	Scope to cleanup until when we see a break statement.

OptLabelTy	BreakLabel
	Point to break to.

VariableScope< Emitter > *	ContinueVarScope = nullptr
	Scope to cleanup until when we see a continue statement.

OptLabelTy	ContinueLabel
	Point to continue to.

OptLabelTy	DefaultLabel
	Default case label.

Friends
class	VariableScope< Emitter >

class	LocalScope< Emitter >

class	DestructorScope< Emitter >

class	DeclScope< Emitter >

class	InitLinkScope< Emitter >

class	InitStackScope< Emitter >

class	OptionScope< Emitter >

class	ArrayIndexScope< Emitter >

class	SourceLocScope< Emitter >

struct	InitLink

class	LoopScope< Emitter >

class	LabelScope< Emitter >

class	SwitchScope< Emitter >

class	StmtExprScope< Emitter >

Additional Inherited Members
Public Attributes inherited from clang::StmtVisitorBase< Ptr, ImplClass, RetTy, ParamTys >
ParamTys	P { return RetTy()

Detailed Description

template<class Emitter>
class clang::interp::Compiler< Emitter >

Compilation context for expressions.

Definition at line 107 of file Compiler.h.

Member Typedef Documentation

◆ AddrTy

template<class Emitter >

using clang::interp::Compiler< Emitter >::AddrTy = typename Emitter::AddrTy

protected

Definition at line 112 of file Compiler.h.

◆ CaseMap

template<class Emitter >

using clang::interp::Compiler< Emitter >::CaseMap = llvm::DenseMap<const SwitchCase *, LabelTy>

protected

Definition at line 114 of file Compiler.h.

◆ LabelTy

template<class Emitter >

using clang::interp::Compiler< Emitter >::LabelTy = typename Emitter::LabelTy

protected

Definition at line 111 of file Compiler.h.

◆ OptLabelTy

template<class Emitter >

using clang::interp::Compiler< Emitter >::OptLabelTy = std::optional<LabelTy>

protected

Definition at line 113 of file Compiler.h.

Constructor & Destructor Documentation

◆ Compiler()

template<class Emitter >

template<typename... Tys>

clang::interp::Compiler< Emitter >::Compiler	(	Context &	Ctx,
		Program &	P,
		Tys &&...	Args
	)

inline

Initializes the compiler and the backend emitter.

Definition at line 124 of file Compiler.h.

Member Function Documentation

◆ allocateLocal()

template<class Emitter >

std::optional< unsigned > Compiler::allocateLocal	(	DeclTy &&	Decl,
		QualType	Ty = `QualType()`,
		const ValueDecl *	ExtendingDecl = `nullptr`
	)

protected

Allocates a space storing a local given its type.

Definition at line 4120 of file Compiler.cpp.

References D, E, clang::Expr::getType(), clang::QualType::getTypePtr(), clang::Init, clang::interp::Descriptor::InlineDescMD, clang::QualType::isConstQualified(), clang::QualType::isNull(), and P.

◆ allocateLocalPrimitive()

template<class Emitter >

unsigned Compiler::allocateLocalPrimitive	(	DeclTy &&	Decl,
		PrimType	Ty,
		bool	IsConst,
		bool	IsExtended = `false`
	)

protected

Creates a local primitive value.

Definition at line 4095 of file Compiler.cpp.

References D, clang::interp::Descriptor::InlineDescMD, and P.

◆ allocateTemporary()

template<class Emitter >

unsigned Compiler::allocateTemporary ( const Expr * E )

protected

Definition at line 4162 of file Compiler.cpp.

References D, E, clang::Expr::getType(), clang::QualType::getTypePtr(), clang::interp::Descriptor::InlineDescMD, clang::QualType::isConstQualified(), clang::Type::isRecordType(), and P.

◆ classify() [1/2]

template<class Emitter >

std::optional< PrimType > clang::interp::Compiler< Emitter >::classify ( const Expr * E ) const

inlineprotected

Definition at line 253 of file Compiler.h.

References clang::interp::Context::classify(), clang::interp::Compiler< Emitter >::Ctx, and E.

Referenced by clang::interp::Compiler< Emitter >::classifyPrim().

◆ classify() [2/2]

template<class Emitter >

std::optional< PrimType > clang::interp::Compiler< Emitter >::classify ( QualType Ty ) const

inlineprotected

Definition at line 256 of file Compiler.h.

References clang::interp::Context::classify(), and clang::interp::Compiler< Emitter >::Ctx.

◆ classifyPrim() [1/2]

template<class Emitter >

PrimType clang::interp::Compiler< Emitter >::classifyPrim ( const Expr * E ) const

inlineprotected

Classifies a known primitive expression.

Definition at line 268 of file Compiler.h.

References clang::interp::Compiler< Emitter >::classify(), E, and clang::T.

◆ classifyPrim() [2/2]

template<class Emitter >

PrimType clang::interp::Compiler< Emitter >::classifyPrim ( QualType Ty ) const

inlineprotected

Classifies a known primitive type.

Definition at line 261 of file Compiler.h.

References clang::interp::Compiler< Emitter >::classify(), and clang::T.

◆ delegate()

template<class Emitter >

bool Compiler::delegate ( const Expr * E )

protected

Just pass evaluation on to E.

This leaves all the parsing flags intact.

Definition at line 3800 of file Compiler.cpp.

References E.

◆ discard()

template<class Emitter >

bool Compiler::discard ( const Expr * E )

protected

Evaluates an expression for side effects and discards the result.

Definition at line 3794 of file Compiler.cpp.

References E.

◆ emitCleanup()

template<class Emitter >

void Compiler::emitCleanup

protected

Emits scope cleanup instructions.

Definition at line 6244 of file Compiler.cpp.

References clang::C.

◆ getFunction()

template<class Emitter >

const Function * Compiler::getFunction ( const FunctionDecl * FD )

protected

Returns a function for the given FunctionDecl.

If the function does not exist yet, it is compiled.

Definition at line 4201 of file Compiler.cpp.

◆ getRecord() [1/2]

template<class Emitter >

Record * Compiler::getRecord ( const RecordDecl * RD )

protected

Definition at line 4196 of file Compiler.cpp.

References P.

◆ getRecord() [2/2]

template<class Emitter >

Record * Compiler::getRecord ( QualType Ty )

protected

Returns a record from a record or pointer type.

Definition at line 4189 of file Compiler.cpp.

◆ getRecordTy()

template<class Emitter >

const RecordType * Compiler::getRecordTy ( QualType Ty )

protected

Returns a record type from a record or pointer type.

Definition at line 4183 of file Compiler.cpp.

References clang::Type::getAs(), and clang::Type::getPointeeType().

◆ visit()

template<class Emitter >

bool Compiler::visit ( const Expr * E )

protected

Evaluates an expression and places the result on the stack.

If the expression is of composite type, a local variable will be created and a pointer to said variable will be placed on the stack.

Definition at line 3807 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::Type::isAnyComplexType(), clang::Expr::isGLValue(), clang::QualType::isNull(), clang::Type::isVoidType(), and clang::interp::InitLink::Temp().

◆ VisitAbstractConditionalOperator()

template<class Emitter >

bool Compiler::VisitAbstractConditionalOperator ( const AbstractConditionalOperator * E )

Definition at line 2279 of file Compiler.cpp.

References clang::Condition, and E.

◆ VisitAddrLabelExpr()

template<class Emitter >

bool Compiler::VisitAddrLabelExpr ( const AddrLabelExpr * E )

Definition at line 3567 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::Type::isVoidPointerType(), and clang::interp::PT_Ptr.

◆ visitAPValue()

template<class Emitter >

bool Compiler::visitAPValue	(	const APValue &	Val,
		PrimType	ValType,
		const Expr *	E
	)

protected

Visit an APValue.

Definition at line 4458 of file Compiler.cpp.

References E, clang::APValue::getFloat(), clang::APValue::getInt(), clang::APValue::getLValueBase(), clang::APValue::getMemberPointerDecl(), clang::APValue::isFloat(), clang::APValue::isInt(), clang::APValue::isLValue(), clang::APValue::isMemberPointer(), and clang::APValue::isNullPointer().

◆ visitAPValueInitializer()

template<class Emitter >

bool Compiler::visitAPValueInitializer	(	const APValue &	Val,
		const Expr *	E
	)

protected

◆ visitArrayElemInit()

template<class Emitter >

bool Compiler::visitArrayElemInit	(	unsigned	ElemIndex,
		const Expr *	Init
	)

protected

Pointer to the array(not the element!) must be on the stack when calling this.

Definition at line 1967 of file Compiler.cpp.

References clang::interp::InitLink::Elem(), clang::Init, and clang::T.

◆ VisitArrayInitIndexExpr()

template<class Emitter >

bool Compiler::VisitArrayInitIndexExpr ( const ArrayInitIndexExpr * E )

Definition at line 2204 of file Compiler.cpp.

References E.

◆ VisitArrayInitLoopExpr()

template<class Emitter >

bool Compiler::VisitArrayInitLoopExpr ( const ArrayInitLoopExpr * E )

Definition at line 2213 of file Compiler.cpp.

References clang::interp::LocalScope< Emitter >::destroyLocals(), E, and clang::Initializing.

◆ VisitArraySubscriptExpr()

template<class Emitter >

bool Compiler::VisitArraySubscriptExpr ( const ArraySubscriptExpr * E )

Definition at line 1692 of file Compiler.cpp.

References E, clang::interp::PT_Ptr, and clang::Success.

◆ VisitArrayTypeTraitExpr()

template<class Emitter >

bool Compiler::VisitArrayTypeTraitExpr ( const ArrayTypeTraitExpr * E )

Definition at line 2828 of file Compiler.cpp.

References E.

◆ visitAttributedStmt()

template<class Emitter >

bool Compiler::visitAttributedStmt ( const AttributedStmt * S )

Definition at line 5368 of file Compiler.cpp.

References clang::Expr::HasSideEffects(), and clang::Expr::isValueDependent().

◆ VisitBinaryOperator()

template<class Emitter >

bool Compiler::VisitBinaryOperator ( const BinaryOperator * E )

◆ VisitBlockExpr()

template<class Emitter >

bool Compiler::VisitBlockExpr ( const BlockExpr * E )

Definition at line 3424 of file Compiler.cpp.

References E, clang::Func, and P.

◆ visitBool()

template<class Emitter >

bool Compiler::visitBool ( const Expr * E )

protected

Visits an expression and converts it to a boolean.

Definition at line 3843 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::Type::isAnyComplexType(), clang::interp::PT_Bool, clang::interp::PT_Float, clang::interp::PT_FnPtr, clang::interp::PT_Ptr, and clang::T.

◆ visitBreakStmt()

template<class Emitter >

bool Compiler::visitBreakStmt ( const BreakStmt * S )

Definition at line 5262 of file Compiler.cpp.

References clang::C.

◆ VisitBuiltinCallExpr()

template<class Emitter >

bool Compiler::VisitBuiltinCallExpr	(	const CallExpr *	E,
		unsigned	BuiltinID
	)

Definition at line 4548 of file Compiler.cpp.

References E, clang::Func, clang::Expr::getType(), clang::Initializing, and clang::Type::isVoidType().

◆ VisitCallExpr()

template<class Emitter >

bool Compiler::VisitCallExpr ( const CallExpr * E )

Definition at line 4597 of file Compiler.cpp.

References clang::interp::align(), clang::interp::collectNonNullArgs(), E, clang::Func, clang::DeclarationName::getCXXOverloadedOperator(), clang::NamedDecl::getDeclName(), clang::Initializing, clang::FunctionDecl::isReplaceableGlobalAllocationFunction(), clang::Type::isVoidType(), clang::interp::primSize(), clang::interp::PT_FnPtr, clang::interp::PT_MemberPtr, clang::interp::PT_Ptr, and clang::T.

◆ visitCaseStmt()

template<class Emitter >

bool Compiler::visitCaseStmt ( const CaseStmt * S )

Definition at line 5356 of file Compiler.cpp.

◆ VisitCastExpr()

template<class Emitter >

bool Compiler::VisitCastExpr ( const CastExpr * E )

Definition at line 195 of file Compiler.cpp.

References clang::Type::getAs(), clang::QualType::getCanonicalType(), clang::CastExpr::getCastKind(), clang::MemberPointerType::getClass(), clang::EnumType::getDecl(), clang::VectorType::getNumElements(), clang::Type::getPointeeType(), clang::interp::getRoundingMode(), clang::CastExpr::getSubExpr(), clang::Expr::getType(), clang::QualType::getTypePtr(), clang::Initializing, clang::interp::Descriptor::InlineDescMD, clang::Type::isAnyComplexType(), clang::Type::isAtomicType(), clang::Type::isEnumeralType(), clang::EnumDecl::isFixed(), clang::Type::isFloatingType(), clang::Type::isIntegralOrEnumerationType(), clang::QualType::isNull(), clang::interp::isPtrType(), clang::Type::isVectorType(), clang::Type::isVoidPointerType(), clang::Type::isVoidType(), P, clang::CastExpr::path(), clang::interp::PT_IntAP, clang::interp::PT_IntAPS, clang::interp::PT_MemberPtr, clang::interp::PT_Ptr, and clang::T.

◆ VisitCharacterLiteral()

template<class Emitter >

bool Compiler::VisitCharacterLiteral ( const CharacterLiteral * E )

Definition at line 2421 of file Compiler.cpp.

References E.

◆ VisitChooseExpr()

template<class Emitter >

bool Compiler::VisitChooseExpr ( const ChooseExpr * E )

Definition at line 3232 of file Compiler.cpp.

References E.

◆ VisitComplexBinOp()

template<class Emitter >

bool Compiler::VisitComplexBinOp ( const BinaryOperator * E )

Definition at line 1115 of file Compiler.cpp.

References E, clang::Type::getAs(), clang::ComplexType::getElementType(), clang::Expr::getType(), clang::Initializing, clang::Type::isAnyComplexType(), clang::interp::PT_Float, and clang::interp::PT_Ptr.

◆ VisitComplexUnaryOperator()

template<class Emitter >

bool Compiler::VisitComplexUnaryOperator ( const UnaryOperator * E )

Definition at line 5894 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::Initializing, clang::Type::isAnyComplexType(), clang::Expr::isLValue(), clang::interp::PT_Bool, and clang::interp::PT_Ptr.

◆ VisitCompoundAssignOperator()

template<class Emitter >

bool Compiler::VisitCompoundAssignOperator ( const CompoundAssignOperator * E )

Definition at line 2538 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::Type::isFloatingType(), clang::Type::isPointerType(), clang::Type::isVectorType(), LT, clang::interp::PT_Float, and clang::Expr::refersToBitField().

◆ VisitCompoundLiteralExpr()

template<class Emitter >

bool Compiler::VisitCompoundLiteralExpr ( const CompoundLiteralExpr * E )

Definition at line 2754 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::Init, clang::Initializing, clang::Expr::isLValue(), P, and clang::T.

◆ visitCompoundStmt()

template<class Emitter >

bool Compiler::visitCompoundStmt ( const CompoundStmt * S )

Definition at line 4961 of file Compiler.cpp.

◆ VisitConceptSpecializationExpr()

template<class Emitter >

bool Compiler::VisitConceptSpecializationExpr ( const ConceptSpecializationExpr * E )

Definition at line 3518 of file Compiler.cpp.

References E, clang::Expr::getType(), and clang::interp::PT_Bool.

◆ VisitConstantExpr()

template<class Emitter >

bool Compiler::VisitConstantExpr ( const ConstantExpr * E )

Definition at line 2006 of file Compiler.cpp.

References E, clang::Expr::getType(), and clang::T.

◆ visitContinueStmt()

template<class Emitter >

bool Compiler::visitContinueStmt ( const ContinueStmt * S )

Definition at line 5273 of file Compiler.cpp.

References clang::C.

◆ VisitConvertVectorExpr()

template<class Emitter >

bool Compiler::VisitConvertVectorExpr ( const ConvertVectorExpr * E )

Definition at line 3577 of file Compiler.cpp.

References clang::Type::castAs(), E, clang::interp::getRoundingMode(), clang::Expr::getType(), clang::Initializing, and clang::interp::PT_Ptr.

◆ VisitCXXBindTemporaryExpr()

template<class Emitter >

bool Compiler::VisitCXXBindTemporaryExpr ( const CXXBindTemporaryExpr * E )

Definition at line 2748 of file Compiler.cpp.

References E.

◆ VisitCXXBoolLiteralExpr()

template<class Emitter >

bool Compiler::VisitCXXBoolLiteralExpr ( const CXXBoolLiteralExpr * E )

Definition at line 4817 of file Compiler.cpp.

References E.

◆ VisitCXXConstructExpr()

template<class Emitter >

bool Compiler::VisitCXXConstructExpr ( const CXXConstructExpr * E )

Definition at line 2951 of file Compiler.cpp.

References clang::interp::align(), E, clang::Func, clang::Type::getAsCXXRecordDecl(), clang::Expr::getType(), clang::ConstantArrayType::getZExtSize(), clang::Initializing, clang::Type::isArrayType(), clang::CXXConstructorDecl::isCopyOrMoveConstructor(), clang::FunctionDecl::isDefaulted(), clang::Type::isRecordType(), clang::Expr::isTemporaryObject(), clang::FunctionDecl::isTrivial(), clang::interp::primSize(), clang::interp::PT_Ptr, and clang::T.

◆ VisitCXXDefaultArgExpr()

template<class Emitter >

bool Compiler::VisitCXXDefaultArgExpr ( const CXXDefaultArgExpr * E )

Definition at line 4805 of file Compiler.cpp.

References E, clang::Initializing, and clang::T.

◆ VisitCXXDefaultInitExpr()

template<class Emitter >

bool Compiler::VisitCXXDefaultInitExpr ( const CXXDefaultInitExpr * E )

Definition at line 4798 of file Compiler.cpp.

References E.

◆ VisitCXXDeleteExpr()

template<class Emitter >

bool Compiler::VisitCXXDeleteExpr ( const CXXDeleteExpr * E )

Definition at line 3408 of file Compiler.cpp.

References E.

◆ visitCXXForRangeStmt()

template<class Emitter >

bool Compiler::visitCXXForRangeStmt ( const CXXForRangeStmt * S )

Definition at line 5206 of file Compiler.cpp.

References clang::interp::Inc, and clang::Init.

◆ VisitCXXInheritedCtorInitExpr()

template<class Emitter >

bool Compiler::VisitCXXInheritedCtorInitExpr ( const CXXInheritedCtorInitExpr * E )

Definition at line 3245 of file Compiler.cpp.

References clang::interp::align(), E, clang::interp::Function::hasRVO(), clang::interp::Function::hasThisPointer(), clang::FunctionDecl::isTrivial(), clang::FunctionDecl::parameters(), clang::interp::primSize(), and clang::interp::PT_Ptr.

◆ VisitCXXNewExpr()

template<class Emitter >

bool Compiler::VisitCXXNewExpr ( const CXXNewExpr * E )

Definition at line 3276 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::QualType::getTypePtr(), clang::Init, clang::interp::Descriptor::InlineDescMD, clang::Type::isNothrowT(), P, and clang::interp::PT_Ptr.

◆ VisitCXXNoexceptExpr()

template<class Emitter >

bool Compiler::VisitCXXNoexceptExpr ( const CXXNoexceptExpr * E )

Definition at line 2942 of file Compiler.cpp.

References E, clang::Expr::getType(), and clang::Type::isBooleanType().

◆ VisitCXXNullPtrLiteralExpr()

template<class Emitter >

bool Compiler::VisitCXXNullPtrLiteralExpr ( const CXXNullPtrLiteralExpr * E )

Definition at line 4825 of file Compiler.cpp.

References E, and clang::Expr::getType().

◆ VisitCXXParenListInitExpr()

template<class Emitter >

bool Compiler::VisitCXXParenListInitExpr ( const CXXParenListInitExpr * E )

Definition at line 1994 of file Compiler.cpp.

References E.

◆ VisitCXXReinterpretCastExpr()

template<class Emitter >

bool Compiler::VisitCXXReinterpretCastExpr ( const CXXReinterpretCastExpr * E )

Definition at line 2895 of file Compiler.cpp.

References E, clang::Type::getPointeeType(), clang::Expr::getType(), clang::interp::isIntegralType(), clang::Type::isPointerOrReferenceType(), and clang::interp::PT_Ptr.

◆ VisitCXXRewrittenBinaryOperator()

template<class Emitter >

bool Compiler::VisitCXXRewrittenBinaryOperator ( const CXXRewrittenBinaryOperator * E )

Definition at line 3527 of file Compiler.cpp.

References E.

◆ VisitCXXScalarValueInitExpr()

template<class Emitter >

bool Compiler::VisitCXXScalarValueInitExpr ( const CXXScalarValueInitExpr * E )

Definition at line 3162 of file Compiler.cpp.

References E, clang::Type::getAs(), clang::Expr::getType(), clang::Initializing, clang::Type::isVoidType(), and clang::T.

◆ VisitCXXStdInitializerListExpr()

template<class Emitter >

bool Compiler::VisitCXXStdInitializerListExpr ( const CXXStdInitializerListExpr * E )

Definition at line 3733 of file Compiler.cpp.

References clang::interp::Record::Field::Decl, E, clang::interp::Record::getField(), clang::ValueDecl::getType(), clang::Expr::getType(), clang::Initializing, clang::Expr::isGLValue(), clang::interp::isIntegralType(), clang::interp::Record::Field::Offset, clang::interp::PT_Ptr, and clang::interp::PT_Uint64.

◆ VisitCXXThisExpr()

template<class Emitter >

bool Compiler::VisitCXXThisExpr ( const CXXThisExpr * E )

Definition at line 4846 of file Compiler.cpp.

References E, clang::interp::InitLink::K_Elem, clang::interp::InitLink::K_Field, clang::interp::InitLink::K_InitList, and clang::interp::InitLink::K_This.

◆ VisitCXXThrowExpr()

template<class Emitter >

bool Compiler::VisitCXXThrowExpr ( const CXXThrowExpr * E )

Definition at line 2887 of file Compiler.cpp.

References E.

◆ visitCXXTryStmt()

template<class Emitter >

bool Compiler::visitCXXTryStmt ( const CXXTryStmt * S )

Definition at line 5399 of file Compiler.cpp.

◆ VisitCXXTypeidExpr()

template<class Emitter >

bool Compiler::VisitCXXTypeidExpr ( const CXXTypeidExpr * E )

Definition at line 3438 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::QualType::getTypePtr(), and clang::Expr::isLValue().

◆ VisitCXXUuidofExpr()

template<class Emitter >

bool Compiler::VisitCXXUuidofExpr ( const CXXUuidofExpr * E )

Definition at line 3476 of file Compiler.cpp.

References E, clang::MSGuidDecl::getAsAPValue(), clang::Type::getAsRecordDecl(), clang::ValueDecl::getType(), clang::Expr::getType(), clang::Initializing, clang::TagDecl::isCompleteDefinition(), clang::APValue::None, P, and V.

◆ visitDecl()

template<class Emitter >

VarCreationState Compiler::visitDecl ( const VarDecl * VD )

protected

Definition at line 4258 of file Compiler.cpp.

References clang::interp::GlobalInlineDescriptor::InitState, clang::interp::Block::invokeDtor(), P, clang::interp::Block::rawData(), and clang::interp::Context::shouldBeGloballyIndexed().

◆ visitDeclAndReturn()

template<class Emitter >

bool Compiler::visitDeclAndReturn	(	const VarDecl *	VD,
		bool	ConstantContext
	)

overrideprotected

Toplevel visitDeclAndReturn().

We get here from evaluateAsInitializer(). We need to evaluate the initializer and return its value.

Definition at line 4286 of file Compiler.cpp.

References clang::interp::LocalScope< Emitter >::destroyLocals(), clang::VarDecl::getAnyInitializer(), clang::ValueDecl::getType(), clang::interp::GlobalInlineDescriptor::InitState, clang::interp::Block::invokeDtor(), P, clang::interp::PT_Ptr, clang::interp::Block::rawData(), and clang::interp::Context::shouldBeGloballyIndexed().

◆ visitDeclRef()

template<class Emitter >

bool Compiler::visitDeclRef	(	const ValueDecl *	D,
		const Expr *	E
	)

protected

Visit the given decl as if we have a reference to it.

Definition at line 6108 of file Compiler.cpp.

References D, E, clang::Expr::getType(), clang::Type::isReferenceType(), P, clang::interp::PT_Ptr, and clang::T.

Referenced by clang::interp::InitLink::emit().

◆ VisitDeclRefExpr()

template<class Emitter >

bool Compiler::VisitDeclRefExpr ( const DeclRefExpr * E )

Definition at line 6239 of file Compiler.cpp.

References D, and E.

◆ visitDeclStmt()

template<class Emitter >

bool Compiler::visitDeclStmt ( const DeclStmt * DS )

Definition at line 4970 of file Compiler.cpp.

References D, clang::DeclStmt::decls(), and clang::isa().

◆ visitDefaultStmt()

template<class Emitter >

bool Compiler::visitDefaultStmt ( const DefaultStmt * S )

Definition at line 5362 of file Compiler.cpp.

◆ visitDoStmt()

template<class Emitter >

bool Compiler::visitDoStmt ( const DoStmt * S )

Definition at line 5122 of file Compiler.cpp.

References clang::interp::LocalScope< Emitter >::destroyLocals().

◆ VisitEmbedExpr()

template<class Emitter >

bool Compiler::VisitEmbedExpr ( const EmbedExpr * E )

Definition at line 2022 of file Compiler.cpp.

References E.

◆ visitExpr()

template<class Emitter >

bool Compiler::visitExpr	(	const Expr *	E,
		bool	DestroyToplevelScope
	)

overrideprotected

Definition at line 4206 of file Compiler.cpp.

References clang::interp::LocalScope< Emitter >::destroyLocals(), E, clang::Expr::getType(), clang::Type::isVoidType(), and clang::T.

◆ VisitExpressionTraitExpr()

template<class Emitter >

bool Compiler::VisitExpressionTraitExpr ( const ExpressionTraitExpr * E )

Definition at line 3470 of file Compiler.cpp.

References E.

◆ VisitExprWithCleanups()

template<class Emitter >

bool Compiler::VisitExprWithCleanups ( const ExprWithCleanups * E )

Definition at line 2661 of file Compiler.cpp.

References clang::interp::LocalScope< Emitter >::destroyLocals(), and E.

◆ VisitExtVectorElementExpr()

template<class Emitter >

bool Compiler::VisitExtVectorElementExpr ( const ExtVectorElementExpr * E )

Definition at line 3658 of file Compiler.cpp.

References E, clang::Type::getAs(), clang::VectorType::getElementType(), clang::VectorType::getNumElements(), clang::PointerType::getPointeeType(), clang::Expr::getType(), clang::Initializing, clang::Expr::isGLValue(), clang::Type::isVectorType(), clang::interp::PT_Ptr, and clang::interp::PT_Uint32.

◆ VisitFixedPointBinOp()

template<class Emitter >

bool Compiler::VisitFixedPointBinOp ( const BinaryOperator * E )

Definition at line 1522 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::Type::isFixedPointType(), clang::interp::PT_Bool, and clang::T.

◆ VisitFixedPointLiteral()

template<class Emitter >

bool Compiler::VisitFixedPointLiteral ( const FixedPointLiteral * E )

Definition at line 775 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::Type::isFixedPointType(), and clang::interp::PT_FixedPoint.

◆ VisitFixedPointUnaryOperator()

template<class Emitter >

bool Compiler::VisitFixedPointUnaryOperator ( const UnaryOperator * E )

Definition at line 1609 of file Compiler.cpp.

References E, clang::Expr::getType(), and clang::Type::isFixedPointType().

◆ VisitFloatCompoundAssignOperator()

template<class Emitter >

bool Compiler::VisitFloatCompoundAssignOperator ( const CompoundAssignOperator * E )

Definition at line 2428 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::Type::isFloatingType(), and LT.

◆ VisitFloatingLiteral()

template<class Emitter >

bool Compiler::VisitFloatingLiteral ( const FloatingLiteral * E )

Definition at line 745 of file Compiler.cpp.

References E.

◆ visitForStmt()

template<class Emitter >

bool Compiler::visitForStmt ( const ForStmt * S )

Definition at line 5155 of file Compiler.cpp.

References clang::interp::LocalScope< Emitter >::destroyLocals(), clang::interp::Inc, and clang::Init.

◆ visitFunc()

template<class Emitter >

bool Compiler::visitFunc ( const FunctionDecl * F )

overrideprotected

Definition at line 5637 of file Compiler.cpp.

References clang::FunctionDecl::getBody(), clang::FunctionDecl::getReturnType(), clang::CXXMethodDecl::isLambdaStaticInvoker(), and clang::Type::isVoidType().

◆ VisitGenericSelectionExpr()

template<class Emitter >

bool Compiler::VisitGenericSelectionExpr ( const GenericSelectionExpr * E )

Definition at line 3226 of file Compiler.cpp.

References E.

◆ VisitGNUNullExpr()

template<class Emitter >

bool Compiler::VisitGNUNullExpr ( const GNUNullExpr * E )

Definition at line 4835 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::Type::isIntegerType(), and clang::T.

◆ visitIfStmt()

template<class Emitter >

bool Compiler::visitIfStmt ( const IfStmt * IS )

Definition at line 5022 of file Compiler.cpp.

References clang::interp::LocalScope< Emitter >::destroyLocals(), clang::IfStmt::getCond(), clang::IfStmt::getConditionVariableDeclStmt(), clang::IfStmt::getElse(), clang::IfStmt::getInit(), clang::IfStmt::getThen(), clang::IfStmt::isNegatedConsteval(), and clang::IfStmt::isNonNegatedConsteval().

◆ VisitImaginaryLiteral()

template<class Emitter >

bool Compiler::VisitImaginaryLiteral ( const ImaginaryLiteral * E )

Definition at line 753 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::Initializing, and clang::Type::isAnyComplexType().

◆ VisitImplicitValueInitExpr()

template<class Emitter >

bool Compiler::VisitImplicitValueInitExpr ( const ImplicitValueInitExpr * E )

Definition at line 1628 of file Compiler.cpp.

References E, clang::Type::getAs(), clang::Type::getAsRecordDecl(), clang::Expr::getType(), clang::Initializing, clang::Type::isArrayType(), clang::Type::isIncompleteArrayType(), clang::Decl::isInvalidDecl(), clang::Type::isRecordType(), and clang::T.

◆ visitInitializer()

template<class Emitter >

bool Compiler::visitInitializer ( const Expr * E )

protected

Compiles an initializer.

This is like visit() but it will never create a variable and instead rely on a variable already having been created. visitInitializer() then relies on a pointer to this variable being on top of the stack.

Definition at line 3835 of file Compiler.cpp.

References E, and clang::Expr::getType().

◆ visitInitList()

template<class Emitter >

bool Compiler::visitInitList	(	ArrayRef< const Expr * >	Inits,
		const Expr *	ArrayFiller,
		const Expr *	E
	)

protected

Definition at line 1722 of file Compiler.cpp.

References clang::interp::Record::Field::Decl, E, clang::interp::InitLink::Field(), clang::Type::getAs(), clang::interp::Record::getBase(), clang::interp::Record::getField(), clang::Expr::getType(), clang::ConstantArrayType::getZExtSize(), clang::Init, clang::interp::InitLink::InitList(), clang::Type::isArrayType(), clang::Type::isRecordType(), clang::interp::Record::isUnion(), clang::FieldDecl::isUnnamedBitField(), clang::Type::isVoidType(), and clang::T.

◆ VisitInitListExpr()

template<class Emitter >

bool Compiler::VisitInitListExpr ( const InitListExpr * E )

Definition at line 1989 of file Compiler.cpp.

References E.

◆ VisitIntegerLiteral()

template<class Emitter >

bool Compiler::VisitIntegerLiteral ( const IntegerLiteral * E )

Definition at line 737 of file Compiler.cpp.

References clang::interp::LE().

◆ VisitLambdaExpr()

template<class Emitter >

bool Compiler::VisitLambdaExpr ( const LambdaExpr * E )

Definition at line 2835 of file Compiler.cpp.

References E, clang::interp::Record::fields(), clang::Init, clang::Initializing, P, and clang::T.

◆ VisitLogicalBinOp()

template<class Emitter >

bool Compiler::VisitLogicalBinOp ( const BinaryOperator * E )

Definition at line 1054 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::interp::PT_Bool, and clang::T.

◆ VisitMaterializeTemporaryExpr()

template<class Emitter >

bool Compiler::VisitMaterializeTemporaryExpr ( const MaterializeTemporaryExpr * E )

Definition at line 2669 of file Compiler.cpp.

References E, clang::Initializing, IsStatic, P, clang::SD_Static, clang::Expr::skipRValueSubobjectAdjustments(), and clang::interp::InitLink::Temp().

◆ VisitMemberExpr()

template<class Emitter >

bool Compiler::VisitMemberExpr ( const MemberExpr * E )

Definition at line 2148 of file Compiler.cpp.

References E, clang::interp::Record::getField(), clang::DeclContext::getParent(), clang::Initializing, clang::Expr::isGLValue(), clang::Member, P, clang::interp::PT_Ptr, and clang::T.

◆ VisitObjCBoolLiteralExpr()

template<class Emitter >

bool Compiler::VisitObjCBoolLiteralExpr ( const ObjCBoolLiteralExpr * E )

Definition at line 3237 of file Compiler.cpp.

References E.

◆ VisitObjCBoxedExpr()

template<class Emitter >

bool Compiler::VisitObjCBoxedExpr ( const ObjCBoxedExpr * E )

Definition at line 3720 of file Compiler.cpp.

References E, and clang::interp::PT_Ptr.

◆ VisitObjCEncodeExpr()

template<class Emitter >

bool Compiler::VisitObjCEncodeExpr ( const ObjCEncodeExpr * E )

Definition at line 2386 of file Compiler.cpp.

References clang::StringLiteral::Create(), E, and clang::Expr::getType().

◆ VisitObjCStringLiteral()

template<class Emitter >

bool Compiler::VisitObjCStringLiteral ( const ObjCStringLiteral * E )

Definition at line 2379 of file Compiler.cpp.

References E.

◆ VisitOffsetOfExpr()

template<class Emitter >

bool Compiler::VisitOffsetOfExpr ( const OffsetOfExpr * E )

Definition at line 3127 of file Compiler.cpp.

References clang::OffsetOfNode::Array, E, clang::Expr::getType(), Node, clang::interp::PT_Sint64, and clang::T.

◆ VisitOpaqueValueExpr()

template<class Emitter >

bool Compiler::VisitOpaqueValueExpr ( const OpaqueValueExpr * E )

Definition at line 2243 of file Compiler.cpp.

References E, clang::Initializing, and clang::interp::PT_Ptr.

◆ VisitPackIndexingExpr()

template<class Emitter >

bool Compiler::VisitPackIndexingExpr ( const PackIndexingExpr * E )

Definition at line 3557 of file Compiler.cpp.

References E.

◆ VisitParenExpr()

template<class Emitter >

bool Compiler::VisitParenExpr ( const ParenExpr * E )

Definition at line 788 of file Compiler.cpp.

References E.

◆ VisitPointerArithBinOp()

template<class Emitter >

bool Compiler::VisitPointerArithBinOp ( const BinaryOperator * E )

Perform addition/subtraction of a pointer and an integer or subtraction of two pointers.

Definition at line 977 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::Type::isIntegerType(), clang::Type::isPointerType(), LT, clang::interp::PT_Ptr, and clang::T.

◆ VisitPointerCompoundAssignOperator()

template<class Emitter >

bool Compiler::VisitPointerCompoundAssignOperator ( const CompoundAssignOperator * E )

Definition at line 2501 of file Compiler.cpp.

References E, clang::Expr::getType(), and LT.

◆ VisitPredefinedExpr()

template<class Emitter >

bool Compiler::VisitPredefinedExpr ( const PredefinedExpr * E )

Definition at line 2874 of file Compiler.cpp.

References E, clang::Initializing, and P.

◆ VisitPseudoObjectExpr()

template<class Emitter >

bool Compiler::VisitPseudoObjectExpr ( const PseudoObjectExpr * E )

Definition at line 3533 of file Compiler.cpp.

References E.

◆ VisitRecoveryExpr()

template<class Emitter >

bool Compiler::VisitRecoveryExpr ( const RecoveryExpr * E )

Definition at line 3562 of file Compiler.cpp.

References E.

◆ VisitRequiresExpr()

template<class Emitter >

bool Compiler::VisitRequiresExpr ( const RequiresExpr * E )

Definition at line 3510 of file Compiler.cpp.

References E, clang::Expr::getType(), and clang::interp::PT_Bool.

◆ visitReturnStmt()

template<class Emitter >

bool Compiler::visitReturnStmt ( const ReturnStmt * RS )

Definition at line 4987 of file Compiler.cpp.

References clang::ReturnStmt::getRetValue(), and clang::interp::InitLink::RVO().

◆ VisitShuffleVectorExpr()

template<class Emitter >

bool Compiler::VisitShuffleVectorExpr ( const ShuffleVectorExpr * E )

Definition at line 3615 of file Compiler.cpp.

References clang::Type::castAs(), E, clang::VectorType::getElementType(), clang::VectorType::getNumElements(), clang::Expr::getType(), clang::Initializing, and clang::interp::PT_Ptr.

◆ VisitSizeOfPackExpr()

template<class Emitter >

bool Compiler::VisitSizeOfPackExpr ( const SizeOfPackExpr * E )

Definition at line 3221 of file Compiler.cpp.

References E.

◆ VisitSourceLocExpr()

template<class Emitter >

bool Compiler::VisitSourceLocExpr ( const SourceLocExpr * E )

Definition at line 3071 of file Compiler.cpp.

References E, clang::interp::Record::getField(), clang::APValue::getInt(), clang::APValue::getLValueBase(), clang::APValue::getLValuePath(), clang::interp::Record::getNumFields(), clang::Expr::getType(), clang::APValue::isInt(), clang::Type::isIntegerType(), clang::APValue::isLValue(), clang::Type::isPointerType(), P, and V.

◆ visitStmt()

template<class Emitter >

bool Compiler::visitStmt ( const Stmt * S )

protected

Definition at line 4911 of file Compiler.cpp.

References E.

◆ VisitStmtExpr()

template<class Emitter >

bool Compiler::VisitStmtExpr ( const StmtExpr * E )

Definition at line 3772 of file Compiler.cpp.

References clang::CompoundStmt::body(), clang::interp::LocalScope< Emitter >::destroyLocals(), E, and clang::CompoundStmt::getStmtExprResult().

◆ VisitStringLiteral()

template<class Emitter >

bool Compiler::VisitStringLiteral ( const StringLiteral * E )

Definition at line 2322 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::ConstantArrayType::getZExtSize(), clang::Initializing, and P.

◆ VisitSubstNonTypeTemplateParmExpr()

template<class Emitter >

bool Compiler::VisitSubstNonTypeTemplateParmExpr ( const SubstNonTypeTemplateParmExpr * E )

Definition at line 2000 of file Compiler.cpp.

References E.

◆ visitSwitchStmt()

template<class Emitter >

bool Compiler::visitSwitchStmt ( const SwitchStmt * S )

Definition at line 5284 of file Compiler.cpp.

References clang::interp::LocalScope< Emitter >::destroyLocals(), clang::Expr::getType(), and clang::Value::getType().

◆ VisitSYCLUniqueStableNameExpr()

template<class Emitter >

bool Compiler::VisitSYCLUniqueStableNameExpr ( const SYCLUniqueStableNameExpr * E )

Definition at line 2397 of file Compiler.cpp.

References clang::StringLiteral::Create(), E, clang::Initializing, P, and clang::QualType::withConst().

◆ VisitTypeTraitExpr()

template<class Emitter >

bool Compiler::VisitTypeTraitExpr ( const TypeTraitExpr * E )

Definition at line 2819 of file Compiler.cpp.

References E, clang::Expr::getType(), and clang::Type::isBooleanType().

◆ VisitUnaryExprOrTypeTraitExpr()

template<class Emitter >

bool Compiler::VisitUnaryExprOrTypeTraitExpr ( const UnaryExprOrTypeTraitExpr * E )

◆ VisitUnaryOperator()

template<class Emitter >

bool Compiler::VisitUnaryOperator ( const UnaryOperator * E )

Definition at line 5663 of file Compiler.cpp.

References E, clang::Expr::getType(), clang::Type::isAnyComplexType(), clang::Type::isFixedPointType(), clang::Expr::isGLValue(), clang::interp::isIntegralType(), clang::Type::isMemberPointerType(), clang::Type::isVectorType(), clang::interp::PT_Bool, clang::interp::PT_Float, clang::interp::PT_FnPtr, clang::interp::PT_Ptr, and clang::T.

◆ visitVarDecl()

template<class Emitter >

VarCreationState Compiler::visitVarDecl	(	const VarDecl *	VD,
		bool	Toplevel = `false`
	)

protected

Creates and initializes a variable from the given decl.

Definition at line 4347 of file Compiler.cpp.

References clang::interp::InitLink::Decl(), clang::VarDecl::getInit(), clang::ValueDecl::getType(), clang::Init, clang::QualType::isConstQualified(), clang::VarDecl::isLocalVarDecl(), clang::QualType::isNull(), clang::VarDecl::isStaticLocal(), clang::interp::VarCreationState::NotCreated(), P, and clang::interp::Context::shouldBeGloballyIndexed().

◆ VisitVectorBinOp()

template<class Emitter >

bool Compiler::VisitVectorBinOp ( const BinaryOperator * E )

Definition at line 1338 of file Compiler.cpp.

References clang::interp::Add, clang::interp::Div(), E, EMIT_ARITH_OP, clang::Type::getAs(), clang::BinaryOperator::getOpForCompoundAssignment(), clang::Expr::getType(), clang::Initializing, clang::Type::isVectorType(), clang::interp::Mul(), clang::interp::PT_Bool, clang::interp::PT_Ptr, and clang::interp::Sub.

◆ VisitVectorUnaryOperator()

template<class Emitter >

bool Compiler::VisitVectorUnaryOperator ( const UnaryOperator * E )

Definition at line 6001 of file Compiler.cpp.

References E, clang::Type::getAs(), clang::VectorType::getElementType(), clang::Expr::getType(), clang::Initializing, clang::Type::isVectorType(), clang::interp::PT_Bool, and clang::interp::PT_Ptr.

◆ visitWhileStmt()

template<class Emitter >

bool Compiler::visitWhileStmt ( const WhileStmt * S )

Definition at line 5086 of file Compiler.cpp.

References clang::interp::LocalScope< Emitter >::destroyLocals().

Friends And Related Function Documentation

◆ ArrayIndexScope< Emitter >

template<class Emitter >

friend class ArrayIndexScope< Emitter >

friend

Definition at line 312 of file Compiler.h.

◆ DeclScope< Emitter >

template<class Emitter >

friend class DeclScope< Emitter >

friend

Definition at line 312 of file Compiler.h.

◆ DestructorScope< Emitter >

template<class Emitter >

friend class DestructorScope< Emitter >

friend

Definition at line 312 of file Compiler.h.

◆ InitLink

template<class Emitter >

friend struct InitLink

friend

Definition at line 324 of file Compiler.h.

◆ InitLinkScope< Emitter >

template<class Emitter >

friend class InitLinkScope< Emitter >

friend

Definition at line 312 of file Compiler.h.

◆ InitStackScope< Emitter >

template<class Emitter >

friend class InitStackScope< Emitter >

friend

Definition at line 312 of file Compiler.h.

◆ LabelScope< Emitter >

template<class Emitter >

friend class LabelScope< Emitter >

friend

Definition at line 324 of file Compiler.h.

◆ LocalScope< Emitter >

template<class Emitter >

friend class LocalScope< Emitter >

friend

Definition at line 312 of file Compiler.h.

◆ LoopScope< Emitter >

template<class Emitter >

friend class LoopScope< Emitter >

friend

Definition at line 324 of file Compiler.h.

◆ OptionScope< Emitter >

template<class Emitter >

friend class OptionScope< Emitter >

friend

Definition at line 312 of file Compiler.h.

◆ SourceLocScope< Emitter >

template<class Emitter >

friend class SourceLocScope< Emitter >

friend

Definition at line 312 of file Compiler.h.

◆ StmtExprScope< Emitter >

template<class Emitter >

friend class StmtExprScope< Emitter >

friend

Definition at line 324 of file Compiler.h.

◆ SwitchScope< Emitter >

template<class Emitter >

friend class SwitchScope< Emitter >

friend

Definition at line 324 of file Compiler.h.

◆ VariableScope< Emitter >

template<class Emitter >

friend class VariableScope< Emitter >

friend

Definition at line 312 of file Compiler.h.

Member Data Documentation

◆ ArrayIndex

template<class Emitter >

std::optional<uint64_t> clang::interp::Compiler< Emitter >::ArrayIndex

protected

Current argument index. Needed to emit ArrayInitIndexExpr.

Definition at line 400 of file Compiler.h.

Referenced by clang::interp::ArrayIndexScope< Emitter >::ArrayIndexScope().

◆ BreakLabel

template<class Emitter >

OptLabelTy clang::interp::Compiler< Emitter >::BreakLabel

protected

Point to break to.

Definition at line 427 of file Compiler.h.

Referenced by clang::interp::LoopScope< Emitter >::LoopScope(), and clang::interp::SwitchScope< Emitter >::SwitchScope().

◆ BreakVarScope

template<class Emitter >

VariableScope<Emitter>* clang::interp::Compiler< Emitter >::BreakVarScope = nullptr

protected

Scope to cleanup until when we see a break statement.

Definition at line 425 of file Compiler.h.

Referenced by clang::interp::LoopScope< Emitter >::LoopScope(), and clang::interp::SwitchScope< Emitter >::SwitchScope().

◆ CaseLabels

template<class Emitter >

CaseMap clang::interp::Compiler< Emitter >::CaseLabels

protected

Switch case mapping.

Definition at line 422 of file Compiler.h.

Referenced by clang::interp::SwitchScope< Emitter >::SwitchScope().

◆ ContinueLabel

template<class Emitter >

OptLabelTy clang::interp::Compiler< Emitter >::ContinueLabel

protected

Point to continue to.

Definition at line 431 of file Compiler.h.

Referenced by clang::interp::LoopScope< Emitter >::LoopScope().

◆ ContinueVarScope

template<class Emitter >

VariableScope<Emitter>* clang::interp::Compiler< Emitter >::ContinueVarScope = nullptr

protected

Scope to cleanup until when we see a continue statement.

Definition at line 429 of file Compiler.h.

Referenced by clang::interp::LoopScope< Emitter >::LoopScope().

◆ Ctx

template<class Emitter >

Context& clang::interp::Compiler< Emitter >::Ctx

protected

Current compilation context.

Definition at line 117 of file Compiler.h.

Referenced by clang::interp::Compiler< Emitter >::classify().

◆ DefaultLabel

template<class Emitter >

OptLabelTy clang::interp::Compiler< Emitter >::DefaultLabel

protected

Default case label.

Definition at line 433 of file Compiler.h.

Referenced by clang::interp::SwitchScope< Emitter >::SwitchScope().

◆ DiscardResult

template<class Emitter >

bool clang::interp::Compiler< Emitter >::DiscardResult = false

protected

Flag indicating if return value is to be discarded.

Definition at line 406 of file Compiler.h.

Referenced by clang::interp::OptionScope< Emitter >::OptionScope().

◆ Initializing

template<class Emitter >

bool clang::interp::Compiler< Emitter >::Initializing = false

protected

Flag inidicating if we're initializing an already created variable.

This is set in visitInitializer().

Definition at line 412 of file Compiler.h.

Referenced by clang::interp::OptionScope< Emitter >::OptionScope().

◆ InitializingDecl

template<class Emitter >

const ValueDecl* clang::interp::Compiler< Emitter >::InitializingDecl = nullptr

protected

Definition at line 413 of file Compiler.h.

◆ InitStack

template<class Emitter >

llvm::SmallVector<InitLink> clang::interp::Compiler< Emitter >::InitStack

protected

Definition at line 415 of file Compiler.h.

Referenced by clang::interp::InitLinkScope< Emitter >::InitLinkScope().

◆ InitStackActive

template<class Emitter >

bool clang::interp::Compiler< Emitter >::InitStackActive = false

protected

Definition at line 416 of file Compiler.h.

Referenced by clang::interp::InitStackScope< Emitter >::InitStackScope().

◆ InStmtExpr

template<class Emitter >

bool clang::interp::Compiler< Emitter >::InStmtExpr = false

protected

Definition at line 408 of file Compiler.h.

Referenced by clang::interp::StmtExprScope< Emitter >::StmtExprScope().

◆ Locals

template<class Emitter >

llvm::DenseMap<const ValueDecl *, Scope::Local> clang::interp::Compiler< Emitter >::Locals

protected

Variable to storage mapping.

Definition at line 391 of file Compiler.h.

◆ OpaqueExprs

template<class Emitter >

llvm::DenseMap<const OpaqueValueExpr *, unsigned> clang::interp::Compiler< Emitter >::OpaqueExprs

protected

OpaqueValueExpr to location mapping.

Definition at line 394 of file Compiler.h.

◆ P

template<class Emitter >

Program& clang::interp::Compiler< Emitter >::P

protected

Program to link to.

Definition at line 119 of file Compiler.h.

◆ ReturnType

template<class Emitter >

std::optional<PrimType> clang::interp::Compiler< Emitter >::ReturnType

protected

Type of the expression returned by the function.

Definition at line 419 of file Compiler.h.

◆ SourceLocDefaultExpr

template<class Emitter >

const Expr* clang::interp::Compiler< Emitter >::SourceLocDefaultExpr = nullptr

protected

DefaultInit- or DefaultArgExpr, needed for SourceLocExpr.

Definition at line 403 of file Compiler.h.

Referenced by clang::interp::SourceLocScope< Emitter >::SourceLocScope().

◆ VarScope

template<class Emitter >

VariableScope<Emitter>* clang::interp::Compiler< Emitter >::VarScope = nullptr

protected

Current scope.

Definition at line 397 of file Compiler.h.

Referenced by clang::interp::LoopScope< Emitter >::LoopScope(), clang::interp::SwitchScope< Emitter >::SwitchScope(), and clang::interp::VariableScope< Emitter >::VariableScope().

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

lib/AST/ByteCode/Compiler.h
lib/AST/ByteCode/Compiler.cpp

Public Member Functions

Protected Types

Protected Member Functions

Protected Attributes

Friends

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ AddrTy

◆ CaseMap

◆ LabelTy

◆ OptLabelTy

Constructor & Destructor Documentation

◆ Compiler()

Member Function Documentation

◆ allocateLocal()

◆ allocateLocalPrimitive()

◆ allocateTemporary()

◆ classify() [1/2]

◆ classify() [2/2]

◆ classifyPrim() [1/2]

◆ classifyPrim() [2/2]

◆ delegate()

◆ discard()

◆ emitCleanup()

◆ getFunction()

◆ getRecord() [1/2]

◆ getRecord() [2/2]

◆ getRecordTy()

◆ visit()

◆ VisitAbstractConditionalOperator()

◆ VisitAddrLabelExpr()

◆ visitAPValue()

◆ visitAPValueInitializer()

◆ visitArrayElemInit()

◆ VisitArrayInitIndexExpr()

◆ VisitArrayInitLoopExpr()

◆ VisitArraySubscriptExpr()

◆ VisitArrayTypeTraitExpr()

◆ visitAttributedStmt()

◆ VisitBinaryOperator()

◆ VisitBlockExpr()

◆ visitBool()

◆ visitBreakStmt()

◆ VisitBuiltinCallExpr()

◆ VisitCallExpr()

◆ visitCaseStmt()

◆ VisitCastExpr()

◆ VisitCharacterLiteral()

◆ VisitChooseExpr()

◆ VisitComplexBinOp()

◆ VisitComplexUnaryOperator()

◆ VisitCompoundAssignOperator()

◆ VisitCompoundLiteralExpr()

◆ visitCompoundStmt()

◆ VisitConceptSpecializationExpr()

◆ VisitConstantExpr()

◆ visitContinueStmt()

◆ VisitConvertVectorExpr()

◆ VisitCXXBindTemporaryExpr()

◆ VisitCXXBoolLiteralExpr()

◆ VisitCXXConstructExpr()

◆ VisitCXXDefaultArgExpr()

◆ VisitCXXDefaultInitExpr()

◆ VisitCXXDeleteExpr()

◆ visitCXXForRangeStmt()

◆ VisitCXXInheritedCtorInitExpr()

◆ VisitCXXNewExpr()

◆ VisitCXXNoexceptExpr()

◆ VisitCXXNullPtrLiteralExpr()

◆ VisitCXXParenListInitExpr()

◆ VisitCXXReinterpretCastExpr()

◆ VisitCXXRewrittenBinaryOperator()

◆ VisitCXXScalarValueInitExpr()

◆ VisitCXXStdInitializerListExpr()

◆ VisitCXXThisExpr()

◆ VisitCXXThrowExpr()

◆ visitCXXTryStmt()

◆ VisitCXXTypeidExpr()

◆ VisitCXXUuidofExpr()