Support array literals with FAST_DOUBLE_ELEMENTS ElementsKind.

test/mjsunit/elements-kind.js

 // Copyright 2011 the V8 project authors. All rights reserved.
 // Redistribution and use in source and binary forms, with or without
 // modification, are permitted provided that the following conditions are
 // met:
 //
 //     * Redistributions of source code must retain the above copyright
 //       notice, this list of conditions and the following disclaimer.
 //     * Redistributions in binary form must reproduce the above
 //       copyright notice, this list of conditions and the following
 //       disclaimer in the documentation and/or other materials provided
@@ skipping 178 matching lines @@
                            ? elements_kind.fast_double
                            : elements_kind.fast);
 }
 */
 
 /* Element transitions have not been implemented in crankshaft yet.
 %OptimizeFunctionOnNextCall(polymorphic);
 polymorphic(smis, elements_kind.fast_smi_only);
 polymorphic(strings, elements_kind.fast);
 polymorphic(doubles, elements_kind.fast);
-
-// Crankshaft support for smi-only elements in dynamic array literals.
-function get(foo) { return foo; }  // Used to generate dynamic values.
-
-function crankshaft_test() {
-  var a = [get(1), get(2), get(3)];
-  assertKind(elements_kind.fast_smi_only, a);
-  var b = [get(1), get(2), get("three")];
-  assertKind(elements_kind.fast, b);
-  var c = [get(1), get(2), get(3.5)];
-  // The full code generator doesn't support conversion to fast_double
-  // yet. Crankshaft does, but only with --smi-only-arrays support.
-  if ((%GetOptimizationStatus(crankshaft_test) & 1) &&
-      support_smi_only_arrays) {
-    assertKind(elements_kind.fast_double, c);
-  } else {
-    assertKind(elements_kind.fast, c);
-  }
-}
-for (var i = 0; i < 3; i++) {
-  crankshaft_test();
-}
-%OptimizeFunctionOnNextCall(crankshaft_test);
-crankshaft_test();
 */
 
 // Elements_kind transitions for arrays.
 
 // A map can have three different elements_kind transitions: SMI->DOUBLE,
 // DOUBLE->OBJECT, and SMI->OBJECT. No matter in which order these three are
 // created, they must always end up with the same FAST map.
 
 // This test is meaningless without FAST_SMI_ONLY_ELEMENTS.
 if (support_smi_only_arrays) {
@@ skipping 40 matching lines @@
   f[0] = 1.5;
   assertKind(elements_kind.fast_double, f);
   assertFalse(%HaveSameMap(e, f));
   f[0] = "bar";
   assertKind(elements_kind.fast, f);
   assertTrue(%HaveSameMap(e, f));
 }
 
 // Throw away type information in the ICs for next stress run.
 gc();