[stubs] Port builtin for Array.push fast-case from Crankshaft to TF

test/mjsunit/array-push-hole-double.js

Index: test/mjsunit/array-push-hole-double.js
diff --git a/test/mjsunit/array-push-hole-double.js b/test/mjsunit/array-push-hole-double.js
new file mode 100644
index 0000000000000000000000000000000000000000..9a4a0ad4979e10da469ff7d07515f6ade40f1a07
--- /dev/null
+++ b/test/mjsunit/array-push-hole-double.js
@@ -0,0 +1,23 @@
+// 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
+
+[1].push(1);
+
+(function PushHoleBitPattern() {
+  function g(src, dst, i) {
+    dst[i] = src[i];
+  }
+
+  var b = new ArrayBuffer(8);
+  var i32 = new Int32Array(b);
+  i32[0] = 0xFFF7FFFF;
+  i32[1] = 0xFFF7FFFF;
+  var f64 = new Float64Array(b);
+
+  var a = [,2.5];
+  a.push(f64[0]);
+  assertTrue(Number.isNaN(a[2]));
+})();