17#ifndef LLVM_IR_FUNCTION_H
18#define LLVM_IR_FUNCTION_H
47class AssemblyAnnotationWriter;
57class TargetLibraryInfoImpl;
60class BranchProbabilityInfo;
61class BlockFrequencyInfo;
80 std::unique_ptr<ValueSymbolTable>
99 IsMaterializableBit = 0,
115 return getSubclassDataFromValue() & (1<<0);
119 void convertToNewDbgValues();
122 void convertFromNewDbgValues();
124 void setIsNewDbgInfoFormat(
bool NewVal);
125 void setNewDbgInfoFormatFlag(
bool NewVal);
135 mutable LibFunc LibFuncCache = UnknownLibFunc;
137 void CheckLazyArguments()
const {
138 if (hasLazyArguments())
139 BuildLazyArguments();
142 void BuildLazyArguments()
const;
144 void clearArguments();
146 void deleteBodyImpl(
bool ShouldDrop);
166 unsigned AddrSpace,
const Twine &
N =
"",
168 return new Function(Ty, Linkage, AddrSpace,
N, M);
174 return new Function(Ty, Linkage,
static_cast<unsigned>(-1),
N, M);
204 unsigned getInstructionCount()
const;
208 return cast<FunctionType>(getValueType());
225 bool isVarArg()
const {
return getFunctionType()->isVarArg(); }
228 return getGlobalObjectSubClassData() & (1 << IsMaterializableBit);
231 unsigned Mask = 1 << IsMaterializableBit;
232 setGlobalObjectSubClassData((~Mask & getGlobalObjectSubClassData()) |
256 bool isTargetIntrinsic()
const;
261 bool isConstrainedFPIntrinsic()
const;
269 void updateAfterNameChange();
275 return static_cast<CallingConv::ID>((getSubclassDataFromValue() >> 4) &
279 auto ID =
static_cast<unsigned>(
CC);
280 assert(!(
ID & ~CallingConv::MaxID) &&
"Unsupported calling convention");
281 setValueSubclassData((getSubclassDataFromValue() & 0xc00f) | (
ID << 4));
296 : Count(Count), PCT(PCT) {}
312 void setEntryCount(
uint64_t Count, ProfileCountType
Type = PCT_Real,
319 std::optional<ProfileCount> getEntryCount(
bool AllowSynthetic =
false)
const;
327 return getEntryCount(IncludeSynthetic).has_value();
338 std::optional<StringRef> getSectionPrefix()
const;
343 return getSubclassDataFromValue() & (1<<14);
345 const std::string &getGC()
const;
346 void setGC(std::string Str);
357 void addAttributeAtIndex(
unsigned i,
Attribute Attr);
384 void addParamAttr(
unsigned ArgNo,
Attribute Attr);
387 void addParamAttrs(
unsigned ArgNo,
const AttrBuilder &Attrs);
393 void removeAttributeAtIndex(
unsigned i,
StringRef Kind);
416 void removeParamAttr(
unsigned ArgNo,
StringRef Kind);
419 void removeParamAttrs(
unsigned ArgNo,
const AttributeMask &Attrs);
425 bool hasFnAttribute(
StringRef Kind)
const;
466 bool hasStackProtectorFnAttr()
const;
470 void addDereferenceableParamAttr(
unsigned ArgNo,
uint64_t Bytes);
474 void addDereferenceableOrNullParamAttr(
unsigned ArgNo,
uint64_t Bytes);
532 return hasFnAttribute(Attribute::PresplitCoroutine);
538 return hasFnAttribute(Attribute::CoroDestroyOnlyWhenComplete);
541 addFnAttr(Attribute::CoroDestroyOnlyWhenComplete);
548 bool doesNotAccessMemory()
const;
552 bool onlyReadsMemory()
const;
556 bool onlyWritesMemory()
const;
561 bool onlyAccessesArgMemory()
const;
566 bool onlyAccessesInaccessibleMemory()
const;
571 bool onlyAccessesInaccessibleMemOrArgMem()
const;
576 return hasFnAttribute(Attribute::NoReturn);
579 addFnAttr(Attribute::NoReturn);
587 return hasFnAttribute(Attribute::NoUnwind);
590 addFnAttr(Attribute::NoUnwind);
595 return hasFnAttribute(Attribute::NoDuplicate);
598 addFnAttr(Attribute::NoDuplicate);
603 return hasFnAttribute(Attribute::Convergent);
606 addFnAttr(Attribute::Convergent);
609 removeFnAttr(Attribute::Convergent);
614 return hasFnAttribute(Attribute::Speculatable);
617 addFnAttr(Attribute::Speculatable);
622 return onlyReadsMemory() || hasFnAttribute(Attribute::NoFree);
625 addFnAttr(Attribute::NoFree);
630 return hasFnAttribute(Attribute::NoSync);
633 addFnAttr(Attribute::NoSync);
639 return hasFnAttribute(Attribute::NoRecurse);
642 addFnAttr(Attribute::NoRecurse);
647 return hasFnAttribute(Attribute::MustProgress) ||
648 hasFnAttribute(Attribute::WillReturn);
653 bool willReturn()
const {
return hasFnAttribute(Attribute::WillReturn); }
664 return getUWTableKind() != UWTableKind::None;
667 if (K == UWTableKind::None)
668 removeFnAttr(Attribute::UWTable);
670 addFnAttr(Attribute::getWithUWTableKind(getContext(), K));
674 return hasUWTable() || !doesNotThrow() || hasPersonalityFn();
680 return AttributeSets.
hasParamAttr(0, Attribute::StructRet) ||
687 return AttributeSets.
hasRetAttr(Attribute::NoAlias);
692 bool hasOptNone()
const {
return hasFnAttribute(Attribute::OptimizeNone); }
695 bool hasMinSize()
const {
return hasFnAttribute(Attribute::MinSize); }
699 return hasFnAttribute(Attribute::OptimizeForSize) || hasMinSize();
717 void copyAttributesFrom(
const Function *Src);
723 deleteBodyImpl(
false);
724 setLinkage(ExternalLinkage);
730 void removeFromParent();
735 void eraseFromParent();
741 void stealArgumentListFrom(
Function &Src);
753 splice(ToIt, FromF, FromF->
begin(), FromF->
end());
760 auto FromItNext = std::next(FromIt);
762 if (ToIt == FromIt || ToIt == FromItNext)
764 splice(ToIt, FromF, FromIt, FromItNext);
779 friend void BasicBlock::removeFromParent();
781 template <
class BB_t,
class BB_i_t,
class BI_t,
class II_t>
796 return &Function::BasicBlocks;
821 size_t size()
const {
return BasicBlocks.size(); }
822 bool empty()
const {
return BasicBlocks.empty(); }
832 CheckLazyArguments();
836 CheckLazyArguments();
841 CheckLazyArguments();
845 CheckLazyArguments();
850 assert (i < NumArgs &&
"getArg() out of range!");
851 CheckLazyArguments();
869 return getSubclassDataFromValue() & (1<<3);
874 void setPersonalityFn(
Constant *Fn);
878 return getSubclassDataFromValue() & (1<<1);
883 void setPrefixData(
Constant *PrefixData);
887 return getSubclassDataFromValue() & (1<<2);
892 void setPrologueData(
Constant *PrologueData);
897 bool ShouldPreserveUseListOrder =
false,
898 bool IsForDebug =
false)
const;
917 void viewCFGOnly()
const;
925 return V->getValueID() == Value::FunctionVal;
941 deleteBodyImpl(
true);
951 bool hasAddressTaken(
const User ** =
nullptr,
bool IgnoreCallbackUses =
false,
952 bool IgnoreAssumeLikeCalls =
true,
953 bool IngoreLLVMUsed =
false,
954 bool IgnoreARCAttachedCall =
false,
955 bool IgnoreCastedDirectCall =
false)
const;
961 bool isDefTriviallyDead()
const;
965 bool callsFunctionThatReturnsTwice()
const;
979 bool shouldEmitDebugInfoForProfiling()
const;
985 bool nullPointerIsDefined()
const;
988 void allocHungoffUselist();
989 template<
int Idx>
void setHungoffOperand(
Constant *
C);
993 void setValueSubclassData(
unsigned short D) {
994 Value::setValueSubclassData(
D);
996 void setValueSubclassDataBit(
unsigned Bit,
bool On);
AMDGPU Lower Kernel Arguments
static void print(raw_ostream &Out, object::Archive::Kind Kind, T Val)
This file contains the simple types necessary to represent the attributes associated with functions a...
static bool setDoesNotAccessMemory(Function &F)
static bool setOnlyAccessesInaccessibleMemOrArgMem(Function &F)
static bool setOnlyAccessesInaccessibleMemory(Function &F)
static bool setOnlyAccessesArgMemory(Function &F)
static bool setOnlyWritesMemory(Function &F)
static bool setOnlyReadsMemory(Function &F)
static GCRegistry::Add< ShadowStackGC > C("shadow-stack", "Very portable GC for uncooperative code generators")
static GCRegistry::Add< StatepointGC > D("statepoint-example", "an example strategy for statepoint")
static void viewCFG(Function &F, const BlockFrequencyInfo *BFI, const BranchProbabilityInfo *BPI, uint64_t MaxFreq, bool CFGOnly=false)
#define LLVM_EXTERNAL_VISIBILITY
static DISubprogram * getSubprogram(bool IsDistinct, Ts &&...Args)
This file defines the DenseSet and SmallDenseSet classes.
Machine Check Debug Module
II addRangeRetAttr(Range)
ToRemove erase(NewLastIter, ToRemove.end())
#define DEFINE_TRANSPARENT_OPERAND_ACCESSORS(CLASS, VALUECLASS)
Macro for generating out-of-class operand accessor definitions.
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
This class represents an incoming formal argument to a Function.
Type * getParamStructRetType(unsigned ArgNo) const
Return the sret type for the specified function parameter.
uint64_t getParamDereferenceableBytes(unsigned Index) const
Get the number of dereferenceable bytes (or zero if unknown) of an arg.
MaybeAlign getParamAlignment(unsigned ArgNo) const
Return the alignment for the specified function parameter.
Type * getParamInAllocaType(unsigned ArgNo) const
Return the inalloca type for the specified function parameter.
UWTableKind getUWTableKind() const
Get the unwind table kind requested for the function.
Type * getParamPreallocatedType(unsigned ArgNo) const
Return the preallocated type for the specified function parameter.
bool hasParamAttr(unsigned ArgNo, Attribute::AttrKind Kind) const
Return true if the attribute exists for the given argument.
MaybeAlign getFnStackAlignment() const
Get the stack alignment of the function.
Type * getParamByValType(unsigned ArgNo) const
Return the byval type for the specified function parameter.
MaybeAlign getParamStackAlignment(unsigned ArgNo) const
Return the stack alignment for the specified function parameter.
uint64_t getParamDereferenceableOrNullBytes(unsigned ArgNo) const
Get the number of dereferenceable_or_null bytes (or zero if unknown) of an arg.
FPClassTest getParamNoFPClass(unsigned ArgNo) const
Get the disallowed floating-point classes of the argument value.
Type * getParamByRefType(unsigned ArgNo) const
Return the byref type for the specified function parameter.
bool hasRetAttr(Attribute::AttrKind Kind) const
Return true if the attribute exists for the return value.
AttrKind
This enumeration lists the attributes that can be associated with parameters, function results,...
LLVM Basic Block Representation.
void setIsNewDbgInfoFormat(bool NewFlag)
Ensure the block is in "old" dbg.value format (NewFlag == false) or in the new format (NewFlag == tru...
BlockFrequencyInfo pass uses BlockFrequencyInfoImpl implementation to estimate IR basic block frequen...
Analysis providing branch probability information.
This class represents a range of values.
This is an important base class in LLVM.
A parsed version of the target data layout string in and methods for querying it.
Implements a dense probed hash-table based set.
Class to represent function types.
Class to represent profile counts.
uint64_t getCount() const
ProfileCount(uint64_t Count, ProfileCountType PCT)
ProfileCountType getType() const
void deleteBody()
deleteBody - This method deletes the body of the function, and converts the linkage to external.
const ValueSymbolTable * getValueSymbolTable() const
bool isConvergent() const
Determine if the call is convergent.
void setCoroDestroyOnlyWhenComplete()
static Function * Create(FunctionType *Ty, LinkageTypes Linkage, unsigned AddrSpace, const Twine &N="", Module *M=nullptr)
BasicBlock & getEntryBlock()
void splice(Function::iterator ToIt, Function *FromF)
Transfer all blocks from FromF to this function at ToIt.
const BasicBlock & getEntryBlock() const
BasicBlockListType::iterator iterator
bool hasOptSize() const
Optimize this function for size (-Os) or minimum size (-Oz).
void splice(Function::iterator ToIt, Function *FromF, Function::iterator FromIt)
Transfer one BasicBlock from FromF at FromIt to this function at ToIt.
FunctionType * getFunctionType() const
Returns the FunctionType for me.
bool isMaterializable() const
MaybeAlign getFnStackAlign() const
Return the stack alignment for the function.
iterator_range< const_arg_iterator > args() const
static bool classof(const Value *V)
Methods for support type inquiry through isa, cast, and dyn_cast:
const BasicBlock & front() const
const_arg_iterator arg_end() const
const_arg_iterator arg_begin() const
bool mustProgress() const
Determine if the function is required to make forward progress.
bool returnDoesNotAlias() const
Determine if the parameter or return value is marked with NoAlias attribute.
bool cannotDuplicate() const
Determine if the call cannot be duplicated.
const BasicBlock & back() const
bool willReturn() const
Determine if the function will return.
iterator_range< arg_iterator > args()
Intrinsic::ID getIntrinsicID() const LLVM_READONLY
getIntrinsicID - This method returns the ID number of the specified function, or Intrinsic::not_intri...
bool doesNotRecurse() const
Determine if the function is known not to recurse, directly or indirectly.
bool hasMinSize() const
Optimize this function for minimum size (-Oz).
bool doesNoCfCheck() const
Determine if the function should not perform indirect branch tracking.
void setIsMaterializable(bool V)
uint64_t getParamDereferenceableBytes(unsigned ArgNo) const
Extract the number of dereferenceable bytes for a parameter.
bool isSpeculatable() const
Determine if the call has sideeffects.
bool hasGC() const
hasGC/getGC/setGC/clearGC - The name of the garbage collection algorithm to use during code generatio...
bool IsNewDbgInfoFormat
Is this function using intrinsics to record the position of debugging information,...
CallingConv::ID getCallingConv() const
getCallingConv()/setCallingConv(CC) - These method get and set the calling convention of this functio...
Type * getParamByValType(unsigned ArgNo) const
Extract the byval type for a parameter.
FPClassTest getParamNoFPClass(unsigned ArgNo) const
Extract the nofpclass attribute for a parameter.
bool hasPrefixData() const
Check whether this function has prefix data.
void setReturnDoesNotAlias()
bool hasPersonalityFn() const
Check whether this function has a personality function.
static Function * Create(FunctionType *Ty, LinkageTypes Linkage, const Twine &N="", Module *M=nullptr)
AttributeList getAttributes() const
Return the attribute list for this Function.
void dropAllReferences()
dropAllReferences() - This method causes all the subinstructions to "let go" of all references that t...
void setUWTableKind(UWTableKind K)
BasicBlockListType::const_iterator const_iterator
UWTableKind getUWTableKind() const
Get what kind of unwind table entry to generate for this function.
Type * getParamByRefType(unsigned ArgNo) const
Extract the byref type for a parameter.
bool hasNoSync() const
Determine if the call can synchroize with other threads.
bool doesNotThrow() const
Determine if the function cannot unwind.
const Function & getFunction() const
const_iterator end() const
uint64_t getParamDereferenceableOrNullBytes(unsigned ArgNo) const
Extract the number of dereferenceable_or_null bytes for a parameter.
bool isIntrinsic() const
isIntrinsic - Returns true if the function's name starts with "llvm.".
bool hasProfileData(bool IncludeSynthetic=false) const
Return true if the function is annotated with profile data.
const_iterator begin() const
void setPresplitCoroutine()
MaybeAlign getParamAlign(unsigned ArgNo) const
ValueSymbolTable * getValueSymbolTable()
getSymbolTable() - Return the symbol table if any, otherwise nullptr.
bool hasOptNone() const
Do not optimize this function (-O0).
void setCannotDuplicate()
Type * getParamPreallocatedType(unsigned ArgNo) const
Extract the preallocated type for a parameter.
void setAttributes(AttributeList Attrs)
Set the attribute list for this Function.
bool isPresplitCoroutine() const
Determine if the function is presplit coroutine.
bool hasStructRetAttr() const
Determine if the function returns a structure through first or second pointer argument.
Function::iterator insert(Function::iterator Position, BasicBlock *BB)
Insert BB in the basic block list at Position.
bool doesNotFreeMemory() const
Determine if the call might deallocate memory.
Type * getParamInAllocaType(unsigned ArgNo) const
Extract the inalloca type for a parameter.
bool doesNotReturn() const
Determine if the function cannot return.
bool isCoroOnlyDestroyWhenComplete() const
void setSplittedCoroutine()
MaybeAlign getParamStackAlign(unsigned ArgNo) const
bool hasUWTable() const
True if the ABI mandates (or the user requested) that this function be in a unwind table.
void operator=(const Function &)=delete
Type * getReturnType() const
Returns the type of the ret val.
bool needsUnwindTableEntry() const
True if this function needs an unwind table.
bool hasLazyArguments() const
hasLazyArguments/CheckLazyArguments - The argument list of a function is built on demand,...
void setCallingConv(CallingConv::ID CC)
Function(const Function &)=delete
bool hasPrologueData() const
Check whether this function has prologue data.
Type * getParamStructRetType(unsigned ArgNo) const
Extract the sret type for a parameter.
DECLARE_TRANSPARENT_OPERAND_ACCESSORS(Value)
Argument * getArg(unsigned i) const
bool isVarArg() const
isVarArg - Return true if this function takes a variable number of arguments.
void setDoesNotFreeMemory()
LinkageTypes
An enumeration for the kinds of linkage for global values.
This is an important class for using LLVM in a threaded context.
A Module instance is used to store all the information related to an LLVM module.
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StringRef - Represent a constant reference to a string, i.e.
Implementation of the target library information.
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
The instances of the Type class are immutable: once they are created, they are never changed.
This class provides a symbol table of name/value pairs.
LLVM Value Representation.
An ilist node that can access its parent list.
base_list_type::iterator iterator
iterator insert(iterator where, pointer New)
A range adaptor for a pair of iterators.
This class implements an extremely fast bulk output stream that can only output to a stream.
This file defines the ilist_node class template, which is a convenient base class for creating classe...
This provides a very simple, boring adaptor for a begin and end iterator into a range type.
@ User
could "use" a pointer
This is an optimization pass for GlobalISel generic memory operations.
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
FPClassTest
Floating-point class tests, supported by 'is_fpclass' intrinsic.
bool NullPointerIsDefined(const Function *F, unsigned AS=0)
Check whether null pointer dereferencing is considered undefined behavior for a given function or an ...
Represent subnormal handling kind for floating point instruction inputs and outputs.
HungoffOperandTraits - determine the allocation regime of the Use array when it is not a prefix to th...
This struct is a compact representation of a valid (power of two) or undefined (0) alignment.
Compile-time customization of User operands.