Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(408)

Unified Diff: src/x64/code-stubs-x64.cc

Issue 988653003: Use platform specific stubs for vector-based Load/KeyedLoad. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: slot_count = FLAG_vector_ics ? 2 : 1. Created 5 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
Index: src/x64/code-stubs-x64.cc
diff --git a/src/x64/code-stubs-x64.cc b/src/x64/code-stubs-x64.cc
index dd79a4e1a2dda437504dfc48a61ca6180c0d7366..3888da8d74ebb4b921b8c789895039ffa1d1d189 100644
--- a/src/x64/code-stubs-x64.cc
+++ b/src/x64/code-stubs-x64.cc
@@ -11,6 +11,7 @@
#include "src/codegen.h"
#include "src/ic/handler-compiler.h"
#include "src/ic/ic.h"
+#include "src/ic/stub-cache.h"
#include "src/isolate.h"
#include "src/jsregexp.h"
#include "src/regexp-macro-assembler.h"
@@ -4337,15 +4338,281 @@ void StubFailureTrampolineStub::Generate(MacroAssembler* masm) {
void LoadICTrampolineStub::Generate(MacroAssembler* masm) {
EmitLoadTypeFeedbackVector(masm, VectorLoadICDescriptor::VectorRegister());
- VectorLoadStub stub(isolate(), state());
- __ jmp(stub.GetCode(), RelocInfo::CODE_TARGET);
+ VectorRawLoadStub stub(isolate(), state());
+ stub.GenerateForTrampoline(masm);
}
void KeyedLoadICTrampolineStub::Generate(MacroAssembler* masm) {
EmitLoadTypeFeedbackVector(masm, VectorLoadICDescriptor::VectorRegister());
- VectorKeyedLoadStub stub(isolate());
- __ jmp(stub.GetCode(), RelocInfo::CODE_TARGET);
+ VectorRawKeyedLoadStub stub(isolate());
+ stub.GenerateForTrampoline(masm);
+}
+
+
+static void HandlePolymorphic(MacroAssembler* masm, Register receiver,
+ Register key, Register vector, Register slot,
+ Register feedback, Register receiver_map,
+ Register length, Register element0,
+ Register scratch1, Label* miss) {
+ Label next, next_loop, prepare_next;
+
+ // feedback initially contains vector[slot] and is a FixedArray.
+ Register counter = scratch1;
+ Register array_map = element0;
+
+ // length is in integer32 form.
+ // We prefetched the first element. Examine that outside of the loop.
+ __ cmpp(receiver_map, FieldOperand(array_map, WeakCell::kValueOffset));
+ __ j(not_equal, &next);
+ __ movp(feedback, FieldOperand(feedback, FixedArray::OffsetOfElementAt(1)));
+ __ leap(feedback, FieldOperand(feedback, Code::kHeaderSize));
+ __ jmp(feedback);
+
+ __ bind(&next);
+
+ // Polymorphic, we have to loop from 2 to length by twos.
+ __ movp(counter, Immediate(2));
+ __ cmpl(counter, length);
+ __ j(greater_equal, miss);
+
+ __ bind(&next_loop);
+ __ movp(array_map, FieldOperand(feedback, counter, times_pointer_size,
+ FixedArray::kHeaderSize));
+ __ cmpp(receiver_map, FieldOperand(array_map, WeakCell::kValueOffset));
+ __ j(not_equal, &prepare_next);
+ __ movp(feedback, FieldOperand(feedback, counter, times_pointer_size,
+ FixedArray::kHeaderSize + kPointerSize));
+ __ leap(feedback, FieldOperand(feedback, Code::kHeaderSize));
+ __ jmp(feedback);
+
+ __ bind(&prepare_next);
+ __ addl(counter, Immediate(2));
+ __ cmpl(counter, length);
+ __ j(less, &next_loop);
+
+ // We exhausted our array of map handler pairs.
+ __ jmp(miss);
+}
+
+
+static void HandleMonoOrPolyName(MacroAssembler* masm, Register receiver,
+ Register key, Register vector, Register slot,
+ Register feedback, Register receiver_map,
+ Register scratch2, Register scratch3,
+ Register scratch4, Label* miss) {
+ Label next, next_loop, prepare_next;
+
+ // feedback initially contains vector[slot] and is a FixedArray.
+ Register length = scratch2;
+ Register counter = scratch3;
+ Register array_map = scratch4;
+
+ // Try monomorphic case without loading array length.
+ __ movp(array_map, FieldOperand(feedback, FixedArray::OffsetOfElementAt(0)));
+ __ cmpp(receiver_map, FieldOperand(array_map, WeakCell::kValueOffset));
+ __ j(not_equal, &next);
+ __ movp(feedback, FieldOperand(feedback, FixedArray::OffsetOfElementAt(1)));
+ __ leap(feedback, FieldOperand(feedback, Code::kHeaderSize));
+ __ jmp(feedback);
+
+ // Polymorphic, we have to loop from 2 to length by twos.
+ __ bind(&next);
+ __ movp(length, FieldOperand(feedback, FixedArray::kLengthOffset));
+ __ SmiToInteger32(length, length);
+ __ cmpl(length, Immediate(2));
+ __ j(equal, miss);
+ __ movp(counter, Immediate(2));
+
+ __ bind(&next_loop);
+ __ movp(array_map, FieldOperand(feedback, counter, times_pointer_size,
+ FixedArray::kHeaderSize));
+ __ cmpp(receiver_map, FieldOperand(array_map, WeakCell::kValueOffset));
+ __ j(not_equal, &prepare_next);
+ __ movp(feedback, FieldOperand(feedback, counter, times_pointer_size,
+ FixedArray::kHeaderSize + kPointerSize));
+ __ leap(feedback, FieldOperand(feedback, Code::kHeaderSize));
+ __ jmp(feedback);
+
+ __ bind(&prepare_next);
+ __ addl(counter, Immediate(2));
+ __ cmpl(counter, length);
+ __ j(less, &next_loop);
+
+ // We exhausted our array of map handler pairs.
+ __ jmp(miss);
+}
+
+
+void VectorRawLoadStub::Generate(MacroAssembler* masm) {
+ GenerateImpl(masm, false);
+}
+
+
+void VectorRawLoadStub::GenerateForTrampoline(MacroAssembler* masm) {
+ GenerateImpl(masm, true);
+}
+
+
+void VectorRawLoadStub::GenerateImpl(MacroAssembler* masm, bool in_frame) {
+ Register receiver = VectorLoadICDescriptor::ReceiverRegister(); // rdx
+ Register name = VectorLoadICDescriptor::NameRegister(); // rcx
+ Register vector = VectorLoadICDescriptor::VectorRegister(); // rbx
+ Register slot = VectorLoadICDescriptor::SlotRegister(); // rax
+ Factory* factory = masm->isolate()->factory();
+ Register scratch = rdi;
+ Register integer_slot = r8;
+
+ __ SmiToInteger32(integer_slot, slot);
+ __ movp(scratch, FieldOperand(vector, integer_slot, times_pointer_size,
+ FixedArray::kHeaderSize));
+
+ // Is it a weak cell?
+ Label try_array;
+ Label megamorphic, smi_key, key_okay, miss;
+ Register receiver_map = r9;
+ Register weak_value_or_length = r11;
+ Label load_smi_map, weak_compare;
+
+ __ JumpIfSmi(receiver, &load_smi_map);
+ __ movp(receiver_map, FieldOperand(receiver, 0));
+ __ bind(&weak_compare);
+
+ STATIC_ASSERT(FixedArray::kLengthOffset == WeakCell::kValueOffset);
+ __ movp(weak_value_or_length, FieldOperand(scratch, WeakCell::kValueOffset));
+ __ cmpp(receiver_map, weak_value_or_length);
+ __ j(not_equal, &try_array);
+ __ movp(scratch, FieldOperand(vector, integer_slot, times_pointer_size,
+ FixedArray::kHeaderSize + kPointerSize));
+ __ leap(scratch, FieldOperand(scratch, Code::kHeaderSize));
+ __ jmp(scratch);
+ __ int3(); // We shouldn't get here.
Toon Verwaest 2015/03/11 17:55:02 Same here
mvstanton 2015/03/12 17:05:34 Done.
+
+ // Is it a fixed array?
+ __ bind(&try_array);
+ __ Cmp(scratch, factory->megamorphic_symbol());
+ __ j(equal, &megamorphic);
+
+ __ movp(r15, FieldOperand(scratch, FixedArray::OffsetOfElementAt(0)));
+ __ JumpIfSmi(r15, &miss);
+ // Is it an array or a weak cell? The only way to know is to make
+ // sure that weak_value_or_length is a smi. If we have a weak cell then
+ // weak_value_or_length will be undefined.
+ __ JumpIfNotSmi(weak_value_or_length, &miss);
+ __ SmiToInteger32(weak_value_or_length, weak_value_or_length);
+ __ cmpl(weak_value_or_length, Immediate(2));
+ __ j(less, &miss);
+ // We have a polymorphic handler, and we know the length, and have
+ // prefetched the first weak cell that holds a map.
+ HandlePolymorphic(masm, receiver, name, vector, slot, scratch, receiver_map,
+ weak_value_or_length, r15, integer_slot, &miss);
+ __ int3(); // We shouldn't get here.
+
+ __ bind(&megamorphic);
+ Code::Flags code_flags = Code::RemoveTypeAndHolderFromFlags(
+ Code::ComputeHandlerFlags(Code::LOAD_IC));
+ masm->isolate()->stub_cache()->GenerateProbe(
+ masm, Code::LOAD_IC, code_flags, false, receiver, name, scratch, no_reg);
+
+ __ bind(&miss);
+ LoadIC::GenerateMiss(masm);
+
+ __ bind(&load_smi_map);
+ __ Move(receiver_map, masm->isolate()->factory()->heap_number_map());
+ __ jmp(&weak_compare);
+}
+
+
+void VectorRawKeyedLoadStub::Generate(MacroAssembler* masm) {
+ GenerateImpl(masm, false);
+}
+
+
+void VectorRawKeyedLoadStub::GenerateForTrampoline(MacroAssembler* masm) {
+ GenerateImpl(masm, true);
+}
+
+
+void VectorRawKeyedLoadStub::GenerateImpl(MacroAssembler* masm, bool in_frame) {
+ Register receiver = VectorLoadICDescriptor::ReceiverRegister(); // rdx
+ Register key = VectorLoadICDescriptor::NameRegister(); // rcx
+ Register vector = VectorLoadICDescriptor::VectorRegister(); // rbx
+ Register slot = VectorLoadICDescriptor::SlotRegister(); // rax
+ Factory* factory = masm->isolate()->factory();
+ Register scratch = rdi;
+ Register integer_slot = r8;
+
+ __ SmiToInteger32(integer_slot, slot);
+ __ movp(scratch, FieldOperand(vector, integer_slot, times_pointer_size,
+ FixedArray::kHeaderSize));
+
+ // Is it a weak cell?
+ Label try_name, try_array, try_megamorphic;
+ Label not_array, smi_key, key_okay, miss;
+ Register receiver_map = r9;
+ Register weak_value_or_length = r11;
+ Label load_smi_map, weak_compare;
+
+ __ JumpIfSmi(receiver, &load_smi_map);
+ __ movp(receiver_map, FieldOperand(receiver, 0));
+ __ bind(&weak_compare);
+
+ STATIC_ASSERT(FixedArray::kLengthOffset == WeakCell::kValueOffset);
+ __ movp(weak_value_or_length, FieldOperand(scratch, WeakCell::kValueOffset));
+ __ cmpp(receiver_map, weak_value_or_length);
+ __ j(not_equal, &try_name);
+ __ JumpIfNotSmi(key, &miss);
+ __ movp(scratch, FieldOperand(vector, integer_slot, times_pointer_size,
+ FixedArray::kHeaderSize + kPointerSize));
+ __ leap(scratch, FieldOperand(scratch, Code::kHeaderSize));
+ __ jmp(scratch);
+ __ int3(); // We shouldn't get here.
+
+ __ bind(&try_name);
+ // We might have a name in scratch, and a fixed array in the next slot.
+ __ cmpp(key, scratch);
+ __ j(not_equal, &try_megamorphic);
+ // If the name comparison succeeded, we know we have a fixed array with
+ // at least one map/handler pair.
+ __ movp(scratch, FieldOperand(vector, integer_slot, times_pointer_size,
+ FixedArray::kHeaderSize + kPointerSize));
+ HandleMonoOrPolyName(masm, receiver, key, vector, slot, scratch, receiver_map,
+ weak_value_or_length, integer_slot, r15, &miss);
+ __ int3();
+
+ __ bind(&try_megamorphic);
+ __ Cmp(scratch, factory->megamorphic_symbol());
+ __ j(not_equal, &try_array);
+ Handle<Code> megamorphic_stub =
+ KeyedLoadIC::ChooseMegamorphicStub(masm->isolate());
+ __ jmp(megamorphic_stub, RelocInfo::CODE_TARGET);
+ __ int3(); // We shouldn't get here.
+
+ // Is it a fixed array?
+ __ bind(&try_array);
+ __ movp(r15, FieldOperand(scratch, FixedArray::OffsetOfElementAt(0)));
+ __ JumpIfSmi(r15, &miss);
+ // Is it an array or a weak cell? The only way to know is to make
+ // sure that weak_value_or_length is a smi > 0 (because our vector arrays
+ // have a minimum size of 2).
+ __ JumpIfNotSmi(weak_value_or_length, &miss);
+ __ SmiToInteger32(weak_value_or_length, weak_value_or_length);
+ __ cmpl(weak_value_or_length, Immediate(2));
+ __ j(less, &miss);
+ // We have a polymorphic element handler, and we know the length.
+ __ JumpIfNotSmi(key, &miss);
+ // We have also prefetched the first weak cell that holds a map in the
+ // array.
+ HandlePolymorphic(masm, receiver, key, vector, slot, scratch, receiver_map,
+ weak_value_or_length, r15, integer_slot, &miss);
+ __ int3(); // We shouldn't get here.
+
+ __ bind(&miss);
+ KeyedLoadIC::GenerateMiss(masm);
+
+ __ bind(&load_smi_map);
+ __ Move(receiver_map, masm->isolate()->factory()->heap_number_map());
+ __ jmp(&weak_compare);
}

Powered by Google App Engine
This is Rietveld 408576698