Cameron Zwarich | 6b0c4c9 | 2011-01-18 06:06:27 +0000 | [diff] [blame] | 1 | //===- DominanceFrontier.cpp - Dominance Frontier Calculation -------------===// |
| 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 | #include "llvm/Analysis/DominanceFrontier.h" |
Matt Arsenault | 4181ea3 | 2014-07-12 21:59:52 +0000 | [diff] [blame] | 11 | #include "llvm/Analysis/DominanceFrontierImpl.h" |
| 12 | |
Cameron Zwarich | 6b0c4c9 | 2011-01-18 06:06:27 +0000 | [diff] [blame] | 13 | using namespace llvm; |
| 14 | |
Matt Arsenault | 4181ea3 | 2014-07-12 21:59:52 +0000 | [diff] [blame] | 15 | namespace llvm { |
| 16 | template class DominanceFrontierBase<BasicBlock>; |
| 17 | template class ForwardDominanceFrontierBase<BasicBlock>; |
| 18 | } |
| 19 | |
Cameron Zwarich | 6b0c4c9 | 2011-01-18 06:06:27 +0000 | [diff] [blame] | 20 | char DominanceFrontier::ID = 0; |
Matt Arsenault | 4181ea3 | 2014-07-12 21:59:52 +0000 | [diff] [blame] | 21 | |
Cameron Zwarich | 6b0c4c9 | 2011-01-18 06:06:27 +0000 | [diff] [blame] | 22 | INITIALIZE_PASS_BEGIN(DominanceFrontier, "domfrontier", |
| 23 | "Dominance Frontier Construction", true, true) |
Chandler Carruth | 7352302 | 2014-01-13 13:07:17 +0000 | [diff] [blame] | 24 | INITIALIZE_PASS_DEPENDENCY(DominatorTreeWrapperPass) |
Cameron Zwarich | 6b0c4c9 | 2011-01-18 06:06:27 +0000 | [diff] [blame] | 25 | INITIALIZE_PASS_END(DominanceFrontier, "domfrontier", |
| 26 | "Dominance Frontier Construction", true, true) |
| 27 | |
Matt Arsenault | 4181ea3 | 2014-07-12 21:59:52 +0000 | [diff] [blame] | 28 | DominanceFrontier::DominanceFrontier() |
| 29 | : FunctionPass(ID), |
| 30 | Base() { |
| 31 | initializeDominanceFrontierPass(*PassRegistry::getPassRegistry()); |
Cameron Zwarich | 6b0c4c9 | 2011-01-18 06:06:27 +0000 | [diff] [blame] | 32 | } |
| 33 | |
Matt Arsenault | 4181ea3 | 2014-07-12 21:59:52 +0000 | [diff] [blame] | 34 | void DominanceFrontier::releaseMemory() { |
| 35 | Base.releaseMemory(); |
Cameron Zwarich | 6b0c4c9 | 2011-01-18 06:06:27 +0000 | [diff] [blame] | 36 | } |
| 37 | |
Matt Arsenault | 4181ea3 | 2014-07-12 21:59:52 +0000 | [diff] [blame] | 38 | bool DominanceFrontier::runOnFunction(Function &) { |
| 39 | releaseMemory(); |
| 40 | Base.analyze(getAnalysis<DominatorTreeWrapperPass>().getDomTree()); |
| 41 | return false; |
| 42 | } |
| 43 | |
| 44 | void DominanceFrontier::getAnalysisUsage(AnalysisUsage &AU) const { |
| 45 | AU.setPreservesAll(); |
| 46 | AU.addRequired<DominatorTreeWrapperPass>(); |
| 47 | } |
| 48 | |
| 49 | void DominanceFrontier::print(raw_ostream &OS, const Module *) const { |
| 50 | Base.print(OS); |
Cameron Zwarich | 6b0c4c9 | 2011-01-18 06:06:27 +0000 | [diff] [blame] | 51 | } |
| 52 | |
Manman Ren | 49d684e | 2012-09-12 05:06:18 +0000 | [diff] [blame] | 53 | #if !defined(NDEBUG) || defined(LLVM_ENABLE_DUMP) |
Yaron Keren | eb2a254 | 2016-01-29 20:50:44 +0000 | [diff] [blame^] | 54 | LLVM_DUMP_METHOD void DominanceFrontier::dump() const { |
Cameron Zwarich | 6b0c4c9 | 2011-01-18 06:06:27 +0000 | [diff] [blame] | 55 | print(dbgs()); |
| 56 | } |
Manman Ren | c3366cc | 2012-09-06 19:55:56 +0000 | [diff] [blame] | 57 | #endif |