From: Devang Patel <dpatel@apple.com>
Date: Thu, 7 Jun 2007 21:34:22 +0000 (+0000)
Subject: Add basic block level properlyDominates(A,B) interface.
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=f11cc5c298b5c2bae45159ebd305e75dd0d5091b;p=oota-llvm.git

Add basic block level properlyDominates(A,B) interface.


git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@37497 91177308-0d34-0410-b5e6-96231b3b80d8
---

diff --git a/include/llvm/Analysis/Dominators.h b/include/llvm/Analysis/Dominators.h
index 96f3f223dc1..85307665d93 100644
--- a/include/llvm/Analysis/Dominators.h
+++ b/include/llvm/Analysis/Dominators.h
@@ -160,6 +160,10 @@ protected:
     return dominatedBySlowTreeWalk(A, B);
   }
 
+  inline bool properlyDominates(BasicBlock *A, BasicBlock *B) {
+    return properlyDominates(getNode(A), getNode(B));
+  }
+
   bool dominatedBySlowTreeWalk(const DomTreeNode *A, 
                                const DomTreeNode *B) const {
     const DomTreeNode *IDom;