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-unittest.h" | 5 #include "src/compiler/graph-unittest.h" |
6 #include "src/compiler/js-builtin-reducer.h" | 6 #include "src/compiler/js-builtin-reducer.h" |
7 #include "src/compiler/js-graph.h" | 7 #include "src/compiler/js-graph.h" |
8 #include "src/compiler/node-properties-inl.h" | 8 #include "src/compiler/node-properties-inl.h" |
9 #include "src/compiler/typer.h" | 9 #include "src/compiler/typer.h" |
10 #include "testing/gmock-support.h" | 10 #include "testing/gmock-support.h" |
(...skipping 42 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
53 Type::UnsignedSmall(), Type::OtherSignedSmall(), Type::OtherUnsigned31(), | 53 Type::UnsignedSmall(), Type::OtherSignedSmall(), Type::OtherUnsigned31(), |
54 Type::OtherUnsigned32(), Type::OtherSigned32(), Type::SignedSmall(), | 54 Type::OtherUnsigned32(), Type::OtherSigned32(), Type::SignedSmall(), |
55 Type::Signed32(), Type::Unsigned32(), Type::Integral32(), | 55 Type::Signed32(), Type::Unsigned32(), Type::Integral32(), |
56 Type::MinusZero(), Type::NaN(), Type::OtherNumber(), | 56 Type::MinusZero(), Type::NaN(), Type::OtherNumber(), |
57 Type::OrderedNumber(), Type::Number()}; | 57 Type::OrderedNumber(), Type::Number()}; |
58 | 58 |
59 } // namespace | 59 } // namespace |
60 | 60 |
61 | 61 |
62 // ----------------------------------------------------------------------------- | 62 // ----------------------------------------------------------------------------- |
| 63 // Math.sqrt |
| 64 |
| 65 |
| 66 TEST_F(JSBuiltinReducerTest, MathSqrt) { |
| 67 Handle<JSFunction> f(isolate()->context()->math_sqrt_fun()); |
| 68 |
| 69 TRACED_FOREACH(Type*, t0, kNumberTypes) { |
| 70 Node* p0 = Parameter(t0, 0); |
| 71 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); |
| 72 Node* call = graph()->NewNode(javascript()->Call(3, NO_CALL_FUNCTION_FLAGS), |
| 73 fun, UndefinedConstant(), p0); |
| 74 Reduction r = Reduce(call); |
| 75 |
| 76 ASSERT_TRUE(r.Changed()); |
| 77 EXPECT_THAT(r.replacement(), IsFloat64Sqrt(p0)); |
| 78 } |
| 79 } |
| 80 |
| 81 |
| 82 // ----------------------------------------------------------------------------- |
63 // Math.max | 83 // Math.max |
64 | 84 |
65 | 85 |
66 TEST_F(JSBuiltinReducerTest, MathMax0) { | 86 TEST_F(JSBuiltinReducerTest, MathMax0) { |
67 Handle<JSFunction> f(isolate()->context()->math_max_fun()); | 87 Handle<JSFunction> f(isolate()->context()->math_max_fun()); |
68 | 88 |
69 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); | 89 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); |
70 Node* call = graph()->NewNode(javascript()->Call(2, NO_CALL_FUNCTION_FLAGS), | 90 Node* call = graph()->NewNode(javascript()->Call(2, NO_CALL_FUNCTION_FLAGS), |
71 fun, UndefinedConstant()); | 91 fun, UndefinedConstant()); |
72 Reduction r = Reduce(call); | 92 Reduction r = Reduce(call); |
73 | 93 |
74 EXPECT_TRUE(r.Changed()); | 94 ASSERT_TRUE(r.Changed()); |
75 EXPECT_THAT(r.replacement(), IsNumberConstant(-V8_INFINITY)); | 95 EXPECT_THAT(r.replacement(), IsNumberConstant(-V8_INFINITY)); |
76 } | 96 } |
77 | 97 |
78 | 98 |
79 TEST_F(JSBuiltinReducerTest, MathMax1) { | 99 TEST_F(JSBuiltinReducerTest, MathMax1) { |
80 Handle<JSFunction> f(isolate()->context()->math_max_fun()); | 100 Handle<JSFunction> f(isolate()->context()->math_max_fun()); |
81 | 101 |
82 TRACED_FOREACH(Type*, t0, kNumberTypes) { | 102 TRACED_FOREACH(Type*, t0, kNumberTypes) { |
83 Node* p0 = Parameter(t0, 0); | 103 Node* p0 = Parameter(t0, 0); |
84 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); | 104 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); |
85 Node* call = graph()->NewNode(javascript()->Call(3, NO_CALL_FUNCTION_FLAGS), | 105 Node* call = graph()->NewNode(javascript()->Call(3, NO_CALL_FUNCTION_FLAGS), |
86 fun, UndefinedConstant(), p0); | 106 fun, UndefinedConstant(), p0); |
87 Reduction r = Reduce(call); | 107 Reduction r = Reduce(call); |
88 | 108 |
89 EXPECT_TRUE(r.Changed()); | 109 ASSERT_TRUE(r.Changed()); |
90 EXPECT_THAT(r.replacement(), p0); | 110 EXPECT_THAT(r.replacement(), p0); |
91 } | 111 } |
92 } | 112 } |
93 | 113 |
94 | 114 |
95 TEST_F(JSBuiltinReducerTest, MathMax2) { | 115 TEST_F(JSBuiltinReducerTest, MathMax2) { |
96 Handle<JSFunction> f(isolate()->context()->math_max_fun()); | 116 Handle<JSFunction> f(isolate()->context()->math_max_fun()); |
97 | 117 |
98 TRACED_FOREACH(Type*, t0, kNumberTypes) { | 118 TRACED_FOREACH(Type*, t0, kNumberTypes) { |
99 TRACED_FOREACH(Type*, t1, kNumberTypes) { | 119 TRACED_FOREACH(Type*, t1, kNumberTypes) { |
100 Node* p0 = Parameter(t0, 0); | 120 Node* p0 = Parameter(t0, 0); |
101 Node* p1 = Parameter(t1, 1); | 121 Node* p1 = Parameter(t1, 1); |
102 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); | 122 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); |
103 Node* call = | 123 Node* call = |
104 graph()->NewNode(javascript()->Call(4, NO_CALL_FUNCTION_FLAGS), fun, | 124 graph()->NewNode(javascript()->Call(4, NO_CALL_FUNCTION_FLAGS), fun, |
105 UndefinedConstant(), p0, p1); | 125 UndefinedConstant(), p0, p1); |
106 Reduction r = Reduce(call); | 126 Reduction r = Reduce(call); |
107 | 127 |
108 if (t0->Is(Type::Integral32()) && t1->Is(Type::Integral32())) { | 128 if (t0->Is(Type::Integral32()) && t1->Is(Type::Integral32())) { |
109 Capture<Node*> branch; | 129 Capture<Node*> branch; |
110 EXPECT_TRUE(r.Changed()); | 130 ASSERT_TRUE(r.Changed()); |
111 EXPECT_THAT( | 131 EXPECT_THAT( |
112 r.replacement(), | 132 r.replacement(), |
113 IsPhi(kMachNone, p1, p0, | 133 IsPhi(kMachNone, p1, p0, |
114 IsMerge(IsIfTrue(CaptureEq(&branch)), | 134 IsMerge(IsIfTrue(CaptureEq(&branch)), |
115 IsIfFalse(AllOf(CaptureEq(&branch), | 135 IsIfFalse(AllOf(CaptureEq(&branch), |
116 IsBranch(IsNumberLessThan(p0, p1), | 136 IsBranch(IsNumberLessThan(p0, p1), |
117 graph()->start())))))); | 137 graph()->start())))))); |
118 } else { | 138 } else { |
119 EXPECT_FALSE(r.Changed()); | 139 ASSERT_FALSE(r.Changed()); |
120 EXPECT_EQ(IrOpcode::kJSCallFunction, call->opcode()); | 140 EXPECT_EQ(IrOpcode::kJSCallFunction, call->opcode()); |
121 } | 141 } |
122 } | 142 } |
123 } | 143 } |
124 } | 144 } |
125 | 145 |
126 | 146 |
127 // ----------------------------------------------------------------------------- | 147 // ----------------------------------------------------------------------------- |
128 // Math.imul | 148 // Math.imul |
129 | 149 |
130 | 150 |
131 TEST_F(JSBuiltinReducerTest, MathImul) { | 151 TEST_F(JSBuiltinReducerTest, MathImul) { |
132 Handle<JSFunction> f(isolate()->context()->math_imul_fun()); | 152 Handle<JSFunction> f(isolate()->context()->math_imul_fun()); |
133 | 153 |
134 TRACED_FOREACH(Type*, t0, kNumberTypes) { | 154 TRACED_FOREACH(Type*, t0, kNumberTypes) { |
135 TRACED_FOREACH(Type*, t1, kNumberTypes) { | 155 TRACED_FOREACH(Type*, t1, kNumberTypes) { |
136 Node* p0 = Parameter(t0, 0); | 156 Node* p0 = Parameter(t0, 0); |
137 Node* p1 = Parameter(t1, 1); | 157 Node* p1 = Parameter(t1, 1); |
138 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); | 158 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); |
139 Node* call = | 159 Node* call = |
140 graph()->NewNode(javascript()->Call(4, NO_CALL_FUNCTION_FLAGS), fun, | 160 graph()->NewNode(javascript()->Call(4, NO_CALL_FUNCTION_FLAGS), fun, |
141 UndefinedConstant(), p0, p1); | 161 UndefinedConstant(), p0, p1); |
142 Reduction r = Reduce(call); | 162 Reduction r = Reduce(call); |
143 | 163 |
144 if (t0->Is(Type::Integral32()) && t1->Is(Type::Integral32())) { | 164 if (t0->Is(Type::Integral32()) && t1->Is(Type::Integral32())) { |
145 EXPECT_TRUE(r.Changed()); | 165 ASSERT_TRUE(r.Changed()); |
146 EXPECT_THAT(r.replacement(), IsInt32Mul(p0, p1)); | 166 EXPECT_THAT(r.replacement(), IsInt32Mul(p0, p1)); |
147 } else { | 167 } else { |
148 EXPECT_FALSE(r.Changed()); | 168 ASSERT_FALSE(r.Changed()); |
149 EXPECT_EQ(IrOpcode::kJSCallFunction, call->opcode()); | 169 EXPECT_EQ(IrOpcode::kJSCallFunction, call->opcode()); |
150 } | 170 } |
151 } | 171 } |
152 } | 172 } |
153 } | 173 } |
154 | 174 |
155 } // namespace compiler | 175 } // namespace compiler |
156 } // namespace internal | 176 } // namespace internal |
157 } // namespace v8 | 177 } // namespace v8 |
OLD | NEW |