Holds information about both target-independent and target-specific builtins, allowing easy queries by clients. More...

#include "clang/Basic/Builtins.h"

Public Member Functions
	Context ()
void	InitializeTarget (const TargetInfo &Target, const TargetInfo *AuxTarget)
	Perform target-specific initialization.
void	initializeBuiltins (IdentifierTable &Table, const LangOptions &LangOpts)
	Mark the identifiers for all the builtins with their appropriate builtin ID # and mark any non-portable builtin identifiers as such.
std::string	getName (unsigned ID) const
	Return the identifier name for the specified builtin, e.g.
std::string	getQuotedName (unsigned ID) const
	Return the identifier name for the specified builtin inside single quotes for a diagnostic, e.g.
const char *	getTypeString (unsigned ID) const
	Get the type descriptor string for the specified builtin.
const char *	getAttributesString (unsigned ID) const
	Get the attributes descriptor string for the specified builtin.
bool	isTSBuiltin (unsigned ID) const
	Return true if this function is a target-specific builtin.
bool	isPure (unsigned ID) const
	Return true if this function has no side effects.
bool	isConst (unsigned ID) const
	Return true if this function has no side effects and doesn't read memory.
bool	isNoThrow (unsigned ID) const
	Return true if we know this builtin never throws an exception.
bool	isNoReturn (unsigned ID) const
	Return true if we know this builtin never returns.
bool	isReturnsTwice (unsigned ID) const
	Return true if we know this builtin can return twice.
bool	isUnevaluated (unsigned ID) const
	Returns true if this builtin does not perform the side-effects of its arguments.
