[turbofan] Simplify typed lowering of generator-related operators.

src/compiler/js-typed-lowering.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/code-factory.h"
 #include "src/compilation-dependencies.h"
 #include "src/compiler/access-builder.h"
 #include "src/compiler/js-graph.h"
 #include "src/compiler/js-typed-lowering.h"
 #include "src/compiler/linkage.h"
@@ skipping 1615 matching lines @@
 Reduction JSTypedLowering::ReduceJSForInStep(Node* node) {
   DCHECK_EQ(IrOpcode::kJSForInStep, node->opcode());
   node->ReplaceInput(1, jsgraph()->Int32Constant(1));
   NodeProperties::ChangeOp(node, machine()->Int32Add());
   return Changed(node);
 }
 
 Reduction JSTypedLowering::ReduceJSGeneratorStore(Node* node) {
   DCHECK_EQ(IrOpcode::kJSGeneratorStore, node->opcode());
   Node* generator = NodeProperties::GetValueInput(node, 0);
+  Node* continuation = NodeProperties::GetValueInput(node, 1);
   Node* context = NodeProperties::GetContextInput(node);
   Node* effect = NodeProperties::GetEffectInput(node);
   Node* control = NodeProperties::GetControlInput(node);
   int register_count = OpParameter<int>(node);
 
   FieldAccess array_field = AccessBuilder::ForJSGeneratorObjectOperandStack();
   FieldAccess context_field = AccessBuilder::ForJSGeneratorObjectContext();
   FieldAccess continuation_field =
       AccessBuilder::ForJSGeneratorObjectContinuation();
 
-  Node* array = graph()->NewNode(simplified()->LoadField(array_field),
-                                 generator, effect, control);
+  Node* array = effect = graph()->NewNode(simplified()->LoadField(array_field),
+                                          generator, effect, control);
 
   for (int i = 0; i < register_count; ++i) {
     Node* value = NodeProperties::GetValueInput(node, 2 + i);
     effect = graph()->NewNode(
         simplified()->StoreField(AccessBuilder::ForFixedArraySlot(i)), array,
         value, effect, control);
   }
 
   effect = graph()->NewNode(simplified()->StoreField(context_field), generator,
                             context, effect, control);
+  effect = graph()->NewNode(simplified()->StoreField(continuation_field),
+                            generator, continuation, effect, control);
 
-  // Change the JSGeneratorStore node to a StoreField node.
-  DCHECK_EQ(0, OperatorProperties::GetFrameStateInputCount(node->op()));
-  DCHECK_EQ(1, OperatorProperties::GetContextInputCount(node->op()));
-  node->RemoveInput(NodeProperties::FirstContextIndex(node));
-  for (int i = 0; i < register_count; ++i) {
-    node->RemoveInput(NodeProperties::FirstValueIndex(node) + 2);
-  }
-  NodeProperties::RemoveType(node);
-  NodeProperties::ChangeOp(node, simplified()->StoreField(continuation_field));
-
-  NodeProperties::ReplaceEffectInput(node, effect);
-
-  return Changed(node);
+  ReplaceWithValue(node, effect, effect, control);
+  return Changed(effect);
 }
 
 Reduction JSTypedLowering::ReduceJSGeneratorRestoreContinuation(Node* node) {
   DCHECK_EQ(IrOpcode::kJSGeneratorRestoreContinuation, node->opcode());
   Node* generator = NodeProperties::GetValueInput(node, 0);
   Node* effect = NodeProperties::GetEffectInput(node);
   Node* control = NodeProperties::GetControlInput(node);
 
   FieldAccess continuation_field =
       AccessBuilder::ForJSGeneratorObjectContinuation();
 
-  Node* continuation = graph()->NewNode(
+  Node* continuation = effect = graph()->NewNode(
       simplified()->LoadField(continuation_field), generator, effect, control);
+  Node* executing = jsgraph()->Constant(JSGeneratorObject::kGeneratorExecuting);
+  effect = graph()->NewNode(simplified()->StoreField(continuation_field),
+                            generator, executing, effect, control);
 
-  // Change the JSGeneratorRestoreContinuation node to a StoreField node.
-  DCHECK_EQ(0, OperatorProperties::GetFrameStateInputCount(node->op()));
-  DCHECK_EQ(1, OperatorProperties::GetContextInputCount(node->op()));
-  node->RemoveInput(NodeProperties::FirstContextIndex(node));
-  node->InsertInput(
-      graph()->zone(), 1,
-      jsgraph()->Constant(JSGeneratorObject::kGeneratorExecuting));
-  NodeProperties::RemoveType(node);
-  NodeProperties::ChangeOp(node, simplified()->StoreField(continuation_field));
-
-  NodeProperties::ReplaceEffectInput(node, continuation);
-  ReplaceWithValue(node, continuation, node, control);
-
-  return Changed(node);
+  ReplaceWithValue(node, continuation, effect, control);
+  return Changed(continuation);
 }
 
 Reduction JSTypedLowering::ReduceJSGeneratorRestoreRegister(Node* node) {
   DCHECK_EQ(IrOpcode::kJSGeneratorRestoreRegister, node->opcode());
   Node* generator = NodeProperties::GetValueInput(node, 0);
   Node* effect = NodeProperties::GetEffectInput(node);
   Node* control = NodeProperties::GetControlInput(node);
   int index = OpParameter<int>(node);
 
   FieldAccess array_field = AccessBuilder::ForJSGeneratorObjectOperandStack();
   FieldAccess element_field = AccessBuilder::ForFixedArraySlot(index);
 
-  Node* array = graph()->NewNode(simplified()->LoadField(array_field),
-                                 generator, effect, control);
-  Node* element = graph()->NewNode(simplified()->LoadField(element_field),
-                                   array, array, control);
+  Node* array = effect = graph()->NewNode(simplified()->LoadField(array_field),
+                                          generator, effect, control);
+  Node* element = effect = graph()->NewNode(
+      simplified()->LoadField(element_field), array, effect, control);
+  Node* stale = jsgraph()->StaleRegisterConstant();
+  effect = graph()->NewNode(simplified()->StoreField(element_field), array,
+                            stale, effect, control);
 
-  // Change the JSGeneratorRestoreRegister node to a StoreField node.
-  DCHECK_EQ(0, OperatorProperties::GetFrameStateInputCount(node->op()));
-  DCHECK_EQ(1, OperatorProperties::GetContextInputCount(node->op()));
-  node->RemoveInput(NodeProperties::FirstContextIndex(node));
-  node->ReplaceInput(0, array);
-  node->InsertInput(graph()->zone(), 1, jsgraph()->StaleRegisterConstant());
-  NodeProperties::RemoveType(node);
-  NodeProperties::ChangeOp(node, simplified()->StoreField(element_field));
-
-  NodeProperties::ReplaceEffectInput(node, element);
-  ReplaceWithValue(node, element, node, control);
-
-  return Changed(node);
+  ReplaceWithValue(node, element, effect, control);
+  return Changed(element);
 }
 
 Reduction JSTypedLowering::ReduceSelect(Node* node) {
   DCHECK_EQ(IrOpcode::kSelect, node->opcode());
   Node* const condition = NodeProperties::GetValueInput(node, 0);
   Type* const condition_type = NodeProperties::GetType(condition);
   Node* const vtrue = NodeProperties::GetValueInput(node, 1);
   Type* const vtrue_type = NodeProperties::GetType(vtrue);
   Node* const vfalse = NodeProperties::GetValueInput(node, 2);
   Type* const vfalse_type = NodeProperties::GetType(vfalse);
@@ skipping 175 matching lines @@
 }
 
 
 CompilationDependencies* JSTypedLowering::dependencies() const {
   return dependencies_;
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8