| Index: src/ia32/builtins-ia32.cc
|
| diff --git a/src/ia32/builtins-ia32.cc b/src/ia32/builtins-ia32.cc
|
| index 2c5b1d1f58831c6c5530172d39bc757cb64cc866..20eb56822e69209283a8927e3bae79e82f3c42df 100644
|
| --- a/src/ia32/builtins-ia32.cc
|
| +++ b/src/ia32/builtins-ia32.cc
|
| @@ -93,7 +93,10 @@ void Builtins::Generate_JSConstructCall(MacroAssembler* masm) {
|
| // edi: called object
|
| // eax: number of arguments
|
| __ bind(&non_function_call);
|
| -
|
| + // CALL_NON_FUNCTION expects the non-function constructor as receiver
|
| + // (instead of the original receiver from the call site). The receiver is
|
| + // stack element argc+1.
|
| + __ mov(Operand(esp, eax, times_4, kPointerSize), edi);
|
| // Set expected number of arguments to zero (not changing eax).
|
| __ Set(ebx, Immediate(0));
|
| __ GetBuiltinEntry(edx, Builtins::CALL_NON_FUNCTION_AS_CONSTRUCTOR);
|
| @@ -437,33 +440,28 @@ void Builtins::Generate_FunctionCall(MacroAssembler* masm) {
|
| __ bind(&done);
|
| }
|
|
|
| - // 2. Get the function to call from the stack.
|
| - { Label done, non_function, function;
|
| - // +1 ~ return address.
|
| - __ mov(edi, Operand(esp, eax, times_4, +1 * kPointerSize));
|
| + // 2. Get the function to call (passed as receiver) from the stack, check
|
| + // if it is a function.
|
| + Label non_function;
|
| + { Label function;
|
| + // 1 ~ return address.
|
| + __ mov(edi, Operand(esp, eax, times_4, 1 * kPointerSize));
|
| __ test(edi, Immediate(kSmiTagMask));
|
| __ j(zero, &non_function, not_taken);
|
| __ CmpObjectType(edi, JS_FUNCTION_TYPE, ecx);
|
| - __ j(equal, &function, taken);
|
| -
|
| - // Non-function called: Clear the function to force exception.
|
| - __ bind(&non_function);
|
| - __ xor_(edi, Operand(edi));
|
| - __ jmp(&done);
|
| -
|
| - // Function called: Change context eagerly to get the right global object.
|
| + __ j(not_equal, &non_function, not_taken);
|
| __ bind(&function);
|
| - __ mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
|
| -
|
| - __ bind(&done);
|
| }
|
|
|
| - // 3. Make sure first argument is an object; convert if necessary.
|
| - { Label call_to_object, use_global_receiver, patch_receiver, done;
|
| - __ mov(ebx, Operand(esp, eax, times_4, 0));
|
| + // 3a. Patch the first argument if necessary when calling a function.
|
| + Label shift_arguments;
|
| + { Label convert_to_object, use_global_receiver, patch_receiver;
|
| + // Change context eagerly in case we need the global receiver.
|
| + __ mov(esi, FieldOperand(edi, JSFunction::kContextOffset));
|
|
|
| + __ mov(ebx, Operand(esp, eax, times_4, 0)); // First argument.
|
| __ test(ebx, Immediate(kSmiTagMask));
|
| - __ j(zero, &call_to_object);
|
| + __ j(zero, &convert_to_object);
|
|
|
| __ cmp(ebx, Factory::null_value());
|
| __ j(equal, &use_global_receiver);
|
| @@ -473,31 +471,28 @@ void Builtins::Generate_FunctionCall(MacroAssembler* masm) {
|
| __ mov(ecx, FieldOperand(ebx, HeapObject::kMapOffset));
|
| __ movzx_b(ecx, FieldOperand(ecx, Map::kInstanceTypeOffset));
|
| __ cmp(ecx, FIRST_JS_OBJECT_TYPE);
|
| - __ j(less, &call_to_object);
|
| + __ j(below, &convert_to_object);
|
| __ cmp(ecx, LAST_JS_OBJECT_TYPE);
|
| - __ j(less_equal, &done);
|
| + __ j(below_equal, &shift_arguments);
|
|
|
| - __ bind(&call_to_object);
|
| - __ EnterInternalFrame(); // preserves eax, ebx, edi
|
| -
|
| - // Store the arguments count on the stack (smi tagged).
|
| + __ bind(&convert_to_object);
|
| + __ EnterInternalFrame(); // In order to preserve argument count.
|
| __ SmiTag(eax);
|
| __ push(eax);
|
|
|
| - __ push(edi); // save edi across the call
|
| __ push(ebx);
|
| __ InvokeBuiltin(Builtins::TO_OBJECT, CALL_FUNCTION);
|
| __ mov(ebx, eax);
|
| - __ pop(edi); // restore edi after the call
|
|
|
| - // Get the arguments count and untag it.
|
| __ pop(eax);
|
| __ SmiUntag(eax);
|
| -
|
| __ LeaveInternalFrame();
|
| + // Restore the function to edi.
|
| + __ mov(edi, Operand(esp, eax, times_4, 1 * kPointerSize));
|
| __ jmp(&patch_receiver);
|
|
|
| - // Use the global receiver object from the called function as the receiver.
|
| + // Use the global receiver object from the called function as the
|
| + // receiver.
|
| __ bind(&use_global_receiver);
|
| const int kGlobalIndex =
|
| Context::kHeaderSize + Context::GLOBAL_INDEX * kPointerSize;
|
| @@ -509,50 +504,55 @@ void Builtins::Generate_FunctionCall(MacroAssembler* masm) {
|
| __ bind(&patch_receiver);
|
| __ mov(Operand(esp, eax, times_4, 0), ebx);
|
|
|
| - __ bind(&done);
|
| - }
|
| -
|
| - // 4. Check that the function really is a function.
|
| - { Label done;
|
| - __ test(edi, Operand(edi));
|
| - __ j(not_zero, &done, taken);
|
| - __ xor_(ebx, Operand(ebx));
|
| - // CALL_NON_FUNCTION will expect to find the non-function callee on the
|
| - // expression stack of the caller. Transfer it from receiver to the
|
| - // caller's expression stack (and make the first argument the receiver
|
| - // for CALL_NON_FUNCTION) by decrementing the argument count.
|
| - __ dec(eax);
|
| - __ GetBuiltinEntry(edx, Builtins::CALL_NON_FUNCTION);
|
| - __ jmp(Handle<Code>(builtin(ArgumentsAdaptorTrampoline)),
|
| - RelocInfo::CODE_TARGET);
|
| - __ bind(&done);
|
| + __ jmp(&shift_arguments);
|
| }
|
|
|
| - // 5. Shift arguments and return address one slot down on the stack
|
| - // (overwriting the receiver).
|
| + // 3b. Patch the first argument when calling a non-function. The
|
| + // CALL_NON_FUNCTION builtin expects the non-function callee as
|
| + // receiver, so overwrite the first argument which will ultimately
|
| + // become the receiver.
|
| + __ bind(&non_function);
|
| + __ mov(Operand(esp, eax, times_4, 0), edi);
|
| + // Clear edi to indicate a non-function being called.
|
| + __ xor_(edi, Operand(edi));
|
| +
|
| + // 4. Shift arguments and return address one slot down on the stack
|
| + // (overwriting the original receiver). Adjust argument count to make
|
| + // the original first argument the new receiver.
|
| + __ bind(&shift_arguments);
|
| { Label loop;
|
| __ mov(ecx, eax);
|
| __ bind(&loop);
|
| __ mov(ebx, Operand(esp, ecx, times_4, 0));
|
| __ mov(Operand(esp, ecx, times_4, kPointerSize), ebx);
|
| __ dec(ecx);
|
| - __ j(not_sign, &loop);
|
| + __ j(not_sign, &loop); // While non-negative (to copy return address).
|
| __ pop(ebx); // Discard copy of return address.
|
| __ dec(eax); // One fewer argument (first argument is new receiver).
|
| }
|
|
|
| - // 6. Get the code to call from the function and check that the number of
|
| - // expected arguments matches what we're providing.
|
| - { __ mov(edx, FieldOperand(edi, JSFunction::kSharedFunctionInfoOffset));
|
| - __ mov(ebx,
|
| - FieldOperand(edx, SharedFunctionInfo::kFormalParameterCountOffset));
|
| - __ mov(edx, FieldOperand(edx, SharedFunctionInfo::kCodeOffset));
|
| - __ lea(edx, FieldOperand(edx, Code::kHeaderSize));
|
| - __ cmp(eax, Operand(ebx));
|
| - __ j(not_equal, Handle<Code>(builtin(ArgumentsAdaptorTrampoline)));
|
| + // 5a. Call non-function via tail call to CALL_NON_FUNCTION builtin.
|
| + { Label function;
|
| + __ test(edi, Operand(edi));
|
| + __ j(not_zero, &function, taken);
|
| + __ xor_(ebx, Operand(ebx));
|
| + __ GetBuiltinEntry(edx, Builtins::CALL_NON_FUNCTION);
|
| + __ jmp(Handle<Code>(builtin(ArgumentsAdaptorTrampoline)),
|
| + RelocInfo::CODE_TARGET);
|
| + __ bind(&function);
|
| }
|
|
|
| - // 7. Jump (tail-call) to the code in register edx without checking arguments.
|
| + // 5b. Get the code to call from the function and check that the number of
|
| + // expected arguments matches what we're providing. If so, jump
|
| + // (tail-call) to the code in register edx without checking arguments.
|
| + __ mov(edx, FieldOperand(edi, JSFunction::kSharedFunctionInfoOffset));
|
| + __ mov(ebx,
|
| + FieldOperand(edx, SharedFunctionInfo::kFormalParameterCountOffset));
|
| + __ mov(edx, FieldOperand(edx, SharedFunctionInfo::kCodeOffset));
|
| + __ lea(edx, FieldOperand(edx, Code::kHeaderSize));
|
| + __ cmp(eax, Operand(ebx));
|
| + __ j(not_equal, Handle<Code>(builtin(ArgumentsAdaptorTrampoline)));
|
| +
|
| ParameterCount expected(0);
|
| __ InvokeCode(Operand(edx), expected, expected, JUMP_FUNCTION);
|
| }
|
|
|