diff --git a/lib/Transforms/Scalar/LoopStrengthReduce.cpp b/lib/Transforms/Scalar/LoopStrengthReduce.cpp
index 7b743e230e8..dfe72c11fcd 100644
--- a/lib/Transforms/Scalar/LoopStrengthReduce.cpp
+++ b/lib/Transforms/Scalar/LoopStrengthReduce.cpp
@@ -415,6 +415,12 @@ static SCEVHandle GetImmediateValues(SCEVHandle Val, bool isAddress, Loop *L) {
     return GetImmediateValues(SARE->getStart(), isAddress, L);
   }
 
+  if (!Val->isLoopInvariant(L)) {
+    // If this is a loop-variant expression, it must stay in the immediate
+    // field of the expression.
+    return Val;
+  }
+    
   return SCEVUnknown::getIntegerSCEV(0, Val->getType());
 }