Make CreateArrayComp a call by using explicit push-argument instructions.

vm/intermediate_language_x64.cc

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 #include "vm/globals.h"  // Needed here to get TARGET_ARCH_X64.
 #if defined(TARGET_ARCH_X64)
 
 #include "vm/intermediate_language.h"
 
 #include "lib/error.h"
@@ skipping 1019 matching lines @@
   compiler->GenerateInstanceOf(cid(),
                                token_pos(),
                                try_index(),
                                type(),
                                negate_result());
   ASSERT(locs()->out().reg() == RAX);
 }
 
 
 LocationSummary* CreateArrayComp::MakeLocationSummary() const {
-  // TODO(regis): The elements of the array could be considered as arguments to
-  // CreateArrayComp, thereby making CreateArrayComp a call.
-  // For VerifyCallComputation to work, CreateArrayComp would need an
-  // ArgumentCount getter and an ArgumentAt getter.
-  const intptr_t kNumInputs = 1;
-  const intptr_t kNumTemps = 1;
-  LocationSummary* locs =
-      new LocationSummary(kNumInputs, kNumTemps, LocationSummary::kCall);
-  locs->set_in(0, Location::RegisterLocation(RBX));
-  locs->set_temp(0, Location::RegisterLocation(R10));
-  locs->set_out(Location::RegisterLocation(RAX));
-  return locs;
+  return MakeCallSummary();
 }
 
 
 void CreateArrayComp::EmitNativeCode(FlowGraphCompiler* compiler) {
-  Register temp_reg = locs()->temp(0).reg();
-  Register result_reg = locs()->out().reg();
-
+  // TODO(fschneider): Support call-instructions that take inputs in registers.
   // Allocate the array.  R10 = length, RBX = element type.
-  ASSERT(temp_reg == R10);
-  ASSERT(locs()->in(0).reg() == RBX);
-  __ movq(temp_reg, Immediate(Smi::RawValue(ElementCount())));
+  __ popq(RBX);
+  __ movq(R10, Immediate(Smi::RawValue(ElementCount())));
   compiler->GenerateCall(token_pos(),
                          try_index(),
                          &StubCode::AllocateArrayLabel(),
                          PcDescriptors::kOther);
-  ASSERT(result_reg == RAX);
+  ASSERT(locs()->out().reg() == RAX);
 
   // Pop the element values from the stack into the array.
-  __ leaq(temp_reg, FieldAddress(result_reg, Array::data_offset()));
+  __ leaq(R10, FieldAddress(RAX, Array::data_offset()));
   for (int i = ElementCount() - 1; i >= 0; --i) {
     ASSERT(ElementAt(i)->IsUse());
-    __ popq(Address(temp_reg, i * kWordSize));
+    __ popq(Address(R10, i * kWordSize));
   }
 }
 
 
 LocationSummary*
     AllocateObjectWithBoundsCheckComp::MakeLocationSummary() const {
   const intptr_t kNumInputs = 2;
   const intptr_t kNumTemps = 0;
   LocationSummary* locs =
       new LocationSummary(kNumInputs, kNumTemps, LocationSummary::kCall);
@@ skipping 1033 matching lines @@
   ASSERT(locs()->out().reg() == RAX);
   __ CompareObject(locs()->out().reg(), compiler->bool_true());
   EmitBranchOnCondition(compiler, branch_condition);
 }
 
 }  // namespace dart
 
 #undef __
 
 #endif  // defined TARGET_ARCH_X64