bool	isLibFunction (unsigned ID) const
	Return true if this is a builtin for a libc/libm function, with a "__builtin_" prefix (e.g.
bool	isPredefinedLibFunction (unsigned ID) const
	Determines whether this builtin is a predefined libc/libm function, such as "malloc", where we know the signature a priori.
bool	isHeaderDependentFunction (unsigned ID) const
	Returns true if this builtin requires appropriate header in other compilers.
bool	isPredefinedRuntimeFunction (unsigned ID) const
	Determines whether this builtin is a predefined compiler-rt/libgcc function, such as "__clear_cache", where we know the signature a priori.
bool	isInStdNamespace (unsigned ID) const
	Determines whether this builtin is a C++ standard library function that lives in (possibly-versioned) namespace std, possibly a template specialization, where the signature is determined by the standard library declaration.
bool	isDirectlyAddressable (unsigned ID) const
	Determines whether this builtin can have its address taken with no special action required.
bool	hasCustomTypechecking (unsigned ID) const
	Determines whether this builtin has custom typechecking.
bool	allowTypeMismatch (unsigned ID) const
	Determines whether a declaration of this builtin should be recognized even if the type doesn't match the specified signature.
bool	hasPtrArgsOrResult (unsigned ID) const
	Determines whether this builtin has a result or any arguments which are pointer types.
bool	hasReferenceArgsOrResult (unsigned ID) const
	Return true if this builtin has a result or any arguments which are reference types.
const char *	getHeaderName (unsigned ID) const
	If this is a library function that comes from a specific header, retrieve that header name.
bool	isPrintfLike (unsigned ID, unsigned &FormatIdx, bool &HasVAListArg)
	Determine whether this builtin is like printf in its formatting rules and, if so, set the index to the format string argument and whether this function as a va_list argument.
bool	isScanfLike (unsigned ID, unsigned &FormatIdx, bool &HasVAListArg)
	Determine whether this builtin is like scanf in its formatting rules and, if so, set the index to the format string argument and whether this function as a va_list argument.
bool	performsCallback (unsigned ID, llvm::SmallVectorImpl< int > &Encoding) const
	Determine whether this builtin has callback behavior (see llvm::AbstractCallSites for details).
bool	isNonNull (unsigned ID, llvm::SmallVectorImpl< int > &Indxs, Info::NonNullMode &Mode) const
	Return true if this builtin has parameters that must be non-null.
bool	isConstWithoutErrnoAndExceptions (unsigned ID) const
	Return true if this function has no side effects and doesn't read memory, except for possibly errno or raising FP exceptions.
bool	isConstWithoutExceptions (unsigned ID) const
bool	shouldGenerateFPMathIntrinsic (unsigned BuiltinID, llvm::Triple Trip, std::optional< bool > ErrnoOverwritten, bool MathErrnoEnabled, bool HasOptNoneAttr, bool IsOptimizationEnabled) const
	Determine whether we can generate LLVM intrinsics for the given builtin ID, based on whether it has side effects such as setting errno.
const char *	getRequiredFeatures (unsigned ID) const
unsigned	getRequiredVectorWidth (unsigned ID) const
bool	isAuxBuiltinID (unsigned ID) const
	Return true if the builtin ID belongs exclusively to the AuxTarget, and false if it belongs to both primary and aux target, or neither.
unsigned	getAuxBuiltinID (unsigned ID) const
	Return real builtin ID (i.e.
bool	canBeRedeclared (unsigned ID) const
	Returns true if this is a builtin that can be redeclared.
bool	isConstantEvaluated (unsigned ID) const
	Return true if this function can be constant evaluated by Clang frontend.
bool	isImmediate (unsigned ID) const
	Returns true if this is an immediate (consteval) function.

Static Public Member Functions
static bool	isBuiltinFunc (llvm::StringRef Name)
	Returns true if this is a libc/libm function without the '__builtin_' prefix.

Detailed Description

Holds information about both target-independent and target-specific builtins, allowing easy queries by clients.

Builtins from an optional auxiliary target are stored in AuxTSRecords. Their IDs are shifted up by TSRecords.size() and need to be translated back with getAuxBuiltinID() before use.

Definition at line 235 of file Builtins.h.

Constructor & Destructor Documentation

◆ Context()

Builtin::Context::Context ( )

Definition at line 107 of file Builtins.cpp.

References BuiltinInfos, and BuiltinStrings.

Member Function Documentation

◆ allowTypeMismatch()

bool clang::Builtin::Context::allowTypeMismatch ( unsigned ID ) const

inline

Determines whether a declaration of this builtin should be recognized even if the type doesn't match the specified signature.

Definition at line 362 of file Builtins.h.

References getAttributesString(), and hasCustomTypechecking().

◆ canBeRedeclared()

bool Builtin::Context::canBeRedeclared ( unsigned ID ) const

Returns true if this is a builtin that can be redeclared.

Returns true for non-builtins.

Definition at line 443 of file Builtins.cpp.

References hasCustomTypechecking(), hasReferenceArgsOrResult(), isInStdNamespace(), and clang::Builtin::NotBuiltin.

◆ getAttributesString()

const char * Builtin::Context::getAttributesString ( unsigned ID ) const

Get the attributes descriptor string for the specified builtin.

Definition at line 97 of file Builtins.cpp.

Referenced by allowTypeMismatch(), getRequiredVectorWidth(), hasCustomTypechecking(), isConst(), isConstantEvaluated(), isConstWithoutErrnoAndExceptions(), isConstWithoutExceptions(), isHeaderDependentFunction(), isImmediate(), isInStdNamespace(), isLibFunction(), isNonNull(), isNoReturn(), isNoThrow(), isPredefinedLibFunction(), isPredefinedRuntimeFunction(), isPure(), isReturnsTwice(), isUnevaluated(), and performsCallback().

◆ getAuxBuiltinID()

unsigned clang::Builtin::Context::getAuxBuiltinID ( unsigned ID ) const

inline

Return real builtin ID (i.e.

ID it would have during compilation for AuxTarget).

Definition at line 448 of file Builtins.h.

Referenced by clang::SemaARM::SmeAliasValid(), and clang::SemaARM::SveAliasValid().

◆ getHeaderName()

const char * clang::Builtin::Context::getHeaderName ( unsigned ID ) const

inline

If this is a library function that comes from a specific header, retrieve that header name.

Definition at line 382 of file Builtins.h.

Referenced by emitReplacement(), and getHeaderName().

◆ getName()

std::string Builtin::Context::getName ( unsigned ID ) const

Return the identifier name for the specified builtin, e.g.

"__builtin_abs".

Definition at line 80 of file Builtins.cpp.

Referenced by clang::CodeGen::CodeGenFunction::EmitBuiltinExpr(), emitReplacement(), errorBuiltinNYI(), and clang::ento::CheckerContext::isCLibraryFunction().

◆ getQuotedName()

std::string Builtin::Context::getQuotedName ( unsigned ID ) const

Return the identifier name for the specified builtin inside single quotes for a diagnostic, e.g.

"'__builtin_abs'".

Definition at line 85 of file Builtins.cpp.

Referenced by BuiltinMaskedGather(), BuiltinMaskedScatter(), clang::interp::diagnoseNonConstexprBuiltin(), clang::interp::interp__builtin_memchr(), and clang::interp::interp__builtin_memcmp().

◆ getRequiredFeatures()

const char * Builtin::Context::getRequiredFeatures ( unsigned ID ) const

Definition at line 102 of file Builtins.cpp.

Referenced by clang::checkArmStreamingBuiltin().

◆ getRequiredVectorWidth()

unsigned Builtin::Context::getRequiredVectorWidth ( unsigned ID ) const

Definition at line 337 of file Builtins.cpp.

References getAttributesString().

◆ getTypeString()

const char * Builtin::Context::getTypeString ( unsigned ID ) const

Get the type descriptor string for the specified builtin.

Definition at line 92 of file Builtins.cpp.

Referenced by hasPtrArgsOrResult(), and hasReferenceArgsOrResult().

◆ hasCustomTypechecking()

bool clang::Builtin::Context::hasCustomTypechecking ( unsigned ID ) const

inline

Determines whether this builtin has custom typechecking.

Definition at line 356 of file Builtins.h.

References getAttributesString().

Referenced by allowTypeMismatch(), and canBeRedeclared().

◆ hasPtrArgsOrResult()

bool clang::Builtin::Context::hasPtrArgsOrResult ( unsigned ID ) const

inline

Determines whether this builtin has a result or any arguments which are pointer types.

Definition at line 369 of file Builtins.h.

References getTypeString().

◆ hasReferenceArgsOrResult()

bool clang::Builtin::Context::hasReferenceArgsOrResult ( unsigned ID ) const

inline

Return true if this builtin has a result or any arguments which are reference types.

Definition at line 375 of file Builtins.h.

References getTypeString().

Referenced by canBeRedeclared().

◆ initializeBuiltins()

void Builtin::Context::initializeBuiltins	(	IdentifierTable &	Table,
		const LangOptions &	LangOpts )

Mark the identifiers for all the builtins with their appropriate builtin ID # and mark any non-portable builtin identifiers as such.

initializeBuiltins - Mark the identifiers for all the builtins with their appropriate builtin ID # and mark any non-portable builtin identifiers as such.

Definition at line 293 of file Builtins.cpp.

References builtinIsSupported(), clang::IdentifierTable::end(), clang::IdentifierTable::find(), clang::Builtin::FirstTSBuiltin, clang::IdentifierTable::get(), isInStdNamespace(), isPredefinedLibFunction(), clang::LangOptions::NoBuiltinFuncs, clang::Builtin::NotBuiltin, and clang::IdentifierInfo::setBuiltinID().

Referenced by clang::FrontendAction::BeginSourceFile(), and clang::createChainedIncludesSource().

◆ InitializeTarget()

void Builtin::Context::InitializeTarget	(	const TargetInfo &	Target,
		const TargetInfo *	AuxTarget )

Perform target-specific initialization.

Parameters

AuxTarget Target info to incorporate builtins from. May be nullptr.

Definition at line 109 of file Builtins.cpp.

References clang::TargetInfo::getTargetBuiltins(), and clang::Target.

◆ isAuxBuiltinID()

bool clang::Builtin::Context::isAuxBuiltinID ( unsigned ID ) const

inline

Return true if the builtin ID belongs exclusively to the AuxTarget, and false if it belongs to both primary and aux target, or neither.

Definition at line 442 of file Builtins.h.

References clang::Builtin::FirstTSBuiltin.

◆ isBuiltinFunc()

bool Builtin::Context::isBuiltinFunc ( llvm::StringRef Name )

static

Returns true if this is a libc/libm function without the '__builtin_' prefix.

Definition at line 123 of file Builtins.cpp.

References BuiltinInfos, and BuiltinStrings.

Referenced by getAllNoBuiltinFuncValues(), and handleNoBuiltinAttr().

◆ isConst()

bool clang::Builtin::Context::isConst ( unsigned ID ) const

inline

Return true if this function has no side effects and doesn't read memory.

Definition at line 282 of file Builtins.h.

References getAttributesString().

Referenced by shouldGenerateFPMathIntrinsic().

◆ isConstantEvaluated()

bool clang::Builtin::Context::isConstantEvaluated ( unsigned ID ) const

inline

Return true if this function can be constant evaluated by Clang frontend.

Definition at line 459 of file Builtins.h.

References getAttributesString().

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

◆ isConstWithoutErrnoAndExceptions()

bool clang::Builtin::Context::isConstWithoutErrnoAndExceptions ( unsigned ID ) const

inline

Return true if this function has no side effects and doesn't read memory, except for possibly errno or raising FP exceptions.

Such functions can be const when the MathErrno lang option and FP exceptions are disabled.

Definition at line 412 of file Builtins.h.

References getAttributesString().

Referenced by emitLibraryCall(), and shouldGenerateFPMathIntrinsic().

◆ isConstWithoutExceptions()

bool clang::Builtin::Context::isConstWithoutExceptions ( unsigned ID ) const

inline

Definition at line 416 of file Builtins.h.

References getAttributesString().

Referenced by shouldGenerateFPMathIntrinsic().

◆ isDirectlyAddressable()

bool clang::Builtin::Context::isDirectlyAddressable ( unsigned ID ) const

inline

Determines whether this builtin can have its address taken with no special action required.

Definition at line 348 of file Builtins.h.

References isInStdNamespace(), and isPredefinedLibFunction().

◆ isHeaderDependentFunction()

bool clang::Builtin::Context::isHeaderDependentFunction ( unsigned ID ) const

inline

Returns true if this builtin requires appropriate header in other compilers.

In Clang it will work even without including it, but we can emit a warning about missing header.

Definition at line 327 of file Builtins.h.

References getAttributesString().

◆ isImmediate()

bool clang::Builtin::Context::isImmediate ( unsigned ID ) const

inline

Returns true if this is an immediate (consteval) function.

Definition at line 464 of file Builtins.h.

References getAttributesString().

◆ isInStdNamespace()

bool clang::Builtin::Context::isInStdNamespace ( unsigned ID ) const

inline

Determines whether this builtin is a C++ standard library function that lives in (possibly-versioned) namespace std, possibly a template specialization, where the signature is determined by the standard library declaration.

Definition at line 342 of file Builtins.h.

References getAttributesString().

Referenced by canBeRedeclared(), initializeBuiltins(), and isDirectlyAddressable().

◆ isLibFunction()

bool clang::Builtin::Context::isLibFunction ( unsigned ID ) const

inline

Return true if this is a builtin for a libc/libm function, with a "__builtin_" prefix (e.g.

__builtin_abs).

Definition at line 309 of file Builtins.h.

References getAttributesString().

Referenced by errorBuiltinNYI().

◆ isNonNull()

bool Builtin::Context::isNonNull	(	unsigned	ID,
		llvm::SmallVectorImpl< int > &	Indxs,
		Info::NonNullMode &	Mode ) const

Return true if this builtin has parameters that must be non-null.

The parameter indices are appended into 'Indxs'.

Definition at line 406 of file Builtins.cpp.

References getAttributesString(), clang::Builtin::Info::NonOptimizing, clang::Builtin::Info::Optimizing, and parseCommaSeparatedIndices().

◆ isNoReturn()

bool clang::Builtin::Context::isNoReturn ( unsigned ID ) const

inline

Return true if we know this builtin never returns.

Definition at line 292 of file Builtins.h.

References getAttributesString().

◆ isNoThrow()

bool clang::Builtin::Context::isNoThrow ( unsigned ID ) const

inline

Return true if we know this builtin never throws an exception.

Definition at line 287 of file Builtins.h.

References getAttributesString().

◆ isPredefinedLibFunction()

bool clang::Builtin::Context::isPredefinedLibFunction ( unsigned ID ) const

inline

Determines whether this builtin is a predefined libc/libm function, such as "malloc", where we know the signature a priori.

In C, such functions behave as if they are predeclared, possibly with a warning on first use. In Objective-C and C++, they do not, but they are recognized as builtins once we see a declaration.

Definition at line 320 of file Builtins.h.

References getAttributesString().

Referenced by EmitDirectCallee(), initializeBuiltins(), and isDirectlyAddressable().

◆ isPredefinedRuntimeFunction()

bool clang::Builtin::Context::isPredefinedRuntimeFunction ( unsigned ID ) const

inline

Determines whether this builtin is a predefined compiler-rt/libgcc function, such as "__clear_cache", where we know the signature a priori.

Definition at line 334 of file Builtins.h.

References getAttributesString().

◆ isPrintfLike()

bool Builtin::Context::isPrintfLike	(	unsigned	ID,
		unsigned &	FormatIdx,
		bool &	HasVAListArg )

Determine whether this builtin is like printf in its formatting rules and, if so, set the index to the format string argument and whether this function as a va_list argument.

Definition at line 376 of file Builtins.cpp.

◆ isPure()

bool clang::Builtin::Context::isPure ( unsigned ID ) const

inline

Return true if this function has no side effects.

Definition at line 276 of file Builtins.h.

References getAttributesString().

◆ isReturnsTwice()

bool clang::Builtin::Context::isReturnsTwice ( unsigned ID ) const

inline

Return true if we know this builtin can return twice.

Definition at line 297 of file Builtins.h.

References getAttributesString().

◆ isScanfLike()

bool Builtin::Context::isScanfLike	(	unsigned	ID,
		unsigned &	FormatIdx,
		bool &	HasVAListArg )

Determine whether this builtin is like scanf in its formatting rules and, if so, set the index to the format string argument and whether this function as a va_list argument.

Definition at line 381 of file Builtins.cpp.

◆ isTSBuiltin()

bool clang::Builtin::Context::isTSBuiltin ( unsigned ID ) const

inline

Return true if this function is a target-specific builtin.

Definition at line 271 of file Builtins.h.

References clang::Builtin::FirstTSBuiltin.

◆ isUnevaluated()

bool clang::Builtin::Context::isUnevaluated ( unsigned ID ) const

inline

Returns true if this builtin does not perform the side-effects of its arguments.

Definition at line 303 of file Builtins.h.

References getAttributesString().

Referenced by clang::CallExpr::isUnevaluatedBuiltinCall().

◆ performsCallback()

bool Builtin::Context::performsCallback	(	unsigned	ID,
		llvm::SmallVectorImpl< int > &	Encoding ) const

Determine whether this builtin has callback behavior (see llvm::AbstractCallSites for details).

If so, add the index to the callback callee argument and the callback payload arguments.

Definition at line 431 of file Builtins.cpp.

References getAttributesString(), and parseCommaSeparatedIndices().

◆ shouldGenerateFPMathIntrinsic()

bool Builtin::Context::shouldGenerateFPMathIntrinsic	(	unsigned	BuiltinID,
		llvm::Triple	Trip,
		std::optional< bool >	ErrnoOverwritten,
		bool	MathErrnoEnabled,
		bool	HasOptNoneAttr,
		bool	IsOptimizationEnabled ) const

Determine whether we can generate LLVM intrinsics for the given builtin ID, based on whether it has side effects such as setting errno.

Parameters

BuiltinID	The builtin ID to check.
Trip	The target triple.
ErrnoOverwritten	Indicates whether the errno setting behavior has been overwritten via '#pragma float_control(precise, on/off)'.
MathErrnoEnabled	Indicates whether math-errno is enabled on command line.
HasOptNoneAttr	True iff 'attribute__((optnone))' is used.
IsOptimizationEnabled	True iff the optimization level is not 'O0'.

Definition at line 225 of file Builtins.cpp.

References isBuiltinConstForTriple(), isConst(), isConstWithoutErrnoAndExceptions(), and isConstWithoutExceptions().

Referenced by clang::CodeGen::CodeGenFunction::EmitBuiltinExpr().

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

include/clang/Basic/Builtins.h
lib/Basic/Builtins.cpp

Public Member Functions

Static Public Member Functions

Detailed Description

Constructor & Destructor Documentation

◆ Context()

Member Function Documentation

◆ allowTypeMismatch()

◆ canBeRedeclared()

◆ getAttributesString()

◆ getAuxBuiltinID()

◆ getHeaderName()

◆ getName()

◆ getQuotedName()

◆ getRequiredFeatures()

◆ getRequiredVectorWidth()

◆ getTypeString()

◆ hasCustomTypechecking()

◆ hasPtrArgsOrResult()

◆ hasReferenceArgsOrResult()

◆ initializeBuiltins()

◆ InitializeTarget()

◆ isAuxBuiltinID()

◆ isBuiltinFunc()

◆ isConst()

◆ isConstantEvaluated()

◆ isConstWithoutErrnoAndExceptions()

◆ isConstWithoutExceptions()

◆ isDirectlyAddressable()

◆ isHeaderDependentFunction()

◆ isImmediate()

◆ isInStdNamespace()

◆ isLibFunction()

◆ isNonNull()

◆ isNoReturn()

◆ isNoThrow()

◆ isPredefinedLibFunction()

◆ isPredefinedRuntimeFunction()

◆ isPrintfLike()

◆ isPure()

◆ isReturnsTwice()

◆ isScanfLike()

◆ isTSBuiltin()

◆ isUnevaluated()

◆ performsCallback()

◆ shouldGenerateFPMathIntrinsic()