Add an assertion for a condition that's always true, and not
immediately obvious.
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@66062 91177308-0d34-0410-b5e6-96231b3b80d8
diff --git a/lib/Transforms/Scalar/LoopStrengthReduce.cpp b/lib/Transforms/Scalar/LoopStrengthReduce.cpp
index 641f9b0..57f5957 100644
--- a/lib/Transforms/Scalar/LoopStrengthReduce.cpp
+++ b/lib/Transforms/Scalar/LoopStrengthReduce.cpp
@@ -2376,6 +2376,9 @@
AR->getStepRecurrence(*SE) != One)
return Cond;
+ assert(AR->getLoop() == L &&
+ "Loop condition operand is an addrec in a different loop!");
+
// Check the right operand of the select, and remember it, as it will
// be used in the new comparison instruction.
Value *NewRHS = 0;