OLD | NEW |
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_X64 | 7 #if V8_TARGET_ARCH_X64 |
8 | 8 |
9 #include "src/arguments.h" | 9 #include "src/arguments.h" |
10 #include "src/codegen.h" | 10 #include "src/codegen.h" |
(...skipping 709 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
720 } | 720 } |
721 | 721 |
722 | 722 |
723 void NamedLoadHandlerCompiler::GenerateLoadConstant(Handle<Object> value) { | 723 void NamedLoadHandlerCompiler::GenerateLoadConstant(Handle<Object> value) { |
724 // Return the constant value. | 724 // Return the constant value. |
725 __ Move(rax, value); | 725 __ Move(rax, value); |
726 __ ret(0); | 726 __ ret(0); |
727 } | 727 } |
728 | 728 |
729 | 729 |
730 void NamedLoadHandlerCompiler::GenerateLoadInterceptor(Register holder_reg, | 730 void NamedLoadHandlerCompiler::GenerateLoadInterceptorWithFollowup( |
731 LookupResult* lookup, | 731 LookupIterator* it, Register holder_reg) { |
732 Handle<Name> name) { | |
733 DCHECK(holder()->HasNamedInterceptor()); | 732 DCHECK(holder()->HasNamedInterceptor()); |
734 DCHECK(!holder()->GetNamedInterceptor()->getter()->IsUndefined()); | 733 DCHECK(!holder()->GetNamedInterceptor()->getter()->IsUndefined()); |
735 | 734 |
736 // So far the most popular follow ups for interceptor loads are FIELD | 735 // Compile the interceptor call, followed by inline code to load the |
737 // and CALLBACKS, so inline only them, other cases may be added | 736 // property from further up the prototype chain if the call fails. |
738 // later. | 737 // Check that the maps haven't changed. |
739 bool compile_followup_inline = false; | 738 DCHECK(holder_reg.is(receiver()) || holder_reg.is(scratch1())); |
740 if (lookup->IsFound() && lookup->IsCacheable()) { | 739 |
741 if (lookup->IsField()) { | 740 // Preserve the receiver register explicitly whenever it is different from the |
742 compile_followup_inline = true; | 741 // holder and it is needed should the interceptor return without any result. |
743 } else if (lookup->type() == CALLBACKS && | 742 // The ACCESSOR case needs the receiver to be passed into C++ code, the FIELD |
744 lookup->GetCallbackObject()->IsExecutableAccessorInfo()) { | 743 // case might cause a miss during the prototype check. |
745 Handle<ExecutableAccessorInfo> callback( | 744 bool must_perfrom_prototype_check = |
746 ExecutableAccessorInfo::cast(lookup->GetCallbackObject())); | 745 !holder().is_identical_to(it->GetHolder<JSObject>()); |
747 compile_followup_inline = | 746 bool must_preserve_receiver_reg = |
748 callback->getter() != NULL && | 747 !receiver().is(holder_reg) && |
749 ExecutableAccessorInfo::IsCompatibleReceiverType(isolate(), callback, | 748 (it->property_kind() == LookupIterator::ACCESSOR || |
750 type()); | 749 must_perfrom_prototype_check); |
| 750 |
| 751 // Save necessary data before invoking an interceptor. |
| 752 // Requires a frame to make GC aware of pushed pointers. |
| 753 { |
| 754 FrameScope frame_scope(masm(), StackFrame::INTERNAL); |
| 755 |
| 756 if (must_preserve_receiver_reg) { |
| 757 __ Push(receiver()); |
751 } | 758 } |
| 759 __ Push(holder_reg); |
| 760 __ Push(this->name()); |
| 761 |
| 762 // Invoke an interceptor. Note: map checks from receiver to |
| 763 // interceptor's holder has been compiled before (see a caller |
| 764 // of this method.) |
| 765 CompileCallLoadPropertyWithInterceptor( |
| 766 masm(), receiver(), holder_reg, this->name(), holder(), |
| 767 IC::kLoadPropertyWithInterceptorOnly); |
| 768 |
| 769 // Check if interceptor provided a value for property. If it's |
| 770 // the case, return immediately. |
| 771 Label interceptor_failed; |
| 772 __ CompareRoot(rax, Heap::kNoInterceptorResultSentinelRootIndex); |
| 773 __ j(equal, &interceptor_failed); |
| 774 frame_scope.GenerateLeaveFrame(); |
| 775 __ ret(0); |
| 776 |
| 777 __ bind(&interceptor_failed); |
| 778 __ Pop(this->name()); |
| 779 __ Pop(holder_reg); |
| 780 if (must_preserve_receiver_reg) { |
| 781 __ Pop(receiver()); |
| 782 } |
| 783 |
| 784 // Leave the internal frame. |
752 } | 785 } |
753 | 786 |
754 if (compile_followup_inline) { | 787 GenerateLoadPostInterceptor(it, holder_reg); |
755 // Compile the interceptor call, followed by inline code to load the | |
756 // property from further up the prototype chain if the call fails. | |
757 // Check that the maps haven't changed. | |
758 DCHECK(holder_reg.is(receiver()) || holder_reg.is(scratch1())); | |
759 | |
760 // Preserve the receiver register explicitly whenever it is different from | |
761 // the holder and it is needed should the interceptor return without any | |
762 // result. The CALLBACKS case needs the receiver to be passed into C++ code, | |
763 // the FIELD case might cause a miss during the prototype check. | |
764 bool must_perfrom_prototype_check = *holder() != lookup->holder(); | |
765 bool must_preserve_receiver_reg = !receiver().is(holder_reg) && | |
766 (lookup->type() == CALLBACKS || must_perfrom_prototype_check); | |
767 | |
768 // Save necessary data before invoking an interceptor. | |
769 // Requires a frame to make GC aware of pushed pointers. | |
770 { | |
771 FrameScope frame_scope(masm(), StackFrame::INTERNAL); | |
772 | |
773 if (must_preserve_receiver_reg) { | |
774 __ Push(receiver()); | |
775 } | |
776 __ Push(holder_reg); | |
777 __ Push(this->name()); | |
778 | |
779 // Invoke an interceptor. Note: map checks from receiver to | |
780 // interceptor's holder has been compiled before (see a caller | |
781 // of this method.) | |
782 CompileCallLoadPropertyWithInterceptor( | |
783 masm(), receiver(), holder_reg, this->name(), holder(), | |
784 IC::kLoadPropertyWithInterceptorOnly); | |
785 | |
786 // Check if interceptor provided a value for property. If it's | |
787 // the case, return immediately. | |
788 Label interceptor_failed; | |
789 __ CompareRoot(rax, Heap::kNoInterceptorResultSentinelRootIndex); | |
790 __ j(equal, &interceptor_failed); | |
791 frame_scope.GenerateLeaveFrame(); | |
792 __ ret(0); | |
793 | |
794 __ bind(&interceptor_failed); | |
795 __ Pop(this->name()); | |
796 __ Pop(holder_reg); | |
797 if (must_preserve_receiver_reg) { | |
798 __ Pop(receiver()); | |
799 } | |
800 | |
801 // Leave the internal frame. | |
802 } | |
803 | |
804 GenerateLoadPostInterceptor(holder_reg, name, lookup); | |
805 } else { // !compile_followup_inline | |
806 // Call the runtime system to load the interceptor. | |
807 // Check that the maps haven't changed. | |
808 __ PopReturnAddressTo(scratch2()); | |
809 PushInterceptorArguments(masm(), receiver(), holder_reg, this->name(), | |
810 holder()); | |
811 __ PushReturnAddressFrom(scratch2()); | |
812 | |
813 ExternalReference ref = ExternalReference( | |
814 IC_Utility(IC::kLoadPropertyWithInterceptor), isolate()); | |
815 __ TailCallExternalReference( | |
816 ref, NamedLoadHandlerCompiler::kInterceptorArgsLength, 1); | |
817 } | |
818 } | 788 } |
819 | 789 |
820 | 790 |
| 791 void NamedLoadHandlerCompiler::GenerateLoadInterceptor(Register holder_reg) { |
| 792 // Call the runtime system to load the interceptor. |
| 793 DCHECK(holder()->HasNamedInterceptor()); |
| 794 DCHECK(!holder()->GetNamedInterceptor()->getter()->IsUndefined()); |
| 795 __ PopReturnAddressTo(scratch2()); |
| 796 PushInterceptorArguments(masm(), receiver(), holder_reg, this->name(), |
| 797 holder()); |
| 798 __ PushReturnAddressFrom(scratch2()); |
| 799 |
| 800 ExternalReference ref = ExternalReference( |
| 801 IC_Utility(IC::kLoadPropertyWithInterceptor), isolate()); |
| 802 __ TailCallExternalReference( |
| 803 ref, NamedLoadHandlerCompiler::kInterceptorArgsLength, 1); |
| 804 } |
| 805 |
| 806 |
821 Handle<Code> NamedStoreHandlerCompiler::CompileStoreCallback( | 807 Handle<Code> NamedStoreHandlerCompiler::CompileStoreCallback( |
822 Handle<JSObject> object, Handle<Name> name, | 808 Handle<JSObject> object, Handle<Name> name, |
823 Handle<ExecutableAccessorInfo> callback) { | 809 Handle<ExecutableAccessorInfo> callback) { |
824 Register holder_reg = Frontend(receiver(), name); | 810 Register holder_reg = Frontend(receiver(), name); |
825 | 811 |
826 __ PopReturnAddressTo(scratch1()); | 812 __ PopReturnAddressTo(scratch1()); |
827 __ Push(receiver()); | 813 __ Push(receiver()); |
828 __ Push(holder_reg); | 814 __ Push(holder_reg); |
829 __ Push(callback); // callback info | 815 __ Push(callback); // callback info |
830 __ Push(name); | 816 __ Push(name); |
(...skipping 308 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1139 // ----------------------------------- | 1125 // ----------------------------------- |
1140 TailCallBuiltin(masm, Builtins::kKeyedLoadIC_Miss); | 1126 TailCallBuiltin(masm, Builtins::kKeyedLoadIC_Miss); |
1141 } | 1127 } |
1142 | 1128 |
1143 | 1129 |
1144 #undef __ | 1130 #undef __ |
1145 | 1131 |
1146 } } // namespace v8::internal | 1132 } } // namespace v8::internal |
1147 | 1133 |
1148 #endif // V8_TARGET_ARCH_X64 | 1134 #endif // V8_TARGET_ARCH_X64 |
OLD | NEW |