1 //===- LazyBranchProbabilityInfo.h - Lazy Branch Probability ----*- C++ -*-===//
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
7 //===----------------------------------------------------------------------===//
9 // This is an alternative analysis pass to BranchProbabilityInfoWrapperPass.
10 // The difference is that with this pass the branch probabilities are not
11 // computed when the analysis pass is executed but rather when the BPI results
12 // is explicitly requested by the analysis client.
14 //===----------------------------------------------------------------------===//
16 #ifndef LLVM_ANALYSIS_LAZYBRANCHPROBABILITYINFO_H
17 #define LLVM_ANALYSIS_LAZYBRANCHPROBABILITYINFO_H
19 #include "llvm/Analysis/BranchProbabilityInfo.h"
20 #include "llvm/Pass.h"
26 class TargetLibraryInfo
;
28 /// This is an alternative analysis pass to
29 /// BranchProbabilityInfoWrapperPass. The difference is that with this pass the
30 /// branch probabilities are not computed when the analysis pass is executed but
31 /// rather when the BPI results is explicitly requested by the analysis client.
33 /// There are some additional requirements for any client pass that wants to use
36 /// 1. The pass needs to initialize dependent passes with:
38 /// INITIALIZE_PASS_DEPENDENCY(LazyBPIPass)
40 /// 2. Similarly, getAnalysisUsage should call:
42 /// LazyBranchProbabilityInfoPass::getLazyBPIAnalysisUsage(AU)
44 /// 3. The computed BPI should be requested with
45 /// getAnalysis<LazyBranchProbabilityInfoPass>().getBPI() before LoopInfo
46 /// could be invalidated for example by changing the CFG.
48 /// Note that it is expected that we wouldn't need this functionality for the
49 /// new PM since with the new PM, analyses are executed on demand.
50 class LazyBranchProbabilityInfoPass
: public FunctionPass
{
52 /// Wraps a BPI to allow lazy computation of the branch probabilities.
54 /// A pass that only conditionally uses BPI can uncondtionally require the
55 /// analysis without paying for the overhead if BPI doesn't end up being used.
56 class LazyBranchProbabilityInfo
{
58 LazyBranchProbabilityInfo(const Function
*F
, const LoopInfo
*LI
,
59 const TargetLibraryInfo
*TLI
)
60 : Calculated(false), F(F
), LI(LI
), TLI(TLI
) {}
62 /// Retrieve the BPI with the branch probabilities computed.
63 BranchProbabilityInfo
&getCalculated() {
65 assert(F
&& LI
&& "call setAnalysis");
66 BPI
.calculate(*F
, *LI
, TLI
);
72 const BranchProbabilityInfo
&getCalculated() const {
73 return const_cast<LazyBranchProbabilityInfo
*>(this)->getCalculated();
77 BranchProbabilityInfo BPI
;
81 const TargetLibraryInfo
*TLI
;
84 std::unique_ptr
<LazyBranchProbabilityInfo
> LBPI
;
89 LazyBranchProbabilityInfoPass();
91 /// Compute and return the branch probabilities.
92 BranchProbabilityInfo
&getBPI() { return LBPI
->getCalculated(); }
94 /// Compute and return the branch probabilities.
95 const BranchProbabilityInfo
&getBPI() const { return LBPI
->getCalculated(); }
97 void getAnalysisUsage(AnalysisUsage
&AU
) const override
;
99 /// Helper for client passes to set up the analysis usage on behalf of this
101 static void getLazyBPIAnalysisUsage(AnalysisUsage
&AU
);
103 bool runOnFunction(Function
&F
) override
;
104 void releaseMemory() override
;
105 void print(raw_ostream
&OS
, const Module
*M
) const override
;
108 /// Helper for client passes to initialize dependent passes for LBPI.
109 void initializeLazyBPIPassPass(PassRegistry
&Registry
);
111 /// Simple trait class that provides a mapping between BPI passes and the
112 /// corresponding BPInfo.
113 template <typename PassT
> struct BPIPassTrait
{
114 static PassT
&getBPI(PassT
*P
) { return *P
; }
117 template <> struct BPIPassTrait
<LazyBranchProbabilityInfoPass
> {
118 static BranchProbabilityInfo
&getBPI(LazyBranchProbabilityInfoPass
*P
) {