[llvm-commits] CVS: llvm/include/llvm/Analysis/Dominators.h

[Chris Lattner]

Changes in directory llvm/include/llvm/Analysis:

Dominators.h updated: 1.58 -> 1.59
---
Log message:

Add dominates/properlyDominates queries to IDom.


---
Diffs of the changes:  (+10 -0)

 Dominators.h |   10 ++++++++++
 1 files changed, 10 insertions(+)


Index: llvm/include/llvm/Analysis/Dominators.h
diff -u llvm/include/llvm/Analysis/Dominators.h:1.58 llvm/include/llvm/Analysis/Dominators.h:1.59
--- llvm/include/llvm/Analysis/Dominators.h:1.58	Wed Jun  7 17:00:25 2006
+++ llvm/include/llvm/Analysis/Dominators.h	Tue Aug  1 17:24:38 2006
@@ -101,7 +101,17 @@
   inline BasicBlock *operator[](BasicBlock *BB) const {
     return get(BB);
   }
+  
+  /// dominates - Return true if A dominates B.
+  ///
+  bool dominates(BasicBlock *A, BasicBlock *B) const;
 
+  /// properlyDominates - Return true if A dominates B and A != B.
+  ///
+  bool properlyDominates(BasicBlock *A, BasicBlock *B) const {
+    return A != B || properlyDominates(A, B);
+  }
+  
   /// get() - Synonym for operator[].
   ///
   inline BasicBlock *get(BasicBlock *BB) const {