[turbofan] Ensure monotonicity for induction variable typing.

test/mjsunit/compiler/regress-644633.js

Index: test/mjsunit/compiler/regress-644633.js
diff --git a/test/mjsunit/compiler/regress-loop-variable-if.js b/test/mjsunit/compiler/regress-644633.js
similarity index 67%
copy from test/mjsunit/compiler/regress-loop-variable-if.js
copy to test/mjsunit/compiler/regress-644633.js
index ec284e92227d13a63cad7ab8e01826b8111aa558..5087fd77fcced11164309be18e44f6ae1106c80e 100644
--- a/test/mjsunit/compiler/regress-loop-variable-if.js
+++ b/test/mjsunit/compiler/regress-644633.js
@@ -2,11 +2,12 @@
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
-// Flags: --turbo-loop-variable
+var g = -1073741824;
 
 function f() {
-  for (var i = 0; i != 10; i++) {
-    if (i < 8) print("x");
+  var x = g*g*g*g*g*g*g;
+  for (var i = g; i < 1; ) {
+    i += i * x;
   }
 }