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

Side by Side Diff: src/compiler/x64/code-generator-x64.cc

Issue 2082263002: [turbofan]: Support using push instructions for setting up tail call parameters (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: Remove stray test change Created 4 years, 5 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
OLDNEW
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/compiler/code-generator.h" 5 #include "src/compiler/code-generator.h"
6 6
7 #include "src/ast/scopes.h" 7 #include "src/ast/scopes.h"
8 #include "src/compiler/code-generator-impl.h" 8 #include "src/compiler/code-generator-impl.h"
9 #include "src/compiler/gap-resolver.h" 9 #include "src/compiler/gap-resolver.h"
10 #include "src/compiler/node-matchers.h" 10 #include "src/compiler/node-matchers.h"
(...skipping 608 matching lines...) Expand 10 before | Expand all | Expand 10 after
619 __ PrepareCallCFunction(1); \ 619 __ PrepareCallCFunction(1); \
620 __ CallCFunction(ExternalReference::ieee754_##name##_function(isolate()), \ 620 __ CallCFunction(ExternalReference::ieee754_##name##_function(isolate()), \
621 1); \ 621 1); \
622 } while (false) 622 } while (false)
623 623
624 void CodeGenerator::AssembleDeconstructFrame() { 624 void CodeGenerator::AssembleDeconstructFrame() {
625 __ movq(rsp, rbp); 625 __ movq(rsp, rbp);
626 __ popq(rbp); 626 __ popq(rbp);
627 } 627 }
628 628
629 void CodeGenerator::AssembleDeconstructActivationRecord(int stack_param_delta) { 629 void CodeGenerator::AssemblePrepareTailCall() {
630 int sp_slot_delta = TailCallFrameStackSlotDelta(stack_param_delta);
631 if (sp_slot_delta > 0) {
632 __ addq(rsp, Immediate(sp_slot_delta * kPointerSize));
633 }
634 frame_access_state()->SetFrameAccessToDefault();
635 }
636
637
638 void CodeGenerator::AssemblePrepareTailCall(int stack_param_delta) {
639 int sp_slot_delta = TailCallFrameStackSlotDelta(stack_param_delta);
640 if (sp_slot_delta < 0) {
641 __ subq(rsp, Immediate(-sp_slot_delta * kPointerSize));
642 frame_access_state()->IncreaseSPDelta(-sp_slot_delta);
643 }
644 if (frame_access_state()->has_frame()) { 630 if (frame_access_state()->has_frame()) {
645 __ movq(rbp, MemOperand(rbp, 0)); 631 __ movq(rbp, MemOperand(rbp, 0));
646 } 632 }
647 frame_access_state()->SetFrameAccessToSP(); 633 frame_access_state()->SetFrameAccessToSP();
648 } 634 }
649 635
650 void CodeGenerator::AssemblePopArgumentsAdaptorFrame(Register args_reg, 636 void CodeGenerator::AssemblePopArgumentsAdaptorFrame(Register args_reg,
651 Register scratch1, 637 Register scratch1,
652 Register scratch2, 638 Register scratch2,
653 Register scratch3) { 639 Register scratch3) {
(...skipping 11 matching lines...) Expand all
665 __ SmiToInteger32( 651 __ SmiToInteger32(
666 caller_args_count_reg, 652 caller_args_count_reg,
667 Operand(rbp, ArgumentsAdaptorFrameConstants::kLengthOffset)); 653 Operand(rbp, ArgumentsAdaptorFrameConstants::kLengthOffset));
668 654
669 ParameterCount callee_args_count(args_reg); 655 ParameterCount callee_args_count(args_reg);
670 __ PrepareForTailCall(callee_args_count, caller_args_count_reg, scratch2, 656 __ PrepareForTailCall(callee_args_count, caller_args_count_reg, scratch2,
671 scratch3, ReturnAddressState::kOnStack); 657 scratch3, ReturnAddressState::kOnStack);
672 __ bind(&done); 658 __ bind(&done);
673 } 659 }
674 660
661 namespace {
662 void AdjustStackPointerForGap(MacroAssembler* masm, FrameAccessState* state,
663 int new_slot_above_sp,
664 bool allow_shrinkage = true) {
665 int current_sp_offset = state->GetSPToFPSlotCount() +
666 StandardFrameConstants::kFixedSlotCountAboveFp;
667 int stack_slot_delta = new_slot_above_sp - current_sp_offset;
668 if (stack_slot_delta > 0) {
669 masm->subq(rsp, Immediate(stack_slot_delta * kPointerSize));
670 state->IncreaseSPDelta(stack_slot_delta);
671 } else if (allow_shrinkage && stack_slot_delta < 0) {
672 masm->addq(rsp, Immediate(-stack_slot_delta * kPointerSize));
673 state->IncreaseSPDelta(stack_slot_delta);
674 }
675 }
676 } // namespace
677
678 void CodeGenerator::AssemblePreGaps(Instruction* instr) {
679 int first_unused_stack_slot;
680 if (!GetSlotAboveSPAfterGap(instr, &first_unused_stack_slot)) return;
681
682 GapResolver::PushTypeFlags flags = GapResolver::kImmediatePush;
Benedikt Meurer 2016/06/30 07:57:06 Nit: Merge these two lines.
danno 2016/07/01 07:31:56 Done.
683 flags |= GapResolver::kScalarPush;
684 ZoneVector<MoveOperands*> pushes(zone());
685 resolver()->GetPushCompatibleMoves(zone(), instr, flags, &pushes);
686
687 if (pushes.size() > 0 &&
Benedikt Meurer 2016/06/30 07:57:06 Nit: !pushes.empty()
danno 2016/07/01 07:31:56 Done.
688 (LocationOperand::cast(pushes.back()->destination()).index() + 1 ==
689 first_unused_stack_slot)) {
690 X64OperandConverter g(this, instr);
691 for (auto move : pushes) {
692 LocationOperand destination_location(
693 LocationOperand::cast(move->destination()));
694 InstructionOperand source(move->source());
695 AdjustStackPointerForGap(masm(), frame_access_state(),
696 destination_location.index());
697 if (source.IsStackSlot()) {
698 LocationOperand source_location(LocationOperand::cast(source));
699 __ Push(g.SlotToOperand(source_location.index()));
700 frame_access_state()->IncreaseSPDelta(1);
701 move->Eliminate();
702 } else if (source.IsRegister()) {
703 LocationOperand source_location(LocationOperand::cast(source));
704 __ Push(source_location.GetRegister());
705 frame_access_state()->IncreaseSPDelta(1);
706 move->Eliminate();
707 } else if (source.IsImmediate()) {
708 __ Push(Immediate(ImmediateOperand::cast(source).inline_value()));
709 frame_access_state()->IncreaseSPDelta(1);
710 move->Eliminate();
711 } else {
712 // Pushes of non-scalar data types is not supported.
713 UNIMPLEMENTED();
714 }
715 }
716 }
717 AdjustStackPointerForGap(masm(), frame_access_state(),
718 first_unused_stack_slot, false);
719 }
720
721 void CodeGenerator::AssemblePostGaps(Instruction* instr) {
722 int first_unused_stack_slot;
723 if (!GetSlotAboveSPAfterGap(instr, &first_unused_stack_slot)) return;
724 AdjustStackPointerForGap(masm(), frame_access_state(),
725 first_unused_stack_slot);
726 }
727
675 // Assembles an instruction after register allocation, producing machine code. 728 // Assembles an instruction after register allocation, producing machine code.
676 CodeGenerator::CodeGenResult CodeGenerator::AssembleArchInstruction( 729 CodeGenerator::CodeGenResult CodeGenerator::AssembleArchInstruction(
677 Instruction* instr) { 730 Instruction* instr) {
678 X64OperandConverter i(this, instr); 731 X64OperandConverter i(this, instr);
679 InstructionCode opcode = instr->opcode(); 732 InstructionCode opcode = instr->opcode();
680 ArchOpcode arch_opcode = ArchOpcodeField::decode(opcode); 733 ArchOpcode arch_opcode = ArchOpcodeField::decode(opcode);
681 switch (arch_opcode) { 734 switch (arch_opcode) {
682 case kArchCallCodeObject: { 735 case kArchCallCodeObject: {
683 EnsureSpaceForLazyDeopt(); 736 EnsureSpaceForLazyDeopt();
684 if (HasImmediateInput(instr, 0)) { 737 if (HasImmediateInput(instr, 0)) {
685 Handle<Code> code = Handle<Code>::cast(i.InputHeapObject(0)); 738 Handle<Code> code = Handle<Code>::cast(i.InputHeapObject(0));
686 __ Call(code, RelocInfo::CODE_TARGET); 739 __ Call(code, RelocInfo::CODE_TARGET);
687 } else { 740 } else {
688 Register reg = i.InputRegister(0); 741 Register reg = i.InputRegister(0);
689 __ addp(reg, Immediate(Code::kHeaderSize - kHeapObjectTag)); 742 __ addp(reg, Immediate(Code::kHeaderSize - kHeapObjectTag));
690 __ call(reg); 743 __ call(reg);
691 } 744 }
692 RecordCallPosition(instr); 745 RecordCallPosition(instr);
693 frame_access_state()->ClearSPDelta(); 746 frame_access_state()->ClearSPDelta();
694 break; 747 break;
695 } 748 }
696 case kArchTailCallCodeObjectFromJSFunction: 749 case kArchTailCallCodeObjectFromJSFunction:
697 case kArchTailCallCodeObject: { 750 case kArchTailCallCodeObject: {
698 int stack_param_delta = i.InputInt32(instr->InputCount() - 1);
699 AssembleDeconstructActivationRecord(stack_param_delta);
700 if (arch_opcode == kArchTailCallCodeObjectFromJSFunction) { 751 if (arch_opcode == kArchTailCallCodeObjectFromJSFunction) {
701 AssemblePopArgumentsAdaptorFrame(kJavaScriptCallArgCountRegister, 752 AssemblePopArgumentsAdaptorFrame(kJavaScriptCallArgCountRegister,
702 i.TempRegister(0), i.TempRegister(1), 753 i.TempRegister(0), i.TempRegister(1),
703 i.TempRegister(2)); 754 i.TempRegister(2));
704 } 755 }
705 if (HasImmediateInput(instr, 0)) { 756 if (HasImmediateInput(instr, 0)) {
706 Handle<Code> code = Handle<Code>::cast(i.InputHeapObject(0)); 757 Handle<Code> code = Handle<Code>::cast(i.InputHeapObject(0));
707 __ jmp(code, RelocInfo::CODE_TARGET); 758 __ jmp(code, RelocInfo::CODE_TARGET);
708 } else { 759 } else {
709 Register reg = i.InputRegister(0); 760 Register reg = i.InputRegister(0);
710 __ addp(reg, Immediate(Code::kHeaderSize - kHeapObjectTag)); 761 __ addp(reg, Immediate(Code::kHeaderSize - kHeapObjectTag));
711 __ jmp(reg); 762 __ jmp(reg);
712 } 763 }
713 frame_access_state()->ClearSPDelta(); 764 frame_access_state()->ClearSPDelta();
765 frame_access_state()->SetFrameAccessToDefault();
714 break; 766 break;
715 } 767 }
716 case kArchTailCallAddress: { 768 case kArchTailCallAddress: {
717 int stack_param_delta = i.InputInt32(instr->InputCount() - 1);
718 AssembleDeconstructActivationRecord(stack_param_delta);
719 CHECK(!HasImmediateInput(instr, 0)); 769 CHECK(!HasImmediateInput(instr, 0));
720 Register reg = i.InputRegister(0); 770 Register reg = i.InputRegister(0);
721 __ jmp(reg); 771 __ jmp(reg);
722 frame_access_state()->ClearSPDelta(); 772 frame_access_state()->ClearSPDelta();
773 frame_access_state()->SetFrameAccessToDefault();
723 break; 774 break;
724 } 775 }
725 case kArchCallJSFunction: { 776 case kArchCallJSFunction: {
726 EnsureSpaceForLazyDeopt(); 777 EnsureSpaceForLazyDeopt();
727 Register func = i.InputRegister(0); 778 Register func = i.InputRegister(0);
728 if (FLAG_debug_code) { 779 if (FLAG_debug_code) {
729 // Check the function's context matches the context argument. 780 // Check the function's context matches the context argument.
730 __ cmpp(rsi, FieldOperand(func, JSFunction::kContextOffset)); 781 __ cmpp(rsi, FieldOperand(func, JSFunction::kContextOffset));
731 __ Assert(equal, kWrongFunctionContext); 782 __ Assert(equal, kWrongFunctionContext);
732 } 783 }
733 __ Call(FieldOperand(func, JSFunction::kCodeEntryOffset)); 784 __ Call(FieldOperand(func, JSFunction::kCodeEntryOffset));
734 frame_access_state()->ClearSPDelta(); 785 frame_access_state()->ClearSPDelta();
735 RecordCallPosition(instr); 786 RecordCallPosition(instr);
736 break; 787 break;
737 } 788 }
738 case kArchTailCallJSFunctionFromJSFunction: 789 case kArchTailCallJSFunctionFromJSFunction:
739 case kArchTailCallJSFunction: { 790 case kArchTailCallJSFunction: {
740 Register func = i.InputRegister(0); 791 Register func = i.InputRegister(0);
741 if (FLAG_debug_code) { 792 if (FLAG_debug_code) {
742 // Check the function's context matches the context argument. 793 // Check the function's context matches the context argument.
743 __ cmpp(rsi, FieldOperand(func, JSFunction::kContextOffset)); 794 __ cmpp(rsi, FieldOperand(func, JSFunction::kContextOffset));
744 __ Assert(equal, kWrongFunctionContext); 795 __ Assert(equal, kWrongFunctionContext);
745 } 796 }
746 int stack_param_delta = i.InputInt32(instr->InputCount() - 1);
747 AssembleDeconstructActivationRecord(stack_param_delta);
748 if (arch_opcode == kArchTailCallJSFunctionFromJSFunction) { 797 if (arch_opcode == kArchTailCallJSFunctionFromJSFunction) {
749 AssemblePopArgumentsAdaptorFrame(kJavaScriptCallArgCountRegister, 798 AssemblePopArgumentsAdaptorFrame(kJavaScriptCallArgCountRegister,
750 i.TempRegister(0), i.TempRegister(1), 799 i.TempRegister(0), i.TempRegister(1),
751 i.TempRegister(2)); 800 i.TempRegister(2));
752 } 801 }
753 __ jmp(FieldOperand(func, JSFunction::kCodeEntryOffset)); 802 __ jmp(FieldOperand(func, JSFunction::kCodeEntryOffset));
754 frame_access_state()->ClearSPDelta(); 803 frame_access_state()->ClearSPDelta();
804 frame_access_state()->SetFrameAccessToDefault();
755 break; 805 break;
756 } 806 }
757 case kArchPrepareCallCFunction: { 807 case kArchPrepareCallCFunction: {
758 // Frame alignment requires using FP-relative frame addressing. 808 // Frame alignment requires using FP-relative frame addressing.
759 frame_access_state()->SetFrameAccessToFP(); 809 frame_access_state()->SetFrameAccessToFP();
760 int const num_parameters = MiscField::decode(instr->opcode()); 810 int const num_parameters = MiscField::decode(instr->opcode());
761 __ PrepareCallCFunction(num_parameters); 811 __ PrepareCallCFunction(num_parameters);
762 break; 812 break;
763 } 813 }
764 case kArchPrepareTailCall: 814 case kArchPrepareTailCall:
765 AssemblePrepareTailCall(i.InputInt32(instr->InputCount() - 1)); 815 AssemblePrepareTailCall();
766 break; 816 break;
767 case kArchCallCFunction: { 817 case kArchCallCFunction: {
768 int const num_parameters = MiscField::decode(instr->opcode()); 818 int const num_parameters = MiscField::decode(instr->opcode());
769 if (HasImmediateInput(instr, 0)) { 819 if (HasImmediateInput(instr, 0)) {
770 ExternalReference ref = i.InputExternalReference(0); 820 ExternalReference ref = i.InputExternalReference(0);
771 __ CallCFunction(ref, num_parameters); 821 __ CallCFunction(ref, num_parameters);
772 } else { 822 } else {
773 Register func = i.InputRegister(0); 823 Register func = i.InputRegister(0);
774 __ CallCFunction(func, num_parameters); 824 __ CallCFunction(func, num_parameters);
775 } 825 }
(...skipping 1618 matching lines...) Expand 10 before | Expand all | Expand 10 after
2394 int padding_size = last_lazy_deopt_pc_ + space_needed - current_pc; 2444 int padding_size = last_lazy_deopt_pc_ + space_needed - current_pc;
2395 __ Nop(padding_size); 2445 __ Nop(padding_size);
2396 } 2446 }
2397 } 2447 }
2398 2448
2399 #undef __ 2449 #undef __
2400 2450
2401 } // namespace compiler 2451 } // namespace compiler
2402 } // namespace internal 2452 } // namespace internal
2403 } // namespace v8 2453 } // namespace v8
OLDNEW

Powered by Google App Engine
This is Rietveld 408576698