[Arguments] Introduce a new backing store for non-strict arguments objects.

src/x64/code-stubs-x64.cc

 // 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 2323 matching lines @@
   __ Integer32ToSmiField(Operand(rsp, 1 * kPointerSize), rcx);
   // Do not clobber the length index for the indexing operation since
   // it is used compute the size for allocation later.
   __ lea(rdx, Operand(rdx, rcx, times_pointer_size, kDisplacement));
   __ movq(Operand(rsp, 2 * kPointerSize), rdx);
 
   // Try the new space allocation. Start out with computing the size of
   // the arguments object and the elements array.
   Label add_arguments_object;
   __ bind(&try_allocate);
-  __ testl(rcx, rcx);
-  __ j(zero, &add_arguments_object);
-  __ leal(rcx, Operand(rcx, times_pointer_size, FixedArray::kHeaderSize));
-  __ bind(&add_arguments_object);
-  __ addl(rcx, Immediate(GetArgumentsObjectSize()));
+  if (type_ == NEW_NON_STRICT) {
+    __ TailCallRuntime(Runtime::kNewArgumentsFast, 3, 1);
+  } else {
+    __ testl(rcx, rcx);
+    __ j(zero, &add_arguments_object);
+    __ leal(rcx, Operand(rcx, times_pointer_size, FixedArray::kHeaderSize));
+    __ bind(&add_arguments_object);
+    __ addl(rcx, Immediate(GetArgumentsObjectSize()));
 
-  // Do the allocation of both objects in one go.
-  __ AllocateInNewSpace(rcx, rax, rdx, rbx, &runtime, TAG_OBJECT);
+    // Do the allocation of both objects in one go.
+    __ AllocateInNewSpace(rcx, rax, rdx, rbx, &runtime, TAG_OBJECT);
 
-  // Get the arguments boilerplate from the current (global) context.
-  __ movq(rdi, Operand(rsi, Context::SlotOffset(Context::GLOBAL_INDEX)));
-  __ movq(rdi, FieldOperand(rdi, GlobalObject::kGlobalContextOffset));
-  __ movq(rdi, Operand(rdi,
-                       Context::SlotOffset(GetArgumentsBoilerplateIndex())));
+    // Get the arguments boilerplate from the current (global) context.
+    __ movq(rdi, Operand(rsi, Context::SlotOffset(Context::GLOBAL_INDEX)));
+    __ movq(rdi, FieldOperand(rdi, GlobalObject::kGlobalContextOffset));
+    __ movq(rdi, Operand(rdi,
+                         Context::SlotOffset(GetArgumentsBoilerplateIndex())));
 
-  // Copy the JS object part.
-  STATIC_ASSERT(JSObject::kHeaderSize == 3 * kPointerSize);
-  __ movq(kScratchRegister, FieldOperand(rdi, 0 * kPointerSize));
-  __ movq(rdx, FieldOperand(rdi, 1 * kPointerSize));
-  __ movq(rbx, FieldOperand(rdi, 2 * kPointerSize));
-  __ movq(FieldOperand(rax, 0 * kPointerSize), kScratchRegister);
-  __ movq(FieldOperand(rax, 1 * kPointerSize), rdx);
-  __ movq(FieldOperand(rax, 2 * kPointerSize), rbx);
+    // Copy the JS object part.
+    STATIC_ASSERT(JSObject::kHeaderSize == 3 * kPointerSize);
+    __ movq(kScratchRegister, FieldOperand(rdi, 0 * kPointerSize));
+    __ movq(rdx, FieldOperand(rdi, 1 * kPointerSize));
+    __ movq(rbx, FieldOperand(rdi, 2 * kPointerSize));
+    __ movq(FieldOperand(rax, 0 * kPointerSize), kScratchRegister);
+    __ movq(FieldOperand(rax, 1 * kPointerSize), rdx);
+    __ movq(FieldOperand(rax, 2 * kPointerSize), rbx);
 
-  if (type_ == NEW_NON_STRICT) {
-    // Setup the callee in-object property.
-    ASSERT(Heap::kArgumentsCalleeIndex == 1);
-    __ movq(kScratchRegister, Operand(rsp, 3 * kPointerSize));
+    if (type_ == NEW_NON_STRICT) {
+      // Setup the callee in-object property.
+      ASSERT(Heap::kArgumentsCalleeIndex == 1);
+      __ movq(kScratchRegister, Operand(rsp, 3 * kPointerSize));
+      __ movq(FieldOperand(rax, JSObject::kHeaderSize +
+                           Heap::kArgumentsCalleeIndex * kPointerSize),
+              kScratchRegister);
+    }
+
+    // Get the length (smi tagged) and set that as an in-object property too.
+    ASSERT(Heap::kArgumentsLengthIndex == 0);
+    __ movq(rcx, Operand(rsp, 1 * kPointerSize));
     __ movq(FieldOperand(rax, JSObject::kHeaderSize +
-                              Heap::kArgumentsCalleeIndex * kPointerSize),
-            kScratchRegister);
+                         Heap::kArgumentsLengthIndex * kPointerSize),
+            rcx);
+
+    // If there are no actual arguments, we're done.
+    Label done;
+    __ SmiTest(rcx);
+    __ j(zero, &done);
+
+    // Get the parameters pointer from the stack and untag the length.
+    __ movq(rdx, Operand(rsp, 2 * kPointerSize));
+
+    // Setup the elements pointer in the allocated arguments object and
+    // initialize the header in the elements fixed array.
+    __ lea(rdi, Operand(rax, GetArgumentsObjectSize()));
+    __ movq(FieldOperand(rax, JSObject::kElementsOffset), rdi);
+    __ LoadRoot(kScratchRegister, Heap::kFixedArrayMapRootIndex);
+    __ movq(FieldOperand(rdi, FixedArray::kMapOffset), kScratchRegister);
+    __ movq(FieldOperand(rdi, FixedArray::kLengthOffset), rcx);
+    __ SmiToInteger32(rcx, rcx);  // Untag length for the loop below.
+
+    // Copy the fixed array slots.
+    Label loop;
+    __ bind(&loop);
+    __ movq(kScratchRegister, Operand(rdx, -1 * kPointerSize));  // Skip receiver.
+    __ movq(FieldOperand(rdi, FixedArray::kHeaderSize), kScratchRegister);
+    __ addq(rdi, Immediate(kPointerSize));
+    __ subq(rdx, Immediate(kPointerSize));
+    __ decl(rcx);
+    __ j(not_zero, &loop);
+
+    // Return and remove the on-stack parameters.
+    __ bind(&done);
+    __ ret(3 * kPointerSize);
+
+    // Do the runtime call to allocate the arguments object.
+    __ bind(&runtime);
+    __ TailCallRuntime(Runtime::kNewStrictArgumentsFast, 3, 1);
   }
