| // Copyright 2014 the V8 project authors. All rights reserved. |
| // Use of this source code is governed by a BSD-style license that can be |
| // found in the LICENSE file. |
| |
| #include "src/v8.h" |
| #include "test/cctest/cctest.h" |
| |
| #include "src/compiler/common-operator.h" |
| #include "src/compiler/graph-inl.h" |
| #include "src/compiler/phi-reducer.h" |
| |
| using namespace v8::internal; |
| using namespace v8::internal::compiler; |
| |
| class PhiReducerTester : HandleAndZoneScope { |
| public: |
| explicit PhiReducerTester(int num_parameters = 0) |
| : isolate(main_isolate()), |
| common(main_zone()), |
| graph(main_zone()), |
| self(graph.NewNode(common.Start(num_parameters))), |
| dead(graph.NewNode(common.Dead())) { |
| graph.SetStart(self); |
| } |
| |
| Isolate* isolate; |
| CommonOperatorBuilder common; |
| Graph graph; |
| Node* self; |
| Node* dead; |
| |
| void CheckReduce(Node* expect, Node* phi) { |
| PhiReducer reducer; |
| Reduction reduction = reducer.Reduce(phi); |
| if (expect == phi) { |
| CHECK(!reduction.Changed()); |
| } else { |
| CHECK(reduction.Changed()); |
| CHECK_EQ(expect, reduction.replacement()); |
| } |
| } |
| |
| Node* Int32Constant(int32_t val) { |
| return graph.NewNode(common.Int32Constant(val)); |
| } |
| |
| Node* Float64Constant(double val) { |
| return graph.NewNode(common.Float64Constant(val)); |
| } |
| |
| Node* Parameter(int32_t index = 0) { |
| return graph.NewNode(common.Parameter(index), graph.start()); |
| } |
| |
| Node* Phi(Node* a) { |
| return SetSelfReferences(graph.NewNode(common.Phi(kMachAnyTagged, 1), a)); |
| } |
| |
| Node* Phi(Node* a, Node* b) { |
| return SetSelfReferences( |
| graph.NewNode(common.Phi(kMachAnyTagged, 2), a, b)); |
| } |
| |
| Node* Phi(Node* a, Node* b, Node* c) { |
| return SetSelfReferences( |
| graph.NewNode(common.Phi(kMachAnyTagged, 3), a, b, c)); |
| } |
| |
| Node* Phi(Node* a, Node* b, Node* c, Node* d) { |
| return SetSelfReferences( |
| graph.NewNode(common.Phi(kMachAnyTagged, 4), a, b, c, d)); |
| } |
| |
| Node* PhiWithControl(Node* a, Node* control) { |
| return SetSelfReferences( |
| graph.NewNode(common.Phi(kMachAnyTagged, 1), a, control)); |
| } |
| |
| Node* PhiWithControl(Node* a, Node* b, Node* control) { |
| return SetSelfReferences( |
| graph.NewNode(common.Phi(kMachAnyTagged, 2), a, b, control)); |
| } |
| |
| Node* SetSelfReferences(Node* node) { |
| Node::Inputs inputs = node->inputs(); |
| for (Node::Inputs::iterator iter(inputs.begin()); iter != inputs.end(); |
| ++iter) { |
| Node* input = *iter; |
| if (input == self) node->ReplaceInput(iter.index(), node); |
| } |
| return node; |
| } |
| }; |
| |
| |
| TEST(PhiReduce1) { |
| PhiReducerTester R; |
| Node* zero = R.Int32Constant(0); |
| Node* one = R.Int32Constant(1); |
| Node* oneish = R.Float64Constant(1.1); |
| Node* param = R.Parameter(); |
| |
| Node* singles[] = {zero, one, oneish, param}; |
| for (size_t i = 0; i < arraysize(singles); i++) { |
| R.CheckReduce(singles[i], R.Phi(singles[i])); |
| } |
| } |
| |
| |
| TEST(PhiReduce2) { |
| PhiReducerTester R; |
| Node* zero = R.Int32Constant(0); |
| Node* one = R.Int32Constant(1); |
| Node* oneish = R.Float64Constant(1.1); |
| Node* param = R.Parameter(); |
| |
| Node* singles[] = {zero, one, oneish, param}; |
| for (size_t i = 0; i < arraysize(singles); i++) { |
| Node* a = singles[i]; |
| R.CheckReduce(a, R.Phi(a, a)); |
| } |
| |
| for (size_t i = 0; i < arraysize(singles); i++) { |
| Node* a = singles[i]; |
| R.CheckReduce(a, R.Phi(R.self, a)); |
| R.CheckReduce(a, R.Phi(a, R.self)); |
| } |
| |
| for (size_t i = 1; i < arraysize(singles); i++) { |
| Node* a = singles[i], *b = singles[0]; |
| Node* phi1 = R.Phi(b, a); |
| R.CheckReduce(phi1, phi1); |
| |
| Node* phi2 = R.Phi(a, b); |
| R.CheckReduce(phi2, phi2); |
| } |
| } |
| |
| |
| TEST(PhiReduce3) { |
| PhiReducerTester R; |
| Node* zero = R.Int32Constant(0); |
| Node* one = R.Int32Constant(1); |
| Node* oneish = R.Float64Constant(1.1); |
| Node* param = R.Parameter(); |
| |
| Node* singles[] = {zero, one, oneish, param}; |
| for (size_t i = 0; i < arraysize(singles); i++) { |
| Node* a = singles[i]; |
| R.CheckReduce(a, R.Phi(a, a, a)); |
| } |
| |
| for (size_t i = 0; i < arraysize(singles); i++) { |
| Node* a = singles[i]; |
| R.CheckReduce(a, R.Phi(R.self, a, a)); |
| R.CheckReduce(a, R.Phi(a, R.self, a)); |
| R.CheckReduce(a, R.Phi(a, a, R.self)); |
| } |
| |
| for (size_t i = 1; i < arraysize(singles); i++) { |
| Node* a = singles[i], *b = singles[0]; |
| Node* phi1 = R.Phi(b, a, a); |
| R.CheckReduce(phi1, phi1); |
| |
| Node* phi2 = R.Phi(a, b, a); |
| R.CheckReduce(phi2, phi2); |
| |
| Node* phi3 = R.Phi(a, a, b); |
| R.CheckReduce(phi3, phi3); |
| } |
| } |
| |
| |
| TEST(PhiReduce4) { |
| PhiReducerTester R; |
| Node* zero = R.Int32Constant(0); |
| Node* one = R.Int32Constant(1); |
| Node* oneish = R.Float64Constant(1.1); |
| Node* param = R.Parameter(); |
| |
| Node* singles[] = {zero, one, oneish, param}; |
| for (size_t i = 0; i < arraysize(singles); i++) { |
| Node* a = singles[i]; |
| R.CheckReduce(a, R.Phi(a, a, a, a)); |
| } |
| |
| for (size_t i = 0; i < arraysize(singles); i++) { |
| Node* a = singles[i]; |
| R.CheckReduce(a, R.Phi(R.self, a, a, a)); |
| R.CheckReduce(a, R.Phi(a, R.self, a, a)); |
| R.CheckReduce(a, R.Phi(a, a, R.self, a)); |
| R.CheckReduce(a, R.Phi(a, a, a, R.self)); |
| |
| R.CheckReduce(a, R.Phi(R.self, R.self, a, a)); |
| R.CheckReduce(a, R.Phi(a, R.self, R.self, a)); |
| R.CheckReduce(a, R.Phi(a, a, R.self, R.self)); |
| R.CheckReduce(a, R.Phi(R.self, a, a, R.self)); |
| } |
| |
| for (size_t i = 1; i < arraysize(singles); i++) { |
| Node* a = singles[i], *b = singles[0]; |
| Node* phi1 = R.Phi(b, a, a, a); |
| R.CheckReduce(phi1, phi1); |
| |
| Node* phi2 = R.Phi(a, b, a, a); |
| R.CheckReduce(phi2, phi2); |
| |
| Node* phi3 = R.Phi(a, a, b, a); |
| R.CheckReduce(phi3, phi3); |
| |
| Node* phi4 = R.Phi(a, a, a, b); |
| R.CheckReduce(phi4, phi4); |
| } |
| } |
| |
| |
| TEST(PhiReduceShouldIgnoreControlNodes) { |
| PhiReducerTester R; |
| Node* zero = R.Int32Constant(0); |
| Node* one = R.Int32Constant(1); |
| Node* oneish = R.Float64Constant(1.1); |
| Node* param = R.Parameter(); |
| |
| Node* singles[] = {zero, one, oneish, param}; |
| for (size_t i = 0; i < arraysize(singles); ++i) { |
| R.CheckReduce(singles[i], R.PhiWithControl(singles[i], R.dead)); |
| R.CheckReduce(singles[i], R.PhiWithControl(R.self, singles[i], R.dead)); |
| R.CheckReduce(singles[i], R.PhiWithControl(singles[i], R.self, R.dead)); |
| } |
| } |