[builtins] Migrate Number predicates and make them optimizable.

test/mjsunit/compiler/number-issafeinteger.js

Index: test/mjsunit/compiler/number-issafeinteger.js
diff --git a/test/mjsunit/compiler/number-issafeinteger.js b/test/mjsunit/compiler/number-issafeinteger.js
new file mode 100644
index 0000000000000000000000000000000000000000..192fb6c124f5acc5ca9e4f3a653d431e4c8cd455
--- /dev/null
+++ b/test/mjsunit/compiler/number-issafeinteger.js
@@ -0,0 +1,50 @@
+// Copyright 2016 the V8 project authors. All rights reserved.
+// Use of this source code is governed by a BSD-style license that can be
+// found in the LICENSE file.
+
+// Flags: --allow-natives-syntax
+
+function test(f) {
+  assertTrue(f(0));
+  assertTrue(f(Number.MIN_SAFE_INTEGER));
+  assertFalse(f(Number.MIN_SAFE_INTEGER - 13));
+  assertTrue(f(Number.MIN_SAFE_INTEGER + 13));
+  assertTrue(f(Number.MAX_SAFE_INTEGER));
+  assertFalse(f(Number.MAX_SAFE_INTEGER + 23));
+  assertTrue(f(Number.MAX_SAFE_INTEGER - 23));
+  assertFalse(f(Number.MIN_VALUE));
+  assertFalse(f(Number.MAX_VALUE));
+  assertFalse(f(Number.NaN));
+  assertFalse(f(Number.POSITIVE_INFINITY));
+  assertFalse(f(Number.NEGATIVE_INFINITY));
+  assertFalse(f(1 / 0));
+  assertFalse(f(-1 / 0));
+  assertFalse(f(Number.EPSILON));
+
+  var near_upper = Math.pow(2, 52);
+  assertTrue(f(near_upper));
+  assertFalse(f(2 * near_upper));
+  assertTrue(f(2 * near_upper - 1));
+  assertTrue(f(2 * near_upper - 2));
+  assertFalse(f(2 * near_upper + 1));
+  assertFalse(f(2 * near_upper + 2));
+  assertFalse(f(2 * near_upper + 7));
+
+  var near_lower = -near_upper;
+  assertTrue(f(near_lower));
+  assertFalse(f(2 * near_lower));
+  assertTrue(f(2 * near_lower + 1));
+  assertTrue(f(2 * near_lower + 2));
+  assertFalse(f(2 * near_lower - 1));
+  assertFalse(f(2 * near_lower - 2));
+  assertFalse(f(2 * near_lower - 7));
+}
+
+function f(x) {
+  return Number.isSafeInteger(+x);
+}
+
+test(f);
+test(f);
+%OptimizeFunctionOnNextCall(f);
+test(f);