aboutsummaryrefslogtreecommitdiff
path: root/llvm/include/llvm/IR/Dominators.h
diff options
context:
space:
mode:
Diffstat (limited to 'llvm/include/llvm/IR/Dominators.h')
-rw-r--r--llvm/include/llvm/IR/Dominators.h3
1 files changed, 3 insertions, 0 deletions
diff --git a/llvm/include/llvm/IR/Dominators.h b/llvm/include/llvm/IR/Dominators.h
index 08dbccaf2c01..4d140c3ad0f2 100644
--- a/llvm/include/llvm/IR/Dominators.h
+++ b/llvm/include/llvm/IR/Dominators.h
@@ -165,6 +165,9 @@ class DominatorTree : public DominatorTreeBase<BasicBlock, false> {
// Ensure base-class overloads are visible.
using Base::dominates;
+ /// Return true if the (end of the) basic block BB dominates the use U.
+ bool dominates(const BasicBlock *BB, const Use &U) const;
+
/// Return true if value Def dominates use U, in the sense that Def is
/// available at U, and could be substituted as the used value without
/// violating the SSA dominance requirement.