Implement native _List. constructor in the flow-graph builder.

runtime/vm/intrinsifier_arm.cc

 // Copyright (c) 2013, 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_ARM.
 #if defined(TARGET_ARCH_ARM)
 
 #include "vm/intrinsifier.h"
 
 #include "vm/assembler.h"
 #include "vm/cpu.h"
 #include "vm/flow_graph_compiler.h"
 #include "vm/object.h"
 #include "vm/object_store.h"
 #include "vm/symbols.h"
 
 namespace dart {
 
 DECLARE_FLAG(bool, enable_type_checks);
 
 
 #define __ assembler->
 
 
-void Intrinsifier::ObjectArrayAllocate(Assembler* assembler) {
-  Label fall_through;
-  const intptr_t kTypeArgumentsOffset = 1 * kWordSize;
-  const intptr_t kLengthOffset = 0 * kWordSize;
-
-  __ ldr(R1, Address(SP, kTypeArgumentsOffset));
-  __ ldr(R2, Address(SP, kLengthOffset));
-
-  // Compute the size to be allocated, it is based on the array length
-  // and is computed as:
-  // RoundedAllocationSize((array_length * kwordSize) + sizeof(RawArray)).
-  __ MoveRegister(R3, R2);   // Array length.
-
-  // Check that length is a positive Smi.
-  __ tst(R3, Operand(kSmiTagMask));
-  __ b(&fall_through, NE);
-  __ cmp(R3, Operand(0));
-  __ b(&fall_through, LT);
-
-  // Check for maximum allowed length.
-  const intptr_t max_len =
-      reinterpret_cast<int32_t>(Smi::New(Array::kMaxElements));
-  __ CompareImmediate(R3, max_len);
-  __ b(&fall_through, GT);
-
-  const intptr_t fixed_size = sizeof(RawArray) + kObjectAlignment - 1;
-  __ LoadImmediate(R8, fixed_size);
-  __ add(R8, R8, Operand(R3, LSL, 1));  // R3 is  a Smi.
-  ASSERT(kSmiTagShift == 1);
-  __ bic(R8, R8, Operand(kObjectAlignment - 1));
-
-  // R8: Allocation size.
-
-  Isolate* isolate = Isolate::Current();
-  Heap* heap = isolate->heap();
-
-  __ LoadImmediate(R6, heap->TopAddress());
-  __ ldr(R0, Address(R6, 0));  // Potential new object start.
-  __ adds(R7, R0, Operand(R8));  // Potential next object start.
-  __ b(&fall_through, VS);
-
-  // Check if the allocation fits into the remaining space.
-  // R0: potential new object start.
-  // R7: potential next object start.
-  // R8: allocation size.
-  __ LoadImmediate(R3, heap->EndAddress());
-  __ ldr(R3, Address(R3, 0));
-  __ cmp(R7, Operand(R3));
-  __ b(&fall_through, CS);
-
-  // Successfully allocated the object(s), now update top to point to
-  // next object start and initialize the object.
-  __ str(R7, Address(R6, 0));
-  __ add(R0, R0, Operand(kHeapObjectTag));
-  __ UpdateAllocationStatsWithSize(kArrayCid, R8, R4);
-
-  // Initialize the tags.
-  // R0: new object start as a tagged pointer.
-  // R7: new object end address.
-  // R8: allocation size.
-  {
-    const intptr_t shift = RawObject::kSizeTagPos - kObjectAlignmentLog2;
-    const Class& cls = Class::Handle(isolate->object_store()->array_class());
-
-    __ CompareImmediate(R8, RawObject::SizeTag::kMaxSizeTag);
-    __ mov(R8, Operand(R8, LSL, shift), LS);
-    __ mov(R8, Operand(0), HI);
-
-    // Get the class index and insert it into the tags.
-    // R8: size and bit tags.
-    __ LoadImmediate(TMP, RawObject::ClassIdTag::encode(cls.id()));
-    __ orr(R8, R8, Operand(TMP));
-    __ str(R8, FieldAddress(R0, Array::tags_offset()));  // Store tags.
-  }
-
-  // R0: new object start as a tagged pointer.
-  // R7: new object end address.
-  // Store the type argument field.
-  __ StoreIntoObjectNoBarrier(R0,
-                              FieldAddress(R0, Array::type_arguments_offset()),
-                              R1);
-
-  // Set the length field.
-  __ StoreIntoObjectNoBarrier(R0,
-                              FieldAddress(R0, Array::length_offset()),
-                              R2);
-
-  // Initialize all array elements to raw_null.
-  // R0: new object start as a tagged pointer.
-  // R7: new object end address.
-  // R8: iterator which initially points to the start of the variable
-  // data area to be initialized.
-  // R3: null
-  __ LoadImmediate(R3, reinterpret_cast<intptr_t>(Object::null()));
-  __ AddImmediate(R8, R0, sizeof(RawArray) - kHeapObjectTag);
-
-  Label init_loop;
-  __ Bind(&init_loop);
-  __ cmp(R8, Operand(R7));
-  __ str(R3, Address(R8, 0), CC);
-  __ AddImmediate(R8, kWordSize, CC);
-  __ b(&init_loop, CC);
-
-  __ Ret();  // Returns the newly allocated object in R0.
-  // Unable to allocate the array using the fast inline code, just call
-  // into the runtime.
-  __ Bind(&fall_through);
-}
-
-
 void Intrinsifier::ObjectArrayLength(Assembler* assembler) {
   __ ldr(R0, Address(SP, 0 * kWordSize));
   __ ldr(R0, FieldAddress(R0, Array::length_offset()));
   __ Ret();
 }
 
 
 void Intrinsifier::ImmutableArrayLength(Assembler* assembler) {
   ObjectArrayLength(assembler);
 }
@@ skipping 1757 matching lines @@
   Isolate* isolate = Isolate::Current();
   __ LoadImmediate(R1, reinterpret_cast<uword>(isolate));
   // Set return value to Isolate::current_tag_.
   __ ldr(R0, Address(R1, Isolate::current_tag_offset()));
   __ Ret();
 }
 
 }  // namespace dart
 
 #endif  // defined TARGET_ARCH_ARM