This namespace contains an enum with a value for every intrinsic/builtin function known by LLVM. More...

Classes
struct	IITDescriptor
	This is a type descriptor which explains the type requirements of an intrinsic. More...

Typedefs
typedef unsigned	ID

Enumerations
enum	IndependentIntrinsics : unsigned { not_intrinsic = 0 }

enum	MatchIntrinsicTypesResult { MatchIntrinsicTypes_Match = 0 , MatchIntrinsicTypes_NoMatchRet = 1 , MatchIntrinsicTypes_NoMatchArg = 2 }

Functions
StringRef	getName (ID id)
	Return the LLVM name for an intrinsic, such as "llvm.ppc.altivec.lvx".

StringRef	getBaseName (ID id)
	Return the LLVM name for an intrinsic, without encoded types for overloading, such as "llvm.ssa.copy".

std::string	getName (ID Id, ArrayRef< Type * > Tys, Module M, FunctionType FT=nullptr)
	Return the LLVM name for an intrinsic, such as "llvm.ppc.altivec.lvx" or "llvm.ssa.copy.p0s_s.1".

std::string	getNameNoUnnamedTypes (ID Id, ArrayRef< Type * > Tys)
	Return the LLVM name for an intrinsic.

FunctionType *	getType (LLVMContext &Context, ID id, ArrayRef< Type * > Tys=std::nullopt)
	Return the function type for an intrinsic.

bool	isOverloaded (ID id)
	Returns true if the intrinsic can be overloaded.

AttributeList	getAttributes (LLVMContext &C, ID id)
	Return the attributes for an intrinsic.

Function *	getDeclaration (Module M, ID id, ArrayRef< Type > Tys=std::nullopt)
	Create or insert an LLVM Function declaration for an intrinsic, and return it.

int	lookupLLVMIntrinsicByName (ArrayRef< const char * > NameTable, StringRef Name)
	Looks up Name in NameTable via binary search.

ID	getIntrinsicForClangBuiltin (const char *Prefix, StringRef BuiltinName)
	Map a Clang builtin name to an intrinsic ID.

ID	getIntrinsicForMSBuiltin (const char *Prefix, StringRef BuiltinName)
	Map a MS builtin name to an intrinsic ID.

void	getIntrinsicInfoTableEntries (ID id, SmallVectorImpl< IITDescriptor > &T)
	Return the IIT table descriptor for the specified intrinsic into an array of IITDescriptors.

MatchIntrinsicTypesResult	matchIntrinsicSignature (FunctionType FTy, ArrayRef< IITDescriptor > &Infos, SmallVectorImpl< Type > &ArgTys)
	Match the specified function type with the type constraints specified by the .td file.

bool	matchIntrinsicVarArg (bool isVarArg, ArrayRef< IITDescriptor > &Infos)
	Verify if the intrinsic has variable arguments.

bool	getIntrinsicSignature (Function F, SmallVectorImpl< Type > &ArgTys)
	Gets the type arguments of an intrinsic call by matching type contraints specified by the .td file.

std::optional< Function * >	remangleIntrinsicFunction (Function *F)

Variables
static const int	NoAliasScopeDeclScopeArg = 0

Detailed Description

This namespace contains an enum with a value for every intrinsic/builtin function known by LLVM.

The enum values are returned by Function::getIntrinsicID().

Typedef Documentation

◆ ID

typedef unsigned llvm::Intrinsic::ID

Definition at line 28 of file GenericSSAContext.h.

Enumeration Type Documentation

◆ IndependentIntrinsics

enum llvm::Intrinsic::IndependentIntrinsics : unsigned

Enumerator
not_intrinsic

Definition at line 43 of file Intrinsics.h.

◆ MatchIntrinsicTypesResult

enum llvm::Intrinsic::MatchIntrinsicTypesResult

Enumerator
MatchIntrinsicTypes_Match
MatchIntrinsicTypes_NoMatchRet
MatchIntrinsicTypes_NoMatchArg

Definition at line 208 of file Intrinsics.h.

Function Documentation

◆ getAttributes()

AttributeList llvm::Intrinsic::getAttributes	(	LLVMContext &	C,
		ID	id
	)

Return the attributes for an intrinsic.

Referenced by llvm::MachineIRBuilder::buildIntrinsic(), llvm::SITargetLowering::computeKnownAlignForTargetInstr(), llvm::SITargetLowering::getTgtMemIntrinsic(), maySpeculateLanes(), stripNonValidAttributesFromPrototype(), and llvm::UpgradeIntrinsicFunction().

◆ getBaseName()

StringRef llvm::Intrinsic::getBaseName ( ID id )

Return the LLVM name for an intrinsic, without encoded types for overloading, such as "llvm.ssa.copy".

