Lazy deoptimization for comparisons in Turbofan.

src/compiler/verifier.cc

Index: src/compiler/verifier.cc
diff --git a/src/compiler/verifier.cc b/src/compiler/verifier.cc
index 97ebb8fb691d6a62e8a6111432d5ddad488cfe81..ce5e745c2cdc32a0b9da60045185919f8f791bbc 100644
--- a/src/compiler/verifier.cc
+++ b/src/compiler/verifier.cc
@@ -73,6 +73,12 @@ GenericGraphVisit::Control Verifier::Visitor::Pre(Node* node) {
                     effect_count + control_count;
   CHECK_EQ(input_count, node->InputCount());
 
+  // Verify that frame state has been inserted for the nodes that need it.
+  if (OperatorProperties::HasFrameStateInput(node->op())) {
+    CHECK(NodeProperties::GetFrameStateInput(node)->op()->opcode() ==

[Michael Starzinger, 2014/09/01 23:10:46]

nit: There should be Node::opcode() directly IIRC.

+          IrOpcode::kFrameState);

[Michael Starzinger, 2014/09/01 23:10:46]

suggestion: Do you think it makes sense to check that def-use and use-def chains
are present (i.e. Is[DefUse|UseDef]ChainLinkPresent)?

+  }
+
   // Verify all value inputs actually produce a value.
   for (int i = 0; i < value_count; ++i) {
     Node* value = NodeProperties::GetValueInput(node, i);