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

Side by Side Diff: src/arm/code-stubs-arm.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: Code comment response. 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 unified diff | Download patch
« no previous file with comments | « no previous file | src/arm64/code-stubs-arm64.cc » ('j') | src/x64/code-stubs-x64.cc » ('J')
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2012 the V8 project authors. All rights reserved. 1 // Copyright 2012 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_ARM 7 #if V8_TARGET_ARCH_ARM
8 8
9 #include "src/base/bits.h" 9 #include "src/base/bits.h"
10 #include "src/bootstrapper.h" 10 #include "src/bootstrapper.h"
11 #include "src/code-stubs.h" 11 #include "src/code-stubs.h"
12 #include "src/codegen.h" 12 #include "src/codegen.h"
13 #include "src/ic/handler-compiler.h" 13 #include "src/ic/handler-compiler.h"
14 #include "src/ic/ic.h" 14 #include "src/ic/ic.h"
15 #include "src/ic/stub-cache.h"
15 #include "src/isolate.h" 16 #include "src/isolate.h"
16 #include "src/jsregexp.h" 17 #include "src/jsregexp.h"
17 #include "src/regexp-macro-assembler.h" 18 #include "src/regexp-macro-assembler.h"
18 #include "src/runtime/runtime.h" 19 #include "src/runtime/runtime.h"
19 20
20 namespace v8 { 21 namespace v8 {
21 namespace internal { 22 namespace internal {
22 23
23 24
24 static void InitializeArrayConstructorDescriptor( 25 static void InitializeArrayConstructorDescriptor(
(...skipping 4291 matching lines...) Expand 10 before | Expand all | Expand 10 after
4316 } 4317 }
4317 masm->LeaveFrame(StackFrame::STUB_FAILURE_TRAMPOLINE); 4318 masm->LeaveFrame(StackFrame::STUB_FAILURE_TRAMPOLINE);
4318 __ mov(r1, Operand(r1, LSL, kPointerSizeLog2)); 4319 __ mov(r1, Operand(r1, LSL, kPointerSizeLog2));
4319 __ add(sp, sp, r1); 4320 __ add(sp, sp, r1);
4320 __ Ret(); 4321 __ Ret();
4321 } 4322 }
4322 4323
4323 4324
4324 void LoadICTrampolineStub::Generate(MacroAssembler* masm) { 4325 void LoadICTrampolineStub::Generate(MacroAssembler* masm) {
4325 EmitLoadTypeFeedbackVector(masm, VectorLoadICDescriptor::VectorRegister()); 4326 EmitLoadTypeFeedbackVector(masm, VectorLoadICDescriptor::VectorRegister());
4326 VectorLoadStub stub(isolate(), state()); 4327 VectorRawLoadStub stub(isolate(), state());
4327 __ Jump(stub.GetCode(), RelocInfo::CODE_TARGET); 4328 stub.GenerateForTrampoline(masm);
4328 } 4329 }
4329 4330
4330 4331
4331 void KeyedLoadICTrampolineStub::Generate(MacroAssembler* masm) { 4332 void KeyedLoadICTrampolineStub::Generate(MacroAssembler* masm) {
4332 EmitLoadTypeFeedbackVector(masm, VectorLoadICDescriptor::VectorRegister()); 4333 EmitLoadTypeFeedbackVector(masm, VectorLoadICDescriptor::VectorRegister());
4333 VectorKeyedLoadStub stub(isolate()); 4334 VectorRawKeyedLoadStub stub(isolate());
4334 __ Jump(stub.GetCode(), RelocInfo::CODE_TARGET); 4335 stub.GenerateForTrampoline(masm);
4335 } 4336 }
4336 4337
4337 4338
4338 void CallICTrampolineStub::Generate(MacroAssembler* masm) { 4339 void CallICTrampolineStub::Generate(MacroAssembler* masm) {
4339 EmitLoadTypeFeedbackVector(masm, r2); 4340 EmitLoadTypeFeedbackVector(masm, r2);
4340 CallICStub stub(isolate(), state()); 4341 CallICStub stub(isolate(), state());
4341 __ Jump(stub.GetCode(), RelocInfo::CODE_TARGET); 4342 __ Jump(stub.GetCode(), RelocInfo::CODE_TARGET);
4342 } 4343 }
4343 4344
4344 4345
4345 void CallIC_ArrayTrampolineStub::Generate(MacroAssembler* masm) { 4346 void CallIC_ArrayTrampolineStub::Generate(MacroAssembler* masm) {
4346 EmitLoadTypeFeedbackVector(masm, r2); 4347 EmitLoadTypeFeedbackVector(masm, r2);
4347 CallIC_ArrayStub stub(isolate(), state()); 4348 CallIC_ArrayStub stub(isolate(), state());
4348 __ Jump(stub.GetCode(), RelocInfo::CODE_TARGET); 4349 __ Jump(stub.GetCode(), RelocInfo::CODE_TARGET);
4349 } 4350 }
4350 4351
4351 4352
4353 void VectorRawLoadStub::Generate(MacroAssembler* masm) {
4354 GenerateImpl(masm, false);
4355 }
4356
4357
4358 void VectorRawLoadStub::GenerateForTrampoline(MacroAssembler* masm) {
4359 GenerateImpl(masm, true);
4360 }
4361
4362
4363 static void HandleArrayCases(MacroAssembler* masm, Register receiver,
4364 Register key, Register vector, Register slot,
4365 Register feedback, Register scratch1,
4366 Register scratch2, Register scratch3,
4367 bool is_polymorphic, Label* miss) {
4368 // feedback initially contains the feedback array
4369 Label next_loop, prepare_next;
4370 Label load_smi_map, compare_map;
4371 Label start_polymorphic;
4372
4373 Register receiver_map = scratch1;
4374 Register array_map = scratch2;
4375
4376 // Receiver might not be a heap object.
4377 __ JumpIfSmi(receiver, &load_smi_map);
4378 __ ldr(receiver_map, FieldMemOperand(receiver, HeapObject::kMapOffset));
4379 __ bind(&compare_map);
4380 __ ldr(array_map,
4381 FieldMemOperand(feedback, FixedArray::OffsetOfElementAt(0)));
4382 __ ldr(array_map, FieldMemOperand(array_map, WeakCell::kValueOffset));
4383 __ cmp(receiver_map, array_map);
4384 __ b(ne, &start_polymorphic);
4385 // found, now call handler.
4386 Register handler = feedback;
4387 __ ldr(handler, FieldMemOperand(feedback, FixedArray::OffsetOfElementAt(1)));
4388 __ add(pc, handler, Operand(Code::kHeaderSize - kHeapObjectTag));
4389
4390
4391 Register length = scratch3;
4392 __ bind(&start_polymorphic);
4393 __ ldr(length, FieldMemOperand(feedback, FixedArray::kLengthOffset));
4394 if (!is_polymorphic) {
4395 // If the IC could be monomorphic we have to make sure we don't go past the
4396 // end of the feedback array.
4397 __ cmp(length, Operand(Smi::FromInt(2)));
4398 __ b(eq, miss);
4399 }
4400
4401 Register too_far = length;
4402 Register pointer_reg = feedback;
4403
4404 // +-----+------+------+-----+-----+ ... ----+
4405 // | map | len | wm0 | h0 | wm1 | hN |
4406 // +-----+------+------+-----+-----+ ... ----+
4407 // 0 1 2 len-1
4408 // ^ ^
4409 // | |
4410 // pointer_reg too_far
4411 // aka feedback scratch3
4412 // also need receiver_map (aka scratch1)
4413 // use array_map (scratch2) to look in the weak map values.
4414 __ add(too_far, feedback, Operand::PointerOffsetFromSmiKey(length));
4415 __ add(too_far, too_far, Operand(FixedArray::kHeaderSize - kHeapObjectTag));
4416 __ add(pointer_reg, feedback,
4417 Operand(FixedArray::OffsetOfElementAt(2) - kHeapObjectTag));
4418
4419 __ bind(&next_loop);
4420 __ ldr(array_map, MemOperand(pointer_reg));
4421 __ ldr(array_map, FieldMemOperand(array_map, WeakCell::kValueOffset));
4422 __ cmp(receiver_map, array_map);
4423 __ b(ne, &prepare_next);
4424 __ ldr(handler, MemOperand(pointer_reg, kPointerSize));
4425 __ add(pc, handler, Operand(Code::kHeaderSize - kHeapObjectTag));
4426
4427 __ bind(&prepare_next);
4428 __ add(pointer_reg, pointer_reg, Operand(kPointerSize * 2));
4429 __ cmp(pointer_reg, too_far);
4430 __ b(lt, &next_loop);
4431
4432 // We exhausted our array of map handler pairs.
4433 __ jmp(miss);
4434
4435 __ bind(&load_smi_map);
4436 __ LoadRoot(receiver_map, Heap::kHeapNumberMapRootIndex);
4437 __ jmp(&compare_map);
4438 }
4439
4440
4441 static void HandleMonomorphicCase(MacroAssembler* masm, Register receiver,
4442 Register key, Register vector, Register slot,
4443 Register weak_cell, Register scratch,
4444 Label* miss) {
4445 // feedback initially contains the feedback array
4446 Label compare_smi_map;
4447 Register receiver_map = scratch;
4448 Register array_map = weak_cell;
4449
4450 // Move the weak map into the weak_cell register.
4451 __ ldr(array_map, FieldMemOperand(weak_cell, WeakCell::kValueOffset));
4452
4453 // Receiver might not be a heap object.
4454 __ JumpIfSmi(receiver, &compare_smi_map);
4455 __ ldr(receiver_map, FieldMemOperand(receiver, HeapObject::kMapOffset));
4456 __ cmp(array_map, receiver_map);
4457 __ b(ne, miss);
4458
4459 Register handler = weak_cell;
4460 __ add(handler, vector, Operand::PointerOffsetFromSmiKey(slot));
4461 __ ldr(handler,
4462 FieldMemOperand(handler, FixedArray::kHeaderSize + kPointerSize));
4463 __ add(pc, handler, Operand(Code::kHeaderSize - kHeapObjectTag));
4464
4465 // In microbenchmarks, it made sense to unroll this code so that the call to
4466 // the handler is duplicated for a HeapObject receiver and a Smi receiver.
4467 // TODO(mvstanton): does this hold on ARM?
Benedikt Meurer 2015/03/16 10:30:17 I guess it does not matter.
mvstanton 2015/03/16 13:59:40 Okay, I removed the TODO for now. Certainly there
4468 __ bind(&compare_smi_map);
4469 __ CompareRoot(weak_cell, Heap::kHeapNumberMapRootIndex);
4470 __ b(ne, miss);
4471 __ add(handler, vector, Operand::PointerOffsetFromSmiKey(slot));
4472 __ ldr(handler,
4473 FieldMemOperand(handler, FixedArray::kHeaderSize + kPointerSize));
4474 __ add(pc, handler, Operand(Code::kHeaderSize - kHeapObjectTag));
4475 }
4476
4477
4478 void VectorRawLoadStub::GenerateImpl(MacroAssembler* masm, bool in_frame) {
4479 Register receiver = VectorLoadICDescriptor::ReceiverRegister(); // r1
4480 Register name = VectorLoadICDescriptor::NameRegister(); // r2
4481 Register vector = VectorLoadICDescriptor::VectorRegister(); // r3
4482 Register slot = VectorLoadICDescriptor::SlotRegister(); // r0
4483 Register feedback = r4;
4484 Register scratch1 = r5;
4485
4486 __ add(feedback, vector, Operand::PointerOffsetFromSmiKey(slot));
4487 __ ldr(feedback, FieldMemOperand(feedback, FixedArray::kHeaderSize));
4488
4489 // Is it a weak cell?
4490 Label try_array;
4491 Label not_array, smi_key, key_okay, miss;
4492 __ ldr(scratch1, FieldMemOperand(feedback, HeapObject::kMapOffset));
4493 __ CompareRoot(scratch1, Heap::kWeakCellMapRootIndex);
4494 __ b(ne, &try_array);
4495 HandleMonomorphicCase(masm, receiver, name, vector, slot, feedback, scratch1,
4496 &miss);
4497
4498 // Is it a fixed array?
4499 __ bind(&try_array);
4500 __ CompareRoot(scratch1, Heap::kFixedArrayMapRootIndex);
4501 __ b(ne, &not_array);
4502 HandleArrayCases(masm, receiver, name, vector, slot, feedback, scratch1, r8,
4503 r9, true, &miss);
4504
4505 __ bind(&not_array);
4506 __ CompareRoot(feedback, Heap::kmegamorphic_symbolRootIndex);
4507 __ b(ne, &miss);
4508 Code::Flags code_flags = Code::RemoveTypeAndHolderFromFlags(
4509 Code::ComputeHandlerFlags(Code::LOAD_IC));
4510 masm->isolate()->stub_cache()->GenerateProbe(masm, Code::LOAD_IC, code_flags,
4511 false, receiver, name, feedback,
4512 scratch1, r8, r9);
4513
4514 __ bind(&miss);
4515 LoadIC::GenerateMiss(masm);
4516 }
4517
4518
4519 void VectorRawKeyedLoadStub::Generate(MacroAssembler* masm) {
4520 GenerateImpl(masm, false);
4521 }
4522
4523
4524 void VectorRawKeyedLoadStub::GenerateForTrampoline(MacroAssembler* masm) {
4525 GenerateImpl(masm, true);
4526 }
4527
4528
4529 void VectorRawKeyedLoadStub::GenerateImpl(MacroAssembler* masm, bool in_frame) {
4530 Register receiver = VectorLoadICDescriptor::ReceiverRegister(); // r1
4531 Register key = VectorLoadICDescriptor::NameRegister(); // r2
4532 Register vector = VectorLoadICDescriptor::VectorRegister(); // r3
4533 Register slot = VectorLoadICDescriptor::SlotRegister(); // r0
4534 Register feedback = r4;
4535 Register scratch1 = r5;
4536
4537 __ add(feedback, vector, Operand::PointerOffsetFromSmiKey(slot));
4538 __ ldr(feedback, FieldMemOperand(feedback, FixedArray::kHeaderSize));
4539
4540 // Is it a weak cell?
4541 Label try_array;
4542 Label not_array, smi_key, key_okay, miss;
4543 __ ldr(scratch1, FieldMemOperand(feedback, HeapObject::kMapOffset));
4544 __ CompareRoot(scratch1, Heap::kWeakCellMapRootIndex);
4545 __ b(ne, &try_array);
4546 __ JumpIfNotSmi(key, &miss);
4547 HandleMonomorphicCase(masm, receiver, key, vector, slot, feedback, scratch1,
4548 &miss);
4549
4550 __ bind(&try_array);
4551 // Is it a fixed array?
4552 __ CompareRoot(scratch1, Heap::kFixedArrayMapRootIndex);
4553 __ b(ne, &not_array);
4554 // We have a polymorphic element handler.
4555 __ JumpIfNotSmi(key, &miss);
4556
4557 Label polymorphic, try_poly_name;
4558 __ bind(&polymorphic);
4559 HandleArrayCases(masm, receiver, key, vector, slot, feedback, scratch1, r8,
4560 r9, true, &miss);
4561
4562 __ bind(&not_array);
4563 // Is it generic?
4564 __ CompareRoot(feedback, Heap::kmegamorphic_symbolRootIndex);
4565 __ b(ne, &try_poly_name);
4566 Handle<Code> megamorphic_stub =
4567 KeyedLoadIC::ChooseMegamorphicStub(masm->isolate());
4568 __ Jump(megamorphic_stub, RelocInfo::CODE_TARGET);
4569
4570 __ bind(&try_poly_name);
4571 // We might have a name in feedback, and a fixed array in the next slot.
4572 __ cmp(key, feedback);
4573 __ b(ne, &miss);
4574 // If the name comparison succeeded, we know we have a fixed array with
4575 // at least one map/handler pair.
4576 __ add(feedback, vector, Operand::PointerOffsetFromSmiKey(slot));
4577 __ ldr(feedback,
4578 FieldMemOperand(feedback, FixedArray::kHeaderSize + kPointerSize));
4579 HandleArrayCases(masm, receiver, key, vector, slot, feedback, scratch1, r8,
4580 r9, false, &miss);
4581
4582 __ bind(&miss);
4583 KeyedLoadIC::GenerateMiss(masm);
4584 }
4585
4586
4352 void ProfileEntryHookStub::MaybeCallEntryHook(MacroAssembler* masm) { 4587 void ProfileEntryHookStub::MaybeCallEntryHook(MacroAssembler* masm) {
4353 if (masm->isolate()->function_entry_hook() != NULL) { 4588 if (masm->isolate()->function_entry_hook() != NULL) {
4354 ProfileEntryHookStub stub(masm->isolate()); 4589 ProfileEntryHookStub stub(masm->isolate());
4355 int code_size = masm->CallStubSize(&stub) + 2 * Assembler::kInstrSize; 4590 int code_size = masm->CallStubSize(&stub) + 2 * Assembler::kInstrSize;
4356 PredictableCodeSizeScope predictable(masm, code_size); 4591 PredictableCodeSizeScope predictable(masm, code_size);
4357 __ push(lr); 4592 __ push(lr);
4358 __ CallStub(&stub); 4593 __ CallStub(&stub);
4359 __ pop(lr); 4594 __ pop(lr);
4360 } 4595 }
4361 } 4596 }
(...skipping 692 matching lines...) Expand 10 before | Expand all | Expand 10 after
5054 kStackUnwindSpace, NULL, 5289 kStackUnwindSpace, NULL,
5055 MemOperand(fp, 6 * kPointerSize), NULL); 5290 MemOperand(fp, 6 * kPointerSize), NULL);
5056 } 5291 }
5057 5292
5058 5293
5059 #undef __ 5294 #undef __
5060 5295
5061 } } // namespace v8::internal 5296 } } // namespace v8::internal
5062 5297
5063 #endif // V8_TARGET_ARCH_ARM 5298 #endif // V8_TARGET_ARCH_ARM
OLDNEW
« no previous file with comments | « no previous file | src/arm64/code-stubs-arm64.cc » ('j') | src/x64/code-stubs-x64.cc » ('J')

Powered by Google App Engine
This is Rietveld 408576698