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 528 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
539 break; | 539 break; |
540 } | 540 } |
541 | 541 |
542 case IrOpcode::kJSCallConstruct: | 542 case IrOpcode::kJSCallConstruct: |
543 // Type is Receiver. | 543 // Type is Receiver. |
544 CheckUpperIs(node, Type::Receiver()); | 544 CheckUpperIs(node, Type::Receiver()); |
545 break; | 545 break; |
546 case IrOpcode::kJSCallFunction: | 546 case IrOpcode::kJSCallFunction: |
547 case IrOpcode::kJSCallRuntime: | 547 case IrOpcode::kJSCallRuntime: |
548 case IrOpcode::kJSYield: | 548 case IrOpcode::kJSYield: |
549 case IrOpcode::kJSDebugger: | |
550 // Type can be anything. | 549 // Type can be anything. |
551 CheckUpperIs(node, Type::Any()); | 550 CheckUpperIs(node, Type::Any()); |
552 break; | 551 break; |
553 | 552 |
554 case IrOpcode::kJSStackCheck: | 553 case IrOpcode::kJSStackCheck: |
555 // Type is empty. | 554 // Type is empty. |
556 CheckNotTyped(node); | 555 CheckNotTyped(node); |
557 break; | 556 break; |
558 | 557 |
559 // Simplified operators | 558 // Simplified operators |
(...skipping 517 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1077 // Check inputs for all nodes in the block. | 1076 // Check inputs for all nodes in the block. |
1078 for (size_t i = 0; i < block->NodeCount(); i++) { | 1077 for (size_t i = 0; i < block->NodeCount(); i++) { |
1079 Node* node = block->NodeAt(i); | 1078 Node* node = block->NodeAt(i); |
1080 CheckInputsDominate(schedule, block, node, static_cast<int>(i) - 1); | 1079 CheckInputsDominate(schedule, block, node, static_cast<int>(i) - 1); |
1081 } | 1080 } |
1082 } | 1081 } |
1083 } | 1082 } |
1084 } | 1083 } |
1085 } | 1084 } |
1086 } // namespace v8::internal::compiler | 1085 } // namespace v8::internal::compiler |
OLD | NEW |