| 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 402 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 413       CHECK_EQ(0, value_count); | 413       CHECK_EQ(0, value_count); | 
| 414       CHECK_EQ(1, control_count); | 414       CHECK_EQ(1, control_count); | 
| 415       Node* control = NodeProperties::GetControlInput(node, 0); | 415       Node* control = NodeProperties::GetControlInput(node, 0); | 
| 416       CHECK_EQ(effect_count, control->op()->ControlInputCount()); | 416       CHECK_EQ(effect_count, control->op()->ControlInputCount()); | 
| 417       CHECK_EQ(input_count, 1 + effect_count); | 417       CHECK_EQ(input_count, 1 + effect_count); | 
| 418       break; | 418       break; | 
| 419     } | 419     } | 
| 420     case IrOpcode::kTypeGuard: | 420     case IrOpcode::kTypeGuard: | 
| 421       // TODO(bmeurer): what are the constraints on these? | 421       // TODO(bmeurer): what are the constraints on these? | 
| 422       break; | 422       break; | 
| 423     case IrOpcode::kCheckPoint: | 423     case IrOpcode::kCheckpoint: | 
| 424       // Type is empty. | 424       // Type is empty. | 
| 425       CheckNotTyped(node); | 425       CheckNotTyped(node); | 
| 426       break; | 426       break; | 
| 427     case IrOpcode::kBeginRegion: | 427     case IrOpcode::kBeginRegion: | 
| 428       // TODO(rossberg): what are the constraints on these? | 428       // TODO(rossberg): what are the constraints on these? | 
| 429       break; | 429       break; | 
| 430     case IrOpcode::kFinishRegion: { | 430     case IrOpcode::kFinishRegion: { | 
| 431       // TODO(rossberg): what are the constraints on these? | 431       // TODO(rossberg): what are the constraints on these? | 
| 432       // Type must be subsumed by input type. | 432       // Type must be subsumed by input type. | 
| 433       if (typing == TYPED) { | 433       if (typing == TYPED) { | 
| (...skipping 959 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 1393          replacement->op()->EffectOutputCount() > 0); | 1393          replacement->op()->EffectOutputCount() > 0); | 
| 1394   DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 1394   DCHECK(!NodeProperties::IsFrameStateEdge(edge) || | 
| 1395          replacement->opcode() == IrOpcode::kFrameState); | 1395          replacement->opcode() == IrOpcode::kFrameState); | 
| 1396 } | 1396 } | 
| 1397 | 1397 | 
| 1398 #endif  // DEBUG | 1398 #endif  // DEBUG | 
| 1399 | 1399 | 
| 1400 }  // namespace compiler | 1400 }  // namespace compiler | 
| 1401 }  // namespace internal | 1401 }  // namespace internal | 
| 1402 }  // namespace v8 | 1402 }  // namespace v8 | 
| OLD | NEW | 
|---|