OLD | NEW |
1 // Copyright 2015 the V8 project authors. All rights reserved. | 1 // Copyright 2015 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/common-operator.h" | 5 #include "src/compiler/common-operator.h" |
6 #include "src/compiler/node-properties.h" | 6 #include "src/compiler/node-properties.h" |
7 #include "test/unittests/test-utils.h" | 7 #include "test/unittests/test-utils.h" |
8 #include "testing/gmock/include/gmock/gmock.h" | 8 #include "testing/gmock/include/gmock/gmock.h" |
9 | 9 |
10 using testing::AnyOf; | 10 using testing::AnyOf; |
11 using testing::ElementsAre; | 11 using testing::ElementsAre; |
12 using testing::IsNull; | 12 using testing::IsNull; |
13 | 13 |
14 namespace v8 { | 14 namespace v8 { |
15 namespace internal { | 15 namespace internal { |
16 namespace compiler { | 16 namespace compiler { |
17 | 17 |
18 class NodePropertiesTest : public TestWithZone { | 18 class NodePropertiesTest : public TestWithZone { |
19 public: | 19 public: |
20 Node* NewMockNode(const Operator* op, int input_count, Node** inputs) { | 20 Node* NewMockNode(const Operator* op) { |
21 return Node::New(zone(), 0, op, input_count, inputs, false); | 21 return Node::New(zone(), 0, op, 0, nullptr, false); |
| 22 } |
| 23 Node* NewMockNode(const Operator* op, Node* n1) { |
| 24 Node* nodes[] = {n1}; |
| 25 return Node::New(zone(), 0, op, arraysize(nodes), nodes, false); |
| 26 } |
| 27 Node* NewMockNode(const Operator* op, Node* n1, Node* n2) { |
| 28 Node* nodes[] = {n1, n2}; |
| 29 return Node::New(zone(), 0, op, arraysize(nodes), nodes, false); |
22 } | 30 } |
23 }; | 31 }; |
24 | 32 |
25 namespace { | 33 namespace { |
26 | 34 |
27 const Operator kMockOperator(IrOpcode::kDead, Operator::kNoProperties, | 35 const Operator kMockOperator(IrOpcode::kDead, Operator::kNoProperties, |
28 "MockOperator", 0, 0, 0, 1, 1, 2); | 36 "MockOperator", 0, 0, 0, 1, 1, 2); |
29 const Operator kMockCallOperator(IrOpcode::kCall, Operator::kNoProperties, | 37 const Operator kMockCallOperator(IrOpcode::kCall, Operator::kNoProperties, |
30 "MockCallOperator", 0, 0, 0, 0, 0, 2); | 38 "MockCallOperator", 0, 0, 0, 0, 0, 2); |
31 | 39 |
| 40 const IfExceptionHint kNoHint = IfExceptionHint::kLocallyCaught; |
| 41 |
32 } // namespace | 42 } // namespace |
33 | 43 |
34 | 44 |
35 TEST_F(NodePropertiesTest, ReplaceUses) { | 45 TEST_F(NodePropertiesTest, ReplaceUses) { |
36 CommonOperatorBuilder common(zone()); | 46 CommonOperatorBuilder common(zone()); |
37 IfExceptionHint kNoHint = IfExceptionHint::kLocallyCaught; | 47 Node* node = NewMockNode(&kMockOperator); |
38 Node* node = NewMockNode(&kMockOperator, 0, nullptr); | 48 Node* effect = NewMockNode(&kMockOperator); |
39 Node* use_value = NewMockNode(common.Return(), 1, &node); | 49 Node* use_value = NewMockNode(common.Return(), node); |
40 Node* use_effect = NewMockNode(common.EffectPhi(1), 1, &node); | 50 Node* use_effect = NewMockNode(common.EffectPhi(1), node); |
41 Node* use_success = NewMockNode(common.IfSuccess(), 1, &node); | 51 Node* use_success = NewMockNode(common.IfSuccess(), node); |
42 Node* use_exception = NewMockNode(common.IfException(kNoHint), 1, &node); | 52 Node* use_exception = NewMockNode(common.IfException(kNoHint), effect, node); |
43 Node* r_value = NewMockNode(&kMockOperator, 0, nullptr); | 53 Node* r_value = NewMockNode(&kMockOperator); |
44 Node* r_effect = NewMockNode(&kMockOperator, 0, nullptr); | 54 Node* r_effect = NewMockNode(&kMockOperator); |
45 Node* r_success = NewMockNode(&kMockOperator, 0, nullptr); | 55 Node* r_success = NewMockNode(&kMockOperator); |
46 Node* r_exception = NewMockNode(&kMockOperator, 0, nullptr); | 56 Node* r_exception = NewMockNode(&kMockOperator); |
47 NodeProperties::ReplaceUses(node, r_value, r_effect, r_success, r_exception); | 57 NodeProperties::ReplaceUses(node, r_value, r_effect, r_success, r_exception); |
48 EXPECT_EQ(r_value, use_value->InputAt(0)); | 58 EXPECT_EQ(r_value, use_value->InputAt(0)); |
49 EXPECT_EQ(r_effect, use_effect->InputAt(0)); | 59 EXPECT_EQ(r_effect, use_effect->InputAt(0)); |
50 EXPECT_EQ(r_success, use_success->InputAt(0)); | 60 EXPECT_EQ(r_success, use_success->InputAt(0)); |
51 EXPECT_EQ(r_exception, use_exception->InputAt(0)); | 61 EXPECT_EQ(r_exception, use_exception->InputAt(1)); |
52 EXPECT_EQ(0, node->UseCount()); | 62 EXPECT_EQ(0, node->UseCount()); |
53 EXPECT_EQ(1, r_value->UseCount()); | 63 EXPECT_EQ(1, r_value->UseCount()); |
54 EXPECT_EQ(1, r_effect->UseCount()); | 64 EXPECT_EQ(1, r_effect->UseCount()); |
55 EXPECT_EQ(1, r_success->UseCount()); | 65 EXPECT_EQ(1, r_success->UseCount()); |
56 EXPECT_EQ(1, r_exception->UseCount()); | 66 EXPECT_EQ(1, r_exception->UseCount()); |
57 EXPECT_THAT(r_value->uses(), ElementsAre(use_value)); | 67 EXPECT_THAT(r_value->uses(), ElementsAre(use_value)); |
58 EXPECT_THAT(r_effect->uses(), ElementsAre(use_effect)); | 68 EXPECT_THAT(r_effect->uses(), ElementsAre(use_effect)); |
59 EXPECT_THAT(r_success->uses(), ElementsAre(use_success)); | 69 EXPECT_THAT(r_success->uses(), ElementsAre(use_success)); |
60 EXPECT_THAT(r_exception->uses(), ElementsAre(use_exception)); | 70 EXPECT_THAT(r_exception->uses(), ElementsAre(use_exception)); |
61 } | 71 } |
62 | 72 |
63 | 73 |
64 TEST_F(NodePropertiesTest, FindProjection) { | 74 TEST_F(NodePropertiesTest, FindProjection) { |
65 CommonOperatorBuilder common(zone()); | 75 CommonOperatorBuilder common(zone()); |
66 Node* start = Node::New(zone(), 0, common.Start(1), 0, nullptr, false); | 76 Node* start = NewMockNode(common.Start(1)); |
67 Node* proj0 = Node::New(zone(), 1, common.Projection(0), 1, &start, false); | 77 Node* proj0 = NewMockNode(common.Projection(0), start); |
68 Node* proj1 = Node::New(zone(), 2, common.Projection(1), 1, &start, false); | 78 Node* proj1 = NewMockNode(common.Projection(1), start); |
69 EXPECT_EQ(proj0, NodeProperties::FindProjection(start, 0)); | 79 EXPECT_EQ(proj0, NodeProperties::FindProjection(start, 0)); |
70 EXPECT_EQ(proj1, NodeProperties::FindProjection(start, 1)); | 80 EXPECT_EQ(proj1, NodeProperties::FindProjection(start, 1)); |
71 EXPECT_THAT(NodeProperties::FindProjection(start, 2), IsNull()); | 81 EXPECT_THAT(NodeProperties::FindProjection(start, 2), IsNull()); |
72 EXPECT_THAT(NodeProperties::FindProjection(start, 1234567890), IsNull()); | 82 EXPECT_THAT(NodeProperties::FindProjection(start, 1234567890), IsNull()); |
73 } | 83 } |
74 | 84 |
75 | 85 |
76 TEST_F(NodePropertiesTest, CollectControlProjections_Branch) { | 86 TEST_F(NodePropertiesTest, CollectControlProjections_Branch) { |
77 Node* result[2]; | 87 Node* result[2]; |
78 CommonOperatorBuilder common(zone()); | 88 CommonOperatorBuilder common(zone()); |
79 Node* branch = Node::New(zone(), 1, common.Branch(), 0, nullptr, false); | 89 Node* branch = NewMockNode(common.Branch()); |
80 Node* if_false = Node::New(zone(), 2, common.IfFalse(), 1, &branch, false); | 90 Node* if_false = NewMockNode(common.IfFalse(), branch); |
81 Node* if_true = Node::New(zone(), 3, common.IfTrue(), 1, &branch, false); | 91 Node* if_true = NewMockNode(common.IfTrue(), branch); |
82 NodeProperties::CollectControlProjections(branch, result, arraysize(result)); | 92 NodeProperties::CollectControlProjections(branch, result, arraysize(result)); |
83 EXPECT_EQ(if_true, result[0]); | 93 EXPECT_EQ(if_true, result[0]); |
84 EXPECT_EQ(if_false, result[1]); | 94 EXPECT_EQ(if_false, result[1]); |
85 } | 95 } |
86 | 96 |
87 | 97 |
88 TEST_F(NodePropertiesTest, CollectControlProjections_Call) { | 98 TEST_F(NodePropertiesTest, CollectControlProjections_Call) { |
89 Node* result[2]; | 99 Node* result[2]; |
90 CommonOperatorBuilder common(zone()); | 100 CommonOperatorBuilder common(zone()); |
91 IfExceptionHint h = IfExceptionHint::kLocallyUncaught; | 101 Node* call = NewMockNode(&kMockCallOperator); |
92 Node* call = Node::New(zone(), 1, &kMockCallOperator, 0, nullptr, false); | 102 Node* if_ex = NewMockNode(common.IfException(kNoHint), call, call); |
93 Node* if_ex = Node::New(zone(), 2, common.IfException(h), 1, &call, false); | 103 Node* if_ok = NewMockNode(common.IfSuccess(), call); |
94 Node* if_ok = Node::New(zone(), 3, common.IfSuccess(), 1, &call, false); | |
95 NodeProperties::CollectControlProjections(call, result, arraysize(result)); | 104 NodeProperties::CollectControlProjections(call, result, arraysize(result)); |
96 EXPECT_EQ(if_ok, result[0]); | 105 EXPECT_EQ(if_ok, result[0]); |
97 EXPECT_EQ(if_ex, result[1]); | 106 EXPECT_EQ(if_ex, result[1]); |
98 } | 107 } |
99 | 108 |
100 | 109 |
101 TEST_F(NodePropertiesTest, CollectControlProjections_Switch) { | 110 TEST_F(NodePropertiesTest, CollectControlProjections_Switch) { |
102 Node* result[3]; | 111 Node* result[3]; |
103 CommonOperatorBuilder common(zone()); | 112 CommonOperatorBuilder common(zone()); |
104 Node* sw = Node::New(zone(), 1, common.Switch(3), 0, nullptr, false); | 113 Node* sw = NewMockNode(common.Switch(3)); |
105 Node* if_default = Node::New(zone(), 2, common.IfDefault(), 1, &sw, false); | 114 Node* if_default = NewMockNode(common.IfDefault(), sw); |
106 Node* if_value1 = Node::New(zone(), 3, common.IfValue(1), 1, &sw, false); | 115 Node* if_value1 = NewMockNode(common.IfValue(1), sw); |
107 Node* if_value2 = Node::New(zone(), 4, common.IfValue(2), 1, &sw, false); | 116 Node* if_value2 = NewMockNode(common.IfValue(2), sw); |
108 NodeProperties::CollectControlProjections(sw, result, arraysize(result)); | 117 NodeProperties::CollectControlProjections(sw, result, arraysize(result)); |
109 EXPECT_THAT(result[0], AnyOf(if_value1, if_value2)); | 118 EXPECT_THAT(result[0], AnyOf(if_value1, if_value2)); |
110 EXPECT_THAT(result[1], AnyOf(if_value1, if_value2)); | 119 EXPECT_THAT(result[1], AnyOf(if_value1, if_value2)); |
111 EXPECT_EQ(if_default, result[2]); | 120 EXPECT_EQ(if_default, result[2]); |
112 } | 121 } |
113 | 122 |
114 } // namespace compiler | 123 } // namespace compiler |
115 } // namespace internal | 124 } // namespace internal |
116 } // namespace v8 | 125 } // namespace v8 |
OLD | NEW |