| 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 819 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 830     case IrOpcode::kChangeInt32ToFloat64: | 830     case IrOpcode::kChangeInt32ToFloat64: | 
| 831     case IrOpcode::kChangeUint32ToFloat64: | 831     case IrOpcode::kChangeUint32ToFloat64: | 
| 832     case IrOpcode::kChangeFloat32ToFloat64: | 832     case IrOpcode::kChangeFloat32ToFloat64: | 
| 833     case IrOpcode::kChangeFloat64ToInt32: | 833     case IrOpcode::kChangeFloat64ToInt32: | 
| 834     case IrOpcode::kChangeFloat64ToUint32: | 834     case IrOpcode::kChangeFloat64ToUint32: | 
| 835     case IrOpcode::kFloat64ExtractLowWord32: | 835     case IrOpcode::kFloat64ExtractLowWord32: | 
| 836     case IrOpcode::kFloat64ExtractHighWord32: | 836     case IrOpcode::kFloat64ExtractHighWord32: | 
| 837     case IrOpcode::kFloat64InsertLowWord32: | 837     case IrOpcode::kFloat64InsertLowWord32: | 
| 838     case IrOpcode::kFloat64InsertHighWord32: | 838     case IrOpcode::kFloat64InsertHighWord32: | 
| 839     case IrOpcode::kLoadStackPointer: | 839     case IrOpcode::kLoadStackPointer: | 
|  | 840     case IrOpcode::kLoadFramePointer: | 
| 840     case IrOpcode::kCheckedLoad: | 841     case IrOpcode::kCheckedLoad: | 
| 841     case IrOpcode::kCheckedStore: | 842     case IrOpcode::kCheckedStore: | 
| 842       // TODO(rossberg): Check. | 843       // TODO(rossberg): Check. | 
| 843       break; | 844       break; | 
| 844   } | 845   } | 
| 845 }  // NOLINT(readability/fn_size) | 846 }  // NOLINT(readability/fn_size) | 
| 846 | 847 | 
| 847 | 848 | 
| 848 void Verifier::Run(Graph* graph, Typing typing) { | 849 void Verifier::Run(Graph* graph, Typing typing) { | 
| 849   CHECK_NOT_NULL(graph->start()); | 850   CHECK_NOT_NULL(graph->start()); | 
| (...skipping 250 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 1100     // Check inputs for all nodes in the block. | 1101     // Check inputs for all nodes in the block. | 
| 1101     for (size_t i = 0; i < block->NodeCount(); i++) { | 1102     for (size_t i = 0; i < block->NodeCount(); i++) { | 
| 1102       Node* node = block->NodeAt(i); | 1103       Node* node = block->NodeAt(i); | 
| 1103       CheckInputsDominate(schedule, block, node, static_cast<int>(i) - 1); | 1104       CheckInputsDominate(schedule, block, node, static_cast<int>(i) - 1); | 
| 1104     } | 1105     } | 
| 1105   } | 1106   } | 
| 1106 } | 1107 } | 
| 1107 }  // namespace compiler | 1108 }  // namespace compiler | 
| 1108 }  // namespace internal | 1109 }  // namespace internal | 
| 1109 }  // namespace v8 | 1110 }  // namespace v8 | 
| OLD | NEW | 
|---|