summaryrefslogtreecommitdiffstats
path: root/llvm
diff options
context:
space:
mode:
Diffstat (limited to 'llvm')
-rw-r--r--llvm/lib/Transforms/Scalar/LoopSimplifyCFG.cpp2
1 files changed, 2 insertions, 0 deletions
diff --git a/llvm/lib/Transforms/Scalar/LoopSimplifyCFG.cpp b/llvm/lib/Transforms/Scalar/LoopSimplifyCFG.cpp
index 64ea2c7f603..0157e3feb5c 100644
--- a/llvm/lib/Transforms/Scalar/LoopSimplifyCFG.cpp
+++ b/llvm/lib/Transforms/Scalar/LoopSimplifyCFG.cpp
@@ -226,6 +226,8 @@ private:
// Sanity check: header must be in loop.
assert(BlocksInLoopAfterFolding.count(L.getHeader()) &&
"Header not in loop?");
+ assert(BlocksInLoopAfterFolding.size() <= LiveLoopBlocks.size() &&
+ "All blocks that stay in loop should be live!");
}
/// Constant-fold terminators of blocks acculumated in FoldCandidates into the
OpenPOWER on IntegriCloud