| OLD | NEW |
| 1 // Copyright 2015 the V8 project authors. All rights reserved. | 1 // Copyright 2015 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/access-builder.h" | 5 #include "src/compiler/access-builder.h" |
| 6 #include "src/compiler/diamond.h" | 6 #include "src/compiler/diamond.h" |
| 7 #include "src/compiler/js-graph.h" | 7 #include "src/compiler/js-graph.h" |
| 8 #include "src/compiler/js-intrinsic-lowering.h" | 8 #include "src/compiler/js-intrinsic-lowering.h" |
| 9 #include "src/compiler/js-operator.h" | 9 #include "src/compiler/js-operator.h" |
| 10 #include "test/unittests/compiler/graph-unittest.h" | 10 #include "test/unittests/compiler/graph-unittest.h" |
| (...skipping 266 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 277 effect, CaptureEq(&if_false)), | 277 effect, CaptureEq(&if_false)), |
| 278 effect, _), | 278 effect, _), |
| 279 IsInt32Constant(JS_REGEXP_TYPE)), | 279 IsInt32Constant(JS_REGEXP_TYPE)), |
| 280 IsMerge(IsIfTrue(AllOf(CaptureEq(&branch), | 280 IsMerge(IsIfTrue(AllOf(CaptureEq(&branch), |
| 281 IsBranch(IsObjectIsSmi(input), control))), | 281 IsBranch(IsObjectIsSmi(input), control))), |
| 282 AllOf(CaptureEq(&if_false), IsIfFalse(CaptureEq(&branch)))))); | 282 AllOf(CaptureEq(&if_false), IsIfFalse(CaptureEq(&branch)))))); |
| 283 } | 283 } |
| 284 | 284 |
| 285 | 285 |
| 286 // ----------------------------------------------------------------------------- | 286 // ----------------------------------------------------------------------------- |
| 287 // %_IsSpecObject |
| 288 |
| 289 |
| 290 TEST_F(JSIntrinsicLoweringTest, InlineIsSpecObject) { |
| 291 Node* const input = Parameter(0); |
| 292 Node* const context = Parameter(1); |
| 293 Node* const effect = graph()->start(); |
| 294 Node* const control = graph()->start(); |
| 295 Reduction const r = Reduce(graph()->NewNode( |
| 296 javascript()->CallRuntime(Runtime::kInlineIsSpecObject, 1), input, |
| 297 context, effect, control)); |
| 298 ASSERT_TRUE(r.Changed()); |
| 299 |
| 300 Node* phi = r.replacement(); |
| 301 Capture<Node *> branch, if_false; |
| 302 EXPECT_THAT( |
| 303 phi, |
| 304 IsPhi( |
| 305 static_cast<MachineType>(kTypeBool | kRepTagged), IsFalseConstant(), |
| 306 IsUint32LessThanOrEqual( |
| 307 IsInt32Constant(FIRST_JS_RECEIVER_TYPE), |
| 308 IsLoadField(AccessBuilder::ForMapInstanceType(), |
| 309 IsLoadField(AccessBuilder::ForMap(), input, effect, |
| 310 CaptureEq(&if_false)), |
| 311 effect, _)), |
| 312 IsMerge(IsIfTrue(AllOf(CaptureEq(&branch), |
| 313 IsBranch(IsObjectIsSmi(input), control))), |
| 314 AllOf(CaptureEq(&if_false), IsIfFalse(CaptureEq(&branch)))))); |
| 315 } |
| 316 |
| 317 |
| 318 // ----------------------------------------------------------------------------- |
| 287 // %_JSValueGetValue | 319 // %_JSValueGetValue |
| 288 | 320 |
| 289 | 321 |
| 290 TEST_F(JSIntrinsicLoweringTest, InlineJSValueGetValue) { | 322 TEST_F(JSIntrinsicLoweringTest, InlineJSValueGetValue) { |
| 291 Node* const input = Parameter(0); | 323 Node* const input = Parameter(0); |
| 292 Node* const context = Parameter(1); | 324 Node* const context = Parameter(1); |
| 293 Node* const effect = graph()->start(); | 325 Node* const effect = graph()->start(); |
| 294 Node* const control = graph()->start(); | 326 Node* const control = graph()->start(); |
| 295 Reduction const r = Reduce(graph()->NewNode( | 327 Reduction const r = Reduce(graph()->NewNode( |
| 296 javascript()->CallRuntime(Runtime::kInlineJSValueGetValue, 1), input, | 328 javascript()->CallRuntime(Runtime::kInlineJSValueGetValue, 1), input, |
| (...skipping 112 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 409 CaptureEq(&if_false0)))))), | 441 CaptureEq(&if_false0)))))), |
| 410 IsMerge( | 442 IsMerge( |
| 411 IsIfTrue(AllOf(CaptureEq(&branch0), | 443 IsIfTrue(AllOf(CaptureEq(&branch0), |
| 412 IsBranch(IsObjectIsSmi(input), control))), | 444 IsBranch(IsObjectIsSmi(input), control))), |
| 413 AllOf(CaptureEq(&if_false0), IsIfFalse(CaptureEq(&branch0)))))); | 445 AllOf(CaptureEq(&if_false0), IsIfFalse(CaptureEq(&branch0)))))); |
| 414 } | 446 } |
| 415 | 447 |
| 416 } // namespace compiler | 448 } // namespace compiler |
| 417 } // namespace internal | 449 } // namespace internal |
| 418 } // namespace v8 | 450 } // namespace v8 |
| OLD | NEW |