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 51 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
62 // ----------------------------------------------------------------------------- | 62 // ----------------------------------------------------------------------------- |
63 // Math.abs | 63 // Math.abs |
64 | 64 |
65 | 65 |
66 TEST_F(JSBuiltinReducerTest, MathAbs) { | 66 TEST_F(JSBuiltinReducerTest, MathAbs) { |
67 Handle<JSFunction> f(isolate()->context()->math_abs_fun()); | 67 Handle<JSFunction> f(isolate()->context()->math_abs_fun()); |
68 | 68 |
69 TRACED_FOREACH(Type*, t0, kNumberTypes) { | 69 TRACED_FOREACH(Type*, t0, kNumberTypes) { |
70 Node* p0 = Parameter(t0, 0); | 70 Node* p0 = Parameter(t0, 0); |
71 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); | 71 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); |
72 Node* call = graph()->NewNode(javascript()->Call(3, NO_CALL_FUNCTION_FLAGS), | 72 Node* call = |
73 fun, UndefinedConstant(), p0); | 73 graph()->NewNode(javascript()->CallFunction(3, NO_CALL_FUNCTION_FLAGS), |
| 74 fun, UndefinedConstant(), p0); |
74 Reduction r = Reduce(call); | 75 Reduction r = Reduce(call); |
75 | 76 |
76 if (t0->Is(Type::Unsigned32())) { | 77 if (t0->Is(Type::Unsigned32())) { |
77 ASSERT_TRUE(r.Changed()); | 78 ASSERT_TRUE(r.Changed()); |
78 EXPECT_THAT(r.replacement(), p0); | 79 EXPECT_THAT(r.replacement(), p0); |
79 } else { | 80 } else { |
80 Capture<Node*> branch; | 81 Capture<Node*> branch; |
81 ASSERT_TRUE(r.Changed()); | 82 ASSERT_TRUE(r.Changed()); |
82 EXPECT_THAT( | 83 EXPECT_THAT( |
83 r.replacement(), | 84 r.replacement(), |
(...skipping 11 matching lines...) Expand all Loading... |
95 // ----------------------------------------------------------------------------- | 96 // ----------------------------------------------------------------------------- |
96 // Math.sqrt | 97 // Math.sqrt |
97 | 98 |
98 | 99 |
99 TEST_F(JSBuiltinReducerTest, MathSqrt) { | 100 TEST_F(JSBuiltinReducerTest, MathSqrt) { |
100 Handle<JSFunction> f(isolate()->context()->math_sqrt_fun()); | 101 Handle<JSFunction> f(isolate()->context()->math_sqrt_fun()); |
101 | 102 |
102 TRACED_FOREACH(Type*, t0, kNumberTypes) { | 103 TRACED_FOREACH(Type*, t0, kNumberTypes) { |
103 Node* p0 = Parameter(t0, 0); | 104 Node* p0 = Parameter(t0, 0); |
104 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); | 105 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); |
105 Node* call = graph()->NewNode(javascript()->Call(3, NO_CALL_FUNCTION_FLAGS), | 106 Node* call = |
106 fun, UndefinedConstant(), p0); | 107 graph()->NewNode(javascript()->CallFunction(3, NO_CALL_FUNCTION_FLAGS), |
| 108 fun, UndefinedConstant(), p0); |
107 Reduction r = Reduce(call); | 109 Reduction r = Reduce(call); |
108 | 110 |
109 ASSERT_TRUE(r.Changed()); | 111 ASSERT_TRUE(r.Changed()); |
110 EXPECT_THAT(r.replacement(), IsFloat64Sqrt(p0)); | 112 EXPECT_THAT(r.replacement(), IsFloat64Sqrt(p0)); |
111 } | 113 } |
112 } | 114 } |
113 | 115 |
114 | 116 |
115 // ----------------------------------------------------------------------------- | 117 // ----------------------------------------------------------------------------- |
116 // Math.max | 118 // Math.max |
117 | 119 |
118 | 120 |
119 TEST_F(JSBuiltinReducerTest, MathMax0) { | 121 TEST_F(JSBuiltinReducerTest, MathMax0) { |
120 Handle<JSFunction> f(isolate()->context()->math_max_fun()); | 122 Handle<JSFunction> f(isolate()->context()->math_max_fun()); |
121 | 123 |
122 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); | 124 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); |
123 Node* call = graph()->NewNode(javascript()->Call(2, NO_CALL_FUNCTION_FLAGS), | 125 Node* call = |
124 fun, UndefinedConstant()); | 126 graph()->NewNode(javascript()->CallFunction(2, NO_CALL_FUNCTION_FLAGS), |
| 127 fun, UndefinedConstant()); |
125 Reduction r = Reduce(call); | 128 Reduction r = Reduce(call); |
126 | 129 |
127 ASSERT_TRUE(r.Changed()); | 130 ASSERT_TRUE(r.Changed()); |
128 EXPECT_THAT(r.replacement(), IsNumberConstant(-V8_INFINITY)); | 131 EXPECT_THAT(r.replacement(), IsNumberConstant(-V8_INFINITY)); |
129 } | 132 } |
130 | 133 |
131 | 134 |
132 TEST_F(JSBuiltinReducerTest, MathMax1) { | 135 TEST_F(JSBuiltinReducerTest, MathMax1) { |
133 Handle<JSFunction> f(isolate()->context()->math_max_fun()); | 136 Handle<JSFunction> f(isolate()->context()->math_max_fun()); |
134 | 137 |
135 TRACED_FOREACH(Type*, t0, kNumberTypes) { | 138 TRACED_FOREACH(Type*, t0, kNumberTypes) { |
136 Node* p0 = Parameter(t0, 0); | 139 Node* p0 = Parameter(t0, 0); |
137 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); | 140 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); |
138 Node* call = graph()->NewNode(javascript()->Call(3, NO_CALL_FUNCTION_FLAGS), | 141 Node* call = |
139 fun, UndefinedConstant(), p0); | 142 graph()->NewNode(javascript()->CallFunction(3, NO_CALL_FUNCTION_FLAGS), |
| 143 fun, UndefinedConstant(), p0); |
140 Reduction r = Reduce(call); | 144 Reduction r = Reduce(call); |
141 | 145 |
142 ASSERT_TRUE(r.Changed()); | 146 ASSERT_TRUE(r.Changed()); |
143 EXPECT_THAT(r.replacement(), p0); | 147 EXPECT_THAT(r.replacement(), p0); |
144 } | 148 } |
145 } | 149 } |
146 | 150 |
147 | 151 |
148 TEST_F(JSBuiltinReducerTest, MathMax2) { | 152 TEST_F(JSBuiltinReducerTest, MathMax2) { |
149 Handle<JSFunction> f(isolate()->context()->math_max_fun()); | 153 Handle<JSFunction> f(isolate()->context()->math_max_fun()); |
150 | 154 |
151 TRACED_FOREACH(Type*, t0, kNumberTypes) { | 155 TRACED_FOREACH(Type*, t0, kNumberTypes) { |
152 TRACED_FOREACH(Type*, t1, kNumberTypes) { | 156 TRACED_FOREACH(Type*, t1, kNumberTypes) { |
153 Node* p0 = Parameter(t0, 0); | 157 Node* p0 = Parameter(t0, 0); |
154 Node* p1 = Parameter(t1, 1); | 158 Node* p1 = Parameter(t1, 1); |
155 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); | 159 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); |
156 Node* call = | 160 Node* call = graph()->NewNode( |
157 graph()->NewNode(javascript()->Call(4, NO_CALL_FUNCTION_FLAGS), fun, | 161 javascript()->CallFunction(4, NO_CALL_FUNCTION_FLAGS), fun, |
158 UndefinedConstant(), p0, p1); | 162 UndefinedConstant(), p0, p1); |
159 Reduction r = Reduce(call); | 163 Reduction r = Reduce(call); |
160 | 164 |
161 if (t0->Is(Type::Integral32()) && t1->Is(Type::Integral32())) { | 165 if (t0->Is(Type::Integral32()) && t1->Is(Type::Integral32())) { |
162 Capture<Node*> branch; | 166 Capture<Node*> branch; |
163 ASSERT_TRUE(r.Changed()); | 167 ASSERT_TRUE(r.Changed()); |
164 EXPECT_THAT( | 168 EXPECT_THAT( |
165 r.replacement(), | 169 r.replacement(), |
166 IsPhi(kMachNone, p1, p0, | 170 IsPhi(kMachNone, p1, p0, |
167 IsMerge(IsIfTrue(CaptureEq(&branch)), | 171 IsMerge(IsIfTrue(CaptureEq(&branch)), |
168 IsIfFalse(AllOf(CaptureEq(&branch), | 172 IsIfFalse(AllOf(CaptureEq(&branch), |
(...skipping 13 matching lines...) Expand all Loading... |
182 | 186 |
183 | 187 |
184 TEST_F(JSBuiltinReducerTest, MathImul) { | 188 TEST_F(JSBuiltinReducerTest, MathImul) { |
185 Handle<JSFunction> f(isolate()->context()->math_imul_fun()); | 189 Handle<JSFunction> f(isolate()->context()->math_imul_fun()); |
186 | 190 |
187 TRACED_FOREACH(Type*, t0, kNumberTypes) { | 191 TRACED_FOREACH(Type*, t0, kNumberTypes) { |
188 TRACED_FOREACH(Type*, t1, kNumberTypes) { | 192 TRACED_FOREACH(Type*, t1, kNumberTypes) { |
189 Node* p0 = Parameter(t0, 0); | 193 Node* p0 = Parameter(t0, 0); |
190 Node* p1 = Parameter(t1, 1); | 194 Node* p1 = Parameter(t1, 1); |
191 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); | 195 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); |
192 Node* call = | 196 Node* call = graph()->NewNode( |
193 graph()->NewNode(javascript()->Call(4, NO_CALL_FUNCTION_FLAGS), fun, | 197 javascript()->CallFunction(4, NO_CALL_FUNCTION_FLAGS), fun, |
194 UndefinedConstant(), p0, p1); | 198 UndefinedConstant(), p0, p1); |
195 Reduction r = Reduce(call); | 199 Reduction r = Reduce(call); |
196 | 200 |
197 if (t0->Is(Type::Integral32()) && t1->Is(Type::Integral32())) { | 201 if (t0->Is(Type::Integral32()) && t1->Is(Type::Integral32())) { |
198 ASSERT_TRUE(r.Changed()); | 202 ASSERT_TRUE(r.Changed()); |
199 EXPECT_THAT(r.replacement(), IsInt32Mul(p0, p1)); | 203 EXPECT_THAT(r.replacement(), IsInt32Mul(p0, p1)); |
200 } else { | 204 } else { |
201 ASSERT_FALSE(r.Changed()); | 205 ASSERT_FALSE(r.Changed()); |
202 EXPECT_EQ(IrOpcode::kJSCallFunction, call->opcode()); | 206 EXPECT_EQ(IrOpcode::kJSCallFunction, call->opcode()); |
203 } | 207 } |
204 } | 208 } |
(...skipping 10 matching lines...) Expand all Loading... |
215 JSObject::GetProperty(isolate()->global_object(), | 219 JSObject::GetProperty(isolate()->global_object(), |
216 isolate()->factory()->NewStringFromAsciiChecked( | 220 isolate()->factory()->NewStringFromAsciiChecked( |
217 "Math")).ToHandleChecked(); | 221 "Math")).ToHandleChecked(); |
218 Handle<JSFunction> f = Handle<JSFunction>::cast( | 222 Handle<JSFunction> f = Handle<JSFunction>::cast( |
219 JSObject::GetProperty(m, isolate()->factory()->NewStringFromAsciiChecked( | 223 JSObject::GetProperty(m, isolate()->factory()->NewStringFromAsciiChecked( |
220 "fround")).ToHandleChecked()); | 224 "fround")).ToHandleChecked()); |
221 | 225 |
222 TRACED_FOREACH(Type*, t0, kNumberTypes) { | 226 TRACED_FOREACH(Type*, t0, kNumberTypes) { |
223 Node* p0 = Parameter(t0, 0); | 227 Node* p0 = Parameter(t0, 0); |
224 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); | 228 Node* fun = HeapConstant(Unique<HeapObject>::CreateUninitialized(f)); |
225 Node* call = graph()->NewNode(javascript()->Call(3, NO_CALL_FUNCTION_FLAGS), | 229 Node* call = |
226 fun, UndefinedConstant(), p0); | 230 graph()->NewNode(javascript()->CallFunction(3, NO_CALL_FUNCTION_FLAGS), |
| 231 fun, UndefinedConstant(), p0); |
227 Reduction r = Reduce(call); | 232 Reduction r = Reduce(call); |
228 | 233 |
229 ASSERT_TRUE(r.Changed()); | 234 ASSERT_TRUE(r.Changed()); |
230 EXPECT_THAT(r.replacement(), IsTruncateFloat64ToFloat32(p0)); | 235 EXPECT_THAT(r.replacement(), IsTruncateFloat64ToFloat32(p0)); |
231 } | 236 } |
232 } | 237 } |
233 | 238 |
234 } // namespace compiler | 239 } // namespace compiler |
235 } // namespace internal | 240 } // namespace internal |
236 } // namespace v8 | 241 } // namespace v8 |
OLD | NEW |