#include "ByteCode/State.h"
#include "clang/Basic/BuiltinTraits.h"
#include <cstdint>
#include <optional>

Namespaces
namespace	llvm
	Diagnostic wrappers for TextAPI types for error reporting.
namespace	clang
	Top level wrappers for InstallAPI frontend operations.

Enumerations
enum class	GCCTypeClass { None = -1 , Void = 0 , Integer = 1 , Enum = 3 , Bool = 4 , Pointer = 5 , PointerToDataMember = 7 , RealFloat = 8 , Complex = 9 , PointerToMemberFunction = 12 , ClassOrStruct = 12 , Union = 13 , BitInt = 18 , Vector = 19 }
	Values returned by __builtin_classify_type, chosen to match the values produced by GCC's builtin. More...

Functions
CharUnits	clang::GetAlignOfDynamicAlloc (const ASTContext &Ctx, QualType AllocType, DynAllocKind AllocKind)
GCCTypeClass	EvaluateBuiltinClassifyType (QualType T, const LangOptions &LangOpts)
	EvaluateBuiltinClassifyType - Evaluate __builtin_classify_type the same way as GCC.
void	HandleComplexComplexMul (llvm::APFloat A, llvm::APFloat B, llvm::APFloat C, llvm::APFloat D, llvm::APFloat &ResR, llvm::APFloat &ResI)
void	HandleComplexComplexDiv (llvm::APFloat A, llvm::APFloat B, llvm::APFloat C, llvm::APFloat D, llvm::APFloat &ResR, llvm::APFloat &ResI)
CharUnits	GetAlignOfExpr (const ASTContext &Ctx, const Expr *E, UnaryExprOrTypeTrait ExprKind)
unsigned	ConvertBuiltinIDToX86BuiltinID (const ASTContext &Ctx, unsigned BuiltinID)
	Convert a builtin ID to the canonical x86 builtin ID the constant evaluators dispatch on in their x86 target-specific cases.
unsigned	ConvertBuiltinIDToX86BuiltinID (const ASTContext &Ctx, const CallExpr *E)
uint8_t	GFNIMultiplicativeInverse (uint8_t Byte)
uint8_t	GFNIMul (uint8_t AByte, uint8_t BByte)
uint8_t	GFNIAffine (uint8_t XByte, const llvm::APInt &AQword, const llvm::APSInt &Imm, bool Inverse=false)
llvm::APSInt	NormalizeRotateAmount (const llvm::APSInt &Value, const llvm::APSInt &Amount)
std::optional< llvm::APFloat >	EvalScalarMinMaxFp (const llvm::APFloat &A, const llvm::APFloat &B, std::optional< llvm::APSInt > RoundingMode, bool IsMin)
const Expr *	ignorePointerCastsAndParens (const Expr *E)
	A more selective version of E->IgnoreParenCasts for tryEvaluateBuiltinObjectSize. This ignores some casts/parens that serve only to change the type of E. Ex. For E = (short)((char)(&foo)), returns &foo
bool	isReadByLvalueToRvalueConversion (const CXXRecordDecl *RD)
	Determine whether a type would actually be read by an lvalue-to-rvalue conversion.
bool	isReadByLvalueToRvalueConversion (QualType T)
bool	isForManglingOnly (ConstantExprKind Kind)
	Determines whether the given kind of constant expression is only ever used for name mangling.
bool	isTemplateArgument (ConstantExprKind Kind)
bool	isOpaqueConstantCall (const CallExpr *E)
	Should this call expression be treated as forming an opaque constant?
bool	isGlobalLValue (const ValueDecl D, const Expr E)

Enumeration Type Documentation

◆ GCCTypeClass

enum class GCCTypeClass

strong

Values returned by __builtin_classify_type, chosen to match the values produced by GCC's builtin.

Enumerator
None
Void
Integer
Enum
Bool
Pointer
PointerToDataMember
RealFloat
Complex
PointerToMemberFunction
ClassOrStruct
Union
BitInt
Vector

Definition at line 42 of file ExprConstShared.h.

Function Documentation

◆ ConvertBuiltinIDToX86BuiltinID() [1/2]

unsigned ConvertBuiltinIDToX86BuiltinID	(	const ASTContext &	Ctx,
		const CallExpr *	E )

Definition at line 10611 of file ExprConstant.cpp.

References ConvertBuiltinIDToX86BuiltinID(), and clang::CallExpr::getBuiltinCallee().

◆ ConvertBuiltinIDToX86BuiltinID() [2/2]

unsigned ConvertBuiltinIDToX86BuiltinID	(	const ASTContext &	Ctx,
		unsigned	BuiltinID )

