From 895ab0c57071be6d50031f777a9fc11fb1902abb Mon Sep 17 00:00:00 2001
From: Devang Patel <dpatel@apple.com>
Date: Thu, 7 Jun 2007 21:34:22 +0000
Subject: [PATCH] Add basic block level properlyDominates(A,B) interface.

llvm-svn: 37497
---
 llvm/include/llvm/Analysis/Dominators.h | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/llvm/include/llvm/Analysis/Dominators.h b/llvm/include/llvm/Analysis/Dominators.h
index 96f3f223dc1a..85307665d935 100644
--- a/llvm/include/llvm/Analysis/Dominators.h
+++ b/llvm/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;