blob: 429b78c3a47e598bfa37791b6e14adc528305ec0 [file] [log] [blame]
Adam Nemetb17a45c2016-07-28 23:31:12 +00001//===- LazyBranchProbabilityInfo.cpp - Lazy Branch Probability Analysis ---===//
2//
3// The LLVM Compiler Infrastructure
4//
5// This file is distributed under the University of Illinois Open Source
6// License. See LICENSE.TXT for details.
7//
8//===----------------------------------------------------------------------===//
9//
10// This is an alternative analysis pass to BranchProbabilityInfoWrapperPass.
11// The difference is that with this pass the branch probabilities are not
12// computed when the analysis pass is executed but rather when the BPI results
13// is explicitly requested by the analysis client.
14//
15//===----------------------------------------------------------------------===//
16
17#include "llvm/Analysis/LazyBranchProbabilityInfo.h"
18#include "llvm/Analysis/LoopInfo.h"
John Brawn436ad282017-06-08 09:44:40 +000019#include "llvm/Analysis/TargetLibraryInfo.h"
Mikael Holmenfadab832018-05-17 09:05:40 +000020#include "llvm/IR/Dominators.h"
Adam Nemetb17a45c2016-07-28 23:31:12 +000021
22using namespace llvm;
23
24#define DEBUG_TYPE "lazy-branch-prob"
25
26INITIALIZE_PASS_BEGIN(LazyBranchProbabilityInfoPass, DEBUG_TYPE,
27 "Lazy Branch Probability Analysis", true, true)
28INITIALIZE_PASS_DEPENDENCY(LoopInfoWrapperPass)
John Brawn436ad282017-06-08 09:44:40 +000029INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass)
Adam Nemetb17a45c2016-07-28 23:31:12 +000030INITIALIZE_PASS_END(LazyBranchProbabilityInfoPass, DEBUG_TYPE,
31 "Lazy Branch Probability Analysis", true, true)
32
33char LazyBranchProbabilityInfoPass::ID = 0;
34
35LazyBranchProbabilityInfoPass::LazyBranchProbabilityInfoPass()
36 : FunctionPass(ID) {
37 initializeLazyBranchProbabilityInfoPassPass(*PassRegistry::getPassRegistry());
38}
39
40void LazyBranchProbabilityInfoPass::print(raw_ostream &OS,
41 const Module *) const {
42 LBPI->getCalculated().print(OS);
43}
44
45void LazyBranchProbabilityInfoPass::getAnalysisUsage(AnalysisUsage &AU) const {
Mikael Holmenfadab832018-05-17 09:05:40 +000046 // We require DT so it's available when LI is available. The LI updating code
47 // asserts that DT is also present so if we don't make sure that we have DT
48 // here, that assert will trigger.
49 AU.addRequired<DominatorTreeWrapperPass>();
Adam Nemetb17a45c2016-07-28 23:31:12 +000050 AU.addRequired<LoopInfoWrapperPass>();
John Brawn436ad282017-06-08 09:44:40 +000051 AU.addRequired<TargetLibraryInfoWrapperPass>();
Adam Nemetb17a45c2016-07-28 23:31:12 +000052 AU.setPreservesAll();
53}
54
55void LazyBranchProbabilityInfoPass::releaseMemory() { LBPI.reset(); }
56
57bool LazyBranchProbabilityInfoPass::runOnFunction(Function &F) {
58 LoopInfo &LI = getAnalysis<LoopInfoWrapperPass>().getLoopInfo();
John Brawn436ad282017-06-08 09:44:40 +000059 TargetLibraryInfo &TLI = getAnalysis<TargetLibraryInfoWrapperPass>().getTLI();
60 LBPI = llvm::make_unique<LazyBranchProbabilityInfo>(&F, &LI, &TLI);
Adam Nemetb17a45c2016-07-28 23:31:12 +000061 return false;
62}
63
64void LazyBranchProbabilityInfoPass::getLazyBPIAnalysisUsage(AnalysisUsage &AU) {
65 AU.addRequired<LazyBranchProbabilityInfoPass>();
66 AU.addRequired<LoopInfoWrapperPass>();
John Brawn436ad282017-06-08 09:44:40 +000067 AU.addRequired<TargetLibraryInfoWrapperPass>();
Adam Nemetb17a45c2016-07-28 23:31:12 +000068}
69
70void llvm::initializeLazyBPIPassPass(PassRegistry &Registry) {
71 INITIALIZE_PASS_DEPENDENCY(LazyBranchProbabilityInfoPass);
72 INITIALIZE_PASS_DEPENDENCY(LoopInfoWrapperPass);
John Brawn436ad282017-06-08 09:44:40 +000073 INITIALIZE_PASS_DEPENDENCY(TargetLibraryInfoWrapperPass);
Adam Nemetb17a45c2016-07-28 23:31:12 +000074}