LLVM 19.0.0git
IndirectCallPromotionAnalysis.cpp
Go to the documentation of this file.
1//===-- IndirectCallPromotionAnalysis.cpp - Find promotion candidates ===//
2//
3// Part of the LLVM Project, under the Apache License v2.0 with LLVM Exceptions.
4// See https://llvm.org/LICENSE.txt for license information.
5// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
6//
7//===----------------------------------------------------------------------===//
8//
9// Helper methods for identifying profitable indirect call promotion
10// candidates for an instruction when the indirect-call value profile metadata
11// is available.
12//
13//===----------------------------------------------------------------------===//
14
16#include "llvm/IR/Instruction.h"
19#include "llvm/Support/Debug.h"
20#include <memory>
21
22using namespace llvm;
23
24#define DEBUG_TYPE "pgo-icall-prom-analysis"
25
26// The percent threshold for the direct-call target (this call site vs the
27// remaining call count) for it to be considered as the promotion target.
29 "icp-remaining-percent-threshold", cl::init(30), cl::Hidden,
30 cl::desc("The percentage threshold against remaining unpromoted indirect "
31 "call count for the promotion"));
32
33// The percent threshold for the direct-call target (this call site vs the
34// total call count) for it to be considered as the promotion target.
36 ICPTotalPercentThreshold("icp-total-percent-threshold", cl::init(5),
38 cl::desc("The percentage threshold against total "
39 "count for the promotion"));
40
41// Set the maximum number of targets to promote for a single indirect-call
42// callsite.
45 cl::desc("Max number of promotions for a single indirect "
46 "call callsite"));
47
49 "icp-max-num-vtables", cl::init(6), cl::Hidden,
50 cl::desc("Max number of vtables annotated for a vtable load instruction."));
51
53 ValueDataArray = std::make_unique<InstrProfValueData[]>(MaxNumPromotions);
54}
55
56bool ICallPromotionAnalysis::isPromotionProfitable(uint64_t Count,
57 uint64_t TotalCount,
58 uint64_t RemainingCount) {
59 return Count * 100 >= ICPRemainingPercentThreshold * RemainingCount &&
60 Count * 100 >= ICPTotalPercentThreshold * TotalCount;
61}
62
63// Indirect-call promotion heuristic. The direct targets are sorted based on
64// the count. Stop at the first target that is not promoted. Returns the
65// number of candidates deemed profitable.
66uint32_t ICallPromotionAnalysis::getProfitablePromotionCandidates(
67 const Instruction *Inst, uint32_t NumVals, uint64_t TotalCount) {
68 ArrayRef<InstrProfValueData> ValueDataRef(ValueDataArray.get(), NumVals);
69
70 LLVM_DEBUG(dbgs() << " \nWork on callsite " << *Inst
71 << " Num_targets: " << NumVals << "\n");
72
73 uint32_t I = 0;
74 uint64_t RemainingCount = TotalCount;
75 for (; I < MaxNumPromotions && I < NumVals; I++) {
76 uint64_t Count = ValueDataRef[I].Count;
77 assert(Count <= RemainingCount);
78 LLVM_DEBUG(dbgs() << " Candidate " << I << " Count=" << Count
79 << " Target_func: " << ValueDataRef[I].Value << "\n");
80
81 if (!isPromotionProfitable(Count, TotalCount, RemainingCount)) {
82 LLVM_DEBUG(dbgs() << " Not promote: Cold target.\n");
83 return I;
84 }
85 RemainingCount -= Count;
86 }
87 return I;
88}
89
92 const Instruction *I, uint32_t &NumVals, uint64_t &TotalCount,
93 uint32_t &NumCandidates) {
94 bool Res =
95 getValueProfDataFromInst(*I, IPVK_IndirectCallTarget, MaxNumPromotions,
96 ValueDataArray.get(), NumVals, TotalCount);
97 if (!Res) {
98 NumCandidates = 0;
100 }
101 NumCandidates = getProfitablePromotionCandidates(I, NumVals, TotalCount);
102 return ArrayRef<InstrProfValueData>(ValueDataArray.get(), NumVals);
103}
#define LLVM_DEBUG(X)
Definition: Debug.h:101
static cl::opt< unsigned > ICPRemainingPercentThreshold("icp-remaining-percent-threshold", cl::init(30), cl::Hidden, cl::desc("The percentage threshold against remaining unpromoted indirect " "call count for the promotion"))
static cl::opt< unsigned > MaxNumPromotions("icp-max-prom", cl::init(3), cl::Hidden, cl::desc("Max number of promotions for a single indirect " "call callsite"))
static cl::opt< unsigned > ICPTotalPercentThreshold("icp-total-percent-threshold", cl::init(5), cl::Hidden, cl::desc("The percentage threshold against total " "count for the promotion"))
cl::opt< unsigned > MaxNumVTableAnnotations("icp-max-num-vtables", cl::init(6), cl::Hidden, cl::desc("Max number of vtables annotated for a vtable load instruction."))
Interface to identify indirect call promotion candidates.
#define I(x, y, z)
Definition: MD5.cpp:58
assert(ImpDefSCC.getReg()==AMDGPU::SCC &&ImpDefSCC.isDef())
ArrayRef - Represent a constant reference to an array (0 or more elements consecutively in memory),...
Definition: ArrayRef.h:41
ArrayRef< InstrProfValueData > getPromotionCandidatesForInstruction(const Instruction *I, uint32_t &NumVals, uint64_t &TotalCount, uint32_t &NumCandidates)
Returns reference to array of InstrProfValueData for the given instruction I.
LLVM Value Representation.
Definition: Value.h:74
initializer< Ty > init(const Ty &Val)
Definition: CommandLine.h:450
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
bool getValueProfDataFromInst(const Instruction &Inst, InstrProfValueKind ValueKind, uint32_t MaxNumValueData, InstrProfValueData ValueData[], uint32_t &ActualNumValueData, uint64_t &TotalC, bool GetNoICPValue=false)
Extract the value profile data from Inst which is annotated with value profile meta data.
Definition: InstrProf.cpp:1346
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition: Debug.cpp:163