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: |