| 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 936 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 947 case IrOpcode::kFloat64InsertLowWord32: | 947 case IrOpcode::kFloat64InsertLowWord32: |
| 948 case IrOpcode::kFloat64InsertHighWord32: | 948 case IrOpcode::kFloat64InsertHighWord32: |
| 949 case IrOpcode::kInt32PairAdd: | 949 case IrOpcode::kInt32PairAdd: |
| 950 case IrOpcode::kInt32PairSub: | 950 case IrOpcode::kInt32PairSub: |
| 951 case IrOpcode::kWord32PairShl: | 951 case IrOpcode::kWord32PairShl: |
| 952 case IrOpcode::kWord32PairShr: | 952 case IrOpcode::kWord32PairShr: |
| 953 case IrOpcode::kWord32PairSar: | 953 case IrOpcode::kWord32PairSar: |
| 954 case IrOpcode::kLoadStackPointer: | 954 case IrOpcode::kLoadStackPointer: |
| 955 case IrOpcode::kLoadFramePointer: | 955 case IrOpcode::kLoadFramePointer: |
| 956 case IrOpcode::kLoadParentFramePointer: | 956 case IrOpcode::kLoadParentFramePointer: |
| 957 case IrOpcode::kUnalignedLoad: |
| 958 case IrOpcode::kUnalignedStore: |
| 957 case IrOpcode::kCheckedLoad: | 959 case IrOpcode::kCheckedLoad: |
| 958 case IrOpcode::kCheckedStore: | 960 case IrOpcode::kCheckedStore: |
| 959 // TODO(rossberg): Check. | 961 // TODO(rossberg): Check. |
| 960 break; | 962 break; |
| 961 } | 963 } |
| 962 } // NOLINT(readability/fn_size) | 964 } // NOLINT(readability/fn_size) |
| 963 | 965 |
| 964 | 966 |
| 965 void Verifier::Run(Graph* graph, Typing typing) { | 967 void Verifier::Run(Graph* graph, Typing typing) { |
| 966 CHECK_NOT_NULL(graph->start()); | 968 CHECK_NOT_NULL(graph->start()); |
| (...skipping 312 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1279 replacement->op()->EffectOutputCount() > 0); | 1281 replacement->op()->EffectOutputCount() > 0); |
| 1280 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1282 DCHECK(!NodeProperties::IsFrameStateEdge(edge) || |
| 1281 replacement->opcode() == IrOpcode::kFrameState); | 1283 replacement->opcode() == IrOpcode::kFrameState); |
| 1282 } | 1284 } |
| 1283 | 1285 |
| 1284 #endif // DEBUG | 1286 #endif // DEBUG |
| 1285 | 1287 |
| 1286 } // namespace compiler | 1288 } // namespace compiler |
| 1287 } // namespace internal | 1289 } // namespace internal |
| 1288 } // namespace v8 | 1290 } // namespace v8 |
| OLD | NEW |