Definition at line 1005 of file Function.cpp.

References assert(), and IntrinsicNameTable.

Referenced by getIntrinsicNameImpl(), getName(), llvm::SDNode::getOperationName(), and llvm::MachineOperand::print().

◆ getDeclaration()

Function * llvm::Intrinsic::getDeclaration	(	Module *	M,
		ID	id,
		ArrayRef< Type * >	Tys = `std::nullopt`
	)

Create or insert an LLVM Function declaration for an intrinsic, and return it.

The Tys parameter is for intrinsics with overloaded types (e.g., those using iAny, fAny, vAny, or iPTRAny). For a declaration of an overloaded intrinsic, Tys must provide exactly one type for each overloaded type in the intrinsic.

Definition at line 1444 of file Function.cpp.

References llvm::ArrayRef< T >::empty(), getName(), and getType().

◆ getIntrinsicForClangBuiltin()

ID llvm::Intrinsic::getIntrinsicForClangBuiltin	(	const char *	Prefix,
		StringRef	BuiltinName
	)

Map a Clang builtin name to an intrinsic ID.

◆ getIntrinsicForMSBuiltin()

ID llvm::Intrinsic::getIntrinsicForMSBuiltin	(	const char *	Prefix,
		StringRef	BuiltinName
	)

Map a MS builtin name to an intrinsic ID.

◆ getIntrinsicInfoTableEntries()

void llvm::Intrinsic::getIntrinsicInfoTableEntries	(	ID	id,
		SmallVectorImpl< IITDescriptor > &	T
	)

Return the IIT table descriptor for the specified intrinsic into an array of IITDescriptors.

Definition at line 1288 of file Function.cpp.

References DecodeIITType(), llvm::SmallVectorTemplateBase< T, bool >::push_back(), and llvm::ArrayRef< T >::size().

Referenced by llvm::IRBuilderBase::CreateIntrinsic(), getIntrinsicSignature(), and getType().

◆ getIntrinsicSignature()

bool llvm::Intrinsic::getIntrinsicSignature	(	Function *	F,
		SmallVectorImpl< Type * > &	ArgTys
	)

Gets the type arguments of an intrinsic call by matching type contraints specified by the .td file.

The overloaded types are pushed into the AgTys vector.

Returns false if the given function is not a valid intrinsic call.

Definition at line 1716 of file Function.cpp.

References F, getIntrinsicInfoTableEntries(), matchIntrinsicSignature(), MatchIntrinsicTypes_Match, and matchIntrinsicVarArg().

Referenced by modifyIntrinsicCall(), optimizeSection(), remangleIntrinsicFunction(), and simplifyAMDGCNMemoryIntrinsicDemanded().

◆ getName() [1/2]

StringRef llvm::Intrinsic::getName ( ID id )

Return the LLVM name for an intrinsic, such as "llvm.ppc.altivec.lvx".

Note, this version is for intrinsics with no overloads. Use the other version of getName if overloads are required.

Definition at line 1010 of file Function.cpp.

References assert(), getBaseName(), and isOverloaded().

Referenced by llvm::ScalarEvolution::applyLoopGuards(), collectUnswitchCandidates(), containsProfilingIntrinsics(), explicifyGuards(), llvm::ScalarEvolution::isBasicBlockEntryGuardedByCond(), LLVMIntrinsicCopyOverloadedName2(), LLVMIntrinsicGetName(), lowerGuardIntrinsic(), lowerWidenableCondition(), remangleIntrinsicFunction(), replaceWithCallToVeclib(), llvm::GuardWideningPass::run(), llvm::JumpThreadingPass::runImpl(), llvm::ScalarEvolution::ScalarEvolution(), llvm::IRSimilarity::IRInstructionData::setCalleeName(), splitGlobals(), llvm::updatePublicTypeTestCalls(), and UpgradeIntrinsicFunction1().

◆ getName() [2/2]

std::string llvm::Intrinsic::getName	(	ID	Id,
		ArrayRef< Type * >	Tys,
		Module *	M,
		FunctionType *	FT = `nullptr`
	)

Return the LLVM name for an intrinsic, such as "llvm.ppc.altivec.lvx" or "llvm.ssa.copy.p0s_s.1".

Note, this version of getName supports overloads. This is less efficient than the StringRef version of this function. If no overloads are required, it is safe to use this version, but better to use the StringRef version. If one of the types is based on an unnamed type, a function type will be computed. Providing FT will avoid this computation.

Definition at line 1044 of file Function.cpp.

References assert(), and getIntrinsicNameImpl().

◆ getNameNoUnnamedTypes()

std::string llvm::Intrinsic::getNameNoUnnamedTypes	(	ID	Id,
		ArrayRef< Type * >	Tys
	)

