Initial support for debugger frame state in Turbofan.

src/compiler/verifier.cc

 // Copyright 2014 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/compiler/verifier.h"
 
 #include "src/compiler/generic-algorithm.h"
 #include "src/compiler/generic-node-inl.h"
 #include "src/compiler/generic-node.h"
 #include "src/compiler/graph-inl.h"
@@ skipping 40 matching lines @@
 
   bool from_start;
   NodeSet reached_from_start;
   NodeSet reached_from_end;
 };
 
 
 GenericGraphVisit::Control Verifier::Visitor::Pre(Node* node) {
   int value_count = OperatorProperties::GetValueInputCount(node->op());
   int context_count = OperatorProperties::GetContextInputCount(node->op());
+  int frame_state_count =
+      OperatorProperties::GetFrameStateInputCount(node->op());
   int effect_count = OperatorProperties::GetEffectInputCount(node->op());
   int control_count = OperatorProperties::GetControlInputCount(node->op());
 
   // Verify number of inputs matches up.
-  int input_count = value_count + context_count + effect_count + control_count;
+  int input_count = value_count + context_count + frame_state_count +
+                    effect_count + control_count;
   CHECK_EQ(input_count, node->InputCount());
 
   // Verify all value inputs actually produce a value.
   for (int i = 0; i < value_count; ++i) {
     Node* value = NodeProperties::GetValueInput(node, i);
     CHECK(OperatorProperties::HasValueOutput(value->op()));
     CHECK(IsDefUseChainLinkPresent(value, node));
     CHECK(IsUseDefChainLinkPresent(value, node));
   }
 
@@ skipping 160 matching lines @@
   // All control nodes reachable from end are reachable from start.
   for (NodeSet::iterator it = visitor.reached_from_end.begin();
        it != visitor.reached_from_end.end(); ++it) {
     CHECK(!NodeProperties::IsControl(*it) ||
           visitor.reached_from_start.count(*it));
   }
 }
 }
 }
 }  // namespace v8::internal::compiler