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

test/mjsunit/array-push11.js

Index: test/mjsunit/array-push11.js
diff --git a/test/mjsunit/array-push11.js b/test/mjsunit/array-push11.js
index 118161a98ba5c1730438f97f1f5df5941fff47f2..c50d232568b78ee346a69575348d695e621ebbaf 100644
--- a/test/mjsunit/array-push11.js
+++ b/test/mjsunit/array-push11.js
@@ -3,13 +3,16 @@
 // 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);
-   if (++__v_10 >= 2) return __v_9;
-   __v_10 = {};
- }
+  var __v_10 = 0;
+  var count = 100000;
+  while (count-- != 0) {
+    var l = __v_9.push(0);
+    if (++__v_10 >= 2) return __v_9;
+    __v_10 = {};
+  }
+  return __v_9;
 }
 
-__f_17([]);
+let a = __f_17([]);
+assertEquals(a[0], 0);
+assertEquals(a[10000], 0);