diff --git a/include/llvm/Analysis/Dominators.h b/include/llvm/Analysis/Dominators.h index c0c133b67f8..af2a0e384c9 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); + } };