| 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 705 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 716 | 716 |
| 717 case IrOpcode::kJSGeneratorRestoreContinuation: | 717 case IrOpcode::kJSGeneratorRestoreContinuation: |
| 718 CheckTypeIs(node, Type::SignedSmall()); | 718 CheckTypeIs(node, Type::SignedSmall()); |
| 719 break; | 719 break; |
| 720 | 720 |
| 721 case IrOpcode::kJSGeneratorRestoreRegister: | 721 case IrOpcode::kJSGeneratorRestoreRegister: |
| 722 CheckTypeIs(node, Type::Any()); | 722 CheckTypeIs(node, Type::Any()); |
| 723 break; | 723 break; |
| 724 | 724 |
| 725 case IrOpcode::kJSStackCheck: | 725 case IrOpcode::kJSStackCheck: |
| 726 case IrOpcode::kJSDebugger: |
| 726 // Type is empty. | 727 // Type is empty. |
| 727 CheckNotTyped(node); | 728 CheckNotTyped(node); |
| 728 break; | 729 break; |
| 729 | 730 |
| 730 case IrOpcode::kComment: | 731 case IrOpcode::kComment: |
| 731 case IrOpcode::kDebugBreak: | 732 case IrOpcode::kDebugBreak: |
| 732 case IrOpcode::kRetain: | 733 case IrOpcode::kRetain: |
| 733 case IrOpcode::kUnsafePointerAdd: | 734 case IrOpcode::kUnsafePointerAdd: |
| 734 CheckNotTyped(node); | 735 CheckNotTyped(node); |
| 735 break; | 736 break; |
| (...skipping 954 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1690 replacement->op()->EffectOutputCount() > 0); | 1691 replacement->op()->EffectOutputCount() > 0); |
| 1691 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1692 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || |
| 1692 replacement->opcode() == IrOpcode::kFrameState); | 1693 replacement->opcode() == IrOpcode::kFrameState); |
| 1693 } | 1694 } |
| 1694 | 1695 |
| 1695 #endif // DEBUG | 1696 #endif // DEBUG |
| 1696 | 1697 |
| 1697 } // namespace compiler | 1698 } // namespace compiler |
| 1698 } // namespace internal | 1699 } // namespace internal |
| 1699 } // namespace v8 | 1700 } // namespace v8 |
| OLD | NEW |