Index: vm/code_generator_ia32.cc |
=================================================================== |
--- vm/code_generator_ia32.cc (revision 8752) |
+++ vm/code_generator_ia32.cc (working copy) |
@@ -373,6 +373,8 @@ |
const Immediate raw_null = |
Immediate(reinterpret_cast<intptr_t>(Object::null())); |
const Function& function = parsed_function_.function(); |
+ const bool is_instance_native_closure = |
+ function.is_native() && function.IsImplicitInstanceClosureFunction(); |
// 1. Compute the frame size and enter the frame (reserving local space |
// for copied incoming and default arguments and stack-allocated local |
@@ -441,6 +443,7 @@ |
// Check that num_pos_args >= num_fixed_params. |
__ cmpl(ECX, Immediate(Smi::RawValue(num_fixed_params))); |
__ j(LESS, &wrong_num_arguments); |
+ |
// Since EBX and ECX are Smi, use TIMES_2 instead of TIMES_4. |
// Let EBX point to the last passed positional argument, i.e. to |
// fp[1 + num_args - (num_pos_args - 1)]. |
@@ -448,7 +451,14 @@ |
__ leal(EBX, Address(EBP, EBX, TIMES_2, 2 * kWordSize)); |
// Let EDI point to the last copied positional argument, i.e. to |
// fp[ParsedFunction::kFirstLocalSlotIndex - (num_pos_args - 1)]. |
- const int index = ParsedFunction::kFirstLocalSlotIndex + 1; |
+ int implicit_this_param_pos = is_instance_native_closure ? -1 : 0; |
+ const int index = |
+ ParsedFunction::kFirstLocalSlotIndex + 1 + implicit_this_param_pos; |
+ // First copy captured receiver if function is an implicit native closure. |
+ if (is_instance_native_closure) { |
+ __ movl(EAX, FieldAddress(CTX, Context::variable_offset(0))); |
+ __ movl(Address(EBP, (index * kWordSize)), EAX); |
+ } |
__ leal(EDI, Address(EBP, (index * kWordSize))); |
__ subl(EDI, ECX); // ECX is a Smi, subtract twice for TIMES_4 scaling. |
__ subl(EDI, ECX); |
@@ -468,77 +478,82 @@ |
__ j(POSITIVE, &loop, Assembler::kNearJump); |
// Copy or initialize optional named arguments. |
- ASSERT(num_opt_params > 0); // Or we would not have to copy arguments. |
- // Start by alphabetically sorting the names of the optional parameters. |
- LocalVariable** opt_param = new LocalVariable*[num_opt_params]; |
- int* opt_param_position = new int[num_opt_params]; |
- for (int pos = num_fixed_params; pos < num_params; pos++) { |
- LocalVariable* parameter = scope->VariableAt(pos); |
- const String& opt_param_name = parameter->name(); |
- int i = pos - num_fixed_params; |
- while (--i >= 0) { |
- LocalVariable* param_i = opt_param[i]; |
- const intptr_t result = opt_param_name.CompareTo(param_i->name()); |
- ASSERT(result != 0); |
- if (result > 0) break; |
- opt_param[i + 1] = opt_param[i]; |
- opt_param_position[i + 1] = opt_param_position[i]; |
+ Label all_arguments_processed; |
+ if (num_opt_params > 0) { |
+ // Start by alphabetically sorting the names of the optional parameters. |
+ LocalVariable** opt_param = new LocalVariable*[num_opt_params]; |
+ int* opt_param_position = new int[num_opt_params]; |
+ for (int pos = num_fixed_params; pos < num_params; pos++) { |
+ LocalVariable* parameter = scope->VariableAt(pos); |
+ const String& opt_param_name = parameter->name(); |
+ int i = pos - num_fixed_params; |
+ while (--i >= 0) { |
+ LocalVariable* param_i = opt_param[i]; |
+ const intptr_t result = opt_param_name.CompareTo(param_i->name()); |
+ ASSERT(result != 0); |
+ if (result > 0) break; |
+ opt_param[i + 1] = opt_param[i]; |
+ opt_param_position[i + 1] = opt_param_position[i]; |
+ } |
+ opt_param[i + 1] = parameter; |
+ opt_param_position[i + 1] = pos; |
} |
- opt_param[i + 1] = parameter; |
- opt_param_position[i + 1] = pos; |
+ // Generate code handling each optional parameter in alphabetical order. |
+ // Total number of args is the first Smi in args descriptor array (EDX). |
+ __ movl(EBX, FieldAddress(EDX, Array::data_offset())); |
+ // Number of positional args is the second Smi in descriptor array (EDX). |
+ __ movl(ECX, FieldAddress(EDX, Array::data_offset() + (1 * kWordSize))); |
+ __ SmiUntag(ECX); |
+ // Let EBX point to the first passed argument, i.e. to fp[1 + argc - 0]. |
+ __ leal(EBX, Address(EBP, EBX, TIMES_2, kWordSize)); |
+ // Let EDI point to the name/pos pair of the first named argument. |
+ __ leal(EDI, FieldAddress(EDX, Array::data_offset() + (2 * kWordSize))); |
+ for (int i = 0; i < num_opt_params; i++) { |
+ // Handle this optional parameter only if k or fewer positional args |
+ // have been passed, where k is the position of this optional parameter |
+ // in the formal parameter list. |
+ Label load_default_value, assign_optional_parameter, next_parameter; |
+ const int param_pos = opt_param_position[i]; |
+ __ cmpl(ECX, Immediate(param_pos)); |
+ __ j(GREATER, &next_parameter, Assembler::kNearJump); |
+ // Check if this named parameter was passed in. |
+ __ movl(EAX, Address(EDI, 0)); // Load EAX with the name of the arg. |
+ __ CompareObject(EAX, opt_param[i]->name()); |
+ __ j(NOT_EQUAL, &load_default_value, Assembler::kNearJump); |
+ // Load EAX with passed-in argument at provided arg_pos, i.e. at |
+ // fp[1 + argc - arg_pos]. |
+ __ movl(EAX, Address(EDI, kWordSize)); // EAX is arg_pos as Smi. |
+ __ addl(EDI, Immediate(2 * kWordSize)); // Point to next name/pos pair. |
+ __ negl(EAX); |
+ Address argument_addr(EBX, EAX, TIMES_2, 0); // EAX is a negative Smi. |
+ __ movl(EAX, argument_addr); |
+ __ jmp(&assign_optional_parameter, Assembler::kNearJump); |
+ __ Bind(&load_default_value); |
+ // Load EAX with default argument at pos. |
+ const Object& value = Object::ZoneHandle( |
+ parsed_function_.default_parameter_values().At( |
+ param_pos - num_fixed_params)); |
+ __ LoadObject(EAX, value); |
+ __ Bind(&assign_optional_parameter); |
+ // Assign EAX to fp[ParsedFunction::kFirstLocalSlotIndex - param_pos]. |
+ // We do not use the final allocation index of the variable here, i.e. |
+ // scope->VariableAt(i)->index(), because captured variables still need |
+ // to be copied to the context that is not yet allocated. |
+ intptr_t computed_param_pos = (ParsedFunction::kFirstLocalSlotIndex - |
+ param_pos + implicit_this_param_pos); |
+ const Address param_addr(EBP, (computed_param_pos * kWordSize)); |
+ __ movl(param_addr, EAX); |
+ __ Bind(&next_parameter); |
+ } |
+ delete[] opt_param; |
+ delete[] opt_param_position; |
+ // Check that EDI now points to null terminator in the array descriptor. |
+ __ cmpl(Address(EDI, 0), raw_null); |
+ __ j(EQUAL, &all_arguments_processed, Assembler::kNearJump); |
+ } else { |
+ ASSERT(is_instance_native_closure); |
+ __ jmp(&all_arguments_processed, Assembler::kNearJump); |
} |
- // Generate code handling each optional parameter in alphabetical order. |
- // Total number of args is the first Smi in args descriptor array (EDX). |
- __ movl(EBX, FieldAddress(EDX, Array::data_offset())); |
- // Number of positional args is the second Smi in descriptor array (EDX). |
- __ movl(ECX, FieldAddress(EDX, Array::data_offset() + (1 * kWordSize))); |
- __ SmiUntag(ECX); |
- // Let EBX point to the first passed argument, i.e. to fp[1 + argc - 0]. |
- __ leal(EBX, Address(EBP, EBX, TIMES_2, kWordSize)); |
- // Let EDI point to the name/pos pair of the first named argument. |
- __ leal(EDI, FieldAddress(EDX, Array::data_offset() + (2 * kWordSize))); |
- for (int i = 0; i < num_opt_params; i++) { |
- // Handle this optional parameter only if k or fewer positional arguments |
- // have been passed, where k is the position of this optional parameter in |
- // the formal parameter list. |
- Label load_default_value, assign_optional_parameter, next_parameter; |
- const int param_pos = opt_param_position[i]; |
- __ cmpl(ECX, Immediate(param_pos)); |
- __ j(GREATER, &next_parameter, Assembler::kNearJump); |
- // Check if this named parameter was passed in. |
- __ movl(EAX, Address(EDI, 0)); // Load EAX with the name of the argument. |
- __ CompareObject(EAX, opt_param[i]->name()); |
- __ j(NOT_EQUAL, &load_default_value, Assembler::kNearJump); |
- // Load EAX with passed-in argument at provided arg_pos, i.e. at |
- // fp[1 + argc - arg_pos]. |
- __ movl(EAX, Address(EDI, kWordSize)); // EAX is arg_pos as Smi. |
- __ addl(EDI, Immediate(2 * kWordSize)); // Point to next name/pos pair. |
- __ negl(EAX); |
- Address argument_addr(EBX, EAX, TIMES_2, 0); // EAX is a negative Smi. |
- __ movl(EAX, argument_addr); |
- __ jmp(&assign_optional_parameter, Assembler::kNearJump); |
- __ Bind(&load_default_value); |
- // Load EAX with default argument at pos. |
- const Object& value = Object::ZoneHandle( |
- parsed_function_.default_parameter_values().At( |
- param_pos - num_fixed_params)); |
- __ LoadObject(EAX, value); |
- __ Bind(&assign_optional_parameter); |
- // Assign EAX to fp[ParsedFunction::kFirstLocalSlotIndex - param_pos]. |
- // We do not use the final allocation index of the variable here, i.e. |
- // scope->VariableAt(i)->index(), because captured variables still need |
- // to be copied to the context that is not yet allocated. |
- const Address param_addr( |
- EBP, (ParsedFunction::kFirstLocalSlotIndex - param_pos) * kWordSize); |
- __ movl(param_addr, EAX); |
- __ Bind(&next_parameter); |
- } |
- delete[] opt_param; |
- delete[] opt_param_position; |
- // Check that EDI now points to the null terminator in the array descriptor. |
- Label all_arguments_processed; |
- __ cmpl(Address(EDI, 0), raw_null); |
- __ j(EQUAL, &all_arguments_processed, Assembler::kNearJump); |
__ Bind(&wrong_num_arguments); |
if (locals_space_size() != 0) { |
@@ -2767,17 +2782,22 @@ |
void CodeGenerator::VisitNativeBodyNode(NativeBodyNode* node) { |
+ intptr_t argument_count = node->argument_count(); |
+ if (node->is_native_instance_closure()) { |
+ argument_count += 1; |
+ } |
+ |
// Push the result place holder initialized to NULL. |
__ PushObject(Object::ZoneHandle()); |
// Pass a pointer to the first argument in EAX. |
- if (!node->has_optional_parameters()) { |
- __ leal(EAX, Address(EBP, (1 + node->argument_count()) * kWordSize)); |
+ if (!node->has_optional_parameters() && !node->is_native_instance_closure()) { |
+ __ leal(EAX, Address(EBP, (1 + argument_count) * kWordSize)); |
} else { |
__ leal(EAX, |
Address(EBP, ParsedFunction::kFirstLocalSlotIndex * kWordSize)); |
} |
__ movl(ECX, Immediate(reinterpret_cast<uword>(node->native_c_function()))); |
- __ movl(EDX, Immediate(node->argument_count())); |
+ __ movl(EDX, Immediate(argument_count)); |
GenerateCall(node->token_index(), |
&StubCode::CallNativeCFunctionLabel(), |
PcDescriptors::kOther); |