| 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/compiler/graph.h" | 5 #include "src/compiler/graph.h" |
| 6 #include "src/compiler/graph-reducer.h" | 6 #include "src/compiler/graph-reducer.h" |
| 7 #include "src/compiler/operator.h" | 7 #include "src/compiler/operator.h" |
| 8 #include "src/test/test-utils.h" | 8 #include "src/test/test-utils.h" |
| 9 #include "testing/gmock/include/gmock/gmock.h" | 9 #include "testing/gmock/include/gmock/gmock.h" |
| 10 | 10 |
| 11 using testing::_; | 11 using testing::_; |
| 12 using testing::DefaultValue; | 12 using testing::DefaultValue; |
| 13 using testing::Return; | 13 using testing::Return; |
| 14 using testing::Sequence; | 14 using testing::Sequence; |
| 15 using testing::StrictMock; | 15 using testing::StrictMock; |
| 16 | 16 |
| 17 namespace v8 { | 17 namespace v8 { |
| 18 namespace internal { | 18 namespace internal { |
| 19 namespace compiler { | 19 namespace compiler { |
| 20 | 20 |
| 21 namespace { | 21 namespace { |
| 22 | 22 |
| 23 SimpleOperator OP0(0, Operator::kNoWrite, 0, 0, "op0"); | 23 SimpleOperator OP0(0, Operator::kNoWrite, 0, 1, "op0"); |
| 24 SimpleOperator OP1(1, Operator::kNoProperties, 1, 1, "op1"); |
| 24 | 25 |
| 25 | 26 |
| 26 struct MockReducer : public Reducer { | 27 struct MockReducer : public Reducer { |
| 27 MOCK_METHOD1(Reduce, Reduction(Node*)); | 28 MOCK_METHOD1(Reduce, Reduction(Node*)); |
| 28 }; | 29 }; |
| 29 | 30 |
| 30 } // namespace | 31 } // namespace |
| 31 | 32 |
| 32 | 33 |
| 33 class GraphReducerTest : public TestWithZone { | 34 class GraphReducerTest : public TestWithZone { |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 66 reducer.ReduceNode(node); | 67 reducer.ReduceNode(node); |
| 67 } | 68 } |
| 68 | 69 |
| 69 Graph* graph() { return &graph_; } | 70 Graph* graph() { return &graph_; } |
| 70 | 71 |
| 71 private: | 72 private: |
| 72 Graph graph_; | 73 Graph graph_; |
| 73 }; | 74 }; |
| 74 | 75 |
| 75 | 76 |
| 77 TEST_F(GraphReducerTest, NodeIsDeadAfterReplace) { |
| 78 StrictMock<MockReducer> r; |
| 79 Node* node0 = graph()->NewNode(&OP0); |
| 80 Node* node1 = graph()->NewNode(&OP1, node0); |
| 81 Node* node2 = graph()->NewNode(&OP1, node0); |
| 82 EXPECT_CALL(r, Reduce(node1)).WillOnce(Return(Reducer::Replace(node2))); |
| 83 ReduceNode(node1, &r); |
| 84 EXPECT_FALSE(node0->IsDead()); |
| 85 EXPECT_TRUE(node1->IsDead()); |
| 86 EXPECT_FALSE(node2->IsDead()); |
| 87 } |
| 88 |
| 89 |
| 76 TEST_F(GraphReducerTest, ReduceOnceForEveryReducer) { | 90 TEST_F(GraphReducerTest, ReduceOnceForEveryReducer) { |
| 77 StrictMock<MockReducer> r1, r2; | 91 StrictMock<MockReducer> r1, r2; |
| 78 Node* node0 = graph()->NewNode(&OP0); | 92 Node* node0 = graph()->NewNode(&OP0); |
| 79 EXPECT_CALL(r1, Reduce(node0)); | 93 EXPECT_CALL(r1, Reduce(node0)); |
| 80 EXPECT_CALL(r2, Reduce(node0)); | 94 EXPECT_CALL(r2, Reduce(node0)); |
| 81 ReduceNode(node0, &r1, &r2); | 95 ReduceNode(node0, &r1, &r2); |
| 82 } | 96 } |
| 83 | 97 |
| 84 | 98 |
| 85 TEST_F(GraphReducerTest, ReduceAgainAfterChanged) { | 99 TEST_F(GraphReducerTest, ReduceAgainAfterChanged) { |
| 86 Sequence s1, s2; | 100 Sequence s1, s2; |
| 87 StrictMock<MockReducer> r1, r2, r3; | 101 StrictMock<MockReducer> r1, r2, r3; |
| 88 Node* node0 = graph()->NewNode(&OP0); | 102 Node* node0 = graph()->NewNode(&OP0); |
| 89 EXPECT_CALL(r1, Reduce(node0)); | 103 EXPECT_CALL(r1, Reduce(node0)); |
| 90 EXPECT_CALL(r2, Reduce(node0)); | 104 EXPECT_CALL(r2, Reduce(node0)); |
| 91 EXPECT_CALL(r3, Reduce(node0)).InSequence(s1, s2).WillOnce( | 105 EXPECT_CALL(r3, Reduce(node0)).InSequence(s1, s2).WillOnce( |
| 92 Return(Reducer::Changed(node0))); | 106 Return(Reducer::Changed(node0))); |
| 93 EXPECT_CALL(r1, Reduce(node0)).InSequence(s1); | 107 EXPECT_CALL(r1, Reduce(node0)).InSequence(s1); |
| 94 EXPECT_CALL(r2, Reduce(node0)).InSequence(s2); | 108 EXPECT_CALL(r2, Reduce(node0)).InSequence(s2); |
| 95 ReduceNode(node0, &r1, &r2, &r3); | 109 ReduceNode(node0, &r1, &r2, &r3); |
| 96 } | 110 } |
| 97 | 111 |
| 98 | |
| 99 TEST_F(GraphReducerTest, OperatorIsNullAfterReplace) { | |
| 100 StrictMock<MockReducer> r; | |
| 101 Node* node0 = graph()->NewNode(&OP0); | |
| 102 Node* node1 = graph()->NewNode(&OP0); | |
| 103 EXPECT_CALL(r, Reduce(node0)).WillOnce(Return(Reducer::Replace(node1))); | |
| 104 ReduceNode(node0, &r); | |
| 105 EXPECT_EQ(NULL, node0->op()); | |
| 106 EXPECT_EQ(&OP0, node1->op()); | |
| 107 } | |
| 108 | |
| 109 } // namespace compiler | 112 } // namespace compiler |
| 110 } // namespace internal | 113 } // namespace internal |
| 111 } // namespace v8 | 114 } // namespace v8 |
| OLD | NEW |