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

Side by Side Diff: test/unittests/compiler/js-typed-lowering-unittest.cc

Issue 1175503002: Turbofan: Make type feedback vector a Node. (Closed) Base URL: https://chromium.googlesource.com/v8/v8.git@master
Patch Set: REBASE. Created 5 years, 6 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 | « test/unittests/compiler/js-type-feedback-unittest.cc ('k') | no next file » | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
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
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 VectorSlotPair feedback(Handle<TypeFeedbackVector>::null(), 651 ResolvedFeedbackSlot feedback;
652 FeedbackVectorICSlot::Invalid());
653 TRACED_FOREACH(ExternalArrayType, type, kExternalArrayTypes) { 652 TRACED_FOREACH(ExternalArrayType, type, kExternalArrayTypes) {
654 Handle<JSTypedArray> array = 653 Handle<JSTypedArray> array =
655 factory()->NewJSTypedArray(type, buffer, 0, kLength); 654 factory()->NewJSTypedArray(type, buffer, 0, kLength);
656 int const element_size = static_cast<int>(array->element_size()); 655 int const element_size = static_cast<int>(array->element_size());
657 656
658 Node* key = Parameter( 657 Node* key = Parameter(
659 Type::Range(kMinInt / element_size, kMaxInt / element_size, zone())); 658 Type::Range(kMinInt / element_size, kMaxInt / element_size, zone()));
660 Node* base = HeapConstant(array); 659 Node* base = HeapConstant(array);
660 Node* vector = UndefinedConstant();
661 Node* context = UndefinedConstant(); 661 Node* context = UndefinedConstant();
662 Node* effect = graph()->start(); 662 Node* effect = graph()->start();
663 Node* control = graph()->start(); 663 Node* control = graph()->start();
664 Reduction r = Reduce(graph()->NewNode(javascript()->LoadProperty(feedback), 664 Reduction r = Reduce(graph()->NewNode(
665 base, key, context, EmptyFrameState(), 665 javascript()->LoadProperty(feedback), base, key, vector, context,
666 EmptyFrameState(), effect, control)); 666 EmptyFrameState(), EmptyFrameState(), effect, control));
667 667
668 Matcher<Node*> offset_matcher = 668 Matcher<Node*> offset_matcher =
669 element_size == 1 669 element_size == 1
670 ? key 670 ? key
671 : IsWord32Shl(key, IsInt32Constant(WhichPowerOf2(element_size))); 671 : IsWord32Shl(key, IsInt32Constant(WhichPowerOf2(element_size)));
672 672
673 ASSERT_TRUE(r.Changed()); 673 ASSERT_TRUE(r.Changed());
674 EXPECT_THAT( 674 EXPECT_THAT(
675 r.replacement(), 675 r.replacement(),
676 IsLoadBuffer(BufferAccess(type), 676 IsLoadBuffer(BufferAccess(type),
677 IsIntPtrConstant(bit_cast<intptr_t>(&backing_store[0])), 677 IsIntPtrConstant(bit_cast<intptr_t>(&backing_store[0])),
678 offset_matcher, 678 offset_matcher,
679 IsNumberConstant(array->byte_length()->Number()), effect, 679 IsNumberConstant(array->byte_length()->Number()), effect,
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 VectorSlotPair feedback(Handle<TypeFeedbackVector>::null(), 690 ResolvedFeedbackSlot feedback;
691 FeedbackVectorICSlot::Invalid());
692 TRACED_FOREACH(ExternalArrayType, type, kExternalArrayTypes) { 691 TRACED_FOREACH(ExternalArrayType, type, kExternalArrayTypes) {
693 Handle<JSTypedArray> array = 692 Handle<JSTypedArray> array =
694 factory()->NewJSTypedArray(type, buffer, 0, kLength); 693 factory()->NewJSTypedArray(type, buffer, 0, kLength);
695 ElementAccess access = AccessBuilder::ForTypedArrayElement(type, true); 694 ElementAccess access = AccessBuilder::ForTypedArrayElement(type, true);
696 695
697 int min = random_number_generator()->NextInt(static_cast<int>(kLength)); 696 int min = random_number_generator()->NextInt(static_cast<int>(kLength));
698 int max = random_number_generator()->NextInt(static_cast<int>(kLength)); 697 int max = random_number_generator()->NextInt(static_cast<int>(kLength));
699 if (min > max) std::swap(min, max); 698 if (min > max) std::swap(min, max);
700 Node* key = Parameter(Type::Range(min, max, zone())); 699 Node* key = Parameter(Type::Range(min, max, zone()));
701 Node* base = HeapConstant(array); 700 Node* base = HeapConstant(array);
701 Node* vector = UndefinedConstant();
702 Node* context = UndefinedConstant(); 702 Node* context = UndefinedConstant();
703 Node* effect = graph()->start(); 703 Node* effect = graph()->start();
704 Node* control = graph()->start(); 704 Node* control = graph()->start();
705 Reduction r = Reduce(graph()->NewNode(javascript()->LoadProperty(feedback), 705 Reduction r = Reduce(graph()->NewNode(
706 base, key, context, EmptyFrameState(), 706 javascript()->LoadProperty(feedback), base, key, vector, context,
707 EmptyFrameState(), effect, control)); 707 EmptyFrameState(), EmptyFrameState(), effect, control));
708 708
709 ASSERT_TRUE(r.Changed()); 709 ASSERT_TRUE(r.Changed());
710 EXPECT_THAT( 710 EXPECT_THAT(
711 r.replacement(), 711 r.replacement(),
712 IsLoadElement(access, 712 IsLoadElement(access,
713 IsIntPtrConstant(bit_cast<intptr_t>(&backing_store[0])), 713 IsIntPtrConstant(bit_cast<intptr_t>(&backing_store[0])),
714 key, effect, control)); 714 key, effect, control));
715 } 715 }
716 } 716 }
717 717
(...skipping 153 matching lines...) Expand 10 before | Expand all | Expand 10 after
871 Handle<String>(isolate()->heap()->infinity_string(), isolate()), 871 Handle<String>(isolate()->heap()->infinity_string(), isolate()),
872 Handle<String>(isolate()->heap()->nan_string(), isolate()) // -- 872 Handle<String>(isolate()->heap()->nan_string(), isolate()) // --
873 }; 873 };
874 Matcher<Node*> matches[] = { 874 Matcher<Node*> matches[] = {
875 IsHeapConstant(Unique<HeapObject>::CreateImmovable( 875 IsHeapConstant(Unique<HeapObject>::CreateImmovable(
876 Handle<HeapObject>(isolate()->heap()->undefined_value(), isolate()))), 876 Handle<HeapObject>(isolate()->heap()->undefined_value(), isolate()))),
877 IsNumberConstant(std::numeric_limits<double>::infinity()), 877 IsNumberConstant(std::numeric_limits<double>::infinity()),
878 IsNumberConstant(IsNaN()) // -- 878 IsNumberConstant(IsNaN()) // --
879 }; 879 };
880 880
881 VectorSlotPair feedback(Handle<TypeFeedbackVector>::null(), 881 ResolvedFeedbackSlot feedback;
882 FeedbackVectorICSlot::Invalid());
883 Node* global = Parameter(Type::GlobalObject()); 882 Node* global = Parameter(Type::GlobalObject());
883 Node* vector = UndefinedConstant();
884 Node* context = UndefinedConstant(); 884 Node* context = UndefinedConstant();
885 Node* effect = graph()->start(); 885 Node* effect = graph()->start();
886 Node* control = graph()->start(); 886 Node* control = graph()->start();
887 887
888 for (size_t i = 0; i < arraysize(names); i++) { 888 for (size_t i = 0; i < arraysize(names); i++) {
889 Unique<Name> name = Unique<Name>::CreateImmovable(names[i]); 889 Unique<Name> name = Unique<Name>::CreateImmovable(names[i]);
890 Reduction r = Reduce(graph()->NewNode( 890 Reduction r = Reduce(graph()->NewNode(
891 javascript()->LoadNamed(name, feedback), global, context, 891 javascript()->LoadNamed(name, feedback), global, vector, context,
892 EmptyFrameState(), EmptyFrameState(), effect, control)); 892 EmptyFrameState(), EmptyFrameState(), effect, control));
893 893
894 ASSERT_TRUE(r.Changed()); 894 ASSERT_TRUE(r.Changed());
895 EXPECT_THAT(r.replacement(), matches[i]); 895 EXPECT_THAT(r.replacement(), matches[i]);
896 } 896 }
897 } 897 }
898 898
899 899
900 // ----------------------------------------------------------------------------- 900 // -----------------------------------------------------------------------------
901 // JSLoadDynamicGlobal 901 // JSLoadDynamicGlobal
902 902
903 903
904 TEST_F(JSTypedLoweringTest, JSLoadDynamicGlobal) { 904 TEST_F(JSTypedLoweringTest, JSLoadDynamicGlobal) {
905 Node* const context = Parameter(Type::Any()); 905 Node* const context = Parameter(Type::Any());
906 Node* const vector = UndefinedConstant();
906 Node* const frame_state = EmptyFrameState(); 907 Node* const frame_state = EmptyFrameState();
907 Node* const effect = graph()->start(); 908 Node* const effect = graph()->start();
908 Node* const control = graph()->start(); 909 Node* const control = graph()->start();
909 Handle<String> name = factory()->object_string(); 910 Handle<String> name = factory()->object_string();
910 VectorSlotPair feedback(Handle<TypeFeedbackVector>::null(), 911 ResolvedFeedbackSlot feedback;
911 FeedbackVectorICSlot::Invalid());
912 for (int i = 0; i < DynamicGlobalAccess::kMaxCheckDepth; ++i) { 912 for (int i = 0; i < DynamicGlobalAccess::kMaxCheckDepth; ++i) {
913 uint32_t bitset = 1 << i; // Only single check. 913 uint32_t bitset = 1 << i; // Only single check.
914 Reduction r = Reduce(graph()->NewNode( 914 Reduction r = Reduce(graph()->NewNode(
915 javascript()->LoadDynamicGlobal(name, bitset, feedback, NOT_CONTEXTUAL), 915 javascript()->LoadDynamicGlobal(name, bitset, feedback, NOT_CONTEXTUAL),
916 context, context, frame_state, frame_state, effect, control)); 916 vector, context, context, frame_state, frame_state, effect, control));
917 ASSERT_TRUE(r.Changed()); 917 ASSERT_TRUE(r.Changed());
918 EXPECT_THAT( 918 EXPECT_THAT(
919 r.replacement(), 919 r.replacement(),
920 IsPhi(kMachAnyTagged, _, _, 920 IsPhi(kMachAnyTagged, _, _,
921 IsMerge( 921 IsMerge(
922 IsIfTrue(IsBranch( 922 IsIfTrue(IsBranch(
923 IsReferenceEqual( 923 IsReferenceEqual(
924 Type::Tagged(), 924 Type::Tagged(),
925 IsLoadContext( 925 IsLoadContext(
926 ContextAccess(i, Context::EXTENSION_INDEX, false), 926 ContextAccess(i, Context::EXTENSION_INDEX, false),
(...skipping 160 matching lines...) Expand 10 before | Expand all | Expand 10 after
1087 EXPECT_THAT(r.replacement(), 1087 EXPECT_THAT(r.replacement(),
1088 IsFinish(IsAllocate(IsNumberConstant(Context::SizeFor( 1088 IsFinish(IsAllocate(IsNumberConstant(Context::SizeFor(
1089 Context::MIN_CONTEXT_SLOTS)), 1089 Context::MIN_CONTEXT_SLOTS)),
1090 effect, control), 1090 effect, control),
1091 _)); 1091 _));
1092 } 1092 }
1093 1093
1094 } // namespace compiler 1094 } // namespace compiler
1095 } // namespace internal 1095 } // namespace internal
1096 } // namespace v8 1096 } // namespace v8
OLDNEW
« no previous file with comments | « test/unittests/compiler/js-type-feedback-unittest.cc ('k') | no next file » | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698