| 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/js-builtin-reducer.h" | 5 #include "src/compiler/js-builtin-reducer.h" |
| 6 #include "src/compiler/js-graph.h" | 6 #include "src/compiler/js-graph.h" |
| 7 #include "src/compiler/node-properties-inl.h" | 7 #include "src/compiler/node-properties-inl.h" |
| 8 #include "src/compiler/typer.h" | 8 #include "src/compiler/typer.h" |
| 9 #include "test/unittests/compiler/graph-unittest.h" | 9 #include "test/unittests/compiler/graph-unittest.h" |
| 10 #include "test/unittests/compiler/node-test-utils.h" | 10 #include "test/unittests/compiler/node-test-utils.h" |
| (...skipping 70 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 81 graph()->NewNode(javascript()->CallFunction(3, NO_CALL_FUNCTION_FLAGS), | 81 graph()->NewNode(javascript()->CallFunction(3, NO_CALL_FUNCTION_FLAGS), |
| 82 fun, UndefinedConstant(), p0); | 82 fun, UndefinedConstant(), p0); |
| 83 Reduction r = Reduce(call); | 83 Reduction r = Reduce(call); |
| 84 | 84 |
| 85 if (t0->Is(Type::Unsigned32())) { | 85 if (t0->Is(Type::Unsigned32())) { |
| 86 ASSERT_TRUE(r.Changed()); | 86 ASSERT_TRUE(r.Changed()); |
| 87 EXPECT_THAT(r.replacement(), p0); | 87 EXPECT_THAT(r.replacement(), p0); |
| 88 } else { | 88 } else { |
| 89 Capture<Node*> branch; | 89 Capture<Node*> branch; |
| 90 ASSERT_TRUE(r.Changed()); | 90 ASSERT_TRUE(r.Changed()); |
| 91 EXPECT_THAT( | 91 EXPECT_THAT(r.replacement(), |
| 92 r.replacement(), | 92 IsSelect(kMachNone, IsNumberLessThan(IsNumberConstant(0), p0), |
| 93 IsPhi(kMachNone, p0, IsNumberSubtract(IsNumberConstant(0), p0), | 93 p0, IsNumberSubtract(IsNumberConstant(0), p0))); |
| 94 IsMerge(IsIfTrue(CaptureEq(&branch)), | |
| 95 IsIfFalse(AllOf( | |
| 96 CaptureEq(&branch), | |
| 97 IsBranch(IsNumberLessThan(IsNumberConstant(0), p0), | |
| 98 graph()->start())))))); | |
| 99 } | 94 } |
| 100 } | 95 } |
| 101 } | 96 } |
| 102 | 97 |
| 103 | 98 |
| 104 // ----------------------------------------------------------------------------- | 99 // ----------------------------------------------------------------------------- |
| 105 // Math.sqrt | 100 // Math.sqrt |
| 106 | 101 |
| 107 | 102 |
| 108 TEST_F(JSBuiltinReducerTest, MathSqrt) { | 103 TEST_F(JSBuiltinReducerTest, MathSqrt) { |
| (...skipping 55 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 164 TRACED_FOREACH(Type*, t1, kNumberTypes) { | 159 TRACED_FOREACH(Type*, t1, kNumberTypes) { |
| 165 Node* p0 = Parameter(t0, 0); | 160 Node* p0 = Parameter(t0, 0); |
| 166 Node* p1 = Parameter(t1, 1); | 161 Node* p1 = Parameter(t1, 1); |
| 167 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); | 162 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); |
| 168 Node* call = graph()->NewNode( | 163 Node* call = graph()->NewNode( |
| 169 javascript()->CallFunction(4, NO_CALL_FUNCTION_FLAGS), fun, | 164 javascript()->CallFunction(4, NO_CALL_FUNCTION_FLAGS), fun, |
| 170 UndefinedConstant(), p0, p1); | 165 UndefinedConstant(), p0, p1); |
| 171 Reduction r = Reduce(call); | 166 Reduction r = Reduce(call); |
| 172 | 167 |
| 173 if (t0->Is(Type::Integral32()) && t1->Is(Type::Integral32())) { | 168 if (t0->Is(Type::Integral32()) && t1->Is(Type::Integral32())) { |
| 174 Capture<Node*> branch; | |
| 175 ASSERT_TRUE(r.Changed()); | 169 ASSERT_TRUE(r.Changed()); |
| 176 EXPECT_THAT( | 170 EXPECT_THAT(r.replacement(), |
| 177 r.replacement(), | 171 IsSelect(kMachNone, IsNumberLessThan(p1, p0), p1, p0)); |
| 178 IsPhi(kMachNone, p1, p0, | |
| 179 IsMerge(IsIfTrue(CaptureEq(&branch)), | |
| 180 IsIfFalse(AllOf(CaptureEq(&branch), | |
| 181 IsBranch(IsNumberLessThan(p0, p1), | |
| 182 graph()->start())))))); | |
| 183 } else { | 172 } else { |
| 184 ASSERT_FALSE(r.Changed()); | 173 ASSERT_FALSE(r.Changed()); |
| 185 EXPECT_EQ(IrOpcode::kJSCallFunction, call->opcode()); | 174 EXPECT_EQ(IrOpcode::kJSCallFunction, call->opcode()); |
| 186 } | 175 } |
| 187 } | 176 } |
| 188 } | 177 } |
| 189 } | 178 } |
| 190 | 179 |
| 191 | 180 |
| 192 // ----------------------------------------------------------------------------- | 181 // ----------------------------------------------------------------------------- |
| (...skipping 114 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 307 graph()->NewNode(javascript()->CallFunction(3, NO_CALL_FUNCTION_FLAGS), | 296 graph()->NewNode(javascript()->CallFunction(3, NO_CALL_FUNCTION_FLAGS), |
| 308 fun, UndefinedConstant(), p0); | 297 fun, UndefinedConstant(), p0); |
| 309 Reduction r = Reduce(call, MachineOperatorBuilder::Flag::kNoFlags); | 298 Reduction r = Reduce(call, MachineOperatorBuilder::Flag::kNoFlags); |
| 310 | 299 |
| 311 ASSERT_FALSE(r.Changed()); | 300 ASSERT_FALSE(r.Changed()); |
| 312 } | 301 } |
| 313 } | 302 } |
| 314 } // namespace compiler | 303 } // namespace compiler |
| 315 } // namespace internal | 304 } // namespace internal |
| 316 } // namespace v8 | 305 } // namespace v8 |
| OLD | NEW |