| Index: src/compiler/verifier.cc
|
| diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
|
| index e7580037fb04003d0a95055d93b4f7e1ee3ff955..a0f68b09cf2f98bb7366126e0ee98ac65caa1442 100644
|
| --- a/src/compiler/verifier.cc
|
| +++ b/src/compiler/verifier.cc
|
| @@ -421,6 +421,10 @@ void Verifier::Visitor::Check(Node* node) {
|
| }
|
| case IrOpcode::kFrameState:
|
| // TODO(jarin): what are the constraints on these?
|
| + CHECK_EQ(5, value_count);
|
| + CHECK_EQ(0, control_count);
|
| + CHECK_EQ(0, effect_count);
|
| + CHECK_EQ(6, input_count);
|
| break;
|
| case IrOpcode::kStateValues:
|
| case IrOpcode::kTypedStateValues:
|
|
|