[builtins] Construct builtin frame in String/Number ctors

src/ia32/builtins-ia32.cc

 // Copyright 2012 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #if V8_TARGET_ARCH_IA32
 
 #include "src/code-factory.h"
 #include "src/codegen.h"
 #include "src/deoptimizer.h"
 #include "src/full-codegen/full-codegen.h"
@@ skipping 1254 matching lines @@
            Immediate(Smi::FromInt(field_index)));
     __ CallCFunction(
         ExternalReference::get_date_field_function(masm->isolate()), 2);
   }
   __ ret(1 * kPointerSize);
 
   // 3. Raise a TypeError if the receiver is not a date.
   __ bind(&receiver_not_date);
   {
     FrameScope scope(masm, StackFrame::MANUAL);
-    __ Push(ebp);
-    __ Move(ebp, esp);
-    __ Push(esi);
-    __ Push(edi);
-    __ Push(Immediate(0));
+    __ Move(ebx, Immediate(0));
+    __ EnterBuiltinFrame(esi, edi, ebx);
     __ CallRuntime(Runtime::kThrowNotDateError);
   }
 }
 
 // static
 void Builtins::Generate_FunctionPrototypeApply(MacroAssembler* masm) {
   // ----------- S t a t e -------------
   //  -- eax     : argc
   //  -- esp[0]  : return address
   //  -- esp[4]  : argArray
@@ skipping 351 matching lines @@
     // Load the double value of the parameter into xmm1, maybe converting the
     // parameter to a number first using the ToNumber builtin if necessary.
     Label convert, convert_smi, convert_number, done_convert;
     __ bind(&convert);
     __ JumpIfSmi(ebx, &convert_smi);
     __ JumpIfRoot(FieldOperand(ebx, HeapObject::kMapOffset),
                   Heap::kHeapNumberMapRootIndex, &convert_number);
     {
       // Parameter is not a Number, use the ToNumber builtin to convert it.
       FrameScope scope(masm, StackFrame::MANUAL);
-      __ Push(ebp);
-      __ Move(ebp, esp);
-      __ Push(esi);
-      __ Push(edi);
       __ SmiTag(eax);
       __ SmiTag(ecx);
-      __ Push(eax);
+      __ EnterBuiltinFrame(esi, edi, eax);
       __ Push(ecx);
       __ Push(edx);
       __ mov(eax, ebx);
       __ Call(masm->isolate()->builtins()->ToNumber(), RelocInfo::CODE_TARGET);
       __ mov(ebx, eax);
       __ Pop(edx);
       __ Pop(ecx);
-      __ Pop(eax);
-      __ Pop(edi);
-      __ Pop(esi);
+      __ LeaveBuiltinFrame(esi, edi, eax);
+      __ SmiUntag(ecx);
+      __ SmiUntag(eax);
       {
         // Restore the double accumulator value (xmm0).
         Label restore_smi, done_restore;
         __ JumpIfSmi(edx, &restore_smi, Label::kNear);
         __ movsd(xmm0, FieldOperand(edx, HeapNumber::kValueOffset));
         __ jmp(&done_restore, Label::kNear);
         __ bind(&restore_smi);
         __ SmiUntag(edx);
         __ Cvtsi2sd(xmm0, edx);
         __ SmiTag(edx);
         __ bind(&done_restore);
       }
-      __ SmiUntag(ecx);
-      __ SmiUntag(eax);
-      __ leave();
     }
     __ jmp(&convert);
     __ bind(&convert_number);
     __ movsd(xmm1, FieldOperand(ebx, HeapNumber::kValueOffset));
     __ jmp(&done_convert, Label::kNear);
     __ bind(&convert_smi);
     __ SmiUntag(ebx);
     __ Cvtsi2sd(xmm1, ebx);
     __ SmiTag(ebx);
     __ bind(&done_convert);
@@ skipping 37 matching lines @@
   __ PushReturnAddressFrom(ecx);
   __ mov(eax, edx);
   __ Ret();
 }
 
 // static
 void Builtins::Generate_NumberConstructor(MacroAssembler* masm) {
   // ----------- S t a t e -------------
   //  -- eax                 : number of arguments
   //  -- edi                 : constructor function
+  //  -- esi                 : context
   //  -- esp[0]              : return address
   //  -- esp[(argc - n) * 4] : arg[n] (zero-based)
   //  -- esp[(argc + 1) * 4] : receiver
   // -----------------------------------
 
-  // 1. Load the first argument into eax and get rid of the rest (including the
-  // receiver).
+  // 1. Load the first argument into ebx.
   Label no_arguments;
   {
     __ test(eax, eax);
     __ j(zero, &no_arguments, Label::kNear);
     __ mov(ebx, Operand(esp, eax, times_pointer_size, 0));
-    __ PopReturnAddressTo(ecx);
-    __ lea(esp, Operand(esp, eax, times_pointer_size, kPointerSize));
-    __ PushReturnAddressFrom(ecx);
-    __ mov(eax, ebx);
   }
 
   // 2a. Convert the first argument to a number.
-  __ Jump(masm->isolate()->builtins()->ToNumber(), RelocInfo::CODE_TARGET);
+  {
+    FrameScope scope(masm, StackFrame::MANUAL);
+    __ SmiTag(eax);
+    __ EnterBuiltinFrame(esi, edi, eax);
+    __ mov(eax, ebx);
+    __ Call(masm->isolate()->builtins()->ToNumber(), RelocInfo::CODE_TARGET);
+    __ LeaveBuiltinFrame(esi, edi, ebx);  // Argc popped to ebx.
+    __ SmiUntag(ebx);
+  }
+
+  {
+    // Drop all arguments including the receiver.
+    __ PopReturnAddressTo(ecx);
+    __ lea(esp, Operand(esp, ebx, times_pointer_size, kPointerSize));
+    __ PushReturnAddressFrom(ecx);
+    __ Ret();
+  }
 
   // 2b. No arguments, return +0 (already in eax).
   __ bind(&no_arguments);
   __ ret(1 * kPointerSize);
 }
 
 
 // static
 void Builtins::Generate_NumberConstructor_ConstructStub(MacroAssembler* masm) {
   // ----------- S t a t e -------------
   //  -- eax                 : number of arguments
   //  -- edi                 : constructor function
   //  -- edx                 : new target
+  //  -- esi                 : context
   //  -- esp[0]              : return address
   //  -- esp[(argc - n) * 4] : arg[n] (zero-based)
   //  -- esp[(argc + 1) * 4] : receiver
   // -----------------------------------
 
   // 1. Make sure we operate in the context of the called function.
   __ mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
 
-  // 2. Load the first argument into ebx and get rid of the rest (including the
-  // receiver).
+  // Store argc in r8.
+  __ mov(ecx, eax);
+  __ SmiTag(ecx);
+
+  // 2. Load the first argument into ebx.
   {
     Label no_arguments, done;
     __ test(eax, eax);
     __ j(zero, &no_arguments, Label::kNear);
     __ mov(ebx, Operand(esp, eax, times_pointer_size, 0));
     __ jmp(&done, Label::kNear);
     __ bind(&no_arguments);
     __ Move(ebx, Smi::FromInt(0));
     __ bind(&done);
-    __ PopReturnAddressTo(ecx);
-    __ lea(esp, Operand(esp, eax, times_pointer_size, kPointerSize));
-    __ PushReturnAddressFrom(ecx);
   }
 
   // 3. Make sure ebx is a number.
   {
     Label done_convert;
     __ JumpIfSmi(ebx, &done_convert);
     __ CompareRoot(FieldOperand(ebx, HeapObject::kMapOffset),
                    Heap::kHeapNumberMapRootIndex);
     __ j(equal, &done_convert);
     {
-      FrameScope scope(masm, StackFrame::INTERNAL);
-      __ Push(edi);
+      FrameScope scope(masm, StackFrame::MANUAL);
+      __ EnterBuiltinFrame(esi, edi, ecx);
       __ Push(edx);
       __ Move(eax, ebx);
       __ Call(masm->isolate()->builtins()->ToNumber(), RelocInfo::CODE_TARGET);
       __ Move(ebx, eax);
       __ Pop(edx);
-      __ Pop(edi);
+      __ LeaveBuiltinFrame(esi, edi, ecx);
     }
     __ bind(&done_convert);
   }
 
   // 4. Check if new target and constructor differ.
-  Label new_object;
+  Label drop_frame_and_ret, done_alloc, new_object;
   __ cmp(edx, edi);
   __ j(not_equal, &new_object);
 
   // 5. Allocate a JSValue wrapper for the number.
-  __ AllocateJSValue(eax, edi, ebx, ecx, &new_object);
-  __ Ret();
+  __ AllocateJSValue(eax, edi, ebx, esi, &done_alloc);
+  __ jmp(&drop_frame_and_ret);
+
+  __ bind(&done_alloc);
+  __ mov(esi, FieldOperand(edi, JSFunction::kContextOffset));  // Restore esi.
 
   // 6. Fallback to the runtime to create new object.
   __ bind(&new_object);
   {
-    FrameScope scope(masm, StackFrame::INTERNAL);
+    FrameScope scope(masm, StackFrame::MANUAL);
+    __ EnterBuiltinFrame(esi, edi, ecx);
     __ Push(ebx);  // the first argument
     FastNewObjectStub stub(masm->isolate());
     __ CallStub(&stub);
     __ Pop(FieldOperand(eax, JSValue::kValueOffset));
+    __ LeaveBuiltinFrame(esi, edi, ecx);
   }
-  __ Ret();
+
+  __ bind(&drop_frame_and_ret);
+  {
+    // Drop all arguments including the receiver.
+    __ PopReturnAddressTo(esi);
+    __ SmiUntag(ecx);
+    __ lea(esp, Operand(esp, ecx, times_pointer_size, kPointerSize));
+    __ PushReturnAddressFrom(esi);
+    __ Ret();
+  }
 }
 
 
 // static
 void Builtins::Generate_StringConstructor(MacroAssembler* masm) {
   // ----------- S t a t e -------------
   //  -- eax                 : number of arguments
   //  -- edi                 : constructor function
+  //  -- esi                 : context
   //  -- esp[0]              : return address
   //  -- esp[(argc - n) * 4] : arg[n] (zero-based)
   //  -- esp[(argc + 1) * 4] : receiver
   // -----------------------------------
 
-  // 1. Load the first argument into eax and get rid of the rest (including the
-  // receiver).
+  // 1. Load the first argument into eax.
   Label no_arguments;
   {
+    __ mov(ebx, eax);  // Store argc in ebx.
     __ test(eax, eax);
     __ j(zero, &no_arguments, Label::kNear);
-    __ mov(ebx, Operand(esp, eax, times_pointer_size, 0));
-    __ PopReturnAddressTo(ecx);
-    __ lea(esp, Operand(esp, eax, times_pointer_size, kPointerSize));
-    __ PushReturnAddressFrom(ecx);
-    __ mov(eax, ebx);
+    __ mov(eax, Operand(esp, eax, times_pointer_size, 0));
   }
 
   // 2a. At least one argument, return eax if it's a string, otherwise
   // dispatch to appropriate conversion.
-  Label to_string, symbol_descriptive_string;
+  Label drop_frame_and_ret, to_string, symbol_descriptive_string;
   {
     __ JumpIfSmi(eax, &to_string, Label::kNear);
     STATIC_ASSERT(FIRST_NONSTRING_TYPE == SYMBOL_TYPE);
     __ CmpObjectType(eax, FIRST_NONSTRING_TYPE, edx);
     __ j(above, &to_string, Label::kNear);
     __ j(equal, &symbol_descriptive_string, Label::kNear);
-    __ Ret();
+    __ jmp(&drop_frame_and_ret, Label::kNear);
   }
 
   // 2b. No arguments, return the empty string (and pop the receiver).
   __ bind(&no_arguments);
   {
     __ LoadRoot(eax, Heap::kempty_stringRootIndex);
     __ ret(1 * kPointerSize);
   }
 
   // 3a. Convert eax to a string.
   __ bind(&to_string);
   {
+    FrameScope scope(masm, StackFrame::MANUAL);
     ToStringStub stub(masm->isolate());
-    __ TailCallStub(&stub);
+    __ SmiTag(ebx);
+    __ EnterBuiltinFrame(esi, edi, ebx);
+    __ CallStub(&stub);
+    __ LeaveBuiltinFrame(esi, edi, ebx);
+    __ SmiUntag(ebx);
   }
+  __ jmp(&drop_frame_and_ret, Label::kNear);
 
   // 3b. Convert symbol in eax to a string.
   __ bind(&symbol_descriptive_string);
   {
     __ PopReturnAddressTo(ecx);
+    __ lea(esp, Operand(esp, ebx, times_pointer_size, kPointerSize));
     __ Push(eax);
     __ PushReturnAddressFrom(ecx);
     __ TailCallRuntime(Runtime::kSymbolDescriptiveString);
   }
+
+  __ bind(&drop_frame_and_ret);
+  {
+    // Drop all arguments including the receiver.
+    __ PopReturnAddressTo(ecx);
+    __ lea(esp, Operand(esp, ebx, times_pointer_size, kPointerSize));
+    __ PushReturnAddressFrom(ecx);
+    __ Ret();
+  }
 }
 
 
 // static
 void Builtins::Generate_StringConstructor_ConstructStub(MacroAssembler* masm) {
   // ----------- S t a t e -------------
   //  -- eax                 : number of arguments
   //  -- edi                 : constructor function
   //  -- edx                 : new target
+  //  -- esi                 : context
   //  -- esp[0]              : return address
   //  -- esp[(argc - n) * 4] : arg[n] (zero-based)
   //  -- esp[(argc + 1) * 4] : receiver
   // -----------------------------------
 
   // 1. Make sure we operate in the context of the called function.
   __ mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
 
-  // 2. Load the first argument into ebx and get rid of the rest (including the
-  // receiver).
+  __ mov(ebx, eax);
+
+  // 2. Load the first argument into eax.
   {
     Label no_arguments, done;
-    __ test(eax, eax);
+    __ test(ebx, ebx);
     __ j(zero, &no_arguments, Label::kNear);
-    __ mov(ebx, Operand(esp, eax, times_pointer_size, 0));
+    __ mov(eax, Operand(esp, ebx, times_pointer_size, 0));
     __ jmp(&done, Label::kNear);
     __ bind(&no_arguments);
-    __ LoadRoot(ebx, Heap::kempty_stringRootIndex);
+    __ LoadRoot(eax, Heap::kempty_stringRootIndex);
     __ bind(&done);
-    __ PopReturnAddressTo(ecx);
-    __ lea(esp, Operand(esp, eax, times_pointer_size, kPointerSize));
-    __ PushReturnAddressFrom(ecx);
   }
 
-  // 3. Make sure ebx is a string.
+  // 3. Make sure eax is a string.
   {
     Label convert, done_convert;
-    __ JumpIfSmi(ebx, &convert, Label::kNear);
-    __ CmpObjectType(ebx, FIRST_NONSTRING_TYPE, ecx);
+    __ JumpIfSmi(eax, &convert, Label::kNear);
+    __ CmpObjectType(eax, FIRST_NONSTRING_TYPE, ecx);
     __ j(below, &done_convert);
     __ bind(&convert);
     {
-      FrameScope scope(masm, StackFrame::INTERNAL);
+      FrameScope scope(masm, StackFrame::MANUAL);
       ToStringStub stub(masm->isolate());
-      __ Push(edi);
+      __ SmiTag(ebx);
+      __ EnterBuiltinFrame(esi, edi, ebx);
       __ Push(edx);
-      __ Move(eax, ebx);
       __ CallStub(&stub);
-      __ Move(ebx, eax);
       __ Pop(edx);
-      __ Pop(edi);
+      __ LeaveBuiltinFrame(esi, edi, ebx);
+      __ SmiUntag(ebx);
     }
     __ bind(&done_convert);
   }
 
   // 4. Check if new target and constructor differ.
-  Label new_object;
+  Label drop_frame_and_ret, done_alloc, new_object;
   __ cmp(edx, edi);
   __ j(not_equal, &new_object);
 
   // 5. Allocate a JSValue wrapper for the string.
-  __ AllocateJSValue(eax, edi, ebx, ecx, &new_object);
-  __ Ret();
+  // AllocateJSValue can't handle src == dst register. Reuse esi and restore it
+  // as needed after the call.
+  __ mov(esi, eax);
+  __ AllocateJSValue(eax, edi, esi, ecx, &done_alloc);
+  __ jmp(&drop_frame_and_ret);
+
+  __ bind(&done_alloc);
+  {
+    // Restore eax to the first argument and esi to the context.
+    __ mov(eax, esi);
+    __ mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
+  }
 
   // 6. Fallback to the runtime to create new object.
   __ bind(&new_object);
   {
-    FrameScope scope(masm, StackFrame::INTERNAL);
-    __ Push(ebx);  // the first argument
+    FrameScope scope(masm, StackFrame::MANUAL);
+    __ SmiTag(ebx);
+    __ EnterBuiltinFrame(esi, edi, ebx);
+    __ Push(eax);  // the first argument
     FastNewObjectStub stub(masm->isolate());
     __ CallStub(&stub);
     __ Pop(FieldOperand(eax, JSValue::kValueOffset));
+    __ LeaveBuiltinFrame(esi, edi, ebx);
+    __ SmiUntag(ebx);
   }
-  __ Ret();
+
+  __ bind(&drop_frame_and_ret);
+  {
+    // Drop all arguments including the receiver.
+    __ PopReturnAddressTo(ecx);
+    __ lea(esp, Operand(esp, ebx, times_pointer_size, kPointerSize));
+    __ PushReturnAddressFrom(ecx);
+    __ Ret();
+  }
 }
 
 
 static void ArgumentsAdaptorStackCheck(MacroAssembler* masm,
                                        Label* stack_overflow) {
   // ----------- S t a t e -------------
   //  -- eax : actual number of arguments
   //  -- ebx : expected number of arguments
   //  -- edx : new target (passed through to callee)
   // -----------------------------------
@@ skipping 1045 matching lines @@
   // And "return" to the OSR entry point of the function.
   __ ret(0);
 }
 
 
 #undef __
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_TARGET_ARCH_IA32