blob: 93c23bca96af7ceb4ce1e2c33717dcc454d51417 [file] [log] [blame]
Adam Nemet15e85ff2016-07-13 05:01:48 +00001//===- LazyBlockFrequencyInfo.cpp - Lazy Block Frequency 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 BlockFrequencyInfoWrapperPass. The
11// difference is that with this pass the block frequencies are not computed when
Adam Nemet25b6db92017-02-14 17:21:12 +000012// the analysis pass is executed but rather when the BFI result is explicitly
Adam Nemet15e85ff2016-07-13 05:01:48 +000013// requested by the analysis client.
14//
15//===----------------------------------------------------------------------===//
16
17#include "llvm/Analysis/LazyBlockFrequencyInfo.h"
Adam Nemetb17a45c2016-07-28 23:31:12 +000018#include "llvm/Analysis/LazyBranchProbabilityInfo.h"
Adam Nemet15e85ff2016-07-13 05:01:48 +000019#include "llvm/Analysis/LoopInfo.h"
Mikael Holmenfadab832018-05-17 09:05:40 +000020#include "llvm/IR/Dominators.h"
Adam Nemet15e85ff2016-07-13 05:01:48 +000021
22using namespace llvm;
23
24#define DEBUG_TYPE "lazy-block-freq"
25
26INITIALIZE_PASS_BEGIN(LazyBlockFrequencyInfoPass, DEBUG_TYPE,
27 "Lazy Block Frequency Analysis", true, true)
Adam Nemetb17a45c2016-07-28 23:31:12 +000028INITIALIZE_PASS_DEPENDENCY(LazyBPIPass)
Adam Nemet15e85ff2016-07-13 05:01:48 +000029INITIALIZE_PASS_DEPENDENCY(LoopInfoWrapperPass)
30INITIALIZE_PASS_END(LazyBlockFrequencyInfoPass, DEBUG_TYPE,
31 "Lazy Block Frequency Analysis", true, true)
32
33char LazyBlockFrequencyInfoPass::ID = 0;
34
35LazyBlockFrequencyInfoPass::LazyBlockFrequencyInfoPass() : FunctionPass(ID) {
36 initializeLazyBlockFrequencyInfoPassPass(*PassRegistry::getPassRegistry());
37}
38
39void LazyBlockFrequencyInfoPass::print(raw_ostream &OS, const Module *) const {
40 LBFI.getCalculated().print(OS);
41}
42
43void LazyBlockFrequencyInfoPass::getAnalysisUsage(AnalysisUsage &AU) const {
Adam Nemetb17a45c2016-07-28 23:31:12 +000044 LazyBranchProbabilityInfoPass::getLazyBPIAnalysisUsage(AU);
Mikael Holmenfadab832018-05-17 09:05:40 +000045 // We require DT so it's available when LI is available. The LI updating code
46 // asserts that DT is also present so if we don't make sure that we have DT
47 // here, that assert will trigger.
48 AU.addRequired<DominatorTreeWrapperPass>();
Adam Nemet15e85ff2016-07-13 05:01:48 +000049 AU.addRequired<LoopInfoWrapperPass>();
50 AU.setPreservesAll();
51}
52
53void LazyBlockFrequencyInfoPass::releaseMemory() { LBFI.releaseMemory(); }
54
55bool LazyBlockFrequencyInfoPass::runOnFunction(Function &F) {
Adam Nemetb17a45c2016-07-28 23:31:12 +000056 auto &BPIPass = getAnalysis<LazyBranchProbabilityInfoPass>();
Adam Nemet15e85ff2016-07-13 05:01:48 +000057 LoopInfo &LI = getAnalysis<LoopInfoWrapperPass>().getLoopInfo();
Adam Nemetb17a45c2016-07-28 23:31:12 +000058 LBFI.setAnalysis(&F, &BPIPass, &LI);
Adam Nemet15e85ff2016-07-13 05:01:48 +000059 return false;
60}
61
62void LazyBlockFrequencyInfoPass::getLazyBFIAnalysisUsage(AnalysisUsage &AU) {
Adam Nemetb17a45c2016-07-28 23:31:12 +000063 LazyBranchProbabilityInfoPass::getLazyBPIAnalysisUsage(AU);
Adam Nemet15e85ff2016-07-13 05:01:48 +000064 AU.addRequired<LazyBlockFrequencyInfoPass>();
65 AU.addRequired<LoopInfoWrapperPass>();
66}
67
68void llvm::initializeLazyBFIPassPass(PassRegistry &Registry) {
Adam Nemetb17a45c2016-07-28 23:31:12 +000069 initializeLazyBPIPassPass(Registry);
Adam Nemet15e85ff2016-07-13 05:01:48 +000070 INITIALIZE_PASS_DEPENDENCY(LazyBlockFrequencyInfoPass);
71 INITIALIZE_PASS_DEPENDENCY(LoopInfoWrapperPass);
72}