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/verifier.h" | 5 #include "src/compiler/verifier.h" |
6 | 6 |
7 #include <algorithm> | 7 #include <algorithm> |
8 #include <deque> | 8 #include <deque> |
9 #include <queue> | 9 #include <queue> |
10 #include <sstream> | 10 #include <sstream> |
(...skipping 493 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
504 break; | 504 break; |
505 case IrOpcode::kJSToObject: | 505 case IrOpcode::kJSToObject: |
506 // Type is Receiver. | 506 // Type is Receiver. |
507 CheckUpperIs(node, Type::Receiver()); | 507 CheckUpperIs(node, Type::Receiver()); |
508 break; | 508 break; |
509 | 509 |
510 case IrOpcode::kJSCreate: | 510 case IrOpcode::kJSCreate: |
511 // Type is Object. | 511 // Type is Object. |
512 CheckUpperIs(node, Type::Object()); | 512 CheckUpperIs(node, Type::Object()); |
513 break; | 513 break; |
| 514 case IrOpcode::kJSCreateArguments: |
| 515 // Type is OtherObject. |
| 516 CheckUpperIs(node, Type::OtherObject()); |
| 517 break; |
514 case IrOpcode::kJSCreateClosure: | 518 case IrOpcode::kJSCreateClosure: |
515 // Type is Function. | 519 // Type is Function. |
516 CheckUpperIs(node, Type::OtherObject()); | 520 CheckUpperIs(node, Type::OtherObject()); |
517 break; | 521 break; |
518 case IrOpcode::kJSCreateLiteralArray: | 522 case IrOpcode::kJSCreateLiteralArray: |
519 case IrOpcode::kJSCreateLiteralObject: | 523 case IrOpcode::kJSCreateLiteralObject: |
520 // Type is OtherObject. | 524 // Type is OtherObject. |
521 CheckUpperIs(node, Type::OtherObject()); | 525 CheckUpperIs(node, Type::OtherObject()); |
522 break; | 526 break; |
523 case IrOpcode::kJSLoadProperty: | 527 case IrOpcode::kJSLoadProperty: |
(...skipping 621 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1145 // Check inputs for all nodes in the block. | 1149 // Check inputs for all nodes in the block. |
1146 for (size_t i = 0; i < block->NodeCount(); i++) { | 1150 for (size_t i = 0; i < block->NodeCount(); i++) { |
1147 Node* node = block->NodeAt(i); | 1151 Node* node = block->NodeAt(i); |
1148 CheckInputsDominate(schedule, block, node, static_cast<int>(i) - 1); | 1152 CheckInputsDominate(schedule, block, node, static_cast<int>(i) - 1); |
1149 } | 1153 } |
1150 } | 1154 } |
1151 } | 1155 } |
1152 } // namespace compiler | 1156 } // namespace compiler |
1153 } // namespace internal | 1157 } // namespace internal |
1154 } // namespace v8 | 1158 } // namespace v8 |
OLD | NEW |