[turbofan] x - y < 0 is not equivalent to x < y.

test/mjsunit/compiler/regress-5129.js

Index: test/mjsunit/compiler/regress-5129.js
diff --git a/test/mjsunit/regress/regress-5085.js b/test/mjsunit/compiler/regress-5129.js
similarity index 66%
copy from test/mjsunit/regress/regress-5085.js
copy to test/mjsunit/compiler/regress-5129.js
index 0ed034dc2d09e97827e2b4881570d60be2b5072b..1d100ab34ccd9961abba729ad985939899c7bf63 100644
--- a/test/mjsunit/regress/regress-5085.js
+++ b/test/mjsunit/compiler/regress-5129.js
@@ -4,11 +4,12 @@
 
 // Flags: --allow-natives-syntax
 
-function foo(x) {
-  return x instanceof Proxy;
+function foo($a,$b) {
+ $a = $a|0;
+ $b = $b|0;
+ var $sub = $a - $b;
+ return ($sub|0) < 0;
 }
 
-assertFalse(foo({}));
-assertFalse(foo({}));
 %OptimizeFunctionOnNextCall(foo);
-assertFalse(foo({}));
+assertTrue(foo(0x7fffffff,-1));