include/llvm/CodeGen/MachinePostDominators.h

   1 //=- llvm/CodeGen/MachineDominators.h ----------------------------*- C++ -*-==//
   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 file exposes interfaces to post dominance information for
  11 // target-specific code.
  12 //
  13 //===----------------------------------------------------------------------===//
  14
  15 #ifndef LLVM_CODEGEN_MACHINEPOSTDOMINATORS_H
  16 #define LLVM_CODEGEN_MACHINEPOSTDOMINATORS_H
  17
  18 #include "llvm/Analysis/DominatorInternals.h"
  19 #include "llvm/Analysis/Dominators.h"
  20 #include "llvm/CodeGen/MachineDominators.h"
  21 #include "llvm/CodeGen/MachineFunctionPass.h"
  22
  23 namespace llvm {
  24
  25 ///
  26 /// PostDominatorTree Class - Concrete subclass of DominatorTree that is used
  27 /// to compute the a post-dominator tree.
  28 ///
  29 struct MachinePostDominatorTree : public MachineFunctionPass {
  30 private:
  31   DominatorTreeBase<MachineBasicBlock> *DT;
  32
  33 public:
  34   static char ID;
  35
  36   MachinePostDominatorTree();
  37
  38   ~MachinePostDominatorTree();
  39
  40   FunctionPass *createMachinePostDominatorTreePass();
  41
  42   const std::vector<MachineBasicBlock *> &getRoots() const {
  43     return DT->getRoots();
  44   }
  45
  46   MachineDomTreeNode *getRootNode() const {
  47     return DT->getRootNode();
  48   }
  49
  50   MachineDomTreeNode *operator[](MachineBasicBlock *BB) const {
  51     return DT->getNode(BB);
  52   }
  53
  54   MachineDomTreeNode *getNode(MachineBasicBlock *BB) const {
  55     return DT->getNode(BB);
  56   }
  57
  58   bool dominates(const MachineDomTreeNode *A,
  59                  const MachineDomTreeNode *B) const {
  60     return DT->dominates(A, B);
  61   }
  62
  63   bool dominates(const MachineBasicBlock *A, const MachineBasicBlock *B) const {
  64     return DT->dominates(A, B);
  65   }
  66
  67   bool properlyDominates(const MachineDomTreeNode *A,
  68                          const MachineDomTreeNode *B) const {
  69     return DT->properlyDominates(A, B);
  70   }
  71
  72   bool properlyDominates(const MachineBasicBlock *A,
  73                          const MachineBasicBlock *B) const {
  74     return DT->properlyDominates(A, B);
  75   }
  76
  77   MachineBasicBlock *findNearestCommonDominator(MachineBasicBlock *A,
  78                                                 MachineBasicBlock *B) {
  79     return DT->findNearestCommonDominator(A, B);
  80   }
  81
  82   virtual bool runOnMachineFunction(MachineFunction &MF);
  83   virtual void getAnalysisUsage(AnalysisUsage &AU) const;
  84   virtual void print(llvm::raw_ostream &OS, const Module *M = 0) const;
  85 };
  86 } //end of namespace llvm
  87
  88 #endif