Convert a builtin ID to the canonical x86 builtin ID the constant evaluators dispatch on in their x86 target-specific cases.

Target-independent builtins are returned unchanged. An x86 target builtin (including an auxiliary-target x86 builtin, whose ID is shifted past the primary target's builtins) is translated to its canonical X86::BI* value. Any other target's builtin returns 0: the constant evaluators only fold x86 target builtins, and target builtin IDs of different targets overlap (each numbers from Builtin::FirstTSBuiltin), so an unrelated target's ID must not be mistaken for an x86 one.

The ID-based overload performs no work beyond a single comparison for target-independent builtins, so it is suitable for hot paths (e.g. the bytecode interpreter's builtin dispatch) where re-deriving the ID from the call expression would be wasteful.

Definition at line 10577 of file ExprConstant.cpp.

References clang::ASTContext::BuiltinInfo, clang::Builtin::FirstTSBuiltin, clang::Builtin::Context::getAuxBuiltinID(), clang::ASTContext::getAuxTargetInfo(), clang::ASTContext::getTargetInfo(), clang::TargetInfo::getTriple(), and clang::Builtin::Context::isAuxBuiltinID().

Referenced by ConvertBuiltinIDToX86BuiltinID(), and clang::interp::Compiler< Emitter >::VisitBuiltinCallExpr().

◆ EvalScalarMinMaxFp()

std::optional< llvm::APFloat > EvalScalarMinMaxFp	(	const llvm::APFloat &	A,
		const llvm::APFloat &	B,
		std::optional< llvm::APSInt >	RoundingMode,
		bool	IsMin )

References clang::T.

◆ EvaluateBuiltinClassifyType()

GCCTypeClass EvaluateBuiltinClassifyType	(	QualType	T,
		const LangOptions &	LangOpts )

EvaluateBuiltinClassifyType - Evaluate __builtin_classify_type the same way as GCC.

Definition at line 16450 of file ExprConstant.cpp.

References BitInt, Bool, clang::cast(), clang::Type::castAs(), ClassOrStruct, Complex, Enum, EvaluateBuiltinClassifyType(), getKind(), clang::Type::getTypeClass(), clang::AtomicType::getValueType(), Integer, clang::Type::isMemberDataPointerType(), clang::Type::isUnionType(), None, Pointer, PointerToDataMember, PointerToMemberFunction, clang::T, Union, Vector, and Void.

Referenced by EvaluateBuiltinClassifyType(), EvaluateBuiltinClassifyType(), and clang::interp::interp__builtin_classify_type().

◆ GetAlignOfExpr()

CharUnits GetAlignOfExpr	(	const ASTContext &	Ctx,
		const Expr *	E,
		UnaryExprOrTypeTrait	ExprKind )

Definition at line 10616 of file ExprConstant.cpp.

References GetAlignOfType(), clang::ASTContext::getDeclAlign(), clang::Expr::getType(), and clang::Expr::IgnoreParens().

Referenced by getBaseAlignment(), and clang::interp::interp__builtin_assume_aligned().

◆ GFNIAffine()

uint8_t GFNIAffine	(	uint8_t	XByte,
		const llvm::APInt &	AQword,
		const llvm::APSInt &	Imm,
		bool	Inverse = false )

References uint8_t.

◆ GFNIMul()

uint8_t GFNIMul	(	uint8_t	AByte,
		uint8_t	BByte )

Definition at line 21306 of file ExprConstant.cpp.

References int32_t, uint16_t, and uint8_t.

Referenced by clang::interp::interp__builtin_ia32_gfni_mul().

◆ GFNIMultiplicativeInverse()

uint8_t GFNIMultiplicativeInverse ( uint8_t Byte )

Definition at line 21248 of file ExprConstant.cpp.

References uint8_t.

Referenced by GFNIAffine().

◆ HandleComplexComplexDiv()

void HandleComplexComplexDiv	(	llvm::APFloat	A,
		llvm::APFloat	B,
		llvm::APFloat	C,
		llvm::APFloat	D,
		llvm::APFloat &	ResR,
		llvm::APFloat &	ResI )

References clang::C, and uint8_t.

◆ HandleComplexComplexMul()

void HandleComplexComplexMul	(	llvm::APFloat	A,
		llvm::APFloat	B,
		llvm::APFloat	C,
		llvm::APFloat	D,
		llvm::APFloat &	ResR,
		llvm::APFloat &	ResI )

References clang::C.

◆ ignorePointerCastsAndParens()

const Expr * ignorePointerCastsAndParens ( const Expr * E )

A more selective version of E->IgnoreParenCasts for tryEvaluateBuiltinObjectSize. This ignores some casts/parens that serve only to change the type of E. Ex. For E = (short*)((char*)(&foo)), returns &foo

Always returns an RValue with a pointer representation.

Definition at line 16720 of file ExprConstant.cpp.

References clang::Expr::getType(), clang::Type::hasPointerRepresentation(), clang::Expr::IgnoreParens(), ignorePointerCastsAndParens(), and clang::Expr::isPRValue().

Referenced by ignorePointerCastsAndParens(), tryEvaluateBuiltinObjectSize(), and clang::interp::Compiler< Emitter >::VisitBuiltinCallExpr().

◆ isForManglingOnly()

bool isForManglingOnly ( ConstantExprKind Kind )

inline

Determines whether the given kind of constant expression is only ever used for name mangling.

If so, it's permitted to reference things that we can't generate code for (in particular, dllimported functions).

Definition at line 125 of file ExprConstShared.h.

Referenced by clang::interp::checkFunctionPtr(), CheckLValueConstantExpression(), clang::interp::EvaluationResult::checkMemberPointer(), CheckMemberPointerConstantExpression(), and clang::interp::lval().

◆ isGlobalLValue()

bool isGlobalLValue	(	const ValueDecl *	D,
		const Expr *	E )

Definition at line 2018 of file ExprConstant.cpp.

References clang::cast(), clang::Stmt::getStmtClass(), clang::isa(), clang::CompoundLiteralExpr::isFileScope(), clang::Expr::isLValue(), isOpaqueConstantCall(), and clang::SD_Static.

Referenced by IsGlobalLValue().

◆ isOpaqueConstantCall()

bool isOpaqueConstantCall ( const CallExpr * E )

inline

Should this call expression be treated as forming an opaque constant?

Definition at line 156 of file ExprConstShared.h.

References clang::CallExpr::getBuiltinCallee().

Referenced by isGlobalLValue(), and IsOpaqueConstantCall().

◆ isReadByLvalueToRvalueConversion() [1/2]

bool isReadByLvalueToRvalueConversion ( const CXXRecordDecl * RD )

Determine whether a type would actually be read by an lvalue-to-rvalue conversion.

If it's of class type, we may assume that the copy operation is trivial. Note that this is never true for a union type with fields (because the copy always "reads" the active member) and always true for a non-class type.

Definition at line 3774 of file ExprConstant.cpp.

References clang::CXXRecordDecl::bases(), clang::RecordDecl::field_empty(), clang::RecordDecl::fields(), clang::CXXRecordDecl::isEmpty(), isReadByLvalueToRvalueConversion(), and clang::TagDecl::isUnion().

Referenced by diagnoseMutableFields(), HandleConstructorCall(), HandleFunctionCall(), isReadByLvalueToRvalueConversion(), isReadByLvalueToRvalueConversion(), and isTrivialMemoryOperation().

◆ isReadByLvalueToRvalueConversion() [2/2]

bool isReadByLvalueToRvalueConversion ( QualType T )

Definition at line 3770 of file ExprConstant.cpp.

References isReadByLvalueToRvalueConversion(), and clang::T.

◆ isTemplateArgument()

bool isTemplateArgument ( ConstantExprKind Kind )

inline

Definition at line 141 of file ExprConstShared.h.

Referenced by clang::interp::EvaluationResult::checkLValue(), and CheckLValueConstantExpression().

◆ NormalizeRotateAmount()

llvm::APSInt NormalizeRotateAmount	(	const llvm::APSInt &	Value,
		const llvm::APSInt &	Amount )

Definition at line 21428 of file ExprConstant.cpp.

Referenced by clang::interp::InterpretBuiltin().

Namespaces

Enumerations

Functions

Enumeration Type Documentation

◆ GCCTypeClass

Function Documentation

◆ ConvertBuiltinIDToX86BuiltinID() [1/2]

◆ ConvertBuiltinIDToX86BuiltinID() [2/2]

◆ EvalScalarMinMaxFp()

◆ EvaluateBuiltinClassifyType()

◆ GetAlignOfExpr()

◆ GFNIAffine()

◆ GFNIMul()

◆ GFNIMultiplicativeInverse()

◆ HandleComplexComplexDiv()

◆ HandleComplexComplexMul()

◆ ignorePointerCastsAndParens()

◆ isForManglingOnly()

◆ isGlobalLValue()

◆ isOpaqueConstantCall()

◆ isReadByLvalueToRvalueConversion() [1/2]

◆ isReadByLvalueToRvalueConversion() [2/2]

◆ isTemplateArgument()

◆ NormalizeRotateAmount()