aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--include/llvm/Analysis/Dominators.h9
1 files changed, 9 insertions, 0 deletions
diff --git a/include/llvm/Analysis/Dominators.h b/include/llvm/Analysis/Dominators.h
index c0c133b67f..af2a0e384c 100644
--- a/include/llvm/Analysis/Dominators.h
+++ b/include/llvm/Analysis/Dominators.h
@@ -107,6 +107,15 @@ public:
assert(find(BB) == end() && "Block already in DominatorSet!");
Doms.insert(std::make_pair(BB, Dominators));
}
+
+ // addDominator - If a new block is inserted into the CFG, then method may be
+ // called to notify the blocks it dominates that it is in their set.
+ //
+ void addDominator(BasicBlock *BB, BasicBlock *NewDominator) {
+ iterator I = find(BB);
+ assert(I != end() && "BB is not in DominatorSet!");
+ I->second.insert(NewDominator);
+ }
};