| 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 975 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 986     case IrOpcode::kInt32PairSub: | 986     case IrOpcode::kInt32PairSub: | 
| 987     case IrOpcode::kInt32PairMul: | 987     case IrOpcode::kInt32PairMul: | 
| 988     case IrOpcode::kWord32PairShl: | 988     case IrOpcode::kWord32PairShl: | 
| 989     case IrOpcode::kWord32PairShr: | 989     case IrOpcode::kWord32PairShr: | 
| 990     case IrOpcode::kWord32PairSar: | 990     case IrOpcode::kWord32PairSar: | 
| 991     case IrOpcode::kLoadStackPointer: | 991     case IrOpcode::kLoadStackPointer: | 
| 992     case IrOpcode::kLoadFramePointer: | 992     case IrOpcode::kLoadFramePointer: | 
| 993     case IrOpcode::kLoadParentFramePointer: | 993     case IrOpcode::kLoadParentFramePointer: | 
| 994     case IrOpcode::kCheckedLoad: | 994     case IrOpcode::kCheckedLoad: | 
| 995     case IrOpcode::kCheckedStore: | 995     case IrOpcode::kCheckedStore: | 
|  | 996     case IrOpcode::kAtomicLoad: | 
| 996       // TODO(rossberg): Check. | 997       // TODO(rossberg): Check. | 
| 997       break; | 998       break; | 
| 998   } | 999   } | 
| 999 }  // NOLINT(readability/fn_size) | 1000 }  // NOLINT(readability/fn_size) | 
| 1000 | 1001 | 
| 1001 | 1002 | 
| 1002 void Verifier::Run(Graph* graph, Typing typing) { | 1003 void Verifier::Run(Graph* graph, Typing typing) { | 
| 1003   CHECK_NOT_NULL(graph->start()); | 1004   CHECK_NOT_NULL(graph->start()); | 
| 1004   CHECK_NOT_NULL(graph->end()); | 1005   CHECK_NOT_NULL(graph->end()); | 
| 1005   Zone zone(graph->zone()->allocator()); | 1006   Zone zone(graph->zone()->allocator()); | 
| (...skipping 310 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 1316          replacement->op()->EffectOutputCount() > 0); | 1317          replacement->op()->EffectOutputCount() > 0); | 
| 1317   DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1318   DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 
| 1318          replacement->opcode() == IrOpcode::kFrameState); | 1319          replacement->opcode() == IrOpcode::kFrameState); | 
| 1319 } | 1320 } | 
| 1320 | 1321 | 
| 1321 #endif  // DEBUG | 1322 #endif  // DEBUG | 
| 1322 | 1323 | 
| 1323 }  // namespace compiler | 1324 }  // namespace compiler | 
| 1324 }  // namespace internal | 1325 }  // namespace internal | 
| 1325 }  // namespace v8 | 1326 }  // namespace v8 | 
| OLD | NEW | 
|---|