[turbofan] Add frame state propagation to linearizer.

src/compiler/representation-change.cc

 // Copyright 2015 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/representation-change.h"
 
 #include <sstream>
 
 #include "src/base/bits.h"
 #include "src/code-factory.h"
@@ skipping 429 matching lines @@
     return TypeError(node, output_rep, output_type,
                      MachineRepresentation::kWord32);
   }
   return InsertConversion(node, op, use_node);
 }
 
 Node* RepresentationChanger::InsertConversion(Node* node, const Operator* op,
                                               Node* use_node) {
   if (op->ControlInputCount() > 0) {
     // If the operator can deoptimize (which means it has control
-    // input), we need to connect it to the effect and control chains
-    // and also provide it with a frame state.
+    // input), we need to connect it to the effect and control chains.
     Node* effect = NodeProperties::GetEffectInput(use_node);
     Node* control = NodeProperties::GetControlInput(use_node);
-    Node* frame_state = NodeProperties::FindFrameStateBefore(use_node);
-    Node* conversion =
-        jsgraph()->graph()->NewNode(op, node, frame_state, effect, control);
+    Node* conversion = jsgraph()->graph()->NewNode(op, node, effect, control);
     NodeProperties::ReplaceControlInput(use_node, control);
     NodeProperties::ReplaceEffectInput(use_node, effect);
     return conversion;
   }
   return jsgraph()->graph()->NewNode(op, node);
 }
 
 
 Node* RepresentationChanger::GetBitRepresentationFor(
     Node* node, MachineRepresentation output_rep, Type* output_type) {
@@ skipping 85 matching lines @@
     } else if (check == TypeCheckKind::kSigned32) {
       op = simplified()->CheckedTaggedToInt32();
     }
   }
   if (op == nullptr) {
     return TypeError(node, output_rep, output_type,
                      MachineRepresentation::kWord32);
   }
   if (op->ControlInputCount() > 0) {
     // If the operator can deoptimize (which means it has control
-    // input), we need to connect it to the effect and control chains
-    // and also provide it with a frame state.
+    // input), we need to connect it to the effect and control chains.
     UNIMPLEMENTED();
   }
   return jsgraph()->graph()->NewNode(op, node);
 }
 
 const Operator* RepresentationChanger::Int32OperatorFor(
     IrOpcode::Value opcode) {
   switch (opcode) {
     case IrOpcode::kSpeculativeNumberAdd:  // Fall through.
     case IrOpcode::kNumberAdd:
@@ skipping 140 matching lines @@
 }
 
 Node* RepresentationChanger::InsertChangeTaggedToFloat64(Node* node) {
   return jsgraph()->graph()->NewNode(simplified()->ChangeTaggedToFloat64(),
                                      node);
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8