contrib/llvm/lib/Analysis/DominanceFrontier.cpp

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