63#define DEBUG_TYPE "module-summary-analysis"
74 cl::desc(
"Force all edges in the function summary to cold"),
77 "all-non-critical",
"All non-critical edges."),
82 cl::desc(
"File to emit dot graph of new summary into"));
103 bool &RefLocalLinkageIFunc) {
104 bool HasBlockAddress =
false;
106 if (Visited.
insert(CurUser).second)
109 while (!Worklist.
empty()) {
111 const auto *CB = dyn_cast<CallBase>(U);
113 for (
const auto &OI : U->operands()) {
114 const User *Operand = dyn_cast<User>(OI);
117 if (isa<BlockAddress>(Operand)) {
118 HasBlockAddress =
true;
121 if (
auto *GV = dyn_cast<GlobalValue>(Operand)) {
125 if (!(CB && CB->isCallee(&OI))) {
130 if (
auto *GI = dyn_cast_if_present<GlobalIFunc>(GV);
131 GI && GI->hasLocalLinkage()) {
132 RefLocalLinkageIFunc =
true;
135 RefEdges.insert(
Index.getOrInsertValueInfo(GV));
139 if (Visited.
insert(Operand).second)
152 for (
const auto &V : ValueDataArray)
153 RefEdges.insert(
Index.getOrInsertValueInfo(
156 return HasBlockAddress;
162 return CalleeInfo::HotnessType::Unknown;
164 return CalleeInfo::HotnessType::Hot;
166 return CalleeInfo::HotnessType::Cold;
167 return CalleeInfo::HotnessType::None;
181 std::vector<FunctionSummary::ConstVCall>> &ConstVCalls) {
182 std::vector<uint64_t> Args;
184 for (
auto &Arg :
drop_begin(Call.CB.args())) {
185 auto *CI = dyn_cast<ConstantInt>(Arg);
186 if (!CI || CI->getBitWidth() > 64) {
187 VCalls.insert({
Guid, Call.Offset});
190 Args.push_back(CI->getZExtValue());
192 ConstVCalls.insert({{
Guid, Call.Offset}, std::move(Args)});
201 &TypeTestAssumeVCalls,
203 &TypeCheckedLoadVCalls,
205 std::vector<FunctionSummary::ConstVCall>>
206 &TypeTestAssumeConstVCalls,
208 std::vector<FunctionSummary::ConstVCall>>
209 &TypeCheckedLoadConstVCalls,
212 case Intrinsic::type_test:
213 case Intrinsic::public_type_test: {
214 auto *TypeMDVal = cast<MetadataAsValue>(CI->
getArgOperand(1));
215 auto *TypeId = dyn_cast<MDString>(TypeMDVal->getMetadata());
225 return !isa<AssumeInst>(CIU.getUser());
227 if (HasNonAssumeUses)
228 TypeTests.insert(
Guid);
233 for (
auto &Call : DevirtCalls)
235 TypeTestAssumeConstVCalls);
240 case Intrinsic::type_checked_load_relative:
241 case Intrinsic::type_checked_load: {
242 auto *TypeMDVal = cast<MetadataAsValue>(CI->
getArgOperand(2));
243 auto *TypeId = dyn_cast<MDString>(TypeMDVal->getMetadata());
251 bool HasNonCallUses =
false;
253 HasNonCallUses, CI, DT);
257 TypeTests.insert(
Guid);
258 for (
auto &Call : DevirtCalls)
260 TypeCheckedLoadConstVCalls);
270 if (
const auto *LI = dyn_cast<LoadInst>(
I))
271 return !LI->isVolatile();
277 if (
const auto *SI = dyn_cast<StoreInst>(
I))
278 return !SI->isVolatile();
292 return isa<UnreachableInst>(
F.getEntryBlock().getTerminator());
305 unsigned NumInsts = 0;
309 std::vector<std::pair<ValueInfo, CalleeInfo>>>
315 TypeTestAssumeVCalls, TypeCheckedLoadVCalls;
317 std::vector<FunctionSummary::ConstVCall>>
318 TypeTestAssumeConstVCalls, TypeCheckedLoadConstVCalls;
324 bool HasLocalIFuncCallOrRef =
false;
326 std::vector<const Instruction *> NonVolatileLoads;
327 std::vector<const Instruction *> NonVolatileStores;
329 std::vector<CallsiteInfo> Callsites;
330 std::vector<AllocInfo> Allocs;
336 bool HasInlineAsmMaybeReferencingInternal =
false;
337 bool HasIndirBranchToBlockAddress =
false;
338 bool HasUnknownCall =
false;
339 bool MayThrow =
false;
345 if (BB.hasAddressTaken()) {
347 if (!isa<CallBrInst>(*U)) {
348 HasIndirBranchToBlockAddress =
true;
354 if (
I.isDebugOrPseudoInst())
366 NonVolatileLoads.push_back(&
I);
370 NonVolatileStores.push_back(&
I);
377 Value *Stored =
I.getOperand(0);
378 if (
auto *GV = dyn_cast<GlobalValue>(Stored))
382 else if (
auto *U = dyn_cast<User>(Stored))
388 const auto *CB = dyn_cast<CallBase>(&
I);
395 const auto *CI = dyn_cast<CallInst>(&
I);
401 if (HasLocalsInUsedOrAsm && CI && CI->isInlineAsm())
402 HasInlineAsmMaybeReferencingInternal =
true;
404 auto *CalledValue = CB->getCalledOperand();
405 auto *CalledFunction = CB->getCalledFunction();
406 if (CalledValue && !CalledFunction) {
407 CalledValue = CalledValue->stripPointerCasts();
409 CalledFunction = dyn_cast<Function>(CalledValue);
413 if (
auto *GA = dyn_cast<GlobalAlias>(CalledValue)) {
414 assert(!CalledFunction &&
"Expected null called function in callsite for alias");
415 CalledFunction = dyn_cast<Function>(GA->getAliaseeObject());
419 if (CalledFunction) {
420 if (CI && CalledFunction->isIntrinsic()) {
422 CI, TypeTests, TypeTestAssumeVCalls, TypeCheckedLoadVCalls,
423 TypeTestAssumeConstVCalls, TypeCheckedLoadConstVCalls, DT);
427 assert(CalledFunction->hasName());
429 auto Hotness = ScaledCount ?
getHotness(*ScaledCount, PSI)
430 : CalleeInfo::HotnessType::Unknown;
432 Hotness = CalleeInfo::HotnessType::Cold;
439 cast<GlobalValue>(CalledValue))];
441 if (CB->isTailCall())
445 if (BFI !=
nullptr && Hotness == CalleeInfo::HotnessType::Unknown) {
447 uint64_t EntryFreq = BFI->getEntryFreq().getFrequency();
451 HasUnknownCall =
true;
459 if (
auto *GI = dyn_cast_if_present<GlobalIFunc>(CalledValue))
460 if (GI->hasLocalLinkage())
461 HasLocalIFuncCallOrRef =
true;
463 if (CI && CI->isInlineAsm())
466 if (!CalledValue || isa<Constant>(CalledValue))
473 if (
auto *MD =
I.getMetadata(LLVMContext::MD_callees)) {
474 for (
const auto &
Op : MD->operands()) {
475 Function *Callee = mdconst::extract_or_null<Function>(
Op);
477 CallGraphEdges[
Index.getOrInsertValueInfo(Callee)];
483 auto CandidateProfileData =
486 for (
const auto &Candidate : CandidateProfileData)
487 CallGraphEdges[
Index.getOrInsertValueInfo(Candidate.Value)]
488 .updateHotness(
getHotness(Candidate.Count, PSI));
510 CallsThatMayHaveMemprofSummary.
insert(CB);
516 I.getMetadata(LLVMContext::MD_callsite));
517 auto *MemProfMD =
I.getMetadata(LLVMContext::MD_memprof);
519 std::vector<MIBInfo> MIBs;
520 for (
auto &MDOp : MemProfMD->operands()) {
521 auto *MIBMD = cast<const MDNode>(MDOp);
527 for (
auto ContextIter =
529 ContextIter != StackContext.
end(); ++ContextIter) {
530 unsigned StackIdIdx =
Index.addOrGetStackIdIndex(*ContextIter);
534 if (StackIdIndices.
empty() || StackIdIndices.
back() != StackIdIdx)
540 Allocs.push_back(
AllocInfo(std::move(MIBs)));
541 }
else if (!InstCallsite.
empty()) {
543 for (
auto StackId : InstCallsite)
549 auto CalleeValueInfo =
550 Index.getOrInsertValueInfo(cast<GlobalValue>(CalledValue));
551 Callsites.push_back({CalleeValueInfo, StackIdIndices});
557 Index.addBlockCount(
F.size());
559 std::vector<ValueInfo> Refs;
561 auto AddRefEdges = [&](
const std::vector<const Instruction *> &Instrs,
564 for (
const auto *
I : Instrs) {
573 AddRefEdges(NonVolatileLoads, LoadRefEdges, Visited);
585 AddRefEdges(NonVolatileStores, StoreRefEdges, StoreCache);
590 for (
const auto &VI : StoreRefEdges)
591 if (LoadRefEdges.
remove(VI))
594 unsigned RefCnt = RefEdges.
size();
598 for (
const auto &VI : LoadRefEdges)
601 unsigned FirstWORef = RefEdges.
size();
602 for (
const auto &VI : StoreRefEdges)
606 for (; RefCnt < FirstWORef; ++RefCnt)
607 Refs[RefCnt].setReadOnly();
609 for (; RefCnt < Refs.size(); ++RefCnt)
610 Refs[RefCnt].setWriteOnly();
616 for (
auto &
I :
F.getImportGUIDs())
617 CallGraphEdges[
Index.getOrInsertValueInfo(
I)].updateHotness(
619 ? CalleeInfo::HotnessType::Cold
620 : CalleeInfo::HotnessType::Critical);
629 const auto *CB = dyn_cast<CallBase>(&
I);
633 if (CallsThatMayHaveMemprofSummary.
count(CB))
642 bool NotEligibleForImport =
643 NonRenamableLocal || HasInlineAsmMaybeReferencingInternal ||
644 HasIndirBranchToBlockAddress || HasLocalIFuncCallOrRef;
646 F.getLinkage(),
F.getVisibility(), NotEligibleForImport,
647 false,
F.isDSOLocal(),
F.canBeOmittedFromSymbolTable(),
648 GlobalValueSummary::ImportKind::Definition);
650 F.doesNotAccessMemory(),
F.onlyReadsMemory() && !
F.doesNotAccessMemory(),
651 F.hasFnAttribute(Attribute::NoRecurse),
F.returnDoesNotAlias(),
654 F.getAttributes().hasFnAttr(Attribute::NoInline),
655 F.hasFnAttribute(Attribute::AlwaysInline),
656 F.hasFnAttribute(Attribute::NoUnwind), MayThrow, HasUnknownCall,
658 std::vector<FunctionSummary::ParamAccess> ParamAccesses;
659 if (
auto *SSI = GetSSICallback(
F))
660 ParamAccesses = SSI->getParamAccesses(
Index);
661 auto FuncSummary = std::make_unique<FunctionSummary>(
662 Flags, NumInsts, FunFlags, 0, std::move(Refs),
665 TypeTestAssumeConstVCalls.takeVector(),
666 TypeCheckedLoadConstVCalls.takeVector(), std::move(ParamAccesses),
667 std::move(Callsites), std::move(Allocs));
668 if (NonRenamableLocal)
669 CantBePromoted.
insert(
F.getGUID());
670 Index.addGlobalValueSummary(
F, std::move(FuncSummary));
683 if (
I->getType()->isPointerTy()) {
684 auto C =
I->stripPointerCasts();
685 auto A = dyn_cast<GlobalAlias>(
C);
686 if (isa<Function>(
C) || (
A && isa<Function>(
A->getAliasee()))) {
687 auto GV = dyn_cast<GlobalValue>(
C);
691 if (GV && GV->getName() !=
"__cxa_pure_virtual")
692 VTableFuncs.push_back({
Index.getOrInsertValueInfo(GV), StartingOffset});
700 if (
auto *
C = dyn_cast<ConstantStruct>(
I)) {
701 StructType *STy = dyn_cast<StructType>(
C->getType());
709 StartingOffset +
Offset, M,
Index, VTableFuncs, OrigGV);
711 }
else if (
auto *
C = dyn_cast<ConstantArray>(
I)) {
713 Type *EltTy = ATy->getElementType();
714 uint64_t EltSize =
DL.getTypeAllocSize(EltTy);
715 for (
unsigned i = 0, e = ATy->getNumElements(); i != e; ++i) {
717 StartingOffset + i * EltSize, M,
Index, VTableFuncs,
720 }
else if (
const auto *CE = dyn_cast<ConstantExpr>(
I)) {
722 if (CE->getOpcode() != Instruction::Trunc ||
723 !(CE = dyn_cast<ConstantExpr>(CE->getOperand(0))))
729 if (CE->getOpcode() == Instruction::Sub) {
731 APSInt LHSOffset, RHSOffset;
762 for (
auto &
P : VTableFuncs) {
766 assert(
P.VTableOffset >= PrevOffset);
767 PrevOffset =
P.VTableOffset;
782 cast<ConstantAsMetadata>(
Type->getOperand(0))->getValue())
785 if (
auto *TypeId = dyn_cast<MDString>(
TypeID))
786 Index.getOrInsertTypeIdCompatibleVtableSummary(TypeId->getString())
787 .push_back({
Offset,
Index.getOrInsertValueInfo(&V)});
798 bool RefLocalIFunc =
false;
799 bool HasBlockAddress =
801 const bool NotEligibleForImport = (HasBlockAddress || RefLocalIFunc);
804 V.getLinkage(), V.getVisibility(), NonRenamableLocal,
805 false, V.isDSOLocal(), V.canBeOmittedFromSymbolTable(),
811 if (!
Index.enableSplitLTOUnit()) {
813 V.getMetadata(LLVMContext::MD_type, Types);
814 if (!Types.empty()) {
824 bool CanBeInternalized =
825 !V.hasComdat() && !V.hasAppendingLinkage() && !V.isInterposable() &&
826 !V.hasAvailableExternallyLinkage() && !V.hasDLLExportStorageClass();
829 Constant ?
false : CanBeInternalized,
831 auto GVarSummary = std::make_unique<GlobalVarSummary>(Flags, VarFlags,
833 if (NonRenamableLocal)
834 CantBePromoted.
insert(V.getGUID());
835 if (NotEligibleForImport)
836 GVarSummary->setNotEligibleToImport();
837 if (!VTableFuncs.empty())
838 GVarSummary->setVTableFuncs(VTableFuncs);
839 Index.addGlobalValueSummary(V, std::move(GVarSummary));
847 if (isa<GlobalIFunc>(Aliasee))
851 A.getLinkage(),
A.getVisibility(), NonRenamableLocal,
852 false,
A.isDSOLocal(),
A.canBeOmittedFromSymbolTable(),
854 auto AS = std::make_unique<AliasSummary>(Flags);
855 auto AliaseeVI =
Index.getValueInfo(Aliasee->
getGUID());
856 assert(AliaseeVI &&
"Alias expects aliasee summary to be available");
857 assert(AliaseeVI.getSummaryList().size() == 1 &&
858 "Expected a single entry per aliasee in per-module index");
859 AS->setAliasee(AliaseeVI, AliaseeVI.getSummaryList()[0].get());
860 if (NonRenamableLocal)
861 CantBePromoted.
insert(
A.getGUID());
862 Index.addGlobalValueSummary(
A, std::move(AS));
868 for (
const auto &Summary : VI.getSummaryList())
869 Summary->setLive(
true);
878 bool EnableSplitLTOUnit =
false;
879 bool UnifiedLTO =
false;
880 if (
auto *MD = mdconst::extract_or_null<ConstantInt>(
881 M.getModuleFlag(
"EnableSplitLTOUnit")))
882 EnableSplitLTOUnit = MD->getZExtValue();
884 mdconst::extract_or_null<ConstantInt>(M.getModuleFlag(
"UnifiedLTO")))
885 UnifiedLTO = MD->getZExtValue();
900 for (
auto *V : Used) {
901 if (V->hasLocalLinkage()) {
903 CantBePromoted.
insert(V->getGUID());
907 bool HasLocalInlineAsmSymbol =
false;
908 if (!M.getModuleInlineAsm().empty()) {
924 HasLocalInlineAsmSymbol =
true;
937 if (
Function *
F = dyn_cast<Function>(GV)) {
938 std::unique_ptr<FunctionSummary> Summary =
939 std::make_unique<FunctionSummary>(
942 F->hasFnAttribute(Attribute::ReadNone),
943 F->hasFnAttribute(Attribute::ReadOnly),
944 F->hasFnAttribute(Attribute::NoRecurse),
945 F->returnDoesNotAlias(),
947 F->hasFnAttribute(Attribute::AlwaysInline),
948 F->hasFnAttribute(Attribute::NoUnwind),
961 Index.addGlobalValueSummary(*GV, std::move(Summary));
963 std::unique_ptr<GlobalVarSummary> Summary =
964 std::make_unique<GlobalVarSummary>(
967 false,
false, cast<GlobalVariable>(GV)->
isConstant(),
970 Index.addGlobalValueSummary(*GV, std::move(Summary));
975 bool IsThinLTO =
true;
977 mdconst::extract_or_null<ConstantInt>(M.getModuleFlag(
"ThinLTO")))
978 IsThinLTO = MD->getZExtValue();
982 for (
const auto &
F : M) {
983 if (
F.isDeclaration())
988 std::unique_ptr<BlockFrequencyInfo> BFIPtr;
990 BFI = GetBFICallback(
F);
991 else if (
F.hasProfileData()) {
994 BFIPtr = std::make_unique<BlockFrequencyInfo>(
F, BPI, LI);
999 !LocalsUsed.
empty() || HasLocalInlineAsmSymbol,
1000 CantBePromoted, IsThinLTO, GetSSICallback);
1007 if (
G.isDeclaration())
1020 Index.getGlobalValueSummary(GV)->setLive(
true);
1024 for (
auto *V : LocalsUsed) {
1025 auto *Summary =
Index.getGlobalValueSummary(*V);
1026 assert(Summary &&
"Missing summary for global value");
1027 Summary->setNotEligibleToImport();
1039 for (
auto &GlobalList :
Index) {
1041 if (GlobalList.second.SummaryList.empty())
1044 assert(GlobalList.second.SummaryList.size() == 1 &&
1045 "Expected module's index to have one summary per GUID");
1046 auto &Summary = GlobalList.second.SummaryList[0];
1048 Summary->setNotEligibleToImport();
1052 bool AllRefsCanBeExternallyReferenced =
1054 return !CantBePromoted.count(VI.getGUID());
1056 if (!AllRefsCanBeExternallyReferenced) {
1057 Summary->setNotEligibleToImport();
1061 if (
auto *FuncSummary = dyn_cast<FunctionSummary>(Summary.get())) {
1064 return !CantBePromoted.count(Edge.first.getGUID());
1066 if (!AllCallsCanBeExternallyReferenced)
1067 Summary->setNotEligibleToImport();
1077 Index.exportToDot(OSDot, {});
1107 "Module Summary Analysis",
false,
true)
1124 auto *PSI = &getAnalysis<ProfileSummaryInfoWrapperPass>().getPSI();
1129 return &(this->getAnalysis<BlockFrequencyInfoWrapperPass>(
1135 return NeedSSI ? &getAnalysis<StackSafetyInfoWrapperPass>(
1175 "Module summary info",
false,
true)
1180 if (CB->isDebugOrPseudoInst())
1182 auto *CI = dyn_cast<CallInst>(CB);
1183 auto *CalledValue = CB->getCalledOperand();
1184 auto *CalledFunction = CB->getCalledFunction();
1185 if (CalledValue && !CalledFunction) {
1186 CalledValue = CalledValue->stripPointerCasts();
1188 CalledFunction = dyn_cast<Function>(CalledValue);
1192 if (
auto *GA = dyn_cast<GlobalAlias>(CalledValue)) {
1193 assert(!CalledFunction &&
1194 "Expected null called function in callsite for alias");
1195 CalledFunction = dyn_cast<Function>(GA->getAliaseeObject());
1199 if (CalledFunction) {
1200 if (CI && CalledFunction->isIntrinsic())
MachineBasicBlock MachineBasicBlock::iterator DebugLoc DL
static bool isConstant(const MachineInstr &MI)
This file contains the simple types necessary to represent the attributes associated with functions a...
block Block Frequency Analysis
static GCRegistry::Add< ErlangGC > A("erlang", "erlang-compatible garbage collector")
#define clEnumValN(ENUMVAL, FLAGNAME, DESC)
This file contains the declarations for the subclasses of Constant, which represent the different fla...
This file defines the DenseSet and SmallDenseSet classes.
This file implements a map that provides insertion order iteration.
static void addVCallToSet(DevirtCallSite Call, GlobalValue::GUID Guid, SetVector< FunctionSummary::VFuncId, std::vector< FunctionSummary::VFuncId > > &VCalls, SetVector< FunctionSummary::ConstVCall, std::vector< FunctionSummary::ConstVCall > > &ConstVCalls)
Determine whether this call has all constant integer arguments (excluding "this") and summarize it to...
cl::opt< unsigned > MaxNumVTableAnnotations
static void computeVTableFuncs(ModuleSummaryIndex &Index, const GlobalVariable &V, const Module &M, VTableFuncList &VTableFuncs)
static void computeAliasSummary(ModuleSummaryIndex &Index, const GlobalAlias &A, DenseSet< GlobalValue::GUID > &CantBePromoted)
static void findFuncPointers(const Constant *I, uint64_t StartingOffset, const Module &M, ModuleSummaryIndex &Index, VTableFuncList &VTableFuncs, const GlobalVariable &OrigGV)
Find function pointers referenced within the given vtable initializer (or subset of an initializer) I...
static void computeVariableSummary(ModuleSummaryIndex &Index, const GlobalVariable &V, DenseSet< GlobalValue::GUID > &CantBePromoted, const Module &M, SmallVectorImpl< MDNode * > &Types)
static void setLiveRoot(ModuleSummaryIndex &Index, StringRef Name)
static CalleeInfo::HotnessType getHotness(uint64_t ProfileCount, ProfileSummaryInfo *PSI)
static bool isNonVolatileLoad(const Instruction *I)
cl::opt< bool > ScalePartialSampleProfileWorkingSetSize
static bool isNonRenamableLocal(const GlobalValue &GV)
static void computeFunctionSummary(ModuleSummaryIndex &Index, const Module &M, const Function &F, BlockFrequencyInfo *BFI, ProfileSummaryInfo *PSI, DominatorTree &DT, bool HasLocalsInUsedOrAsm, DenseSet< GlobalValue::GUID > &CantBePromoted, bool IsThinLTO, std::function< const StackSafetyInfo *(const Function &F)> GetSSICallback)
static bool findRefEdges(ModuleSummaryIndex &Index, const User *CurUser, SetVector< ValueInfo, std::vector< ValueInfo > > &RefEdges, SmallPtrSet< const User *, 8 > &Visited, bool &RefLocalLinkageIFunc)
static cl::opt< FunctionSummary::ForceSummaryHotnessType, true > FSEC("force-summary-edges-cold", cl::Hidden, cl::location(ForceSummaryEdgesCold), cl::desc("Force all edges in the function summary to cold"), cl::values(clEnumValN(FunctionSummary::FSHT_None, "none", "None."), clEnumValN(FunctionSummary::FSHT_AllNonCritical, "all-non-critical", "All non-critical edges."), clEnumValN(FunctionSummary::FSHT_All, "all", "All edges.")))
static bool mustBeUnreachableFunction(const Function &F)
static bool isNonVolatileStore(const Instruction *I)
static cl::opt< std::string > ModuleSummaryDotFile("module-summary-dot-file", cl::Hidden, cl::value_desc("filename"), cl::desc("File to emit dot graph of new summary into"))
static void addIntrinsicToSummary(const CallInst *CI, SetVector< GlobalValue::GUID, std::vector< GlobalValue::GUID > > &TypeTests, SetVector< FunctionSummary::VFuncId, std::vector< FunctionSummary::VFuncId > > &TypeTestAssumeVCalls, SetVector< FunctionSummary::VFuncId, std::vector< FunctionSummary::VFuncId > > &TypeCheckedLoadVCalls, SetVector< FunctionSummary::ConstVCall, std::vector< FunctionSummary::ConstVCall > > &TypeTestAssumeConstVCalls, SetVector< FunctionSummary::ConstVCall, std::vector< FunctionSummary::ConstVCall > > &TypeCheckedLoadConstVCalls, DominatorTree &DT)
If this intrinsic call requires that we add information to the function summary, do so via the non-co...
static void recordTypeIdCompatibleVtableReferences(ModuleSummaryIndex &Index, const GlobalVariable &V, SmallVectorImpl< MDNode * > &Types)
Record vtable definition V for each type metadata it references.
This is the interface to build a ModuleSummaryIndex for a module.
ModuleSummaryIndex.h This file contains the declarations the classes that hold the module index and s...
Module.h This file contains the declarations for the Module class.
FunctionAnalysisManager FAM
#define INITIALIZE_PASS_DEPENDENCY(depName)
#define INITIALIZE_PASS_END(passName, arg, name, cfg, analysis)
#define INITIALIZE_PASS_BEGIN(passName, arg, name, cfg, analysis)
#define INITIALIZE_PASS(passName, arg, name, cfg, analysis)
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
This file implements a set that has insertion order iteration characteristics.
This file defines the SmallPtrSet class.
This file defines the SmallVector class.
This defines the Use class.
An arbitrary precision integer that knows its signedness.
A container for analyses that lazily runs them and caches their results.
PassT::Result & getResult(IRUnitT &IR, ExtraArgTs... ExtraArgs)
Get the result of an analysis pass for a given IR unit.
Represent the analysis usage information of a pass.
AnalysisUsage & addRequired()
void setPreservesAll()
Set by analyses that do not transform their input at all.
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
LLVM Basic Block Representation.
static BlockAddress * get(Function *F, BasicBlock *BB)
Return a BlockAddress for the specified function and basic block.
Analysis pass which computes BlockFrequencyInfo.
Legacy analysis pass which computes BlockFrequencyInfo.
BlockFrequencyInfo pass uses BlockFrequencyInfoImpl implementation to estimate IR basic block frequen...
Analysis providing branch probability information.
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
Function * getCalledFunction() const
Returns the function called, or null if this is an indirect function invocation or the function signa...
Value * getArgOperand(unsigned i) const
This class represents a function call, abstracting a target machine's calling convention.
This is an important base class in LLVM.
This class represents an Operation in the Expression.
A parsed version of the target data layout string in and methods for querying it.
Implements a dense probed hash-table based set.
Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.
std::pair< ValueInfo, CalleeInfo > EdgeTy
<CalleeValueInfo, CalleeInfo> call edge pair.
ForceSummaryHotnessType
Types for -force-summary-edges-cold debugging option.
Class to represent profile counts.
Intrinsic::ID getIntrinsicID() const LLVM_READONLY
getIntrinsicID - This method returns the ID number of the specified function, or Intrinsic::not_intri...
bool isDeclaration() const
Return true if the primary definition of this global value is outside of the current translation unit...
bool hasLocalLinkage() const
static GUID getGUID(StringRef GlobalName)
Return a 64-bit global unique ID constructed from global value name (i.e.
GUID getGUID() const
Return a 64-bit global unique ID constructed from global value name (i.e.
@ DefaultVisibility
The GV is visible.
bool canBeOmittedFromSymbolTable() const
True if GV can be left out of the object symbol table.
@ InternalLinkage
Rename collisions when linking (static functions).
const Constant * getInitializer() const
getInitializer - Return the initializer for this global variable.
Legacy wrapper pass to provide the ModuleSummaryIndex object.
ImmutableModuleSummaryIndexWrapperPass(const ModuleSummaryIndex *Index=nullptr)
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - This function should be overriden by passes that need analysis information to do t...
ImmutablePass class - This class is used to provide information that does not need to be run.
An analysis over an "outer" IR unit that provides access to an analysis manager over an "inner" IR un...
This class implements a map that also provides access to all stored values in a deterministic order.
VectorType takeVector()
Clear the MapVector and return the underlying vector.
ModulePass class - This class is used to implement unstructured interprocedural optimizations and ana...
Result run(Module &M, ModuleAnalysisManager &AM)
Legacy wrapper pass to provide the ModuleSummaryIndex object.
void getAnalysisUsage(AnalysisUsage &AU) const override
getAnalysisUsage - This function should be overriden by passes that need analysis information to do t...
bool doFinalization(Module &M) override
doFinalization - Virtual method overriden by subclasses to do any necessary clean up after all passes...
ModuleSummaryIndexWrapperPass()
bool runOnModule(Module &M) override
runOnModule - Virtual method overriden by subclasses to process the module being operated on.
Class to hold module path string table and global value map, and encapsulate methods for operating on...
static void CollectAsmSymbols(const Module &M, function_ref< void(StringRef, object::BasicSymbolRef::Flags)> AsmSymbol)
Parse inline ASM and collect the symbols that are defined or referenced in the current module.
A Module instance is used to store all the information related to an LLVM module.
static PassRegistry * getPassRegistry()
getPassRegistry - Access the global registry object, which is automatically initialized at applicatio...
An analysis pass based on the new PM to deliver ProfileSummaryInfo.
An analysis pass based on legacy pass manager to deliver ProfileSummaryInfo.
Analysis providing profile information.
std::optional< uint64_t > getProfileCount(const CallBase &CallInst, BlockFrequencyInfo *BFI, bool AllowSynthetic=false) const
Returns the profile count for CallInst.
bool isColdCount(uint64_t C) const
Returns true if count C is considered cold.
bool hasPartialSampleProfile() const
Returns true if module M has partial-profile sample profile.
bool isHotCount(uint64_t C) const
Returns true if count C is considered hot.
A vector that has set insertion semantics.
bool remove(const value_type &X)
Remove an item from the set vector.
size_type size() const
Determine the number of elements in the SetVector.
Vector takeVector()
Clear the SetVector and return the underlying vector.
bool insert(const value_type &X)
Insert a new element into the SetVector.
std::pair< iterator, bool > insert(PtrType Ptr)
Inserts Ptr if and only if there is no element in the container equal to Ptr.
SmallPtrSet - This class implements a set which is optimized for holding SmallSize or less elements.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
void push_back(const T &Elt)
This is a 'vector' (really, a variable-sized array), optimized for the case when the array is small.
StackSafetyInfo wrapper for the new pass manager.
StackSafetyInfo wrapper for the legacy pass manager.
Interface to access stack safety analysis results for single function.
StringRef - Represent a constant reference to a string, i.e.
Used to lazily calculate structure layout information for a target machine, based on the DataLayout s...
unsigned getElementContainingOffset(uint64_t FixedOffset) const
Given a valid byte offset into the structure, returns the structure index that contains it.
TypeSize getElementOffset(unsigned Idx) const
Class to represent struct types.
ArrayRef< Type * > elements() const
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.
TypeID
Definitions of all of the base types for the Type system.
A Use represents the edge between a Value definition and its users.
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
iterator_range< use_iterator > uses()
std::pair< iterator, bool > insert(const ValueT &V)
size_type count(const_arg_type_t< ValueT > V) const
Return 1 if the specified key is in the set, 0 otherwise.
Helper class to iterate through stack ids in both metadata (memprof MIB and callsite) and the corresp...
CallStackIterator end() const
CallStackIterator beginAfterSharedPrefix(CallStack &Other)
A raw_ostream that writes to a file descriptor.
@ C
The default llvm calling convention, compatible with C.
ValuesClass values(OptsTy... Options)
Helper to build a ValuesClass by forwarding a variable number of arguments as an initializer list to ...
LocationClass< Ty > location(Ty &L)
AllocationType getMIBAllocType(const MDNode *MIB)
Returns the allocation type from an MIB metadata node.
MDNode * getMIBStackNode(const MDNode *MIB)
Returns the stack node from an MIB metadata node.
This is an optimization pass for GlobalISel generic memory operations.
auto drop_begin(T &&RangeOrContainer, size_t N=1)
Return a range covering RangeOrContainer with the first N elements excluded.
bool all_of(R &&range, UnaryPredicate P)
Provide wrappers to std::all_of which take ranges instead of having to pass begin/end explicitly.
auto enumerate(FirstRange &&First, RestRanges &&...Rest)
Given two or more input ranges, returns a new range whose values are are tuples (A,...
bool IsConstantOffsetFromGlobal(Constant *C, GlobalValue *&GV, APInt &Offset, const DataLayout &DL, DSOLocalEquivalent **DSOEquiv=nullptr)
If this constant is a constant offset from a global, return the global and the constant.
std::unique_ptr< InstrProfValueData[]> getValueProfDataFromInst(const Instruction &Inst, InstrProfValueKind ValueKind, uint32_t MaxNumValueData, uint32_t &ActualNumValueData, uint64_t &TotalC, bool GetNoICPValue=false)
Extract the value profile data from Inst and returns them if Inst is annotated with value profile dat...
FunctionSummary::ForceSummaryHotnessType ForceSummaryEdgesCold
bool needsParamAccessSummary(const Module &M)
ModuleSummaryIndex buildModuleSummaryIndex(const Module &M, std::function< BlockFrequencyInfo *(const Function &F)> GetBFICallback, ProfileSummaryInfo *PSI, std::function< const StackSafetyInfo *(const Function &F)> GetSSICallback=[](const Function &F) -> const StackSafetyInfo *{ return nullptr;})
Direct function to compute a ModuleSummaryIndex from a given module.
void initializeModuleSummaryIndexWrapperPassPass(PassRegistry &)
std::vector< VirtFuncOffset > VTableFuncList
List of functions referenced by a particular vtable definition.
bool any_of(R &&range, UnaryPredicate P)
Provide wrappers to std::any_of which take ranges instead of having to pass begin/end explicitly.
void report_fatal_error(Error Err, bool gen_crash_diag=true)
Report a serious error, calling any installed error handler.
void findDevirtualizableCallsForTypeCheckedLoad(SmallVectorImpl< DevirtCallSite > &DevirtCalls, SmallVectorImpl< Instruction * > &LoadedPtrs, SmallVectorImpl< Instruction * > &Preds, bool &HasNonCallUses, const CallInst *CI, DominatorTree &DT)
Given a call to the intrinsic @llvm.type.checked.load, find all devirtualizable call sites based on t...
ModulePass * createModuleSummaryIndexWrapperPass()
ImmutablePass * createImmutableModuleSummaryIndexWrapperPass(const ModuleSummaryIndex *Index)
void initializeImmutableModuleSummaryIndexWrapperPassPass(PassRegistry &)
bool mayHaveMemprofSummary(const CallBase *CB)
Returns true if the instruction could have memprof metadata, used to ensure consistency between summa...
void findDevirtualizableCallsForTypeTest(SmallVectorImpl< DevirtCallSite > &DevirtCalls, SmallVectorImpl< CallInst * > &Assumes, const CallInst *CI, DominatorTree &DT)
Given a call to the intrinsic @llvm.type.test, find all devirtualizable call sites based on the call ...
GlobalVariable * collectUsedGlobalVariables(const Module &M, SmallVectorImpl< GlobalValue * > &Vec, bool CompilerUsed)
Given "llvm.used" or "llvm.compiler.used" as a global name, collect the initializer elements of that ...
Summary of memprof metadata on allocations.
A special type used by analysis passes to provide an address that identifies that particular analysis...
A call site that could be devirtualized.
A specification for a virtual function call with all constant integer arguments.
Flags specific to function summaries.
An "identifier" for a virtual function.
Group flags (Linkage, NotEligibleToImport, etc.) as a bitfield.
Summary of a single MIB in a memprof metadata on allocations.
Struct that holds a reference to a particular GUID in a global value summary.