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

test/mjsunit/array-push14.js

Index: test/mjsunit/array-push14.js
diff --git a/test/mjsunit/array-push14.js b/test/mjsunit/array-push14.js
new file mode 100644
index 0000000000000000000000000000000000000000..4514d5893e9971f74e582766ed205bb0097eff1b
--- /dev/null
+++ b/test/mjsunit/array-push14.js
@@ -0,0 +1,18 @@
+// 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.
+
+function __f_17(__v_9) {
+  var __v_10 = 0;
+  var count = 100000;
+  while (count-- != 0) {
+    var l = __v_9.push(0.5);
+    if (++__v_10 >= 2) return __v_9;
+    __v_10 = {};
+  }
+  return __v_9;
+}
+
+let a = __f_17([2.2]);
+assertEquals(a[0], 2.2);
+assertEquals(a[10000], 0.5);