-
-  // Get the length (smi tagged) and set that as an in-object property too.
-  ASSERT(Heap::kArgumentsLengthIndex == 0);
-  __ movq(rcx, Operand(rsp, 1 * kPointerSize));
-  __ movq(FieldOperand(rax, JSObject::kHeaderSize +
-                            Heap::kArgumentsLengthIndex * kPointerSize),
-          rcx);
-
-  // If there are no actual arguments, we're done.
-  Label done;
-  __ SmiTest(rcx);
-  __ j(zero, &done);
-
-  // Get the parameters pointer from the stack and untag the length.
-  __ movq(rdx, Operand(rsp, 2 * kPointerSize));
-
-  // Setup the elements pointer in the allocated arguments object and
-  // initialize the header in the elements fixed array.
-  __ lea(rdi, Operand(rax, GetArgumentsObjectSize()));
-  __ movq(FieldOperand(rax, JSObject::kElementsOffset), rdi);
-  __ LoadRoot(kScratchRegister, Heap::kFixedArrayMapRootIndex);
-  __ movq(FieldOperand(rdi, FixedArray::kMapOffset), kScratchRegister);
-  __ movq(FieldOperand(rdi, FixedArray::kLengthOffset), rcx);
-  __ SmiToInteger32(rcx, rcx);  // Untag length for the loop below.
-
-  // Copy the fixed array slots.
-  Label loop;
-  __ bind(&loop);
-  __ movq(kScratchRegister, Operand(rdx, -1 * kPointerSize));  // Skip receiver.
-  __ movq(FieldOperand(rdi, FixedArray::kHeaderSize), kScratchRegister);
-  __ addq(rdi, Immediate(kPointerSize));
-  __ subq(rdx, Immediate(kPointerSize));
-  __ decl(rcx);
-  __ j(not_zero, &loop);
-
-  // Return and remove the on-stack parameters.
-  __ bind(&done);
-  __ ret(3 * kPointerSize);
-
-  // Do the runtime call to allocate the arguments object.
-  __ bind(&runtime);
-  __ TailCallRuntime(Runtime::kNewArgumentsFast, 3, 1);
 }
 
 
 void RegExpExecStub::Generate(MacroAssembler* masm) {
   // Just jump directly to runtime if native RegExp is not selected at compile
   // time or if regexp entry in generated code is turned off runtime switch or
   // at compilation.
 #ifdef V8_INTERPRETED_REGEXP
   __ TailCallRuntime(Runtime::kRegExpExec, 4, 1);
 #else  // V8_INTERPRETED_REGEXP
@@ skipping 2653 matching lines @@
   // Do a tail call to the rewritten stub.
   __ jmp(rdi);
 }
 
 
 #undef __
 
 } }  // namespace v8::internal
 
 #endif  // V8_TARGET_ARCH_X64