|
150
|
1 //===- DominanceFrontier.cpp - Dominance Frontier Calculation -------------===//
|
|
|
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 #include "llvm/Analysis/DominanceFrontier.h"
|
|
|
10 #include "llvm/Analysis/DominanceFrontierImpl.h"
|
|
|
11 #include "llvm/Config/llvm-config.h"
|
|
|
12 #include "llvm/IR/Dominators.h"
|
|
|
13 #include "llvm/IR/Function.h"
|
|
|
14 #include "llvm/IR/PassManager.h"
|
|
|
15 #include "llvm/InitializePasses.h"
|
|
|
16 #include "llvm/Pass.h"
|
|
|
17 #include "llvm/Support/Compiler.h"
|
|
|
18 #include "llvm/Support/Debug.h"
|
|
|
19 #include "llvm/Support/raw_ostream.h"
|
|
|
20
|
|
|
21 using namespace llvm;
|
|
|
22
|
|
|
23 namespace llvm {
|
|
|
24
|
|
|
25 template class DominanceFrontierBase<BasicBlock, false>;
|
|
|
26 template class DominanceFrontierBase<BasicBlock, true>;
|
|
|
27 template class ForwardDominanceFrontierBase<BasicBlock>;
|
|
|
28
|
|
|
29 } // end namespace llvm
|
|
|
30
|
|
|
31 char DominanceFrontierWrapperPass::ID = 0;
|
|
|
32
|
|
|
33 INITIALIZE_PASS_BEGIN(DominanceFrontierWrapperPass, "domfrontier",
|
|
|
34 "Dominance Frontier Construction", true, true)
|
|
|
35 INITIALIZE_PASS_DEPENDENCY(DominatorTreeWrapperPass)
|
|
|
36 INITIALIZE_PASS_END(DominanceFrontierWrapperPass, "domfrontier",
|
|
|
37 "Dominance Frontier Construction", true, true)
|
|
|
38
|
|
|
39 DominanceFrontierWrapperPass::DominanceFrontierWrapperPass()
|
|
|
40 : FunctionPass(ID), DF() {
|
|
|
41 initializeDominanceFrontierWrapperPassPass(*PassRegistry::getPassRegistry());
|
|
|
42 }
|
|
|
43
|
|
|
44 void DominanceFrontierWrapperPass::releaseMemory() {
|
|
|
45 DF.releaseMemory();
|
|
|
46 }
|
|
|
47
|
|
|
48 bool DominanceFrontierWrapperPass::runOnFunction(Function &) {
|
|
|
49 releaseMemory();
|
|
|
50 DF.analyze(getAnalysis<DominatorTreeWrapperPass>().getDomTree());
|
|
|
51 return false;
|
|
|
52 }
|
|
|
53
|
|
|
54 void DominanceFrontierWrapperPass::getAnalysisUsage(AnalysisUsage &AU) const {
|
|
|
55 AU.setPreservesAll();
|
|
|
56 AU.addRequired<DominatorTreeWrapperPass>();
|
|
|
57 }
|
|
|
58
|
|
|
59 void DominanceFrontierWrapperPass::print(raw_ostream &OS, const Module *) const {
|
|
|
60 DF.print(OS);
|
|
|
61 }
|
|
|
62
|
|
|
63 #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP)
|
|
|
64 LLVM_DUMP_METHOD void DominanceFrontierWrapperPass::dump() const {
|
|
|
65 print(dbgs());
|
|
|
66 }
|
|
|
67 #endif
|
|
|
68
|
|
|
69 /// Handle invalidation explicitly.
|
|
|
70 bool DominanceFrontier::invalidate(Function &F, const PreservedAnalyses &PA,
|
|
|
71 FunctionAnalysisManager::Invalidator &) {
|
|
|
72 // Check whether the analysis, all analyses on functions, or the function's
|
|
|
73 // CFG have been preserved.
|
|
|
74 auto PAC = PA.getChecker<DominanceFrontierAnalysis>();
|
|
|
75 return !(PAC.preserved() || PAC.preservedSet<AllAnalysesOn<Function>>() ||
|
|
|
76 PAC.preservedSet<CFGAnalyses>());
|
|
|
77 }
|
|
|
78
|
|
|
79 AnalysisKey DominanceFrontierAnalysis::Key;
|
|
|
80
|
|
|
81 DominanceFrontier DominanceFrontierAnalysis::run(Function &F,
|
|
|
82 FunctionAnalysisManager &AM) {
|
|
|
83 DominanceFrontier DF;
|
|
|
84 DF.analyze(AM.getResult<DominatorTreeAnalysis>(F));
|
|
|
85 return DF;
|
|
|
86 }
|
|
|
87
|
|
|
88 DominanceFrontierPrinterPass::DominanceFrontierPrinterPass(raw_ostream &OS)
|
|
|
89 : OS(OS) {}
|
|
|
90
|
|
|
91 PreservedAnalyses
|
|
|
92 DominanceFrontierPrinterPass::run(Function &F, FunctionAnalysisManager &AM) {
|
|
|
93 OS << "DominanceFrontier for function: " << F.getName() << "\n";
|
|
|
94 AM.getResult<DominanceFrontierAnalysis>(F).print(OS);
|
|
|
95
|
|
|
96 return PreservedAnalyses::all();
|
|
|
97 }
|
