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
52bool ICallPromotionAnalysis::isPromotionProfitable(uint64_t Count,
53 uint64_t TotalCount,
54 uint64_t RemainingCount) {
55 return Count * 100 >= ICPRemainingPercentThreshold * RemainingCount &&
56 Count * 100 >= ICPTotalPercentThreshold * TotalCount;
57}
58
59// Indirect-call promotion heuristic. The direct targets are sorted based on
60// the count. Stop at the first target that is not promoted. Returns the
61// number of candidates deemed profitable.
62uint32_t ICallPromotionAnalysis::getProfitablePromotionCandidates(
63 const Instruction *Inst, uint64_t TotalCount) {
64 LLVM_DEBUG(dbgs() << " \nWork on callsite " << *Inst
65 << " Num_targets: " << ValueDataArray.size() << "\n");
66
67 uint32_t I = 0;
68 uint64_t RemainingCount = TotalCount;
69 for (; I < MaxNumPromotions && I < ValueDataArray.size(); I++) {
70 uint64_t Count = ValueDataArray[I].Count;
71 assert(Count <= RemainingCount);
72 LLVM_DEBUG(dbgs() << " Candidate " << I << " Count=" << Count
73 << " Target_func: " << ValueDataArray[I].Value << "\n");
74
75 if (!isPromotionProfitable(Count, TotalCount, RemainingCount)) {
76 LLVM_DEBUG(dbgs() << " Not promote: Cold target.\n");
77 return I;
78 }
79 RemainingCount -= Count;
80 }
81 return I;
82}
83
86 const Instruction *I, uint64_t &TotalCount, uint32_t &NumCandidates) {
87 ValueDataArray = getValueProfDataFromInst(*I, IPVK_IndirectCallTarget,
88 MaxNumPromotions, TotalCount);
89 if (ValueDataArray.empty()) {
90 NumCandidates = 0;
92 }
93 NumCandidates = getProfitablePromotionCandidates(I, TotalCount);
94 return ValueDataArray;
95}
#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())
MutableArrayRef< InstrProfValueData > getPromotionCandidatesForInstruction(const Instruction *I, uint64_t &TotalCount, uint32_t &NumCandidates)
Returns reference to array of InstrProfValueData for the given instruction I.
MutableArrayRef - Represent a mutable reference to an array (0 or more elements consecutively in memo...
Definition: ArrayRef.h:307
bool empty() const
Definition: SmallVector.h:94
size_t size() const
Definition: SmallVector.h:91
LLVM Value Representation.
Definition: Value.h:74
initializer< Ty > init(const Ty &Val)
Definition: CommandLine.h:443
This is an optimization pass for GlobalISel generic memory operations.
Definition: AddressRanges.h:18
raw_ostream & dbgs()
dbgs() - This returns a reference to a raw_ostream for debugging messages.
Definition: Debug.cpp:163
SmallVector< InstrProfValueData, 4 > getValueProfDataFromInst(const Instruction &Inst, InstrProfValueKind ValueKind, uint32_t MaxNumValueData, uint64_t &TotalC, bool GetNoICPValue=false)
Extract the value profile data from Inst and returns them if Inst is annotated with value profile dat...
Definition: InstrProf.cpp:1350