Chromium Code Reviews| OLD | NEW |
|---|---|
| 1 // Copyright 2013 the V8 project authors. All rights reserved. | 1 // Copyright 2013 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include "src/v8.h" | 5 #include "src/v8.h" |
| 6 | 6 |
| 7 #if V8_TARGET_ARCH_X64 | 7 #if V8_TARGET_ARCH_X64 |
| 8 | 8 |
| 9 #include "src/bootstrapper.h" | 9 #include "src/bootstrapper.h" |
| 10 #include "src/code-stubs.h" | 10 #include "src/code-stubs.h" |
| 11 #include "src/codegen.h" | 11 #include "src/codegen.h" |
| 12 #include "src/ic/handler-compiler.h" | 12 #include "src/ic/handler-compiler.h" |
| 13 #include "src/ic/ic.h" | 13 #include "src/ic/ic.h" |
| 14 #include "src/ic/stub-cache.h" | |
| 14 #include "src/isolate.h" | 15 #include "src/isolate.h" |
| 15 #include "src/jsregexp.h" | 16 #include "src/jsregexp.h" |
| 16 #include "src/regexp-macro-assembler.h" | 17 #include "src/regexp-macro-assembler.h" |
| 17 #include "src/runtime/runtime.h" | 18 #include "src/runtime/runtime.h" |
| 18 | 19 |
| 19 namespace v8 { | 20 namespace v8 { |
| 20 namespace internal { | 21 namespace internal { |
| 21 | 22 |
| 22 | 23 |
| 23 static void InitializeArrayConstructorDescriptor( | 24 static void InitializeArrayConstructorDescriptor( |
| (...skipping 4306 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 4330 __ PopReturnAddressTo(rcx); | 4331 __ PopReturnAddressTo(rcx); |
| 4331 int additional_offset = | 4332 int additional_offset = |
| 4332 function_mode() == JS_FUNCTION_STUB_MODE ? kPointerSize : 0; | 4333 function_mode() == JS_FUNCTION_STUB_MODE ? kPointerSize : 0; |
| 4333 __ leap(rsp, MemOperand(rsp, rbx, times_pointer_size, additional_offset)); | 4334 __ leap(rsp, MemOperand(rsp, rbx, times_pointer_size, additional_offset)); |
| 4334 __ jmp(rcx); // Return to IC Miss stub, continuation still on stack. | 4335 __ jmp(rcx); // Return to IC Miss stub, continuation still on stack. |
| 4335 } | 4336 } |
| 4336 | 4337 |
| 4337 | 4338 |
| 4338 void LoadICTrampolineStub::Generate(MacroAssembler* masm) { | 4339 void LoadICTrampolineStub::Generate(MacroAssembler* masm) { |
| 4339 EmitLoadTypeFeedbackVector(masm, VectorLoadICDescriptor::VectorRegister()); | 4340 EmitLoadTypeFeedbackVector(masm, VectorLoadICDescriptor::VectorRegister()); |
| 4340 VectorLoadStub stub(isolate(), state()); | 4341 VectorRawLoadStub stub(isolate(), state()); |
| 4341 __ jmp(stub.GetCode(), RelocInfo::CODE_TARGET); | 4342 stub.GenerateForTrampoline(masm); |
| 4342 } | 4343 } |
| 4343 | 4344 |
| 4344 | 4345 |
| 4345 void KeyedLoadICTrampolineStub::Generate(MacroAssembler* masm) { | 4346 void KeyedLoadICTrampolineStub::Generate(MacroAssembler* masm) { |
| 4346 EmitLoadTypeFeedbackVector(masm, VectorLoadICDescriptor::VectorRegister()); | 4347 EmitLoadTypeFeedbackVector(masm, VectorLoadICDescriptor::VectorRegister()); |
| 4347 VectorKeyedLoadStub stub(isolate()); | 4348 VectorRawKeyedLoadStub stub(isolate()); |
| 4348 __ jmp(stub.GetCode(), RelocInfo::CODE_TARGET); | 4349 stub.GenerateForTrampoline(masm); |
| 4349 } | 4350 } |
| 4350 | 4351 |
| 4351 | 4352 |
| 4353 static void HandlePolymorphic(MacroAssembler* masm, Register receiver, | |
| 4354 Register key, Register vector, Register slot, | |
| 4355 Register feedback, Register receiver_map, | |
| 4356 Register length, Register element0, | |
| 4357 Register scratch1, Label* miss) { | |
| 4358 Label next, next_loop, prepare_next; | |
| 4359 | |
| 4360 // feedback initially contains vector[slot] and is a FixedArray. | |
| 4361 Register counter = scratch1; | |
| 4362 Register array_map = element0; | |
| 4363 | |
| 4364 // length is in integer32 form. | |
| 4365 // We prefetched the first element. Examine that outside of the loop. | |
| 4366 __ cmpp(receiver_map, FieldOperand(array_map, WeakCell::kValueOffset)); | |
| 4367 __ j(not_equal, &next); | |
| 4368 __ movp(feedback, FieldOperand(feedback, FixedArray::OffsetOfElementAt(1))); | |
| 4369 __ leap(feedback, FieldOperand(feedback, Code::kHeaderSize)); | |
| 4370 __ jmp(feedback); | |
| 4371 | |
| 4372 __ bind(&next); | |
| 4373 | |
| 4374 // Polymorphic, we have to loop from 2 to length by twos. | |
| 4375 __ movp(counter, Immediate(2)); | |
| 4376 __ cmpl(counter, length); | |
| 4377 __ j(greater_equal, miss); | |
| 4378 | |
| 4379 __ bind(&next_loop); | |
| 4380 __ movp(array_map, FieldOperand(feedback, counter, times_pointer_size, | |
| 4381 FixedArray::kHeaderSize)); | |
| 4382 __ cmpp(receiver_map, FieldOperand(array_map, WeakCell::kValueOffset)); | |
| 4383 __ j(not_equal, &prepare_next); | |
| 4384 __ movp(feedback, FieldOperand(feedback, counter, times_pointer_size, | |
| 4385 FixedArray::kHeaderSize + kPointerSize)); | |
| 4386 __ leap(feedback, FieldOperand(feedback, Code::kHeaderSize)); | |
| 4387 __ jmp(feedback); | |
| 4388 | |
| 4389 __ bind(&prepare_next); | |
| 4390 __ addl(counter, Immediate(2)); | |
| 4391 __ cmpl(counter, length); | |
| 4392 __ j(less, &next_loop); | |
| 4393 | |
| 4394 // We exhausted our array of map handler pairs. | |
| 4395 __ jmp(miss); | |
| 4396 } | |
| 4397 | |
| 4398 | |
| 4399 static void HandleMonoOrPolyName(MacroAssembler* masm, Register receiver, | |
| 4400 Register key, Register vector, Register slot, | |
| 4401 Register feedback, Register receiver_map, | |
| 4402 Register scratch2, Register scratch3, | |
| 4403 Register scratch4, Label* miss) { | |
| 4404 Label next, next_loop, prepare_next; | |
| 4405 | |
| 4406 // feedback initially contains vector[slot] and is a FixedArray. | |
| 4407 Register length = scratch2; | |
| 4408 Register counter = scratch3; | |
| 4409 Register array_map = scratch4; | |
| 4410 | |
| 4411 // Try monomorphic case without loading array length. | |
| 4412 __ movp(array_map, FieldOperand(feedback, FixedArray::OffsetOfElementAt(0))); | |
| 4413 __ cmpp(receiver_map, FieldOperand(array_map, WeakCell::kValueOffset)); | |
| 4414 __ j(not_equal, &next); | |
| 4415 __ movp(feedback, FieldOperand(feedback, FixedArray::OffsetOfElementAt(1))); | |
| 4416 __ leap(feedback, FieldOperand(feedback, Code::kHeaderSize)); | |
| 4417 __ jmp(feedback); | |
| 4418 | |
| 4419 // Polymorphic, we have to loop from 2 to length by twos. | |
| 4420 __ bind(&next); | |
| 4421 __ movp(length, FieldOperand(feedback, FixedArray::kLengthOffset)); | |
| 4422 __ SmiToInteger32(length, length); | |
| 4423 __ cmpl(length, Immediate(2)); | |
| 4424 __ j(equal, miss); | |
| 4425 __ movp(counter, Immediate(2)); | |
| 4426 | |
| 4427 __ bind(&next_loop); | |
| 4428 __ movp(array_map, FieldOperand(feedback, counter, times_pointer_size, | |
| 4429 FixedArray::kHeaderSize)); | |
| 4430 __ cmpp(receiver_map, FieldOperand(array_map, WeakCell::kValueOffset)); | |
| 4431 __ j(not_equal, &prepare_next); | |
| 4432 __ movp(feedback, FieldOperand(feedback, counter, times_pointer_size, | |
| 4433 FixedArray::kHeaderSize + kPointerSize)); | |
| 4434 __ leap(feedback, FieldOperand(feedback, Code::kHeaderSize)); | |
| 4435 __ jmp(feedback); | |
| 4436 | |
| 4437 __ bind(&prepare_next); | |
| 4438 __ addl(counter, Immediate(2)); | |
| 4439 __ cmpl(counter, length); | |
| 4440 __ j(less, &next_loop); | |
| 4441 | |
| 4442 // We exhausted our array of map handler pairs. | |
| 4443 __ jmp(miss); | |
| 4444 } | |
| 4445 | |
| 4446 | |
| 4447 void VectorRawLoadStub::Generate(MacroAssembler* masm) { | |
| 4448 GenerateImpl(masm, false); | |
| 4449 } | |
| 4450 | |
| 4451 | |
| 4452 void VectorRawLoadStub::GenerateForTrampoline(MacroAssembler* masm) { | |
| 4453 GenerateImpl(masm, true); | |
| 4454 } | |
| 4455 | |
| 4456 | |
| 4457 void VectorRawLoadStub::GenerateImpl(MacroAssembler* masm, bool in_frame) { | |
| 4458 Register receiver = VectorLoadICDescriptor::ReceiverRegister(); // rdx | |
| 4459 Register name = VectorLoadICDescriptor::NameRegister(); // rcx | |
| 4460 Register vector = VectorLoadICDescriptor::VectorRegister(); // rbx | |
| 4461 Register slot = VectorLoadICDescriptor::SlotRegister(); // rax | |
| 4462 Factory* factory = masm->isolate()->factory(); | |
| 4463 Register scratch = rdi; | |
| 4464 Register integer_slot = r8; | |
| 4465 | |
| 4466 __ SmiToInteger32(integer_slot, slot); | |
| 4467 __ movp(scratch, FieldOperand(vector, integer_slot, times_pointer_size, | |
| 4468 FixedArray::kHeaderSize)); | |
| 4469 | |
| 4470 // Is it a weak cell? | |
| 4471 Label try_array; | |
| 4472 Label megamorphic, smi_key, key_okay, miss; | |
| 4473 Register receiver_map = r9; | |
| 4474 Register weak_value_or_length = r11; | |
| 4475 Label load_smi_map, weak_compare; | |
| 4476 | |
| 4477 __ JumpIfSmi(receiver, &load_smi_map); | |
| 4478 __ movp(receiver_map, FieldOperand(receiver, 0)); | |
| 4479 __ bind(&weak_compare); | |
| 4480 | |
| 4481 STATIC_ASSERT(FixedArray::kLengthOffset == WeakCell::kValueOffset); | |
| 4482 __ movp(weak_value_or_length, FieldOperand(scratch, WeakCell::kValueOffset)); | |
| 4483 __ cmpp(receiver_map, weak_value_or_length); | |
| 4484 __ j(not_equal, &try_array); | |
| 4485 __ movp(scratch, FieldOperand(vector, integer_slot, times_pointer_size, | |
| 4486 FixedArray::kHeaderSize + kPointerSize)); | |
| 4487 __ leap(scratch, FieldOperand(scratch, Code::kHeaderSize)); | |
| 4488 __ jmp(scratch); | |
| 4489 __ int3(); // We shouldn't get here. | |
|
Toon Verwaest
2015/03/11 17:55:02
Same here
mvstanton
2015/03/12 17:05:34
Done.
| |
| 4490 | |
| 4491 // Is it a fixed array? | |
| 4492 __ bind(&try_array); | |
| 4493 __ Cmp(scratch, factory->megamorphic_symbol()); | |
| 4494 __ j(equal, &megamorphic); | |
| 4495 | |
| 4496 __ movp(r15, FieldOperand(scratch, FixedArray::OffsetOfElementAt(0))); | |
| 4497 __ JumpIfSmi(r15, &miss); | |
| 4498 // Is it an array or a weak cell? The only way to know is to make | |
| 4499 // sure that weak_value_or_length is a smi. If we have a weak cell then | |
| 4500 // weak_value_or_length will be undefined. | |
| 4501 __ JumpIfNotSmi(weak_value_or_length, &miss); | |
| 4502 __ SmiToInteger32(weak_value_or_length, weak_value_or_length); | |
| 4503 __ cmpl(weak_value_or_length, Immediate(2)); | |
| 4504 __ j(less, &miss); | |
| 4505 // We have a polymorphic handler, and we know the length, and have | |
| 4506 // prefetched the first weak cell that holds a map. | |
| 4507 HandlePolymorphic(masm, receiver, name, vector, slot, scratch, receiver_map, | |
| 4508 weak_value_or_length, r15, integer_slot, &miss); | |
| 4509 __ int3(); // We shouldn't get here. | |
| 4510 | |
| 4511 __ bind(&megamorphic); | |
| 4512 Code::Flags code_flags = Code::RemoveTypeAndHolderFromFlags( | |
| 4513 Code::ComputeHandlerFlags(Code::LOAD_IC)); | |
| 4514 masm->isolate()->stub_cache()->GenerateProbe( | |
| 4515 masm, Code::LOAD_IC, code_flags, false, receiver, name, scratch, no_reg); | |
| 4516 | |
| 4517 __ bind(&miss); | |
| 4518 LoadIC::GenerateMiss(masm); | |
| 4519 | |
| 4520 __ bind(&load_smi_map); | |
| 4521 __ Move(receiver_map, masm->isolate()->factory()->heap_number_map()); | |
| 4522 __ jmp(&weak_compare); | |
| 4523 } | |
| 4524 | |
| 4525 | |
| 4526 void VectorRawKeyedLoadStub::Generate(MacroAssembler* masm) { | |
| 4527 GenerateImpl(masm, false); | |
| 4528 } | |
| 4529 | |
| 4530 | |
| 4531 void VectorRawKeyedLoadStub::GenerateForTrampoline(MacroAssembler* masm) { | |
| 4532 GenerateImpl(masm, true); | |
| 4533 } | |
| 4534 | |
| 4535 | |
| 4536 void VectorRawKeyedLoadStub::GenerateImpl(MacroAssembler* masm, bool in_frame) { | |
| 4537 Register receiver = VectorLoadICDescriptor::ReceiverRegister(); // rdx | |
| 4538 Register key = VectorLoadICDescriptor::NameRegister(); // rcx | |
| 4539 Register vector = VectorLoadICDescriptor::VectorRegister(); // rbx | |
| 4540 Register slot = VectorLoadICDescriptor::SlotRegister(); // rax | |
| 4541 Factory* factory = masm->isolate()->factory(); | |
| 4542 Register scratch = rdi; | |
| 4543 Register integer_slot = r8; | |
| 4544 | |
| 4545 __ SmiToInteger32(integer_slot, slot); | |
| 4546 __ movp(scratch, FieldOperand(vector, integer_slot, times_pointer_size, | |
| 4547 FixedArray::kHeaderSize)); | |
| 4548 | |
| 4549 // Is it a weak cell? | |
| 4550 Label try_name, try_array, try_megamorphic; | |
| 4551 Label not_array, smi_key, key_okay, miss; | |
| 4552 Register receiver_map = r9; | |
| 4553 Register weak_value_or_length = r11; | |
| 4554 Label load_smi_map, weak_compare; | |
| 4555 | |
| 4556 __ JumpIfSmi(receiver, &load_smi_map); | |
| 4557 __ movp(receiver_map, FieldOperand(receiver, 0)); | |
| 4558 __ bind(&weak_compare); | |
| 4559 | |
| 4560 STATIC_ASSERT(FixedArray::kLengthOffset == WeakCell::kValueOffset); | |
| 4561 __ movp(weak_value_or_length, FieldOperand(scratch, WeakCell::kValueOffset)); | |
| 4562 __ cmpp(receiver_map, weak_value_or_length); | |
| 4563 __ j(not_equal, &try_name); | |
| 4564 __ JumpIfNotSmi(key, &miss); | |
| 4565 __ movp(scratch, FieldOperand(vector, integer_slot, times_pointer_size, | |
| 4566 FixedArray::kHeaderSize + kPointerSize)); | |
| 4567 __ leap(scratch, FieldOperand(scratch, Code::kHeaderSize)); | |
| 4568 __ jmp(scratch); | |
| 4569 __ int3(); // We shouldn't get here. | |
| 4570 | |
| 4571 __ bind(&try_name); | |
| 4572 // We might have a name in scratch, and a fixed array in the next slot. | |
| 4573 __ cmpp(key, scratch); | |
| 4574 __ j(not_equal, &try_megamorphic); | |
| 4575 // If the name comparison succeeded, we know we have a fixed array with | |
| 4576 // at least one map/handler pair. | |
| 4577 __ movp(scratch, FieldOperand(vector, integer_slot, times_pointer_size, | |
| 4578 FixedArray::kHeaderSize + kPointerSize)); | |
| 4579 HandleMonoOrPolyName(masm, receiver, key, vector, slot, scratch, receiver_map, | |
| 4580 weak_value_or_length, integer_slot, r15, &miss); | |
| 4581 __ int3(); | |
| 4582 | |
| 4583 __ bind(&try_megamorphic); | |
| 4584 __ Cmp(scratch, factory->megamorphic_symbol()); | |
| 4585 __ j(not_equal, &try_array); | |
| 4586 Handle<Code> megamorphic_stub = | |
| 4587 KeyedLoadIC::ChooseMegamorphicStub(masm->isolate()); | |
| 4588 __ jmp(megamorphic_stub, RelocInfo::CODE_TARGET); | |
| 4589 __ int3(); // We shouldn't get here. | |
| 4590 | |
| 4591 // Is it a fixed array? | |
| 4592 __ bind(&try_array); | |
| 4593 __ movp(r15, FieldOperand(scratch, FixedArray::OffsetOfElementAt(0))); | |
| 4594 __ JumpIfSmi(r15, &miss); | |
| 4595 // Is it an array or a weak cell? The only way to know is to make | |
| 4596 // sure that weak_value_or_length is a smi > 0 (because our vector arrays | |
| 4597 // have a minimum size of 2). | |
| 4598 __ JumpIfNotSmi(weak_value_or_length, &miss); | |
| 4599 __ SmiToInteger32(weak_value_or_length, weak_value_or_length); | |
| 4600 __ cmpl(weak_value_or_length, Immediate(2)); | |
| 4601 __ j(less, &miss); | |
| 4602 // We have a polymorphic element handler, and we know the length. | |
| 4603 __ JumpIfNotSmi(key, &miss); | |
| 4604 // We have also prefetched the first weak cell that holds a map in the | |
| 4605 // array. | |
| 4606 HandlePolymorphic(masm, receiver, key, vector, slot, scratch, receiver_map, | |
| 4607 weak_value_or_length, r15, integer_slot, &miss); | |
| 4608 __ int3(); // We shouldn't get here. | |
| 4609 | |
| 4610 __ bind(&miss); | |
| 4611 KeyedLoadIC::GenerateMiss(masm); | |
| 4612 | |
| 4613 __ bind(&load_smi_map); | |
| 4614 __ Move(receiver_map, masm->isolate()->factory()->heap_number_map()); | |
| 4615 __ jmp(&weak_compare); | |
| 4616 } | |
| 4617 | |
| 4618 | |
| 4352 void CallICTrampolineStub::Generate(MacroAssembler* masm) { | 4619 void CallICTrampolineStub::Generate(MacroAssembler* masm) { |
| 4353 EmitLoadTypeFeedbackVector(masm, rbx); | 4620 EmitLoadTypeFeedbackVector(masm, rbx); |
| 4354 CallICStub stub(isolate(), state()); | 4621 CallICStub stub(isolate(), state()); |
| 4355 __ jmp(stub.GetCode(), RelocInfo::CODE_TARGET); | 4622 __ jmp(stub.GetCode(), RelocInfo::CODE_TARGET); |
| 4356 } | 4623 } |
| 4357 | 4624 |
| 4358 | 4625 |
| 4359 void CallIC_ArrayTrampolineStub::Generate(MacroAssembler* masm) { | 4626 void CallIC_ArrayTrampolineStub::Generate(MacroAssembler* masm) { |
| 4360 EmitLoadTypeFeedbackVector(masm, rbx); | 4627 EmitLoadTypeFeedbackVector(masm, rbx); |
| 4361 CallIC_ArrayStub stub(isolate(), state()); | 4628 CallIC_ArrayStub stub(isolate(), state()); |
| (...skipping 786 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... | |
| 5148 CallApiFunctionAndReturn(masm, api_function_address, thunk_ref, getter_arg, | 5415 CallApiFunctionAndReturn(masm, api_function_address, thunk_ref, getter_arg, |
| 5149 kStackSpace, nullptr, return_value_operand, NULL); | 5416 kStackSpace, nullptr, return_value_operand, NULL); |
| 5150 } | 5417 } |
| 5151 | 5418 |
| 5152 | 5419 |
| 5153 #undef __ | 5420 #undef __ |
| 5154 | 5421 |
| 5155 } } // namespace v8::internal | 5422 } } // namespace v8::internal |
| 5156 | 5423 |
| 5157 #endif // V8_TARGET_ARCH_X64 | 5424 #endif // V8_TARGET_ARCH_X64 |
| OLD | NEW |