diff options
Diffstat (limited to 'include/llvm/Analysis/Dominators.h')
| -rw-r--r-- | include/llvm/Analysis/Dominators.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/include/llvm/Analysis/Dominators.h b/include/llvm/Analysis/Dominators.h index e3038da195..796a779087 100644 --- a/include/llvm/Analysis/Dominators.h +++ b/include/llvm/Analysis/Dominators.h @@ -20,6 +20,7 @@ #include "llvm/Pass.h" #include <set> +class Instruction; //===----------------------------------------------------------------------===// // @@ -95,6 +96,12 @@ public: return getDominators(B).count(A) != 0; } + // dominates - Return true if A dominates B. This performs the special checks + // neccesary if A and B are in the same basic block. + // + bool dominates(Instruction *A, Instruction *B) const; + + // getAnalysisUsage - This obviously provides a dominator set, but it also // uses the UnifyFunctionExitNode pass if building post-dominators // |