diff options
author | Owen Anderson <resistor@mac.com> | 2008-06-03 18:29:48 +0000 |
---|---|---|
committer | Owen Anderson <resistor@mac.com> | 2008-06-03 18:29:48 +0000 |
commit | 269db29bdbd5d3264a859e7d3763a4c501fb9ee4 (patch) | |
tree | 27967f722f8e9d337d84b4f1b9dcf54c23d463f0 /lib/Transforms/Utils/BreakCriticalEdges.cpp | |
parent | bd44c2e383723ef738f37a22ece912d163c66096 (diff) |
LoopIndexSplit can sometimes result in cases where a block in its own domfrontier.
Don't crash when we encounter one of these.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51915 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'lib/Transforms/Utils/BreakCriticalEdges.cpp')
-rw-r--r-- | lib/Transforms/Utils/BreakCriticalEdges.cpp | 9 |
1 files changed, 6 insertions, 3 deletions
diff --git a/lib/Transforms/Utils/BreakCriticalEdges.cpp b/lib/Transforms/Utils/BreakCriticalEdges.cpp index bc9fdfde88..a821423d17 100644 --- a/lib/Transforms/Utils/BreakCriticalEdges.cpp +++ b/lib/Transforms/Utils/BreakCriticalEdges.cpp @@ -235,9 +235,12 @@ bool llvm::SplitCriticalEdge(TerminatorInst *TI, unsigned SuccNum, Pass *P, DominanceFrontier::iterator I = DF->find(DestBB); if (I != DF->end()) { DF->addBasicBlock(NewBB, I->second); - // However NewBB's frontier does not include DestBB. - DominanceFrontier::iterator NF = DF->find(NewBB); - DF->removeFromFrontier(NF, DestBB); + + if (I->second.count(DestBB)) { + // However NewBB's frontier does not include DestBB. + DominanceFrontier::iterator NF = DF->find(NewBB); + DF->removeFromFrontier(NF, DestBB); + } } else DF->addBasicBlock(NewBB, DominanceFrontier::DomSetType()); |