OLD | NEW |
1 // Copyright 2014 the V8 project authors. All rights reserved. | 1 // Copyright 2014 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/code-factory.h" | 5 #include "src/code-factory.h" |
6 #include "src/compiler/access-builder.h" | 6 #include "src/compiler/access-builder.h" |
7 #include "src/compiler/js-graph.h" | 7 #include "src/compiler/js-graph.h" |
8 #include "src/compiler/js-operator.h" | 8 #include "src/compiler/js-operator.h" |
9 #include "src/compiler/js-typed-lowering.h" | 9 #include "src/compiler/js-typed-lowering.h" |
10 #include "src/compiler/machine-operator.h" | 10 #include "src/compiler/machine-operator.h" |
(...skipping 630 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
641 | 641 |
642 // ----------------------------------------------------------------------------- | 642 // ----------------------------------------------------------------------------- |
643 // JSLoadProperty | 643 // JSLoadProperty |
644 | 644 |
645 | 645 |
646 TEST_F(JSTypedLoweringTest, JSLoadPropertyFromExternalTypedArray) { | 646 TEST_F(JSTypedLoweringTest, JSLoadPropertyFromExternalTypedArray) { |
647 const size_t kLength = 17; | 647 const size_t kLength = 17; |
648 double backing_store[kLength]; | 648 double backing_store[kLength]; |
649 Handle<JSArrayBuffer> buffer = | 649 Handle<JSArrayBuffer> buffer = |
650 NewArrayBuffer(backing_store, sizeof(backing_store)); | 650 NewArrayBuffer(backing_store, sizeof(backing_store)); |
651 ResolvedFeedbackSlot feedback; | 651 VectorSlotPair feedback; |
652 TRACED_FOREACH(ExternalArrayType, type, kExternalArrayTypes) { | 652 TRACED_FOREACH(ExternalArrayType, type, kExternalArrayTypes) { |
653 Handle<JSTypedArray> array = | 653 Handle<JSTypedArray> array = |
654 factory()->NewJSTypedArray(type, buffer, 0, kLength); | 654 factory()->NewJSTypedArray(type, buffer, 0, kLength); |
655 int const element_size = static_cast<int>(array->element_size()); | 655 int const element_size = static_cast<int>(array->element_size()); |
656 | 656 |
657 Node* key = Parameter( | 657 Node* key = Parameter( |
658 Type::Range(kMinInt / element_size, kMaxInt / element_size, zone())); | 658 Type::Range(kMinInt / element_size, kMaxInt / element_size, zone())); |
659 Node* base = HeapConstant(array); | 659 Node* base = HeapConstant(array); |
660 Node* vector = UndefinedConstant(); | 660 Node* vector = UndefinedConstant(); |
661 Node* context = UndefinedConstant(); | 661 Node* context = UndefinedConstant(); |
(...skipping 18 matching lines...) Expand all Loading... |
680 control)); | 680 control)); |
681 } | 681 } |
682 } | 682 } |
683 | 683 |
684 | 684 |
685 TEST_F(JSTypedLoweringTest, JSLoadPropertyFromExternalTypedArrayWithSafeKey) { | 685 TEST_F(JSTypedLoweringTest, JSLoadPropertyFromExternalTypedArrayWithSafeKey) { |
686 const size_t kLength = 17; | 686 const size_t kLength = 17; |
687 double backing_store[kLength]; | 687 double backing_store[kLength]; |
688 Handle<JSArrayBuffer> buffer = | 688 Handle<JSArrayBuffer> buffer = |
689 NewArrayBuffer(backing_store, sizeof(backing_store)); | 689 NewArrayBuffer(backing_store, sizeof(backing_store)); |
690 ResolvedFeedbackSlot feedback; | 690 VectorSlotPair feedback; |
691 TRACED_FOREACH(ExternalArrayType, type, kExternalArrayTypes) { | 691 TRACED_FOREACH(ExternalArrayType, type, kExternalArrayTypes) { |
692 Handle<JSTypedArray> array = | 692 Handle<JSTypedArray> array = |
693 factory()->NewJSTypedArray(type, buffer, 0, kLength); | 693 factory()->NewJSTypedArray(type, buffer, 0, kLength); |
694 ElementAccess access = AccessBuilder::ForTypedArrayElement(type, true); | 694 ElementAccess access = AccessBuilder::ForTypedArrayElement(type, true); |
695 | 695 |
696 int min = random_number_generator()->NextInt(static_cast<int>(kLength)); | 696 int min = random_number_generator()->NextInt(static_cast<int>(kLength)); |
697 int max = random_number_generator()->NextInt(static_cast<int>(kLength)); | 697 int max = random_number_generator()->NextInt(static_cast<int>(kLength)); |
698 if (min > max) std::swap(min, max); | 698 if (min > max) std::swap(min, max); |
699 Node* key = Parameter(Type::Range(min, max, zone())); | 699 Node* key = Parameter(Type::Range(min, max, zone())); |
700 Node* base = HeapConstant(array); | 700 Node* base = HeapConstant(array); |
(...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
732 int const element_size = static_cast<int>(array->element_size()); | 732 int const element_size = static_cast<int>(array->element_size()); |
733 | 733 |
734 Node* key = Parameter( | 734 Node* key = Parameter( |
735 Type::Range(kMinInt / element_size, kMaxInt / element_size, zone())); | 735 Type::Range(kMinInt / element_size, kMaxInt / element_size, zone())); |
736 Node* base = HeapConstant(array); | 736 Node* base = HeapConstant(array); |
737 Node* value = | 737 Node* value = |
738 Parameter(AccessBuilder::ForTypedArrayElement(type, true).type); | 738 Parameter(AccessBuilder::ForTypedArrayElement(type, true).type); |
739 Node* context = UndefinedConstant(); | 739 Node* context = UndefinedConstant(); |
740 Node* effect = graph()->start(); | 740 Node* effect = graph()->start(); |
741 Node* control = graph()->start(); | 741 Node* control = graph()->start(); |
742 ResolvedFeedbackSlot slot; | 742 VectorSlotPair feedback; |
743 Node* node = | 743 Node* node = |
744 graph()->NewNode(javascript()->StoreProperty(language_mode, slot), | 744 graph()->NewNode(javascript()->StoreProperty(language_mode, feedback), |
745 base, key, value, context); | 745 base, key, value, context); |
746 for (int i = 0; | 746 for (int i = 0; |
747 i < OperatorProperties::GetFrameStateInputCount(node->op()); i++) { | 747 i < OperatorProperties::GetFrameStateInputCount(node->op()); i++) { |
748 node->AppendInput(zone(), EmptyFrameState()); | 748 node->AppendInput(zone(), EmptyFrameState()); |
749 } | 749 } |
750 node->AppendInput(zone(), effect); | 750 node->AppendInput(zone(), effect); |
751 node->AppendInput(zone(), control); | 751 node->AppendInput(zone(), control); |
752 Reduction r = Reduce(node); | 752 Reduction r = Reduce(node); |
753 | 753 |
754 Matcher<Node*> offset_matcher = | 754 Matcher<Node*> offset_matcher = |
(...skipping 25 matching lines...) Expand all Loading... |
780 factory()->NewJSTypedArray(type, buffer, 0, kLength); | 780 factory()->NewJSTypedArray(type, buffer, 0, kLength); |
781 int const element_size = static_cast<int>(array->element_size()); | 781 int const element_size = static_cast<int>(array->element_size()); |
782 | 782 |
783 Node* key = Parameter( | 783 Node* key = Parameter( |
784 Type::Range(kMinInt / element_size, kMaxInt / element_size, zone())); | 784 Type::Range(kMinInt / element_size, kMaxInt / element_size, zone())); |
785 Node* base = HeapConstant(array); | 785 Node* base = HeapConstant(array); |
786 Node* value = Parameter(Type::Any()); | 786 Node* value = Parameter(Type::Any()); |
787 Node* context = UndefinedConstant(); | 787 Node* context = UndefinedConstant(); |
788 Node* effect = graph()->start(); | 788 Node* effect = graph()->start(); |
789 Node* control = graph()->start(); | 789 Node* control = graph()->start(); |
790 ResolvedFeedbackSlot slot; | 790 VectorSlotPair feedback; |
791 Node* node = | 791 Node* node = |
792 graph()->NewNode(javascript()->StoreProperty(language_mode, slot), | 792 graph()->NewNode(javascript()->StoreProperty(language_mode, feedback), |
793 base, key, value, context); | 793 base, key, value, context); |
794 for (int i = 0; | 794 for (int i = 0; |
795 i < OperatorProperties::GetFrameStateInputCount(node->op()); i++) { | 795 i < OperatorProperties::GetFrameStateInputCount(node->op()); i++) { |
796 node->AppendInput(zone(), EmptyFrameState()); | 796 node->AppendInput(zone(), EmptyFrameState()); |
797 } | 797 } |
798 node->AppendInput(zone(), effect); | 798 node->AppendInput(zone(), effect); |
799 node->AppendInput(zone(), control); | 799 node->AppendInput(zone(), control); |
800 Reduction r = Reduce(node); | 800 Reduction r = Reduce(node); |
801 | 801 |
802 Matcher<Node*> offset_matcher = | 802 Matcher<Node*> offset_matcher = |
(...skipping 38 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
841 | 841 |
842 int min = random_number_generator()->NextInt(static_cast<int>(kLength)); | 842 int min = random_number_generator()->NextInt(static_cast<int>(kLength)); |
843 int max = random_number_generator()->NextInt(static_cast<int>(kLength)); | 843 int max = random_number_generator()->NextInt(static_cast<int>(kLength)); |
844 if (min > max) std::swap(min, max); | 844 if (min > max) std::swap(min, max); |
845 Node* key = Parameter(Type::Range(min, max, zone())); | 845 Node* key = Parameter(Type::Range(min, max, zone())); |
846 Node* base = HeapConstant(array); | 846 Node* base = HeapConstant(array); |
847 Node* value = Parameter(access.type); | 847 Node* value = Parameter(access.type); |
848 Node* context = UndefinedConstant(); | 848 Node* context = UndefinedConstant(); |
849 Node* effect = graph()->start(); | 849 Node* effect = graph()->start(); |
850 Node* control = graph()->start(); | 850 Node* control = graph()->start(); |
851 ResolvedFeedbackSlot slot; | 851 VectorSlotPair feedback; |
852 Node* node = | 852 Node* node = |
853 graph()->NewNode(javascript()->StoreProperty(language_mode, slot), | 853 graph()->NewNode(javascript()->StoreProperty(language_mode, feedback), |
854 base, key, value, context); | 854 base, key, value, context); |
855 for (int i = 0; | 855 for (int i = 0; |
856 i < OperatorProperties::GetFrameStateInputCount(node->op()); i++) { | 856 i < OperatorProperties::GetFrameStateInputCount(node->op()); i++) { |
857 node->AppendInput(zone(), EmptyFrameState()); | 857 node->AppendInput(zone(), EmptyFrameState()); |
858 } | 858 } |
859 node->AppendInput(zone(), effect); | 859 node->AppendInput(zone(), effect); |
860 node->AppendInput(zone(), control); | 860 node->AppendInput(zone(), control); |
861 Reduction r = Reduce(node); | 861 Reduction r = Reduce(node); |
862 | 862 |
863 ASSERT_TRUE(r.Changed()); | 863 ASSERT_TRUE(r.Changed()); |
(...skipping 13 matching lines...) Expand all Loading... |
877 Handle<String>(isolate()->heap()->infinity_string(), isolate()), | 877 Handle<String>(isolate()->heap()->infinity_string(), isolate()), |
878 Handle<String>(isolate()->heap()->nan_string(), isolate()) // -- | 878 Handle<String>(isolate()->heap()->nan_string(), isolate()) // -- |
879 }; | 879 }; |
880 Matcher<Node*> matches[] = { | 880 Matcher<Node*> matches[] = { |
881 IsHeapConstant(Unique<HeapObject>::CreateImmovable( | 881 IsHeapConstant(Unique<HeapObject>::CreateImmovable( |
882 Handle<HeapObject>(isolate()->heap()->undefined_value(), isolate()))), | 882 Handle<HeapObject>(isolate()->heap()->undefined_value(), isolate()))), |
883 IsNumberConstant(std::numeric_limits<double>::infinity()), | 883 IsNumberConstant(std::numeric_limits<double>::infinity()), |
884 IsNumberConstant(IsNaN()) // -- | 884 IsNumberConstant(IsNaN()) // -- |
885 }; | 885 }; |
886 | 886 |
887 ResolvedFeedbackSlot feedback; | 887 VectorSlotPair feedback; |
888 Node* global = Parameter(Type::GlobalObject()); | 888 Node* global = Parameter(Type::GlobalObject()); |
889 Node* vector = UndefinedConstant(); | 889 Node* vector = UndefinedConstant(); |
890 Node* context = UndefinedConstant(); | 890 Node* context = UndefinedConstant(); |
891 Node* effect = graph()->start(); | 891 Node* effect = graph()->start(); |
892 Node* control = graph()->start(); | 892 Node* control = graph()->start(); |
893 | 893 |
894 for (size_t i = 0; i < arraysize(names); i++) { | 894 for (size_t i = 0; i < arraysize(names); i++) { |
895 Unique<Name> name = Unique<Name>::CreateImmovable(names[i]); | 895 Unique<Name> name = Unique<Name>::CreateImmovable(names[i]); |
896 Reduction r = Reduce(graph()->NewNode( | 896 Reduction r = Reduce(graph()->NewNode( |
897 javascript()->LoadNamed(name, feedback), global, vector, context, | 897 javascript()->LoadNamed(name, feedback), global, vector, context, |
898 EmptyFrameState(), EmptyFrameState(), effect, control)); | 898 EmptyFrameState(), EmptyFrameState(), effect, control)); |
899 | 899 |
900 ASSERT_TRUE(r.Changed()); | 900 ASSERT_TRUE(r.Changed()); |
901 EXPECT_THAT(r.replacement(), matches[i]); | 901 EXPECT_THAT(r.replacement(), matches[i]); |
902 } | 902 } |
903 } | 903 } |
904 | 904 |
905 | 905 |
906 // ----------------------------------------------------------------------------- | 906 // ----------------------------------------------------------------------------- |
907 // JSLoadDynamicGlobal | 907 // JSLoadDynamicGlobal |
908 | 908 |
909 | 909 |
910 TEST_F(JSTypedLoweringTest, JSLoadDynamicGlobal) { | 910 TEST_F(JSTypedLoweringTest, JSLoadDynamicGlobal) { |
911 Node* const context = Parameter(Type::Any()); | 911 Node* const context = Parameter(Type::Any()); |
912 Node* const vector = UndefinedConstant(); | 912 Node* const vector = UndefinedConstant(); |
913 Node* const frame_state = EmptyFrameState(); | 913 Node* const frame_state = EmptyFrameState(); |
914 Node* const effect = graph()->start(); | 914 Node* const effect = graph()->start(); |
915 Node* const control = graph()->start(); | 915 Node* const control = graph()->start(); |
916 Handle<String> name = factory()->object_string(); | 916 Handle<String> name = factory()->object_string(); |
917 ResolvedFeedbackSlot feedback; | 917 VectorSlotPair feedback; |
918 for (int i = 0; i < DynamicGlobalAccess::kMaxCheckDepth; ++i) { | 918 for (int i = 0; i < DynamicGlobalAccess::kMaxCheckDepth; ++i) { |
919 uint32_t bitset = 1 << i; // Only single check. | 919 uint32_t bitset = 1 << i; // Only single check. |
920 Reduction r = Reduce(graph()->NewNode( | 920 Reduction r = Reduce(graph()->NewNode( |
921 javascript()->LoadDynamicGlobal(name, bitset, feedback, NOT_CONTEXTUAL), | 921 javascript()->LoadDynamicGlobal(name, bitset, feedback, NOT_CONTEXTUAL), |
922 vector, context, context, frame_state, frame_state, effect, control)); | 922 vector, context, context, frame_state, frame_state, effect, control)); |
923 ASSERT_TRUE(r.Changed()); | 923 ASSERT_TRUE(r.Changed()); |
924 EXPECT_THAT( | 924 EXPECT_THAT( |
925 r.replacement(), | 925 r.replacement(), |
926 IsPhi(kMachAnyTagged, _, _, | 926 IsPhi(kMachAnyTagged, _, _, |
927 IsMerge( | 927 IsMerge( |
(...skipping 165 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1093 EXPECT_THAT(r.replacement(), | 1093 EXPECT_THAT(r.replacement(), |
1094 IsFinish(IsAllocate(IsNumberConstant(Context::SizeFor( | 1094 IsFinish(IsAllocate(IsNumberConstant(Context::SizeFor( |
1095 Context::MIN_CONTEXT_SLOTS)), | 1095 Context::MIN_CONTEXT_SLOTS)), |
1096 effect, control), | 1096 effect, control), |
1097 _)); | 1097 _)); |
1098 } | 1098 } |
1099 | 1099 |
1100 } // namespace compiler | 1100 } // namespace compiler |
1101 } // namespace internal | 1101 } // namespace internal |
1102 } // namespace v8 | 1102 } // namespace v8 |
OLD | NEW |