124#include <unordered_map>
132#define DEBUG_TYPE "pgo-instrumentation"
134STATISTIC(NumOfPGOInstrument,
"Number of edges instrumented.");
135STATISTIC(NumOfPGOSelectInsts,
"Number of select instruction instrumented.");
136STATISTIC(NumOfPGOMemIntrinsics,
"Number of mem intrinsics instrumented.");
139STATISTIC(NumOfPGOSplit,
"Number of critical edge splits.");
140STATISTIC(NumOfPGOFunc,
"Number of functions having valid profile counts.");
141STATISTIC(NumOfPGOMismatch,
"Number of functions having mismatch profile.");
142STATISTIC(NumOfPGOMissing,
"Number of functions without profile.");
143STATISTIC(NumOfPGOICall,
"Number of indirect call value instrumentations.");
144STATISTIC(NumOfCSPGOInstrument,
"Number of edges instrumented in CSPGO.");
146 "Number of select instruction instrumented in CSPGO.");
148 "Number of mem intrinsics instrumented in CSPGO.");
150STATISTIC(NumOfCSPGOBB,
"Number of basic-blocks in CSPGO.");
151STATISTIC(NumOfCSPGOSplit,
"Number of critical edge splits in CSPGO.");
153 "Number of functions having valid profile counts in CSPGO.");
155 "Number of functions having mismatch profile in CSPGO.");
156STATISTIC(NumOfCSPGOMissing,
"Number of functions without profile in CSPGO.");
157STATISTIC(NumCoveredBlocks,
"Number of basic blocks that were executed");
164 cl::desc(
"Specify the path of profile data file. This is"
165 "mainly for test purpose."));
169 cl::desc(
"Specify the path of profile remapping file. This is mainly for "
176 cl::desc(
"Disable Value Profiling"));
182 cl::desc(
"Max number of annotations for a single indirect "
189 cl::desc(
"Max number of preicise value annotations for a single memop"
196 cl::desc(
"Append function hash to the name of COMDAT function to avoid "
197 "function hash mismatch due to the preinliner"));
204 cl::desc(
"Use this option to turn on/off "
205 "warnings about missing profile data for "
212 cl::desc(
"Use this option to turn off/on "
213 "warnings about profile cfg mismatch."));
220 cl::desc(
"The option is used to turn on/off "
221 "warnings about hash mismatch for comdat "
222 "or weak functions."));
228 cl::desc(
"Use this option to turn on/off SELECT "
229 "instruction instrumentation. "));
234 cl::desc(
"A boolean option to show CFG dag or text "
235 "with raw profile counts from "
236 "profile data. See also option "
237 "-pgo-view-counts. To limit graph "
238 "display to only one function, use "
239 "filtering option -view-bfi-func-name."),
247 cl::desc(
"Use this option to turn on/off "
248 "memory intrinsic size profiling."));
253 cl::desc(
"When this option is on, the annotated "
254 "branch probability will be emitted as "
255 "optimization remarks: -{Rpass|"
256 "pass-remarks}=pgo-instrumentation"));
260 cl::desc(
"Force to instrument function entry basicblock."));
265 cl::desc(
"Force to instrument loop entries."));
270 "Use this option to enable function entry coverage instrumentation."));
273 "pgo-block-coverage",
274 cl::desc(
"Use this option to enable basic block coverage instrumentation"));
278 cl::desc(
"Create a dot file of CFGs with block "
279 "coverage inference information"));
282 "pgo-temporal-instrumentation",
283 cl::desc(
"Use this option to enable temporal instrumentation"));
287 cl::desc(
"Fix function entry count in profile use."));
291 cl::desc(
"Print out the non-match BFI count if a hot raw profile count "
292 "becomes non-hot, or a cold raw profile count becomes hot. "
293 "The print is enabled under -Rpass-analysis=pgo, or "
294 "internal option -pass-remakrs-analysis=pgo."));
298 cl::desc(
"Print out mismatched BFI counts after setting profile metadata "
299 "The print is enabled under -Rpass-analysis=pgo, or "
300 "internal option -pass-remakrs-analysis=pgo."));
304 cl::desc(
"Set the threshold for pgo-verify-bfi: only print out "
305 "mismatched BFI if the difference percentage is greater than "
306 "this value (in percentage)."));
310 cl::desc(
"Set the threshold for pgo-verify-bfi: skip the counts whose "
311 "profile count value is below."));
316 cl::desc(
"Trace the hash of the function with this name."));
320 cl::desc(
"Do not instrument functions smaller than this threshold."));
324 cl::desc(
"Do not instrument functions with the number of critical edges "
325 " greater than this threshold."));
329 cl::desc(
"For cold function instrumentation, skip instrumenting functions "
330 "whose entry count is above the given value."));
334 cl::desc(
"For cold function instrumentation, treat count unknown(e.g. "
335 "unprofiled) functions as cold."));
339 cl::desc(
"Enable cold function only instrumentation."));
360class FunctionInstrumenter final {
364 std::unordered_multimap<Comdat *, GlobalValue *> &ComdatMembers;
375 bool isValueProfilingDisabled()
const {
377 InstrumentationType == PGOInstrumentationType::CTXPROF;
380 bool shouldInstrumentEntryBB()
const {
382 InstrumentationType == PGOInstrumentationType::CTXPROF;
388 FunctionInstrumenter(
390 std::unordered_multimap<Comdat *, GlobalValue *> &ComdatMembers,
394 : M(M),
F(
F), TLI(TLI), ComdatMembers(ComdatMembers), BPI(BPI), BFI(BFI),
395 LI(LI), InstrumentationType(InstrumentationType) {}
406 return std::string();
411 return std::string();
423 else if (CV->
isOne())
434#define VALUE_PROF_KIND(Enumerator, Value, Descr) Descr,
443 const StringRef VarName(INSTR_PROF_QUOTE(INSTR_PROF_RAW_VERSION_VAR));
445 uint64_t ProfileVersion = (INSTR_PROF_RAW_VERSION | VARIANT_MASK_IR_PROF);
446 if (InstrumentationType == PGOInstrumentationType::CSFDO)
447 ProfileVersion |= VARIANT_MASK_CSIR_PROF;
449 InstrumentationType == PGOInstrumentationType::CTXPROF)
450 ProfileVersion |= VARIANT_MASK_INSTR_ENTRY;
452 ProfileVersion |= VARIANT_MASK_INSTR_LOOP_ENTRIES;
454 ProfileVersion |= VARIANT_MASK_DBG_CORRELATE;
457 VARIANT_MASK_BYTE_COVERAGE | VARIANT_MASK_FUNCTION_ENTRY_ONLY;
459 ProfileVersion |= VARIANT_MASK_BYTE_COVERAGE;
461 ProfileVersion |= VARIANT_MASK_TEMPORAL_PROF;
466 Triple TT(M.getTargetTriple());
467 if (TT.supportsCOMDAT()) {
469 IRLevelVersionVariable->setComdat(M.getOrInsertComdat(VarName));
471 return IRLevelVersionVariable;
481enum VisitMode { VM_counting, VM_instrument, VM_annotate };
485struct SelectInstVisitor :
public InstVisitor<SelectInstVisitor> {
488 VisitMode
Mode = VM_counting;
489 unsigned *CurCtrIdx =
nullptr;
490 unsigned TotalNumCtrs = 0;
493 PGOUseFunc *UseFunc =
nullptr;
494 bool HasSingleByteCoverage;
496 SelectInstVisitor(
Function &Func,
bool HasSingleByteCoverage)
497 :
F(
Func), HasSingleByteCoverage(HasSingleByteCoverage) {}
499 void countSelects() {
509 void instrumentSelects(
unsigned *Ind,
unsigned TotalNC,
GlobalValue *FNV,
511 Mode = VM_instrument;
513 TotalNumCtrs = TotalNC;
520 void annotateSelects(PGOUseFunc *UF,
unsigned *Ind) {
535 unsigned getNumOfSelectInsts()
const {
return NSIs; }
547 bool Removed =
false;
548 bool IsCritical =
false;
551 : SrcBB(Src), DestBB(Dest), Weight(
W) {}
554 std::string infoString()
const {
555 return (
Twine(Removed ?
"-" :
" ") + (InMST ?
" " :
"*") +
556 (IsCritical ?
"c" :
" ") +
" W=" +
Twine(Weight))
567 PGOBBInfo(
unsigned IX) : Group(this),
Index(IX) {}
570 std::string infoString()
const {
571 return (
Twine(
"Index=") +
Twine(Index)).str();
576template <
class Edge,
class BBInfo>
class FuncPGOInstrumentation {
584 std::unordered_multimap<Comdat *, GlobalValue *> &ComdatMembers;
588 void computeCFGHash();
589 void renameComdatFunction();
593 std::vector<std::vector<VPCandidateInfo>> ValueSites;
594 SelectInstVisitor SIVisitor;
595 std::string FuncName;
596 std::string DeprecatedFuncName;
605 const std::optional<BlockCoverageInference> BCI;
607 static std::optional<BlockCoverageInference>
608 constructBCI(
Function &Func,
bool HasSingleByteCoverage,
609 bool InstrumentFuncEntry) {
610 if (HasSingleByteCoverage)
617 void getInstrumentBBs(std::vector<BasicBlock *> &InstrumentBBs);
630 void dumpInfo(
StringRef Str =
"")
const {
632 " Hash: " +
Twine(FunctionHash) +
"\t" + Str);
635 FuncPGOInstrumentation(
637 std::unordered_multimap<Comdat *, GlobalValue *> &ComdatMembers,
640 bool IsCS =
false,
bool InstrumentFuncEntry =
true,
641 bool InstrumentLoopEntries =
false,
bool HasSingleByteCoverage =
false)
642 :
F(
Func), IsCS(IsCS), ComdatMembers(ComdatMembers), VPC(
Func, TLI),
643 TLI(TLI), ValueSites(IPVK_Last + 1),
644 SIVisitor(
Func, HasSingleByteCoverage),
645 MST(
F, InstrumentFuncEntry, InstrumentLoopEntries, BPI,
BFI, LI),
646 BCI(constructBCI(
Func, HasSingleByteCoverage, InstrumentFuncEntry)) {
648 BCI->viewBlockCoverageGraph();
650 SIVisitor.countSelects();
651 ValueSites[IPVK_MemOPSize] = VPC.
get(IPVK_MemOPSize);
653 NumOfPGOSelectInsts += SIVisitor.getNumOfSelectInsts();
654 NumOfPGOMemIntrinsics += ValueSites[IPVK_MemOPSize].size();
656 ValueSites[IPVK_IndirectCallTarget] = VPC.
get(IPVK_IndirectCallTarget);
658 ValueSites[IPVK_VTableTarget] = VPC.
get(IPVK_VTableTarget);
660 NumOfCSPGOSelectInsts += SIVisitor.getNumOfSelectInsts();
661 NumOfCSPGOMemIntrinsics += ValueSites[IPVK_MemOPSize].size();
668 if (!ComdatMembers.empty())
669 renameComdatFunction();
672 for (
const auto &E : MST.
allEdges()) {
675 IsCS ? NumOfCSPGOEdge++ : NumOfPGOEdge++;
677 IsCS ? NumOfCSPGOInstrument++ : NumOfPGOInstrument++;
690template <
class Edge,
class BBInfo>
691void FuncPGOInstrumentation<Edge, BBInfo>::computeCFGHash() {
692 std::vector<uint8_t> Indexes;
696 auto BI = findBBInfo(Succ);
700 for (
int J = 0; J < 4; J++)
701 Indexes.push_back((
uint8_t)(Index >> (J * 8)));
708 auto updateJCH = [&JCH](
uint64_t Num) {
713 updateJCH((
uint64_t)SIVisitor.getNumOfSelectInsts());
714 updateJCH((
uint64_t)ValueSites[IPVK_IndirectCallTarget].
size());
717 updateJCH(BCI->getInstrumentedBlocksHash());
727 FunctionHash &= 0x0FFFFFFFFFFFFFFF;
730 LLVM_DEBUG(
dbgs() <<
"Function Hash Computation for " <<
F.getName() <<
":\n"
731 <<
" CRC = " << JC.
getCRC()
732 <<
", Selects = " << SIVisitor.getNumOfSelectInsts()
733 <<
", Edges = " << MST.
numEdges() <<
", ICSites = "
734 << ValueSites[IPVK_IndirectCallTarget].size()
735 <<
", Memops = " << ValueSites[IPVK_MemOPSize].size()
736 <<
", High32 CRC = " << JCH.
getCRC()
737 <<
", Hash = " << FunctionHash <<
"\n";);
740 dbgs() <<
"Funcname=" <<
F.getName() <<
", Hash=" << FunctionHash
741 <<
" in building " <<
F.getParent()->getSourceFileName() <<
"\n";
747 std::unordered_multimap<Comdat *, GlobalValue *> &ComdatMembers) {
759 for (
auto &&CM :
make_range(ComdatMembers.equal_range(
C))) {
760 assert(!isa<GlobalAlias>(CM.second));
761 Function *FM = dyn_cast<Function>(CM.second);
769template <
class Edge,
class BBInfo>
770void FuncPGOInstrumentation<Edge, BBInfo>::renameComdatFunction() {
773 std::string OrigName =
F.getName().str();
774 std::string NewFuncName =
776 F.setName(
Twine(NewFuncName));
778 FuncName =
Twine(FuncName +
"." +
Twine(FunctionHash)).
str();
784 if (!
F.hasComdat()) {
786 NewComdat =
M->getOrInsertComdat(
StringRef(NewFuncName));
788 F.setComdat(NewComdat);
793 Comdat *OrigComdat =
F.getComdat();
794 std::string NewComdatName =
796 NewComdat =
M->getOrInsertComdat(
StringRef(NewComdatName));
799 for (
auto &&CM :
make_range(ComdatMembers.equal_range(OrigComdat))) {
801 cast<Function>(CM.second)->setComdat(NewComdat);
807template <
class Edge,
class BBInfo>
808void FuncPGOInstrumentation<Edge, BBInfo>::getInstrumentBBs(
809 std::vector<BasicBlock *> &InstrumentBBs) {
812 if (BCI->shouldInstrumentBlock(BB))
813 InstrumentBBs.push_back(&BB);
818 std::vector<Edge *> EdgeList;
820 for (
const auto &E : MST.
allEdges())
821 EdgeList.push_back(E.get());
823 for (
auto &E : EdgeList) {
826 InstrumentBBs.push_back(InstrBB);
832template <
class Edge,
class BBInfo>
833BasicBlock *FuncPGOInstrumentation<Edge, BBInfo>::getInstrBB(Edge *E) {
834 if (E->InMST || E->Removed)
840 if (SrcBB ==
nullptr)
842 if (DestBB ==
nullptr)
857 return canInstrument(SrcBB);
859 return canInstrument(DestBB);
868 dbgs() <<
"Fail to split critical edge: not instrument this edge.\n");
873 IsCS ? NumOfCSPGOSplit++ : NumOfPGOSplit++;
874 LLVM_DEBUG(
dbgs() <<
"Split critical edge: " << getBBInfo(SrcBB).Index
875 <<
" --> " << getBBInfo(DestBB).Index <<
"\n");
877 MST.
addEdge(SrcBB, InstrBB, 0);
879 Edge &NewEdge1 = MST.
addEdge(InstrBB, DestBB, 0);
880 NewEdge1.InMST =
true;
883 return canInstrument(InstrBB);
899 if (!isa<IntrinsicInst>(OrigCall)) {
902 std::optional<OperandBundleUse> ParentFunclet =
910 if (!BlockColors.
empty()) {
911 const ColorVector &CV = BlockColors.
find(OrigCall->getParent())->second;
912 assert(CV.
size() == 1 &&
"non-unique color for block!");
922void FunctionInstrumenter::instrument() {
929 const bool IsCtxProf = InstrumentationType == PGOInstrumentationType::CTXPROF;
930 FuncPGOInstrumentation<PGOEdge, PGOBBInfo> FuncInfo(
931 F, TLI, ComdatMembers, !IsCtxProf, BPI, BFI, LI,
932 InstrumentationType == PGOInstrumentationType::CSFDO,
933 shouldInstrumentEntryBB(), shouldInstrumentLoopEntries(),
936 auto *
const Name = IsCtxProf ? cast<GlobalValue>(&
F) : FuncInfo.FuncNameVar;
937 auto *
const CFGHash =
942 Name, PointerType::get(
M.getContext(), 0));
944 auto &EntryBB =
F.getEntryBlock();
945 IRBuilder<> Builder(&EntryBB, EntryBB.getFirstInsertionPt());
948 Builder.CreateIntrinsic(
949 Intrinsic::instrprof_cover, {},
950 {NormalizedNamePtr, CFGHash, Builder.getInt32(1), Builder.getInt32(0)});
954 std::vector<BasicBlock *> InstrumentBBs;
955 FuncInfo.getInstrumentBBs(InstrumentBBs);
956 unsigned NumCounters =
957 InstrumentBBs.size() + FuncInfo.SIVisitor.getNumOfSelectInsts();
972 for (
auto &Instr : BB)
973 if (
auto *CS = dyn_cast<CallBase>(&Instr)) {
981 Visit([&TotalNumCallsites](
auto *) { ++TotalNumCallsites; });
985 Visit([&](
auto *CB) {
987 Builder.CreateCall(CSIntrinsic,
988 {
Name, CFGHash, Builder.getInt32(TotalNumCallsites),
989 Builder.getInt32(CallsiteIndex++),
990 CB->getCalledOperand()});
997 auto &EntryBB =
F.getEntryBlock();
998 IRBuilder<> Builder(&EntryBB, EntryBB.getFirstInsertionPt());
1001 Builder.CreateIntrinsic(Intrinsic::instrprof_timestamp, {},
1002 {NormalizedNamePtr, CFGHash,
1003 Builder.getInt32(NumCounters),
1004 Builder.getInt32(
I)});
1008 for (
auto *InstrBB : InstrumentBBs) {
1010 assert(Builder.GetInsertPoint() != InstrBB->
end() &&
1011 "Cannot get the Instrumentation point");
1015 : Intrinsic::instrprof_increment,
1017 {NormalizedNamePtr, CFGHash,
1018 Builder.getInt32(NumCounters),
1019 Builder.getInt32(
I++)});
1023 FuncInfo.SIVisitor.instrumentSelects(&
I, NumCounters,
Name,
1024 FuncInfo.FunctionHash);
1027 if (isValueProfilingDisabled())
1030 NumOfPGOICall += FuncInfo.ValueSites[IPVK_IndirectCallTarget].size();
1037 if (
F.hasPersonalityFn() &&
1043 unsigned SiteIndex = 0;
1049 <<
" site: CallSite Index = " << SiteIndex <<
"\n");
1052 assert(Builder.GetInsertPoint() != Cand.InsertPt->getParent()->end() &&
1053 "Cannot get the Instrumentation point");
1055 Value *ToProfile =
nullptr;
1056 if (Cand.V->getType()->isIntegerTy())
1057 ToProfile = Builder.CreateZExtOrTrunc(Cand.V, Builder.getInt64Ty());
1058 else if (Cand.V->getType()->isPointerTy())
1059 ToProfile = Builder.CreatePtrToInt(Cand.V, Builder.getInt64Ty());
1060 assert(ToProfile &&
"value profiling Value is of unexpected type");
1063 Name, PointerType::get(
M.getContext(), 0));
1069 Intrinsic::instrprof_value_profile),
1070 {NormalizedNamePtr, Builder.getInt64(FuncInfo.FunctionHash),
1071 ToProfile, Builder.getInt32(Kind), Builder.getInt32(SiteIndex++)},
1080struct PGOUseEdge :
public PGOEdge {
1081 using PGOEdge::PGOEdge;
1083 std::optional<uint64_t> Count;
1089 std::string infoString()
const {
1091 return PGOEdge::infoString();
1092 return (
Twine(PGOEdge::infoString()) +
" Count=" +
Twine(*Count)).str();
1099struct PGOUseBBInfo :
public PGOBBInfo {
1100 std::optional<uint64_t> Count;
1101 int32_t UnknownCountInEdge = 0;
1102 int32_t UnknownCountOutEdge = 0;
1103 DirectEdges InEdges;
1104 DirectEdges OutEdges;
1106 PGOUseBBInfo(
unsigned IX) : PGOBBInfo(IX) {}
1112 std::string infoString()
const {
1114 return PGOBBInfo::infoString();
1115 return (
Twine(PGOBBInfo::infoString()) +
" Count=" +
Twine(*Count)).str();
1119 void addOutEdge(PGOUseEdge *E) {
1120 OutEdges.push_back(E);
1121 UnknownCountOutEdge++;
1125 void addInEdge(PGOUseEdge *E) {
1126 InEdges.push_back(E);
1127 UnknownCountInEdge++;
1136 for (
const auto &E : Edges) {
1150 std::unordered_multimap<Comdat *, GlobalValue *> &ComdatMembers,
1153 bool InstrumentFuncEntry,
bool InstrumentLoopEntries,
1154 bool HasSingleByteCoverage)
1155 :
F(
Func),
M(Modu),
BFI(BFIin), PSI(PSI),
1156 FuncInfo(
Func, TLI, ComdatMembers,
false, BPI, BFIin, LI, IsCS,
1157 InstrumentFuncEntry, InstrumentLoopEntries,
1158 HasSingleByteCoverage),
1159 FreqAttr(FFA_Normal), IsCS(IsCS), VPC(
Func, TLI) {}
1161 void handleInstrProfError(
Error Err,
uint64_t MismatchedFuncSum);
1168 void populateCounters();
1177 void annotateValueSites();
1180 void annotateValueSites(
uint32_t Kind);
1183 void annotateIrrLoopHeaderWeights();
1186 enum FuncFreqAttr { FFA_Normal, FFA_Cold, FFA_Hot };
1189 FuncFreqAttr getFuncFreqAttr()
const {
return FreqAttr; }
1198 PGOUseBBInfo &getBBInfo(
const BasicBlock *BB)
const {
1199 return FuncInfo.getBBInfo(BB);
1203 PGOUseBBInfo *findBBInfo(
const BasicBlock *BB)
const {
1204 return FuncInfo.findBBInfo(BB);
1209 void dumpInfo(
StringRef Str =
"")
const { FuncInfo.dumpInfo(Str); }
1211 uint64_t getProgramMaxCount()
const {
return ProgramMaxCount; }
1220 FuncPGOInstrumentation<PGOUseEdge, PGOUseBBInfo> FuncInfo;
1236 FuncFreqAttr FreqAttr;
1244 bool setInstrumentedCounts(
const std::vector<uint64_t> &CountFromProfile);
1257 FreqAttr = FFA_Cold;
1265 const FuncPGOInstrumentation<PGOUseEdge, PGOUseBBInfo> &FuncInfo) {
1269 for (
const auto &E : FuncInfo.MST.allEdges()) {
1274 PGOUseBBInfo &SrcInfo = FuncInfo.getBBInfo(SrcBB);
1275 PGOUseBBInfo &DestInfo = FuncInfo.getBBInfo(DestBB);
1276 SrcInfo.addOutEdge(E.get());
1277 DestInfo.addInEdge(E.get());
1283bool PGOUseFunc::setInstrumentedCounts(
1284 const std::vector<uint64_t> &CountFromProfile) {
1286 std::vector<BasicBlock *> InstrumentBBs;
1287 FuncInfo.getInstrumentBBs(InstrumentBBs);
1291 unsigned NumCounters =
1292 InstrumentBBs.size() + FuncInfo.SIVisitor.getNumOfSelectInsts();
1295 if (NumCounters != CountFromProfile.size()) {
1298 auto *FuncEntry = &*
F.begin();
1303 uint64_t CountValue = CountFromProfile[
I++];
1304 PGOUseBBInfo &
Info = getBBInfo(InstrBB);
1308 if (InstrBB == FuncEntry && CountValue == 0)
1310 Info.setBBInfoCount(CountValue);
1312 ProfileCountSize = CountFromProfile.size();
1316 auto setEdgeCount = [
this](PGOUseEdge *E,
uint64_t Value) ->
void {
1317 E->setEdgeCount(
Value);
1318 this->getBBInfo(E->SrcBB).UnknownCountOutEdge--;
1319 this->getBBInfo(E->DestBB).UnknownCountInEdge--;
1325 for (
const auto &E : FuncInfo.MST.allEdges()) {
1326 if (E->Removed || E->InMST)
1329 PGOUseBBInfo &SrcInfo = getBBInfo(SrcBB);
1333 if (SrcInfo.Count && SrcInfo.OutEdges.size() == 1)
1334 setEdgeCount(E.get(), *SrcInfo.Count);
1337 PGOUseBBInfo &DestInfo = getBBInfo(DestBB);
1340 if (DestInfo.Count && DestInfo.InEdges.size() == 1)
1341 setEdgeCount(E.get(), *DestInfo.Count);
1347 setEdgeCount(E.get(), 0);
1354void PGOUseFunc::setEdgeCount(DirectEdges &Edges,
uint64_t Value) {
1355 for (
auto &E : Edges) {
1358 E->setEdgeCount(
Value);
1360 getBBInfo(E->SrcBB).UnknownCountOutEdge--;
1361 getBBInfo(E->DestBB).UnknownCountInEdge--;
1369 const char MetadataName[] =
"instr_prof_hash_mismatch";
1372 auto *Existing =
F.getMetadata(LLVMContext::MD_annotation);
1374 MDTuple *Tuple = cast<MDTuple>(Existing);
1375 for (
const auto &
N : Tuple->
operands()) {
1376 if (
N.equalsStr(MetadataName))
1385 F.setMetadata(LLVMContext::MD_annotation, MD);
1388void PGOUseFunc::handleInstrProfError(
Error Err,
uint64_t MismatchedFuncSum) {
1390 auto &Ctx =
M->getContext();
1391 auto Err = IPE.
get();
1392 bool SkipWarning =
false;
1394 << FuncInfo.FuncName <<
": ");
1395 if (Err == instrprof_error::unknown_function) {
1396 IsCS ? NumOfCSPGOMissing++ : NumOfPGOMissing++;
1399 }
else if (Err == instrprof_error::hash_mismatch ||
1400 Err == instrprof_error::malformed) {
1401 IsCS ? NumOfCSPGOMismatch++ : NumOfPGOMismatch++;
1407 LLVM_DEBUG(
dbgs() <<
"hash mismatch (hash= " << FuncInfo.FunctionHash
1408 <<
" skip=" << SkipWarning <<
")");
1418 IPE.
message() + std::string(
" ") +
F.getName().str() +
1419 std::string(
" Hash = ") + std::to_string(FuncInfo.FunctionHash) +
1420 std::string(
" up to ") + std::to_string(MismatchedFuncSum) +
1421 std::string(
" count discarded");
1433 auto &Ctx =
M->getContext();
1436 FuncInfo.FuncName, FuncInfo.FunctionHash, FuncInfo.DeprecatedFuncName,
1437 &MismatchedFuncSum);
1439 handleInstrProfError(std::move(E), MismatchedFuncSum);
1442 ProfileRecord = std::move(
Result.get());
1447 std::vector<uint64_t> &CountFromProfile = ProfileRecord.
Counts;
1449 IsCS ? NumOfCSPGOFunc++ : NumOfPGOFunc++;
1453 for (
unsigned I = 0, S = CountFromProfile.size();
I < S;
I++) {
1455 ValueSum += CountFromProfile[
I];
1457 AllZeros = (ValueSum == 0);
1461 getBBInfo(
nullptr).UnknownCountOutEdge = 2;
1462 getBBInfo(
nullptr).UnknownCountInEdge = 2;
1464 if (!setInstrumentedCounts(CountFromProfile)) {
1466 dbgs() <<
"Inconsistent number of counts, skipping this function");
1468 M->getName().data(),
1469 Twine(
"Inconsistent number of counts in ") +
F.getName().str() +
1470 Twine(
": the profile may be stale or there is a function name "
1482 FuncInfo.FuncName, FuncInfo.FunctionHash, FuncInfo.DeprecatedFuncName,
1483 &MismatchedFuncSum);
1484 if (
auto Err =
Result.takeError()) {
1485 handleInstrProfError(std::move(Err), MismatchedFuncSum);
1488 IsCS ? NumOfCSPGOFunc++ : NumOfPGOFunc++;
1490 std::vector<uint64_t> &CountsFromProfile =
Result.get().Counts;
1494 if (FuncInfo.BCI->shouldInstrumentBlock(BB))
1496 assert(Index == CountsFromProfile.size());
1500 InverseDependencies;
1501 for (
auto &BB :
F) {
1502 for (
auto *Dep : FuncInfo.BCI->getDependencies(BB)) {
1504 InverseDependencies[Dep].
insert(&BB);
1509 std::stack<const BasicBlock *> CoveredBlocksToProcess;
1510 for (
auto &[BB, IsCovered] : Coverage)
1512 CoveredBlocksToProcess.push(BB);
1514 while (!CoveredBlocksToProcess.empty()) {
1515 auto *CoveredBlock = CoveredBlocksToProcess.top();
1516 assert(Coverage[CoveredBlock]);
1517 CoveredBlocksToProcess.pop();
1518 for (
auto *BB : InverseDependencies[CoveredBlock]) {
1523 CoveredBlocksToProcess.push(BB);
1531 F.setEntryCount(Coverage[&
F.getEntryBlock()] ? 10000 : 0);
1532 for (
auto &BB :
F) {
1541 Weights.
push_back((Coverage[Succ] || !Coverage[&BB]) ? 1 : 0);
1542 if (Weights.
size() >= 2)
1547 unsigned NumCorruptCoverage = 0;
1552 auto IsBlockDead = [&](
const BasicBlock &BB) -> std::optional<bool> {
1553 if (
auto C =
BFI.getBlockProfileCount(&BB))
1557 LLVM_DEBUG(
dbgs() <<
"Block Coverage: (Instrumented=*, Covered=X)\n");
1558 for (
auto &BB :
F) {
1559 LLVM_DEBUG(
dbgs() << (FuncInfo.BCI->shouldInstrumentBlock(BB) ?
"* " :
" ")
1560 << (Coverage[&BB] ?
"X " :
" ") <<
" " << BB.getName()
1566 if (Coverage[&BB] == IsBlockDead(BB).value_or(
false)) {
1568 dbgs() <<
"Found inconsistent block covearge for " << BB.getName()
1569 <<
": BCI=" << (Coverage[&BB] ?
"Covered" :
"Dead") <<
" BFI="
1570 << (IsBlockDead(BB).
value() ?
"Dead" :
"Covered") <<
"\n");
1571 ++NumCorruptCoverage;
1577 auto &Ctx =
M->getContext();
1579 M->getName().data(),
1580 Twine(
"Found inconsistent block coverage for function ") +
F.getName() +
1581 " in " +
Twine(NumCorruptCoverage) +
" blocks.",
1585 FuncInfo.BCI->viewBlockCoverageGraph(&Coverage);
1590void PGOUseFunc::populateCounters() {
1591 bool Changes =
true;
1592 unsigned NumPasses = 0;
1600 PGOUseBBInfo *UseBBInfo = findBBInfo(&BB);
1601 if (UseBBInfo ==
nullptr)
1603 if (!UseBBInfo->Count) {
1604 if (UseBBInfo->UnknownCountOutEdge == 0) {
1607 }
else if (UseBBInfo->UnknownCountInEdge == 0) {
1612 if (UseBBInfo->Count) {
1613 if (UseBBInfo->UnknownCountOutEdge == 1) {
1619 if (*UseBBInfo->Count > OutSum)
1620 Total = *UseBBInfo->Count - OutSum;
1621 setEdgeCount(UseBBInfo->OutEdges,
Total);
1624 if (UseBBInfo->UnknownCountInEdge == 1) {
1627 if (*UseBBInfo->Count > InSum)
1628 Total = *UseBBInfo->Count - InSum;
1629 setEdgeCount(UseBBInfo->InEdges,
Total);
1636 LLVM_DEBUG(
dbgs() <<
"Populate counts in " << NumPasses <<
" passes.\n");
1640 for (
auto &BB :
F) {
1641 auto BI = findBBInfo(&BB);
1644 assert(BI->Count &&
"BB count is not valid");
1648 FuncInfo.SIVisitor.annotateSelects(
this, &CountPosition);
1649 assert(CountPosition == ProfileCountSize);
1653 for (
auto &BB :
F) {
1654 auto BI = findBBInfo(&BB);
1657 FuncMaxCount = std::max(FuncMaxCount, *BI->Count);
1666 LLVM_DEBUG(FuncInfo.dumpInfo(
"after reading profile."));
1670void PGOUseFunc::setBranchWeights() {
1672 LLVM_DEBUG(
dbgs() <<
"\nSetting branch weights for func " <<
F.getName()
1673 <<
" IsCS=" << IsCS <<
"\n");
1674 for (
auto &BB :
F) {
1678 if (!(isa<BranchInst>(TI) || isa<SwitchInst>(TI) ||
1679 isa<IndirectBrInst>(TI) || isa<InvokeInst>(TI) ||
1680 isa<CallBrInst>(TI)))
1683 const PGOUseBBInfo &BBCountInfo = getBBInfo(&BB);
1684 if (!*BBCountInfo.Count)
1691 unsigned OutEdgesCount = BBCountInfo.OutEdges.size();
1692 unsigned SuccessorCount = BB.getTerminator()->getNumSuccessors();
1693 assert(OutEdgesCount <= SuccessorCount);
1697 for (
unsigned It = 0; It < OutEdgesCount; It++) {
1698 const PGOUseEdge *E = BBCountInfo.OutEdges[It];
1701 if (DestBB ==
nullptr)
1705 if (EdgeCount > MaxCount)
1706 MaxCount = EdgeCount;
1707 EdgeCounts[SuccNum] = EdgeCount;
1716 auto &Ctx =
M->getContext();
1718 M->getName().data(),
1719 Twine(
"Profile in ") +
F.getName().str() +
1720 Twine(
" partially ignored") +
1721 Twine(
", possibly due to the lack of a return path."),
1729 if (isa<IndirectBrInst>(Pred->getTerminator()))
1735void PGOUseFunc::annotateIrrLoopHeaderWeights() {
1736 LLVM_DEBUG(
dbgs() <<
"\nAnnotating irreducible loop header weights.\n");
1738 for (
auto &BB :
F) {
1744 const PGOUseBBInfo &BBCountInfo = getBBInfo(&BB);
1750void SelectInstVisitor::instrumentOneSelectInst(
SelectInst &SI) {
1754 auto *Step = Builder.CreateZExt(
SI.getCondition(), Int64Ty);
1755 auto *NormalizedFuncNameVarPtr =
1757 FuncNameVar, PointerType::get(
M->getContext(), 0));
1758 Builder.CreateIntrinsic(Intrinsic::instrprof_increment_step, {},
1759 {NormalizedFuncNameVarPtr, Builder.getInt64(FuncHash),
1760 Builder.getInt32(TotalNumCtrs),
1761 Builder.getInt32(*CurCtrIdx), Step});
1765void SelectInstVisitor::annotateOneSelectInst(
SelectInst &SI) {
1766 std::vector<uint64_t> &CountFromProfile = UseFunc->getProfileRecord().Counts;
1767 assert(*CurCtrIdx < CountFromProfile.size() &&
1768 "Out of bound access of counters");
1770 SCounts[0] = CountFromProfile[*CurCtrIdx];
1773 auto BI = UseFunc->findBBInfo(
SI.getParent());
1774 if (BI !=
nullptr) {
1775 TotalCount = *BI->Count;
1778 if (TotalCount < SCounts[0])
1779 BI->Count = SCounts[0];
1782 SCounts[1] = (TotalCount > SCounts[0] ? TotalCount - SCounts[0] : 0);
1783 uint64_t MaxCount = std::max(SCounts[0], SCounts[1]);
1788void SelectInstVisitor::visitSelectInst(
SelectInst &SI) {
1792 if (
SI.getCondition()->getType()->isVectorTy())
1800 instrumentOneSelectInst(SI);
1803 annotateOneSelectInst(SI);
1811 if (ValueProfKind == IPVK_MemOPSize)
1813 if (ValueProfKind == llvm::IPVK_VTableTarget)
1819void PGOUseFunc::annotateValueSites() {
1827 annotateValueSites(Kind);
1831void PGOUseFunc::annotateValueSites(
uint32_t Kind) {
1832 assert(Kind <= IPVK_Last);
1833 unsigned ValueSiteIndex = 0;
1846 if (NumValueSites > 0 && Kind == IPVK_VTableTarget &&
1847 NumValueSites != FuncInfo.ValueSites[IPVK_VTableTarget].size() &&
1849 FuncInfo.ValueSites[IPVK_VTableTarget] = VPC.
get(IPVK_VTableTarget);
1850 auto &ValueSites = FuncInfo.ValueSites[
Kind];
1851 if (NumValueSites != ValueSites.size()) {
1852 auto &Ctx =
M->getContext();
1854 M->getName().data(),
1855 Twine(
"Inconsistent number of value sites for ") +
1858 Twine(
"\", possibly due to the use of a stale profile."),
1864 LLVM_DEBUG(
dbgs() <<
"Read one value site profile (kind = " << Kind
1865 <<
"): Index = " << ValueSiteIndex <<
" out of "
1866 << NumValueSites <<
"\n");
1868 *M, *
I.AnnotatedInst, ProfileRecord,
1879 std::unordered_multimap<Comdat *, GlobalValue *> &ComdatMembers) {
1884 ComdatMembers.insert(std::make_pair(
C, &
F));
1886 if (
Comdat *
C = GV.getComdat())
1887 ComdatMembers.insert(std::make_pair(
C, &GV));
1889 if (
Comdat *
C = GA.getComdat())
1890 ComdatMembers.insert(std::make_pair(
C, &GA));
1895 if (
F.isDeclaration())
1900 unsigned NumCriticalEdges = 0;
1901 for (
auto &BB :
F) {
1910 <<
", NumCriticalEdges=" << NumCriticalEdges
1911 <<
" exceed the threshold. Skip PGO.\n");
1921 if (
F.hasFnAttribute(llvm::Attribute::Naked))
1923 if (
F.hasFnAttribute(llvm::Attribute::NoProfile))
1925 if (
F.hasFnAttribute(llvm::Attribute::SkipProfile))
1930 if (
auto EntryCount =
F.getEntryCount())
1945 if (InstrumentationType == PGOInstrumentationType::FDO)
1948 Triple TT(M.getTargetTriple());
1953 Twine(
"VTable value profiling is presently not "
1954 "supported for non-ELF object formats"),
1956 std::unordered_multimap<Comdat *, GlobalValue *> ComdatMembers;
1966 FunctionInstrumenter FI(M,
F, TLI, ComdatMembers, BPI, BFI, LI,
1967 InstrumentationType);
1980 if (ProfileSampling)
2005 InstrumentationType))
2018 auto BFIEntryCount =
F.getEntryCount();
2019 assert(BFIEntryCount && (BFIEntryCount->getCount() > 0) &&
2020 "Invalid BFI Entrycount");
2024 for (
auto &BBI :
F) {
2027 if (!Func.findBBInfo(&BBI))
2030 CountValue = *Func.getBBInfo(&BBI).Count;
2031 BFICountValue = *BFICount;
2035 if (SumCount.isZero())
2039 "Incorrect sum of BFI counts");
2042 double Scale = (SumCount / SumBFICount).convertToDouble();
2043 if (Scale < 1.001 && Scale > 0.999)
2048 if (NewEntryCount == 0)
2054 << NewEntryCount <<
"\n");
2071 unsigned BBNum = 0, BBMisMatchNum = 0, NonZeroBBNum = 0;
2072 for (
auto &BBI :
F) {
2076 CountValue = Func.getBBInfo(&BBI).Count.value_or(CountValue);
2083 BFICountValue = *BFICount;
2086 bool rawIsHot = CountValue >= HotCountThreshold;
2087 bool BFIIsHot = BFICountValue >= HotCountThreshold;
2089 bool ShowCount =
false;
2090 if (rawIsHot && !BFIIsHot) {
2091 Msg =
"raw-Hot to BFI-nonHot";
2093 }
else if (rawIsCold && BFIIsHot) {
2094 Msg =
"raw-Cold to BFI-Hot";
2103 uint64_t Diff = (BFICountValue >= CountValue)
2104 ? BFICountValue - CountValue
2105 : CountValue - BFICountValue;
2113 F.getSubprogram(), &BBI);
2115 <<
" Count=" <<
ore::NV(
"Count", CountValue)
2116 <<
" BFI_Count=" <<
ore::NV(
"Count", BFICountValue);
2118 Remark <<
" (" << Msg <<
")";
2125 F.getSubprogram(), &
F.getEntryBlock())
2126 <<
"In Func " <<
ore::NV(
"Function",
F.getName())
2127 <<
": Num_of_BB=" <<
ore::NV(
"Count", BBNum)
2128 <<
", Num_of_non_zerovalue_BB=" <<
ore::NV(
"Count", NonZeroBBNum)
2129 <<
", Num_of_mis_matching_BB=" <<
ore::NV(
"Count", BBMisMatchNum);
2142 auto &Ctx = M.getContext();
2145 ProfileRemappingFileName);
2146 if (
Error E = ReaderOrErr.takeError()) {
2154 std::unique_ptr<IndexedInstrProfReader> PGOReader =
2155 std::move(ReaderOrErr.get());
2161 if (!PGOReader->hasCSIRLevelProfile() && IsCS)
2165 if (!PGOReader->isIRLevelProfile()) {
2167 ProfileFileName.
data(),
"Not an IR level instrumentation profile"));
2170 if (PGOReader->functionEntryOnly()) {
2172 ProfileFileName.
data(),
2173 "Function entry profiles are not yet supported for optimization"));
2179 if (!
G.hasName() || !
G.hasMetadata(LLVMContext::MD_type))
2190 M.setProfileSummary(PGOReader->getSummary(IsCS).getMD(M.getContext()),
2195 std::unordered_multimap<Comdat *, GlobalValue *> ComdatMembers;
2197 std::vector<Function *> HotFunctions;
2198 std::vector<Function *> ColdFunctions;
2202 bool InstrumentFuncEntry = PGOReader->instrEntryBBEnabled();
2205 bool InstrumentLoopEntries = PGOReader->instrLoopEntriesEnabled();
2209 bool HasSingleByteCoverage = PGOReader->hasSingleByteCoverage();
2217 if (!HasSingleByteCoverage) {
2223 PGOUseFunc Func(
F, &M, TLI, ComdatMembers, BPI, BFI, LI, PSI, IsCS,
2224 InstrumentFuncEntry, InstrumentLoopEntries,
2225 HasSingleByteCoverage);
2226 if (HasSingleByteCoverage) {
2227 Func.populateCoverage(PGOReader.get());
2235 bool AllZeros =
false;
2236 if (!Func.readCounters(PGOReader.get(), AllZeros, PseudoKind))
2240 if (Func.getProgramMaxCount() != 0)
2241 ColdFunctions.push_back(&
F);
2246 if (
F.hasFnAttribute(Attribute::Cold))
2247 F.removeFnAttr(Attribute::Cold);
2250 F.addFnAttr(Attribute::Hot);
2253 Func.populateCounters();
2254 Func.setBranchWeights();
2255 Func.annotateValueSites();
2256 Func.annotateIrrLoopHeaderWeights();
2257 PGOUseFunc::FuncFreqAttr FreqAttr = Func.getFuncFreqAttr();
2258 if (FreqAttr == PGOUseFunc::FFA_Cold)
2259 ColdFunctions.push_back(&
F);
2260 else if (FreqAttr == PGOUseFunc::FFA_Hot)
2261 HotFunctions.push_back(&
F);
2266 std::unique_ptr<BranchProbabilityInfo> NewBPI =
2267 std::make_unique<BranchProbabilityInfo>(
F, LI);
2268 std::unique_ptr<BlockFrequencyInfo> NewBFI =
2269 std::make_unique<BlockFrequencyInfo>(
F, *NewBPI, LI);
2273 dbgs() <<
"pgo-view-counts: " << Func.getFunc().getName() <<
"\n";
2274 NewBFI->print(
dbgs());
2284 ViewGraph(&Func,
Twine(
"PGORawCounts_") + Func.getFunc().getName());
2286 dbgs() <<
"pgo-view-raw-counts: " << Func.getFunc().getName() <<
"\n";
2313 for (
auto &
F : HotFunctions) {
2314 F->addFnAttr(Attribute::InlineHint);
2315 LLVM_DEBUG(
dbgs() <<
"Set inline attribute to function: " <<
F->getName()
2318 for (
auto &
F : ColdFunctions) {
2321 if (
F->hasFnAttribute(Attribute::Hot)) {
2322 auto &Ctx = M.getContext();
2323 std::string Msg = std::string(
"Function ") +
F->getName().str() +
2324 std::string(
" is annotated as a hot function but"
2325 " the profile is cold");
2330 F->addFnAttr(Attribute::Cold);
2331 LLVM_DEBUG(
dbgs() <<
"Set cold attribute to function: " <<
F->getName()
2338 std::string Filename, std::string RemappingFilename,
bool IsCS,
2340 : ProfileFileName(
std::
move(Filename)),
2341 ProfileRemappingFileName(
std::
move(RemappingFilename)), IsCS(IsCS),
2370 LookupTLI, LookupBPI, LookupBFI, LookupLI, PSI,
2378 if (!
Node->getName().empty())
2379 return Node->getName().str();
2381 std::string SimpleNodeName;
2384 return SimpleNodeName;
2389 assert(MaxCount > 0 &&
"Bad max count");
2392 for (
const auto &ECI : EdgeCounts)
2405 if (BrCondStr.empty())
2417 std::string BranchProbStr;
2420 OS <<
" (total count : " << TotalCount <<
")";
2425 << BrCondStr <<
" is true with probability : " << BranchProbStr;
2444 return &
G->getFunc().front();
2467 return std::string(
G->getFunc().getName());
2475 PGOUseBBInfo *BI = Graph->findBBInfo(Node);
2477 if (BI && BI->Count)
2478 OS << *BI->Count <<
"\\l";
2486 if (!isa<SelectInst>(&
I))
2489 OS <<
"SELECT : { T = ";
2493 OS <<
"Unknown, F = Unknown }\\l";
2495 OS << TC <<
", F = " << FC <<
" }\\l";
This file implements a class to represent arbitrary precision integral constant values and operations...
This file contains the simple types necessary to represent the attributes associated with functions a...
This file finds the minimum set of blocks on a CFG that must be instrumented to infer execution cover...
Analysis containing CSE Info
#define clEnumValN(ENUMVAL, FLAGNAME, DESC)
This file contains the declarations for the subclasses of Constant, which represent the different fla...
Given that RA is a live value
post inline ee instrument
static BasicBlock * getInstrBB(CFGMST< Edge, BBInfo > &MST, Edge &E, const DenseSet< const BasicBlock * > &ExecBlocks)
This file provides various utilities for inspecting and working with the control flow graph in LLVM I...
Module.h This file contains the declarations for the Module class.
This header defines various interfaces for pass management in LLVM.
static cl::opt< unsigned > ColdCountThreshold("mfs-count-threshold", cl::desc("Minimum number of times a block must be executed to be retained."), cl::init(1), cl::Hidden)
static cl::opt< bool > PGOInstrumentEntry("pgo-instrument-entry", cl::init(false), cl::Hidden, cl::desc("Force to instrument function entry basicblock."))
static GlobalVariable * createIRLevelProfileFlagVar(Module &M, PGOInstrumentationType InstrumentationType)
static cl::opt< std::string > PGOTestProfileRemappingFile("pgo-test-profile-remapping-file", cl::init(""), cl::Hidden, cl::value_desc("filename"), cl::desc("Specify the path of profile remapping file. This is mainly for " "test purpose."))
static cl::opt< bool > PGOFixEntryCount("pgo-fix-entry-count", cl::init(true), cl::Hidden, cl::desc("Fix function entry count in profile use."))
static void fixFuncEntryCount(PGOUseFunc &Func, LoopInfo &LI, BranchProbabilityInfo &NBPI)
static cl::opt< bool > PGOVerifyHotBFI("pgo-verify-hot-bfi", cl::init(false), cl::Hidden, cl::desc("Print out the non-match BFI count if a hot raw profile count " "becomes non-hot, or a cold raw profile count becomes hot. " "The print is enabled under -Rpass-analysis=pgo, or " "internal option -pass-remakrs-analysis=pgo."))
static void annotateFunctionWithHashMismatch(Function &F, LLVMContext &ctx)
cl::opt< unsigned > MaxNumVTableAnnotations
static cl::opt< bool > PGOTemporalInstrumentation("pgo-temporal-instrumentation", cl::desc("Use this option to enable temporal instrumentation"))
static cl::opt< unsigned > PGOFunctionSizeThreshold("pgo-function-size-threshold", cl::Hidden, cl::desc("Do not instrument functions smaller than this threshold."))
static cl::opt< unsigned > MaxNumAnnotations("icp-max-annotations", cl::init(3), cl::Hidden, cl::desc("Max number of annotations for a single indirect " "call callsite"))
static bool skipPGOGen(const Function &F)
static void collectComdatMembers(Module &M, std::unordered_multimap< Comdat *, GlobalValue * > &ComdatMembers)
static cl::opt< unsigned > PGOVerifyBFICutoff("pgo-verify-bfi-cutoff", cl::init(5), cl::Hidden, cl::desc("Set the threshold for pgo-verify-bfi: skip the counts whose " "profile count value is below."))
static cl::opt< std::string > PGOTraceFuncHash("pgo-trace-func-hash", cl::init("-"), cl::Hidden, cl::value_desc("function name"), cl::desc("Trace the hash of the function with this name."))
static void populateEHOperandBundle(VPCandidateInfo &Cand, DenseMap< BasicBlock *, ColorVector > &BlockColors, SmallVectorImpl< OperandBundleDef > &OpBundles)
static cl::opt< bool > PGOInstrSelect("pgo-instr-select", cl::init(true), cl::Hidden, cl::desc("Use this option to turn on/off SELECT " "instruction instrumentation. "))
static cl::opt< bool > PGOFunctionEntryCoverage("pgo-function-entry-coverage", cl::Hidden, cl::desc("Use this option to enable function entry coverage instrumentation."))
static cl::opt< uint64_t > PGOColdInstrumentEntryThreshold("pgo-cold-instrument-entry-threshold", cl::init(0), cl::Hidden, cl::desc("For cold function instrumentation, skip instrumenting functions " "whose entry count is above the given value."))
static void verifyFuncBFI(PGOUseFunc &Func, LoopInfo &LI, BranchProbabilityInfo &NBPI, uint64_t HotCountThreshold, uint64_t ColdCountThreshold)
static cl::opt< unsigned > PGOVerifyBFIRatio("pgo-verify-bfi-ratio", cl::init(2), cl::Hidden, cl::desc("Set the threshold for pgo-verify-bfi: only print out " "mismatched BFI if the difference percentage is greater than " "this value (in percentage)."))
static cl::opt< bool > DoComdatRenaming("do-comdat-renaming", cl::init(false), cl::Hidden, cl::desc("Append function hash to the name of COMDAT function to avoid " "function hash mismatch due to the preinliner"))
static bool annotateAllFunctions(Module &M, StringRef ProfileFileName, StringRef ProfileRemappingFileName, vfs::FileSystem &FS, function_ref< TargetLibraryInfo &(Function &)> LookupTLI, function_ref< BranchProbabilityInfo *(Function &)> LookupBPI, function_ref< BlockFrequencyInfo *(Function &)> LookupBFI, function_ref< LoopInfo *(Function &)> LookupLI, ProfileSummaryInfo *PSI, bool IsCS)
static cl::opt< unsigned > PGOFunctionCriticalEdgeThreshold("pgo-critical-edge-threshold", cl::init(20000), cl::Hidden, cl::desc("Do not instrument functions with the number of critical edges " " greater than this threshold."))
static void setupBBInfoEdges(const FuncPGOInstrumentation< PGOUseEdge, PGOUseBBInfo > &FuncInfo)
Set up InEdges/OutEdges for all BBs in the MST.
static cl::opt< std::string > PGOTestProfileFile("pgo-test-profile-file", cl::init(""), cl::Hidden, cl::value_desc("filename"), cl::desc("Specify the path of profile data file. This is" "mainly for test purpose."))
static bool skipPGOUse(const Function &F)
static bool canRenameComdat(Function &F, std::unordered_multimap< Comdat *, GlobalValue * > &ComdatMembers)
static cl::opt< bool > PGOVerifyBFI("pgo-verify-bfi", cl::init(false), cl::Hidden, cl::desc("Print out mismatched BFI counts after setting profile metadata " "The print is enabled under -Rpass-analysis=pgo, or " "internal option -pass-remakrs-analysis=pgo."))
static cl::opt< bool > PGOBlockCoverage("pgo-block-coverage", cl::desc("Use this option to enable basic block coverage instrumentation"))
static cl::opt< bool > PGOInstrumentLoopEntries("pgo-instrument-loop-entries", cl::init(false), cl::Hidden, cl::desc("Force to instrument loop entries."))
static bool InstrumentAllFunctions(Module &M, function_ref< TargetLibraryInfo &(Function &)> LookupTLI, function_ref< BranchProbabilityInfo *(Function &)> LookupBPI, function_ref< BlockFrequencyInfo *(Function &)> LookupBFI, function_ref< LoopInfo *(Function &)> LookupLI, PGOInstrumentationType InstrumentationType)
static uint64_t sumEdgeCount(const ArrayRef< PGOUseEdge * > Edges)
static cl::opt< bool > PGOInstrMemOP("pgo-instr-memop", cl::init(true), cl::Hidden, cl::desc("Use this option to turn on/off " "memory intrinsic size profiling."))
static uint32_t getMaxNumAnnotations(InstrProfValueKind ValueProfKind)
Function::ProfileCount ProfileCount
static cl::opt< bool > EmitBranchProbability("pgo-emit-branch-prob", cl::init(false), cl::Hidden, cl::desc("When this option is on, the annotated " "branch probability will be emitted as " "optimization remarks: -{Rpass|" "pass-remarks}=pgo-instrumentation"))
static cl::opt< unsigned > MaxNumMemOPAnnotations("memop-max-annotations", cl::init(4), cl::Hidden, cl::desc("Max number of preicise value annotations for a single memop" "intrinsic"))
static cl::opt< bool > DisableValueProfiling("disable-vp", cl::init(false), cl::Hidden, cl::desc("Disable Value Profiling"))
static std::string getSimpleNodeName(const BasicBlock *Node)
static cl::opt< bool > PGOViewBlockCoverageGraph("pgo-view-block-coverage-graph", cl::desc("Create a dot file of CFGs with block " "coverage inference information"))
static cl::opt< bool > PGOTreatUnknownAsCold("pgo-treat-unknown-as-cold", cl::init(false), cl::Hidden, cl::desc("For cold function instrumentation, treat count unknown(e.g. " "unprofiled) functions as cold."))
static bool isIndirectBrTarget(BasicBlock *BB)
static std::string getBranchCondString(Instruction *TI)
cl::opt< bool > PGOInstrumentColdFunctionOnly("pgo-instrument-cold-function-only", cl::init(false), cl::Hidden, cl::desc("Enable cold function only instrumentation."))
static cl::opt< PGOViewCountsType > PGOViewRawCounts("pgo-view-raw-counts", cl::Hidden, cl::desc("A boolean option to show CFG dag or text " "with raw profile counts from " "profile data. See also option " "-pgo-view-counts. To limit graph " "display to only one function, use " "filtering option -view-bfi-func-name."), cl::values(clEnumValN(PGOVCT_None, "none", "do not show."), clEnumValN(PGOVCT_Graph, "graph", "show a graph."), clEnumValN(PGOVCT_Text, "text", "show in text.")))
static const char * ValueProfKindDescr[]
This file provides the interface for IR based instrumentation passes ( (profile-gen,...
FunctionAnalysisManager FAM
ModuleAnalysisManager MAM
This file contains the declarations for profiling metadata utility functions.
const SmallVectorImpl< MachineOperand > & Cond
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
static bool isSimple(Instruction *I)
This file defines the SmallVector class.
This file defines the 'Statistic' class, which is designed to be an easy way to expose various metric...
#define STATISTIC(VARNAME, DESC)
Defines the virtual file system interface vfs::FileSystem.
void printAsOperand(OutputBuffer &OB, Prec P=Prec::Default, bool StrictlyWorse=false) const
static APFloat getZero(const fltSemantics &Sem, bool Negative=false)
Factory for Positive and Negative Zero.
Class for arbitrary precision integers.
This templated class represents "all analyses that operate over <a particular IR unit>" (e....
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.
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
LLVM Basic Block Representation.
const_iterator getFirstInsertionPt() const
Returns an iterator to the first instruction in this block that is suitable for inserting a non-PHI i...
const Instruction * getTerminator() const LLVM_READONLY
Returns the terminator instruction if the block is well formed or null if the block is not well forme...
Analysis pass which computes BlockFrequencyInfo.
BlockFrequencyInfo pass uses BlockFrequencyInfoImpl implementation to estimate IR basic block frequen...
std::optional< uint64_t > getBlockProfileCount(const BasicBlock *BB, bool AllowSynthetic=false) const
Returns the estimated profile count of BB.
Conditional or Unconditional Branch instruction.
bool isConditional() const
Value * getCondition() const
Analysis pass which computes BranchProbabilityInfo.
Analysis providing branch probability information.
An union-find based Minimum Spanning Tree for CFG.
Edge & addEdge(BasicBlock *Src, BasicBlock *Dest, uint64_t W)
const std::vector< std::unique_ptr< Edge > > & allEdges() const
size_t bbInfoSize() const
BBInfo * findBBInfo(const BasicBlock *BB) const
BBInfo & getBBInfo(const BasicBlock *BB) const
void dumpEdges(raw_ostream &OS, const Twine &Message) const
Base class for all callable instructions (InvokeInst and CallInst) Holds everything related to callin...
Predicate getPredicate() const
Return the predicate for this instruction.
StringRef getName() const
void setSelectionKind(SelectionKind Val)
SelectionKind getSelectionKind() const
static Constant * getPointerBitCastOrAddrSpaceCast(Constant *C, Type *Ty)
Create a BitCast or AddrSpaceCast for a pointer type depending on the address space.
This is the shared class of boolean and integer constants.
bool isMinusOne() const
This function will return true iff every bit in this constant is set to true.
bool isOne() const
This is just a convenience method to make client code smaller for a common case.
bool isZero() const
This is just a convenience method to make client code smaller for a common code.
static Constant * getIntegerValue(Type *Ty, const APInt &V)
Return the value for an integer or pointer constant, or a vector thereof, with the given scalar value...
iterator find(const_arg_type_t< KeyT > Val)
std::pair< iterator, bool > insert(const std::pair< KeyT, ValueT > &KV)
Diagnostic information for the PGO profiler.
Concrete subclass of DominatorTreeBase that is used to compute a normal dominator tree.
Base class for error info classes.
virtual std::string message() const
Return the error message as a string.
Lightweight error class with error context and mandatory checking.
Tagged union holding either a T or a Error.
Class to represent profile counts.
static GlobalAlias * create(Type *Ty, unsigned AddressSpace, LinkageTypes Linkage, const Twine &Name, Constant *Aliasee, Module *Parent)
If a parent module is specified, the alias is automatically inserted into the end of the specified mo...
@ HiddenVisibility
The GV is hidden.
@ ExternalLinkage
Externally visible function.
@ WeakAnyLinkage
Keep one copy of named function when linking (weak)
@ AvailableExternallyLinkage
Available for inspection, not emission.
@ LinkOnceODRLinkage
Same, but only replaced by something equivalent.
This instruction compares its operands according to the predicate given to the constructor.
This provides a uniform API for creating instructions and inserting them into a basic block: either a...
Reader for the indexed binary instrprof format.
static Expected< std::unique_ptr< IndexedInstrProfReader > > create(const Twine &Path, vfs::FileSystem &FS, const Twine &RemappingPath="")
Factory method to create an indexed reader.
Expected< InstrProfRecord > getInstrProfRecord(StringRef FuncName, uint64_t FuncHash, StringRef DeprecatedFuncName="", uint64_t *MismatchedFuncSum=nullptr)
Return the NamedInstrProfRecord associated with FuncName and FuncHash.
uint64_t getMaximumFunctionCount(bool UseCS)
Return the maximum of all known function counts.
An analysis over an "outer" IR unit that provides access to an analysis manager over an "inner" IR un...
Base class for instruction visitors.
void visit(Iterator Start, Iterator End)
RetTy visitSelectInst(SelectInst &I)
static bool canInstrumentCallsite(const CallBase &CB)
instrprof_error get() const
std::string message() const override
Return the error message as a string.
unsigned getNumSuccessors() const LLVM_READONLY
Return the number of successors that this instruction has.
bool isEHPad() const
Return true if the instruction is a variety of EH-block.
void setMetadata(unsigned KindID, MDNode *Node)
Set the metadata of the specified kind to the specified node.
A smart pointer to a reference-counted object that inherits from RefCountedBase or ThreadSafeRefCount...
void update(ArrayRef< uint8_t > Data)
This is an important class for using LLVM in a threaded context.
void diagnose(const DiagnosticInfo &DI)
Report a message to the currently installed diagnostic handler.
Analysis pass that exposes the LoopInfo for a function.
MDString * createString(StringRef Str)
Return the given string as metadata.
MDNode * createIrrLoopHeaderWeight(uint64_t Weight)
Return metadata containing an irreducible loop header weight.
ArrayRef< MDOperand > operands() const
static MDTuple * get(LLVMContext &Context, ArrayRef< Metadata * > MDs)
A Module instance is used to store all the information related to an LLVM module.
PreservedAnalyses run(Module &M, ModuleAnalysisManager &MAM)
PreservedAnalyses run(Module &M, ModuleAnalysisManager &MAM)
PGOInstrumentationUse(std::string Filename="", std::string RemappingFilename="", bool IsCS=false, IntrusiveRefCntPtr< vfs::FileSystem > FS=nullptr)
PreservedAnalyses run(Module &M, ModuleAnalysisManager &MAM)
A set of analyses that are preserved following a run of a transformation pass.
static PreservedAnalyses none()
Convenience factory function for the empty preserved set.
static PreservedAnalyses all()
Construct a special preserved set that preserves all passes.
void preserveSet()
Mark an analysis set as preserved.
void preserve()
Mark an analysis as preserved.
An analysis pass based on the new PM to deliver ProfileSummaryInfo.
Analysis providing profile information.
uint64_t getOrCompColdCountThreshold() const
Returns ColdCountThreshold if set.
void refresh()
If no summary is present, attempt to refresh.
bool isColdCount(uint64_t C) const
Returns true if count C is considered cold.
bool isHotCount(uint64_t C) const
Returns true if count C is considered hot.
uint64_t getOrCompHotCountThreshold() const
Returns HotCountThreshold if set.
This class represents the LLVM 'select' instruction.
This class consists of common code factored out of the SmallVector class to reduce code duplication b...
reference emplace_back(ArgTypes &&... Args)
void push_back(const T &Elt)
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.
constexpr bool empty() const
empty - Check if the string is empty.
constexpr const char * data() const
data - Get a pointer to the start of the string (which may not be null terminated).
Analysis pass providing the TargetLibraryInfo.
Provides information about what library functions are available for the current target.
TinyPtrVector - This class is specialized for cases where there are normally 0 or 1 element in a vect...
Triple - Helper class for working with autoconf configuration names.
Twine - A lightweight data structure for efficiently representing the concatenation of temporary valu...
std::string str() const
Return the twine contents as a std::string.
The instances of the Type class are immutable: once they are created, they are never changed.
void print(raw_ostream &O, bool IsForDebug=false, bool NoDetails=false) const
Print the current type.
static IntegerType * getInt64Ty(LLVMContext &C)
Value * getOperand(unsigned i) const
Utility analysis that determines what values are worth profiling.
std::vector< CandidateInfo > get(InstrProfValueKind Kind) const
returns a list of value profiling candidates of the given kind
LLVM Value Representation.
Type * getType() const
All values are typed, get the type of this value.
An efficient, type-erasing, non-owning reference to a callable.
const ParentTy * getParent() const
A raw_ostream that writes to an std::string.
The virtual file system interface.
This provides a very simple, boring adaptor for a begin and end iterator into a range type.
This file contains the declaration of the Comdat class, which represents a single COMDAT in LLVM.
#define llvm_unreachable(msg)
Marks that the current location is not supposed to be reachable.
@ C
The default llvm calling convention, compatible with C.
Function * getOrInsertDeclaration(Module *M, ID id, ArrayRef< Type * > Tys={})
Look up the Function declaration of the intrinsic id in the Module M.
ValuesClass values(OptsTy... Options)
Helper to build a ValuesClass by forwarding a variable number of arguments as an initializer list to ...
initializer< Ty > init(const Ty &Val)
uint64_t getFuncHash(const FuncRecordTy *Record)
Return the structural hash associated with the function.
void checkExpectAnnotations(Instruction &I, const ArrayRef< uint32_t > ExistingWeights, bool IsFrontend)
checkExpectAnnotations - compares PGO counters to the thresholds used for llvm.expect and warns if th...
DiagnosticInfoOptimizationBase::Argument NV
NodeAddr< FuncNode * > Func
void write64le(void *P, uint64_t V)
IntrusiveRefCntPtr< FileSystem > getRealFileSystem()
Gets an vfs::FileSystem for the 'real' file system, as seen by the operating system.
This is an optimization pass for GlobalISel generic memory operations.
void setIrrLoopHeaderMetadata(Module *M, Instruction *TI, uint64_t Count)
auto size(R &&Range, std::enable_if_t< std::is_base_of< std::random_access_iterator_tag, typename std::iterator_traits< decltype(Range.begin())>::iterator_category >::value, void > *=nullptr)
Get the size of a range.
std::string getPGOFuncName(const Function &F, bool InLTO=false, uint64_t Version=INSTR_PROF_INDEX_VERSION)
Please use getIRPGOFuncName for LLVM IR instrumentation.
void createPGOFuncNameMetadata(Function &F, StringRef PGOFuncName)
Create the PGOFuncName meta data if PGOFuncName is different from function's raw name.
unsigned GetSuccessorNumber(const BasicBlock *BB, const BasicBlock *Succ)
Search for the specified successor of basic block BB and return its position in the terminator instru...
std::string getIRPGOFuncName(const Function &F, bool InLTO=false)
Function::ProfileCount ProfileCount
auto successors(const MachineBasicBlock *BB)
void createProfileSamplingVar(Module &M)
void handleAllErrors(Error E, HandlerTs &&... Handlers)
Behaves the same as handleErrors, except that by contract all errors must be handled by the given han...
iterator_range< T > make_range(T x, T y)
Convenience function for iterating over sub-ranges.
cl::opt< InstrProfCorrelator::ProfCorrelatorKind > ProfileCorrelate("profile-correlate", cl::desc("Use debug info or binary file to correlate profiles."), cl::init(InstrProfCorrelator::NONE), cl::values(clEnumValN(InstrProfCorrelator::NONE, "", "No profile correlation"), clEnumValN(InstrProfCorrelator::DEBUG_INFO, "debug-info", "Use debug info to correlate"), clEnumValN(InstrProfCorrelator::BINARY, "binary", "Use binary to correlate")))
DenseMap< BasicBlock *, ColorVector > colorEHFunclets(Function &F)
If an EH funclet personality is in use (see isFuncletEHPersonality), this will recompute which blocks...
void createPGONameMetadata(GlobalObject &GO, StringRef PGOName)
Create the PGOName metadata if a global object's PGO name is different from its mangled name.
cl::opt< bool > PGOWarnMissing
raw_ostream & WriteGraph(raw_ostream &O, const GraphType &G, bool ShortNames=false, const Twine &Title="")
bool SplitIndirectBrCriticalEdges(Function &F, bool IgnoreBlocksWithoutPHI, BranchProbabilityInfo *BPI=nullptr, BlockFrequencyInfo *BFI=nullptr)
cl::opt< bool > EnableVTableProfileUse("enable-vtable-profile-use", cl::init(false), cl::desc("If ThinLTO and WPD is enabled and this option is true, vtable " "profiles will be used by ICP pass for more efficient indirect " "call sequence. If false, type profiles won't be used."))
bool isScopedEHPersonality(EHPersonality Pers)
Returns true if this personality uses scope-style EH IR instructions: catchswitch,...
cl::opt< bool > DebugInfoCorrelate
OperandBundleDefT< Value * > OperandBundleDef
std::string getPGOName(const GlobalVariable &V, bool InLTO=false)
cl::opt< std::string > ViewBlockFreqFuncName("view-bfi-func-name", cl::Hidden, cl::desc("The option to specify " "the name of the function " "whose CFG will be displayed."))
GlobalVariable * createPGOFuncNameVar(Function &F, StringRef PGOFuncName)
Create and return the global variable for function name used in PGO instrumentation.
void annotateValueSite(Module &M, Instruction &Inst, const InstrProfRecord &InstrProfR, InstrProfValueKind ValueKind, uint32_t SiteIndx, uint32_t MaxMDCount=3)
Get the value profile data for value site SiteIdx from InstrProfR and annotate the instruction Inst w...
auto reverse(ContainerTy &&C)
void setBranchWeights(Instruction &I, ArrayRef< uint32_t > Weights, bool IsExpected)
Create a new branch_weights metadata node and add or overwrite a prof metadata reference to instructi...
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
EHPersonality classifyEHPersonality(const Value *Pers)
See if the given exception handling personality function is one that we understand.
cl::opt< bool > NoPGOWarnMismatch
RNSuccIterator< NodeRef, BlockT, RegionT > succ_begin(NodeRef Node)
cl::opt< PGOViewCountsType > PGOViewCounts("pgo-view-counts", cl::Hidden, cl::desc("A boolean option to show CFG dag or text with " "block profile counts and branch probabilities " "right after PGO profile annotation step. The " "profile counts are computed using branch " "probabilities from the runtime profile data and " "block frequency propagation algorithm. To view " "the raw counts from the profile, use option " "-pgo-view-raw-counts instead. To limit graph " "display to only one function, use filtering option " "-view-bfi-func-name."), cl::values(clEnumValN(PGOVCT_None, "none", "do not show."), clEnumValN(PGOVCT_Graph, "graph", "show a graph."), clEnumValN(PGOVCT_Text, "text", "show in text.")))
RNSuccIterator< NodeRef, BlockT, RegionT > succ_end(NodeRef Node)
static uint32_t scaleBranchCount(uint64_t Count, uint64_t Scale)
Scale an individual branch count.
void appendToCompilerUsed(Module &M, ArrayRef< GlobalValue * > Values)
Adds global values to the llvm.compiler.used list.
BasicBlock * SplitCriticalEdge(Instruction *TI, unsigned SuccNum, const CriticalEdgeSplittingOptions &Options=CriticalEdgeSplittingOptions(), const Twine &BBName="")
If this edge is a critical edge, insert a new node to split the critical edge.
void ViewGraph(const GraphType &G, const Twine &Name, bool ShortNames=false, const Twine &Title="", GraphProgram::Name Program=GraphProgram::DOT)
ViewGraph - Emit a dot graph, run 'dot', run gv on the postscript file, then cleanup.
bool isCriticalEdge(const Instruction *TI, unsigned SuccNum, bool AllowIdenticalEdges=false)
Return true if the specified edge is a critical edge.
static uint64_t calculateCountScale(uint64_t MaxCount)
Calculate what to divide by to scale counts.
bool canRenameComdatFunc(const Function &F, bool CheckAddressTaken=false)
Check if we can safely rename this Comdat function.
void createProfileFileNameVar(Module &M, StringRef InstrProfileOutput)
OutputIt move(R &&Range, OutputIt Out)
Provide wrappers to std::move which take ranges instead of having to pass begin/end explicitly.
bool extractBranchWeights(const MDNode *ProfileData, SmallVectorImpl< uint32_t > &Weights)
Extract branch weights from MD_prof metadata.
auto predecessors(const MachineBasicBlock *BB)
void setProfMetadata(Module *M, Instruction *TI, ArrayRef< uint64_t > EdgeCounts, uint64_t MaxCount)
cl::opt< bool > EnableVTableValueProfiling("enable-vtable-value-profiling", cl::init(false), cl::desc("If true, the virtual table address will be instrumented to know " "the types of a C++ pointer. The information is used in indirect " "call promotion to do selective vtable-based comparison."))
SuccIterator< const Instruction, const BasicBlock > const_succ_iterator
cl::opt< bool > NoPGOWarnMismatchComdatWeak
Implement std::hash so that hash_code can be used in STL containers.
static constexpr roundingMode rmNearestTiesToEven
static const fltSemantics & IEEEdouble() LLVM_READNONE
DOTGraphTraits(bool isSimple=false)
static std::string getGraphName(const PGOUseFunc *G)
std::string getNodeLabel(const BasicBlock *Node, const PGOUseFunc *Graph)
DOTGraphTraits - Template class that can be specialized to customize how graphs are converted to 'dot...
DefaultDOTGraphTraits - This class provides the default implementations of all of the DOTGraphTraits ...
static ChildIteratorType child_end(const NodeRef N)
static NodeRef getEntryNode(const PGOUseFunc *G)
static ChildIteratorType child_begin(const NodeRef N)
static nodes_iterator nodes_end(const PGOUseFunc *G)
static nodes_iterator nodes_begin(const PGOUseFunc *G)
Profiling information for a single function.
std::vector< uint64_t > Counts
CountPseudoKind getCountPseudoKind() const
uint32_t getNumValueSites(uint32_t ValueKind) const
Return the number of instrumented sites for ValueKind.
static void setCSFlagInHash(uint64_t &FuncHash)
Instruction * AnnotatedInst