Compilation context for expressions. More...

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

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

[legend]

Public Member Functions
template<typename... Tys>
	ByteCodeExprGen (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	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	VisitCXXDefaultArgExpr (const CXXDefaultArgExpr *E)

bool	VisitCallExpr (const CallExpr *E)

bool	VisitBuiltinCallExpr (const CallExpr *E)

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	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	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	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)

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

Protected Member Functions
bool	visitExpr (const Expr *E) override

bool	visitDecl (const VarDecl *VD) override
	Toplevel visitDecl().

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)

std::optional< PrimType >	classify (const Expr *E) const
	Classifies a type.

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

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

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`.

bool	visitVarDecl (const VarDecl *VD)
	Creates and initializes a variable from the given decl.

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

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

bool	visitLocalInitializer (const Expr *Init, unsigned I)
	Visits an initializer for a local.

bool	visitGlobalInitializer (const Expr *Init, unsigned I)
	Visits an initializer for a global.

bool	visitThisInitializer (const Expr *I)
	Visits a delegated initializer.

bool	visitInitList (ArrayRef< const Expr * > Inits, 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, bool IsExtended=false)
	Allocates a space storing a local given its type.

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	Initializing = false
	Flag inidicating if we're initializing an already created variable.

bool	GlobalDecl = false
	Flag indicating if we're initializing a global variable.

Friends
class	VariableScope< Emitter >

class	LocalScope< Emitter >

class	DestructorScope< Emitter >

class	RecordScope< Emitter >

class	DeclScope< Emitter >

class	OptionScope< Emitter >

class	ArrayIndexScope< Emitter >

class	SourceLocScope< 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::ByteCodeExprGen< Emitter >

Compilation context for expressions.

Definition at line 42 of file ByteCodeExprGen.h.

Member Typedef Documentation

◆ AddrTy

template<class Emitter >

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

protected

Definition at line 47 of file ByteCodeExprGen.h.

◆ LabelTy

template<class Emitter >

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

protected

Definition at line 46 of file ByteCodeExprGen.h.

Constructor & Destructor Documentation

◆ ByteCodeExprGen()

template<class Emitter >

template<typename... Tys>

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

inline

Initializes the compiler and the backend emitter.

Definition at line 57 of file ByteCodeExprGen.h.

Member Function Documentation

◆ allocateLocal()

template<class Emitter >

std::optional< unsigned > ByteCodeExprGen::allocateLocal	(	DeclTy &&	Decl,
		bool	IsExtended = `false`
	)

protected

Allocates a space storing a local given its type.

Definition at line 2032 of file ByteCodeExprGen.cpp.

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

◆ allocateLocalPrimitive()

template<class Emitter >

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

protected

Creates a local primitive value.

Definition at line 2007 of file ByteCodeExprGen.cpp.

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

◆ classify() [1/2]

template<class Emitter >

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

inlineprotected

Classifies a type.

Definition at line 131 of file ByteCodeExprGen.h.

References clang::interp::ByteCodeExprGen< Emitter >::classify(), clang::Expr::getType(), clang::Type::isFunctionType(), clang::Expr::isGLValue(), clang::interp::PT_FnPtr, and clang::interp::PT_Ptr.

Referenced by clang::interp::ByteCodeExprGen< Emitter >::classify(), and clang::interp::ByteCodeExprGen< Emitter >::classifyPrim().

◆ classify() [2/2]

template<class Emitter >

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

inlineprotected

Definition at line 140 of file ByteCodeExprGen.h.

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

◆ classifyPrim()

template<class Emitter >

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

inlineprotected

Classifies a known primitive type.

Definition at line 145 of file ByteCodeExprGen.h.

References clang::interp::ByteCodeExprGen< Emitter >::classify().

◆ delegate()

template<class Emitter >

bool ByteCodeExprGen::delegate ( const Expr * E )

protected

Just pass evaluation on to E.

This leaves all the parsing flags intact.

Definition at line 1633 of file ByteCodeExprGen.cpp.

References clang::Expr::containsErrors().

◆ discard()

template<class Emitter >

bool ByteCodeExprGen::discard ( const Expr * E )

protected

Evaluates an expression for side effects and discards the result.

Definition at line 1623 of file ByteCodeExprGen.cpp.

References clang::Expr::containsErrors().

◆ emitCleanup()

template<class Emitter >

void ByteCodeExprGen::emitCleanup

protected

Emits scope cleanup instructions.

Definition at line 2638 of file ByteCodeExprGen.cpp.

References clang::C.

◆ getFunction()

template<class Emitter >

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

protected

Definition at line 2089 of file ByteCodeExprGen.cpp.

◆ getRecord() [1/2]

template<class Emitter >

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

protected

Definition at line 2084 of file ByteCodeExprGen.cpp.

References P.

◆ getRecord() [2/2]

template<class Emitter >

Record * ByteCodeExprGen::getRecord ( QualType Ty )

protected

Returns a record from a record or pointer type.

Definition at line 2077 of file ByteCodeExprGen.cpp.

◆ getRecordTy()

template<class Emitter >

const RecordType * ByteCodeExprGen::getRecordTy ( QualType Ty )

protected

Returns a record type from a record or pointer type.

Definition at line 2070 of file ByteCodeExprGen.cpp.

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

◆ visit()

template<class Emitter >

bool ByteCodeExprGen::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 1643 of file ByteCodeExprGen.cpp.

References clang::Expr::containsErrors(), clang::Expr::getType(), clang::Expr::isGLValue(), and clang::Type::isVoidType().

◆ VisitAbstractConditionalOperator()

template<class Emitter >

bool ByteCodeExprGen::VisitAbstractConditionalOperator ( const AbstractConditionalOperator * E )

Definition at line 898 of file ByteCodeExprGen.cpp.

References clang::Condition, clang::AbstractConditionalOperator::getCond(), clang::AbstractConditionalOperator::getFalseExpr(), and clang::AbstractConditionalOperator::getTrueExpr().

◆ visitAPValue()

template<class Emitter >

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

protected

Visit an APValue.

Definition at line 2204 of file ByteCodeExprGen.cpp.

References clang::APValue::getInt(), clang::APValue::getLValueBase(), clang::APValue::isInt(), and clang::APValue::isLValue().

◆ visitArrayElemInit()

template<class Emitter >

bool ByteCodeExprGen::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 620 of file ByteCodeExprGen.cpp.

References clang::Init.

◆ VisitArrayInitIndexExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitArrayInitIndexExpr ( const ArrayInitIndexExpr * E )

Definition at line 820 of file ByteCodeExprGen.cpp.

◆ VisitArrayInitLoopExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitArrayInitLoopExpr ( const ArrayInitLoopExpr * E )

Definition at line 830 of file ByteCodeExprGen.cpp.

References clang::ArrayInitLoopExpr::getArraySize(), clang::ArrayInitLoopExpr::getCommonExpr(), and clang::ArrayInitLoopExpr::getSubExpr().

◆ VisitArraySubscriptExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitArraySubscriptExpr ( const ArraySubscriptExpr * E )

Definition at line 538 of file ByteCodeExprGen.cpp.

References clang::ArraySubscriptExpr::getBase(), and clang::ArraySubscriptExpr::getIdx().

◆ VisitBinaryOperator()

template<class Emitter >

bool ByteCodeExprGen::VisitBinaryOperator ( const BinaryOperator * E )

Definition at line 257 of file ByteCodeExprGen.cpp.

References clang::BinaryOperator::getLHS(), clang::BinaryOperator::getOpcode(), clang::BinaryOperator::getRHS(), clang::Expr::getType(), clang::BinaryOperator::isCommaOp(), clang::Type::isFloatingType(), clang::BinaryOperator::isLogicalOp(), clang::BinaryOperator::isPtrMemOp(), clang::Type::isVoidType(), LT, clang::interp::PT_Bool, clang::interp::PT_Ptr, and clang::Expr::refersToBitField().

◆ visitBool()

template<class Emitter >

bool ByteCodeExprGen::visitBool ( const Expr * E )

protected

Visits an expression and converts it to a boolean.

Definition at line 1681 of file ByteCodeExprGen.cpp.

References clang::Expr::getType(), clang::interp::PT_Bool, clang::interp::PT_Float, clang::interp::PT_FnPtr, and clang::interp::PT_Ptr.

◆ VisitBuiltinCallExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitBuiltinCallExpr ( const CallExpr * E )

Definition at line 2220 of file ByteCodeExprGen.cpp.

References clang::CallExpr::arguments(), clang::Func, clang::CallExpr::getCallReturnType(), clang::CallExpr::getDirectCallee(), and clang::Type::isVoidType().

◆ VisitCallExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitCallExpr ( const CallExpr * E )

Definition at line 2246 of file ByteCodeExprGen.cpp.

References clang::CallExpr::arguments(), clang::Func, clang::CallExpr::getBuiltinCallee(), clang::CallExpr::getCallee(), clang::CallExpr::getCallReturnType(), clang::CallExpr::getDirectCallee(), and clang::Type::isVoidType().

◆ VisitCastExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitCastExpr ( const CastExpr * E )

Definition at line 77 of file ByteCodeExprGen.cpp.

References dereference(), clang::CastExpr::getCastKind(), clang::CastExpr::getSubExpr(), clang::Expr::getType(), clang::interp::PT_IntAP, and clang::interp::PT_IntAPS.

◆ VisitCharacterLiteral()

template<class Emitter >

bool ByteCodeExprGen::VisitCharacterLiteral ( const CharacterLiteral * E )

Definition at line 987 of file ByteCodeExprGen.cpp.

References clang::CharacterLiteral::getValue().

◆ VisitCompoundAssignOperator()

template<class Emitter >

bool ByteCodeExprGen::VisitCompoundAssignOperator ( const CompoundAssignOperator * E )

Definition at line 1104 of file ByteCodeExprGen.cpp.

References clang::CompoundAssignOperator::getComputationLHSType(), clang::CompoundAssignOperator::getComputationResultType(), clang::BinaryOperator::getLHS(), clang::BinaryOperator::getOpcode(), clang::BinaryOperator::getRHS(), clang::Expr::getType(), clang::Type::isFloatingType(), clang::Type::isPointerType(), LT, clang::interp::PT_Float, and clang::Expr::refersToBitField().

◆ VisitCompoundLiteralExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitCompoundLiteralExpr ( const CompoundLiteralExpr * E )

Definition at line 1309 of file ByteCodeExprGen.cpp.

References clang::CompoundLiteralExpr::getInitializer(), clang::Expr::getType(), clang::Init, clang::CompoundLiteralExpr::isFileScope(), and P.

◆ VisitConstantExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitConstantExpr ( const ConstantExpr * E )

Definition at line 700 of file ByteCodeExprGen.cpp.

References clang::ConstantExpr::getAPValueResult(), clang::FullExpr::getSubExpr(), clang::Expr::getType(), and clang::ConstantExpr::hasAPValueResult().

◆ VisitCXXBindTemporaryExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitCXXBindTemporaryExpr ( const CXXBindTemporaryExpr * E )

Definition at line 1303 of file ByteCodeExprGen.cpp.

References clang::CXXBindTemporaryExpr::getSubExpr().

◆ VisitCXXBoolLiteralExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitCXXBoolLiteralExpr ( const CXXBoolLiteralExpr * E )

Definition at line 2357 of file ByteCodeExprGen.cpp.

References clang::CXXBoolLiteralExpr::getValue().

◆ VisitCXXConstructExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitCXXConstructExpr ( const CXXConstructExpr * E )

Definition at line 1426 of file ByteCodeExprGen.cpp.

References clang::CXXConstructExpr::arguments(), clang::Func, clang::CXXConstructExpr::getConstructor(), clang::ConstantArrayType::getSize(), clang::Expr::getType(), clang::Type::isArrayType(), clang::Type::isRecordType(), clang::FunctionDecl::isTrivial(), and clang::CXXConstructExpr::requiresZeroInitialization().

◆ VisitCXXDefaultArgExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitCXXDefaultArgExpr ( const CXXDefaultArgExpr * E )

Definition at line 2344 of file ByteCodeExprGen.cpp.

References clang::CXXDefaultArgExpr::getExpr().

◆ VisitCXXDefaultInitExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitCXXDefaultInitExpr ( const CXXDefaultInitExpr * E )

Definition at line 2333 of file ByteCodeExprGen.cpp.

References clang::CXXDefaultInitExpr::getExpr(), and clang::Expr::getType().

◆ VisitCXXNoexceptExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitCXXNoexceptExpr ( const CXXNoexceptExpr * E )

Definition at line 1417 of file ByteCodeExprGen.cpp.

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

◆ VisitCXXNullPtrLiteralExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitCXXNullPtrLiteralExpr ( const CXXNullPtrLiteralExpr * E )

Definition at line 2366 of file ByteCodeExprGen.cpp.

◆ VisitCXXParenListInitExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitCXXParenListInitExpr ( const CXXParenListInitExpr * E )

Definition at line 679 of file ByteCodeExprGen.cpp.

References clang::CXXParenListInitExpr::getInitExprs(), clang::Expr::getType(), clang::Init, and clang::Type::isRecordType().

◆ VisitCXXReinterpretCastExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitCXXReinterpretCastExpr ( const CXXReinterpretCastExpr * E )

Definition at line 1408 of file ByteCodeExprGen.cpp.

References clang::CastExpr::getSubExpr().

◆ VisitCXXScalarValueInitExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitCXXScalarValueInitExpr ( const CXXScalarValueInitExpr * E )

Definition at line 1608 of file ByteCodeExprGen.cpp.

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

◆ VisitCXXThisExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitCXXThisExpr ( const CXXThisExpr * E )

Definition at line 2386 of file ByteCodeExprGen.cpp.

◆ VisitCXXThrowExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitCXXThrowExpr ( const CXXThrowExpr * E )

Definition at line 1400 of file ByteCodeExprGen.cpp.

References clang::CXXThrowExpr::getSubExpr().

◆ visitDecl()

template<class Emitter >

bool ByteCodeExprGen::visitDecl ( const VarDecl * VD )

overrideprotected

Toplevel visitDecl().

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

Definition at line 2111 of file ByteCodeExprGen.cpp.

References clang::ValueDecl::getType(), clang::Decl::isInvalidDecl(), P, and clang::interp::Context::shouldBeGloballyIndexed().

◆ VisitDeclRefExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitDeclRefExpr ( const DeclRefExpr * E )

Definition at line 2566 of file ByteCodeExprGen.cpp.

References clang::VarDecl::getAnyInitializer(), clang::DeclRefExpr::getDecl(), clang::ValueDecl::getType(), clang::interp::Descriptor::getType(), clang::VarDecl::hasGlobalStorage(), clang::QualType::isConstQualified(), clang::Type::isReferenceType(), P, and clang::interp::PT_Ptr.

◆ visitExpr()

template<class Emitter >

bool ByteCodeExprGen::visitExpr ( const Expr * E )

overrideprotected

Definition at line 2094 of file ByteCodeExprGen.cpp.

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

◆ VisitExprWithCleanups()

template<class Emitter >

bool ByteCodeExprGen::VisitExprWithCleanups ( const ExprWithCleanups * E )

Definition at line 1222 of file ByteCodeExprGen.cpp.

References clang::ExprWithCleanups::getNumObjects(), and clang::FullExpr::getSubExpr().

◆ VisitFloatCompoundAssignOperator()

template<class Emitter >

bool ByteCodeExprGen::VisitFloatCompoundAssignOperator ( const CompoundAssignOperator * E )

Definition at line 995 of file ByteCodeExprGen.cpp.

References clang::CompoundAssignOperator::getComputationLHSType(), clang::CompoundAssignOperator::getComputationResultType(), clang::BinaryOperator::getLHS(), clang::BinaryOperator::getOpcode(), clang::BinaryOperator::getRHS(), clang::Expr::getType(), clang::Type::isFloatingType(), and LT.

◆ VisitFloatingLiteral()

template<class Emitter >

bool ByteCodeExprGen::VisitFloatingLiteral ( const FloatingLiteral * E )

Definition at line 244 of file ByteCodeExprGen.cpp.

References clang::FloatingLiteral::getValue().

◆ visitGlobalInitializer()

template<class Emitter >

bool clang::interp::ByteCodeExprGen< Emitter >::visitGlobalInitializer	(	const Expr *	Init,
		unsigned	I
	)

inlineprotected

Visits an initializer for a global.

Definition at line 186 of file ByteCodeExprGen.h.

References clang::Init, and clang::interp::ByteCodeExprGen< Emitter >::visitInitializer().

◆ VisitGNUNullExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitGNUNullExpr ( const GNUNullExpr * E )

Definition at line 2375 of file ByteCodeExprGen.cpp.

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

◆ VisitImplicitValueInitExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitImplicitValueInitExpr ( const ImplicitValueInitExpr * E )

Definition at line 505 of file ByteCodeExprGen.cpp.

References clang::Type::getAsArrayTypeUnsafe(), clang::Expr::getType(), clang::Type::isArrayType(), clang::Type::isIncompleteArrayType(), and clang::Type::isRecordType().

◆ visitInitializer()

template<class Emitter >

bool ByteCodeExprGen::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 1669 of file ByteCodeExprGen.cpp.

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

Referenced by clang::interp::ByteCodeExprGen< Emitter >::visitGlobalInitializer(), clang::interp::ByteCodeExprGen< Emitter >::visitLocalInitializer(), and clang::interp::ByteCodeExprGen< Emitter >::visitThisInitializer().

◆ visitInitList()

template<class Emitter >

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

protected

Definition at line 559 of file ByteCodeExprGen.cpp.

References clang::interp::Record::getBase(), clang::interp::Record::getField(), clang::Expr::getType(), clang::Init, clang::interp::Record::Field::isBitField(), clang::Type::isRecordType(), and clang::interp::Record::Field::Offset.

◆ VisitInitListExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitInitListExpr ( const InitListExpr * E )

Definition at line 641 of file ByteCodeExprGen.cpp.

References clang::InitListExpr::getNumInits(), clang::Expr::getType(), clang::Init, clang::InitListExpr::inits(), clang::Type::isArrayType(), and clang::Type::isRecordType().

◆ VisitIntegerLiteral()

template<class Emitter >

bool ByteCodeExprGen::VisitIntegerLiteral ( const IntegerLiteral * E )

Definition at line 236 of file ByteCodeExprGen.cpp.

References clang::interp::LE().

◆ VisitLambdaExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitLambdaExpr ( const LambdaExpr * E )

Definition at line 1355 of file ByteCodeExprGen.cpp.

References clang::LambdaExpr::capture_init_begin(), clang::interp::Record::fields(), clang::LambdaExpr::getLambdaClass(), clang::Init, and P.

◆ visitLocalInitializer()

template<class Emitter >

bool clang::interp::ByteCodeExprGen< Emitter >::visitLocalInitializer	(	const Expr *	Init,
		unsigned	I
	)

inlineprotected

Visits an initializer for a local.

Definition at line 175 of file ByteCodeExprGen.h.

References clang::Init, and clang::interp::ByteCodeExprGen< Emitter >::visitInitializer().

◆ VisitLogicalBinOp()

template<class Emitter >

bool ByteCodeExprGen::VisitLogicalBinOp ( const BinaryOperator * E )

Definition at line 444 of file ByteCodeExprGen.cpp.

References clang::BinaryOperator::getLHS(), clang::BinaryOperator::getOpcode(), clang::BinaryOperator::getRHS(), clang::Expr::getType(), clang::BinaryOperator::isLogicalOp(), and clang::interp::PT_Bool.

◆ VisitMaterializeTemporaryExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitMaterializeTemporaryExpr ( const MaterializeTemporaryExpr * E )

Definition at line 1232 of file ByteCodeExprGen.cpp.

References clang::MaterializeTemporaryExpr::getLifetimeExtendedTemporaryDecl(), clang::MaterializeTemporaryExpr::getStorageDuration(), clang::MaterializeTemporaryExpr::getSubExpr(), IsStatic, P, and clang::SD_Static.

◆ VisitMemberExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitMemberExpr ( const MemberExpr * E )

Definition at line 793 of file ByteCodeExprGen.cpp.

References clang::interp::Record::Field::Decl, clang::MemberExpr::getBase(), clang::interp::Record::getField(), clang::MemberExpr::getMemberDecl(), clang::DeclContext::getParent(), clang::ValueDecl::getType(), clang::Type::isReferenceType(), clang::Member, clang::interp::Record::Field::Offset, and clang::interp::PT_Ptr.

◆ VisitOffsetOfExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitOffsetOfExpr ( const OffsetOfExpr * E )

Definition at line 1573 of file ByteCodeExprGen.cpp.

References clang::OffsetOfNode::Array, clang::OffsetOfExpr::getComponent(), clang::OffsetOfExpr::getIndexExpr(), clang::OffsetOfExpr::getNumComponents(), clang::Expr::getType(), Node, and clang::interp::PT_Sint64.

◆ VisitOpaqueValueExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitOpaqueValueExpr ( const OpaqueValueExpr * E )

Definition at line 863 of file ByteCodeExprGen.cpp.

References clang::OpaqueValueExpr::getSourceExpr(), and clang::interp::PT_Ptr.

◆ VisitParenExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitParenExpr ( const ParenExpr * E )

Definition at line 252 of file ByteCodeExprGen.cpp.

References clang::ParenExpr::getSubExpr().

◆ VisitPointerArithBinOp()

template<class Emitter >

bool ByteCodeExprGen::VisitPointerArithBinOp ( const BinaryOperator * E )

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

Definition at line 396 of file ByteCodeExprGen.cpp.

References clang::BinaryOperator::getLHS(), clang::BinaryOperator::getOpcode(), clang::BinaryOperator::getRHS(), clang::Expr::getType(), clang::Type::isIntegerType(), clang::Type::isPointerType(), and LT.

◆ VisitPointerCompoundAssignOperator()

template<class Emitter >

bool ByteCodeExprGen::VisitPointerCompoundAssignOperator ( const CompoundAssignOperator * E )

Definition at line 1069 of file ByteCodeExprGen.cpp.

References clang::BinaryOperator::getLHS(), clang::BinaryOperator::getOpcode(), clang::BinaryOperator::getRHS(), clang::Expr::getType(), LT, and clang::interp::PT_Ptr.

◆ VisitPredefinedExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitPredefinedExpr ( const PredefinedExpr * E )

Definition at line 1391 of file ByteCodeExprGen.cpp.

References clang::PredefinedExpr::getFunctionName().

◆ VisitSizeOfPackExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitSizeOfPackExpr ( const SizeOfPackExpr * E )

Definition at line 1619 of file ByteCodeExprGen.cpp.

References clang::SizeOfPackExpr::getPackLength().

◆ VisitSourceLocExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitSourceLocExpr ( const SourceLocExpr * E )

Definition at line 1517 of file ByteCodeExprGen.cpp.

References clang::interp::Record::Field::Decl, clang::SourceLocExpr::EvaluateInContext(), clang::interp::Record::getField(), clang::APValue::getInt(), clang::APValue::getLValueBase(), clang::APValue::getLValuePath(), clang::interp::Record::getNumFields(), clang::ValueDecl::getType(), clang::Expr::getType(), clang::APValue::isInt(), clang::Type::isIntegerType(), clang::APValue::isLValue(), clang::Type::isPointerType(), clang::interp::Record::Field::Offset, P, and V.

◆ VisitStringLiteral()

template<class Emitter >

bool ByteCodeExprGen::VisitStringLiteral ( const StringLiteral * E )

Definition at line 930 of file ByteCodeExprGen.cpp.

References clang::StringLiteral::getCharByteWidth(), clang::StringLiteral::getCodeUnit(), clang::StringLiteral::getLength(), clang::ConstantArrayType::getSize(), clang::Expr::getType(), and P.

◆ VisitSubstNonTypeTemplateParmExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitSubstNonTypeTemplateParmExpr ( const SubstNonTypeTemplateParmExpr * E )

Definition at line 694 of file ByteCodeExprGen.cpp.

References clang::SubstNonTypeTemplateParmExpr::getReplacement().

◆ visitThisInitializer()

template<class Emitter >

bool clang::interp::ByteCodeExprGen< Emitter >::visitThisInitializer ( const Expr * I )

inlineprotected

Visits a delegated initializer.

Definition at line 201 of file ByteCodeExprGen.h.

References clang::interp::ByteCodeExprGen< Emitter >::visitInitializer().

◆ VisitTypeTraitExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitTypeTraitExpr ( const TypeTraitExpr * E )

Definition at line 1348 of file ByteCodeExprGen.cpp.

References clang::TypeTraitExpr::getValue().

◆ VisitUnaryExprOrTypeTraitExpr()

template<class Emitter >

bool ByteCodeExprGen::VisitUnaryExprOrTypeTraitExpr ( const UnaryExprOrTypeTraitExpr * E )

Definition at line 733 of file ByteCodeExprGen.cpp.

References AlignOfType(), clang::UnaryExprOrTypeTraitExpr::getArgumentExpr(), clang::ASTContext::getDeclAlign(), clang::UnaryExprOrTypeTraitExpr::getKind(), clang::Expr::getType(), clang::UnaryExprOrTypeTraitExpr::getTypeOfArgument(), clang::ASTContext::getTypeSizeInChars(), clang::Expr::IgnoreParens(), clang::UnaryExprOrTypeTraitExpr::isArgumentType(), clang::Type::isConstantSizeType(), clang::Type::isDependentType(), clang::Type::isFunctionType(), clang::Type::isVoidType(), and clang::CharUnits::One().

◆ VisitUnaryOperator()

template<class Emitter >

bool ByteCodeExprGen::VisitUnaryOperator ( const UnaryOperator * E )

Definition at line 2397 of file ByteCodeExprGen.cpp.

References dereference(), clang::UnaryOperator::getOpcode(), clang::UnaryOperator::getSubExpr(), clang::Expr::getType(), clang::interp::PT_Bool, clang::interp::PT_Float, and clang::interp::PT_Ptr.

◆ visitVarDecl()

template<class Emitter >

bool ByteCodeExprGen::visitVarDecl ( const VarDecl * VD )

protected

Creates and initializes a variable from the given decl.

Definition at line 2149 of file ByteCodeExprGen.cpp.

References clang::VarDecl::getInit(), clang::ValueDecl::getType(), clang::Init, clang::QualType::isConstQualified(), clang::QualType::isNull(), P, and clang::interp::Context::shouldBeGloballyIndexed().

Friends And Related Function Documentation

◆ ArrayIndexScope< Emitter >

template<class Emitter >

friend class ArrayIndexScope< Emitter >

friend

Definition at line 219 of file ByteCodeExprGen.h.

◆ DeclScope< Emitter >

template<class Emitter >

friend class DeclScope< Emitter >

friend

Definition at line 219 of file ByteCodeExprGen.h.

◆ DestructorScope< Emitter >

template<class Emitter >

friend class DestructorScope< Emitter >

friend

Definition at line 219 of file ByteCodeExprGen.h.

◆ LocalScope< Emitter >

template<class Emitter >

friend class LocalScope< Emitter >

friend

Definition at line 219 of file ByteCodeExprGen.h.

◆ OptionScope< Emitter >

template<class Emitter >

friend class OptionScope< Emitter >

friend

Definition at line 219 of file ByteCodeExprGen.h.

◆ RecordScope< Emitter >

template<class Emitter >

friend class RecordScope< Emitter >

friend

Definition at line 219 of file ByteCodeExprGen.h.

◆ SourceLocScope< Emitter >

template<class Emitter >

friend class SourceLocScope< Emitter >

friend

Definition at line 219 of file ByteCodeExprGen.h.

◆ VariableScope< Emitter >

template<class Emitter >

friend class VariableScope< Emitter >

friend

Definition at line 219 of file ByteCodeExprGen.h.

Member Data Documentation

◆ ArrayIndex

template<class Emitter >

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

protected

Current argument index. Needed to emit ArrayInitIndexExpr.

Definition at line 303 of file ByteCodeExprGen.h.

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

◆ Ctx

template<class Emitter >

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

protected

Current compilation context.

Definition at line 50 of file ByteCodeExprGen.h.

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

◆ DiscardResult

template<class Emitter >

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

protected

Flag indicating if return value is to be discarded.

Definition at line 309 of file ByteCodeExprGen.h.

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

◆ GlobalDecl

template<class Emitter >

bool clang::interp::ByteCodeExprGen< Emitter >::GlobalDecl = false

protected

Flag indicating if we're initializing a global variable.

Definition at line 316 of file ByteCodeExprGen.h.

◆ Initializing

template<class Emitter >

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

protected

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

This is set in visitInitializer().

Definition at line 313 of file ByteCodeExprGen.h.

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

◆ Locals

template<class Emitter >

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

protected

Variable to storage mapping.

Definition at line 294 of file ByteCodeExprGen.h.

◆ OpaqueExprs

template<class Emitter >

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

protected

OpaqueValueExpr to location mapping.

Definition at line 297 of file ByteCodeExprGen.h.

◆ P

template<class Emitter >

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

protected

Program to link to.

Definition at line 52 of file ByteCodeExprGen.h.

◆ SourceLocDefaultExpr

template<class Emitter >

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

protected

DefaultInit- or DefaultArgExpr, needed for SourceLocExpr.

Definition at line 306 of file ByteCodeExprGen.h.

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

◆ VarScope

template<class Emitter >

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

protected

Current scope.

Definition at line 300 of file ByteCodeExprGen.h.

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

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

lib/AST/Interp/ByteCodeExprGen.h
lib/AST/Interp/ByteCodeExprGen.cpp

Public Member Functions

Protected Types

Protected Member Functions

Protected Attributes

Friends

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ AddrTy

◆ LabelTy

Constructor & Destructor Documentation

◆ ByteCodeExprGen()

Member Function Documentation

◆ allocateLocal()

◆ allocateLocalPrimitive()

◆ classify() [1/2]

◆ classify() [2/2]

◆ classifyPrim()

◆ delegate()

◆ discard()

◆ emitCleanup()

◆ getFunction()

◆ getRecord() [1/2]

◆ getRecord() [2/2]

◆ getRecordTy()

◆ visit()

◆ VisitAbstractConditionalOperator()

◆ visitAPValue()

◆ visitArrayElemInit()

◆ VisitArrayInitIndexExpr()

◆ VisitArrayInitLoopExpr()

◆ VisitArraySubscriptExpr()

◆ VisitBinaryOperator()

◆ visitBool()

◆ VisitBuiltinCallExpr()

◆ VisitCallExpr()

◆ VisitCastExpr()

◆ VisitCharacterLiteral()

◆ VisitCompoundAssignOperator()

◆ VisitCompoundLiteralExpr()

◆ VisitConstantExpr()

◆ VisitCXXBindTemporaryExpr()

◆ VisitCXXBoolLiteralExpr()

◆ VisitCXXConstructExpr()

◆ VisitCXXDefaultArgExpr()

◆ VisitCXXDefaultInitExpr()

◆ VisitCXXNoexceptExpr()

◆ VisitCXXNullPtrLiteralExpr()

◆ VisitCXXParenListInitExpr()

◆ VisitCXXReinterpretCastExpr()

◆ VisitCXXScalarValueInitExpr()

◆ VisitCXXThisExpr()

◆ VisitCXXThrowExpr()

◆ visitDecl()

◆ VisitDeclRefExpr()

◆ visitExpr()

◆ VisitExprWithCleanups()

◆ VisitFloatCompoundAssignOperator()

◆ VisitFloatingLiteral()

◆ visitGlobalInitializer()

◆ VisitGNUNullExpr()

◆ VisitImplicitValueInitExpr()

◆ visitInitializer()

◆ visitInitList()

◆ VisitInitListExpr()

◆ VisitIntegerLiteral()

◆ VisitLambdaExpr()

◆ visitLocalInitializer()

◆ VisitLogicalBinOp()

◆ VisitMaterializeTemporaryExpr()

◆ VisitMemberExpr()

◆ VisitOffsetOfExpr()

◆ VisitOpaqueValueExpr()

◆ VisitParenExpr()

◆ VisitPointerArithBinOp()

◆ VisitPointerCompoundAssignOperator()

◆ VisitPredefinedExpr()

◆ VisitSizeOfPackExpr()

◆ VisitSourceLocExpr()

◆ VisitStringLiteral()