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 1054 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1065 // CheckValueInputIs(node, 1, ElementAccessOf(node->op()).type)); | 1065 // CheckValueInputIs(node, 1, ElementAccessOf(node->op()).type)); |
1066 CheckNotTyped(node); | 1066 CheckNotTyped(node); |
1067 break; | 1067 break; |
1068 case IrOpcode::kStoreTypedElement: | 1068 case IrOpcode::kStoreTypedElement: |
1069 CheckNotTyped(node); | 1069 CheckNotTyped(node); |
1070 break; | 1070 break; |
1071 case IrOpcode::kNumberSilenceNaN: | 1071 case IrOpcode::kNumberSilenceNaN: |
1072 CheckValueInputIs(node, 0, Type::Number()); | 1072 CheckValueInputIs(node, 0, Type::Number()); |
1073 CheckUpperIs(node, Type::Number()); | 1073 CheckUpperIs(node, Type::Number()); |
1074 break; | 1074 break; |
| 1075 case IrOpcode::kTypeGuard: |
| 1076 CheckUpperIs(node, TypeGuardTypeOf(node->op())); |
| 1077 break; |
1075 | 1078 |
1076 // Machine operators | 1079 // Machine operators |
1077 // ----------------------- | 1080 // ----------------------- |
1078 case IrOpcode::kLoad: | 1081 case IrOpcode::kLoad: |
1079 case IrOpcode::kStore: | 1082 case IrOpcode::kStore: |
1080 case IrOpcode::kStackSlot: | 1083 case IrOpcode::kStackSlot: |
1081 case IrOpcode::kWord32And: | 1084 case IrOpcode::kWord32And: |
1082 case IrOpcode::kWord32Or: | 1085 case IrOpcode::kWord32Or: |
1083 case IrOpcode::kWord32Xor: | 1086 case IrOpcode::kWord32Xor: |
1084 case IrOpcode::kWord32Shl: | 1087 case IrOpcode::kWord32Shl: |
(...skipping 478 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
1563 replacement->op()->EffectOutputCount() > 0); | 1566 replacement->op()->EffectOutputCount() > 0); |
1564 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1567 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || |
1565 replacement->opcode() == IrOpcode::kFrameState); | 1568 replacement->opcode() == IrOpcode::kFrameState); |
1566 } | 1569 } |
1567 | 1570 |
1568 #endif // DEBUG | 1571 #endif // DEBUG |
1569 | 1572 |
1570 } // namespace compiler | 1573 } // namespace compiler |
1571 } // namespace internal | 1574 } // namespace internal |
1572 } // namespace v8 | 1575 } // namespace v8 |
OLD | NEW |