Return the LLVM name for an intrinsic.

This is a special version only to be used by LLVMIntrinsicCopyOverloadedName. It only supports overloads based on named types.

Definition at line 1050 of file Function.cpp.

References getIntrinsicNameImpl().

Referenced by LLVMIntrinsicCopyOverloadedName().

◆ getType()

FunctionType * llvm::Intrinsic::getType	(	LLVMContext &	Context,
		ID	id,
		ArrayRef< Type * >	Tys = `std::nullopt`
	)

Return the function type for an intrinsic.

Definition at line 1412 of file Function.cpp.

References llvm::SmallVectorTemplateCommon< T, typename >::back(), Context, DecodeFixedType(), llvm::ArrayRef< T >::empty(), llvm::SmallVectorBase< Size_T >::empty(), llvm::FunctionType::get(), getIntrinsicInfoTableEntries(), llvm::SmallVectorTemplateBase< T, bool >::pop_back(), and llvm::SmallVectorTemplateBase< T, bool >::push_back().

Referenced by getIntrinsicNameImpl(), and LLVMIntrinsicGetType().

◆ isOverloaded()

bool llvm::Intrinsic::isOverloaded ( ID id )

Returns true if the intrinsic can be overloaded.

Definition at line 1433 of file Function.cpp.

Referenced by getIntrinsicNameImpl(), getName(), LLVMIntrinsicIsOverloaded(), llvm::Function::lookupIntrinsicID(), replaceWithCallToVeclib(), and llvm::IRSimilarity::IRInstructionData::setCalleeName().

◆ lookupLLVMIntrinsicByName()

int llvm::Intrinsic::lookupLLVMIntrinsicByName	(	ArrayRef< const char * >	NameTable,
		StringRef	Name
	)

Looks up Name in NameTable via binary search.

NameTable must be sorted and all entries must start with "llvm.". If NameTable contains an exact match for Name or a prefix of Name followed by a dot, its index in NameTable is returned. Otherwise, -1 is returned.

Definition at line 236 of file IntrinsicInst.cpp.

References assert(), llvm::ArrayRef< T >::begin(), llvm::ArrayRef< T >::end(), High, LHS, llvm::Low, Name, llvm::StringRef::npos, RHS, and llvm::StringRef::size().

Referenced by isCoroutineIntrinsicName(), and llvm::Function::lookupIntrinsicID().

◆ matchIntrinsicSignature()

Intrinsic::MatchIntrinsicTypesResult llvm::Intrinsic::matchIntrinsicSignature	(	FunctionType *	FTy,
		ArrayRef< IITDescriptor > &	Infos,
		SmallVectorImpl< Type * > &	ArgTys
	)

Match the specified function type with the type constraints specified by the .td file.

If the given type is an overloaded type it is pushed to the ArgTys vector.

Returns false if the given type matches with the constraints, true otherwise.

Definition at line 1671 of file Function.cpp.

References Check, E, llvm::FunctionType::getReturnType(), I, matchIntrinsicType(), MatchIntrinsicTypes_Match, MatchIntrinsicTypes_NoMatchArg, MatchIntrinsicTypes_NoMatchRet, llvm::FunctionType::params(), and llvm::SmallVectorBase< Size_T >::size().

Referenced by getIntrinsicSignature().

◆ matchIntrinsicVarArg()

bool llvm::Intrinsic::matchIntrinsicVarArg	(	bool	isVarArg,
		ArrayRef< IITDescriptor > &	Infos
	)

Verify if the intrinsic has variable arguments.

This method is intended to be called after all the fixed arguments have been matched first.

This method returns true on error.

Definition at line 1697 of file Function.cpp.

References D, llvm::ArrayRef< T >::empty(), llvm::ArrayRef< T >::front(), llvm::ArrayRef< T >::size(), and llvm::ArrayRef< T >::slice().

Referenced by getIntrinsicSignature().

◆ remangleIntrinsicFunction()

std::optional< Function * > llvm::Intrinsic::remangleIntrinsicFunction ( Function * F )

Definition at line 1737 of file Function.cpp.

References assert(), F, getDeclaration(), llvm::Function::getFunctionType(), getIntrinsicSignature(), getName(), Name, llvm::Function::setCallingConv(), and llvm::Value::setName().

Variable Documentation

◆ NoAliasScopeDeclScopeArg

const int llvm::Intrinsic::NoAliasScopeDeclScopeArg = 0

static

Definition at line 37 of file Intrinsics.h.

Referenced by llvm::NoAliasScopeDeclInst::getScopeList(), and llvm::NoAliasScopeDeclInst::setScopeList().

Classes

Typedefs

Enumerations

Functions

Variables