[turbofan] Remove eager frame state from add and subtract.

test/unittests/compiler/js-typed-lowering-unittest.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/compiler/access-builder.h"
 #include "src/compiler/js-graph.h"
 #include "src/compiler/js-operator.h"
 #include "src/compiler/js-typed-lowering.h"
 #include "src/compiler/machine-operator.h"
@@ skipping 808 matching lines @@
 
 // -----------------------------------------------------------------------------
 // JSAdd
 
 
 TEST_F(JSTypedLoweringTest, JSAddWithString) {
   BinaryOperationHints const hints = BinaryOperationHints::Any();
     Node* lhs = Parameter(Type::String(), 0);
     Node* rhs = Parameter(Type::String(), 1);
     Node* context = Parameter(Type::Any(), 2);
-    Node* frame_state0 = EmptyFrameState();
-    Node* frame_state1 = EmptyFrameState();
+    Node* frame_state = EmptyFrameState();
     Node* effect = graph()->start();
     Node* control = graph()->start();
     Reduction r =
         Reduce(graph()->NewNode(javascript()->Add(hints), lhs, rhs, context,
-                                frame_state0, frame_state1, effect, control));
+                                frame_state, effect, control));
     ASSERT_TRUE(r.Changed());
     EXPECT_THAT(r.replacement(),
-                IsCall(_, IsHeapConstant(CodeFactory::StringAdd(
-                                             isolate(), STRING_ADD_CHECK_NONE,
-                                             NOT_TENURED).code()),
-                       lhs, rhs, context, frame_state0, effect, control));
+                IsCall(_, IsHeapConstant(
+                              CodeFactory::StringAdd(
+                                  isolate(), STRING_ADD_CHECK_NONE, NOT_TENURED)
+                                  .code()),
+                       lhs, rhs, context, frame_state, effect, control));
 }
 
 TEST_F(JSTypedLoweringTest, JSAddSmis) {
   BinaryOperationHints const hints(BinaryOperationHints::kSignedSmall,
                                    BinaryOperationHints::kSignedSmall,
                                    BinaryOperationHints::kSignedSmall);
   TRACED_FOREACH(LanguageMode, language_mode, kLanguageModes) {
     Node* lhs = Parameter(Type::Number(), 0);
     Node* rhs = Parameter(Type::Number(), 1);
     Node* context = Parameter(Type::Any(), 2);
-    Node* frame_state0 = EmptyFrameState();
-    Node* frame_state1 = EmptyFrameState();
+    Node* frame_state = EmptyFrameState();
     Node* effect = graph()->start();
     Node* control = graph()->start();
     Reduction r =
         Reduce(graph()->NewNode(javascript()->Add(hints), lhs, rhs, context,
-                                frame_state0, frame_state1, effect, control));
+                                frame_state, effect, control));
     ASSERT_TRUE(r.Changed());
     EXPECT_THAT(r.replacement(),
                 IsSpeculativeNumberAdd(BinaryOperationHints::kSignedSmall, lhs,
                                        rhs, effect, control));
   }
 }
 
 // -----------------------------------------------------------------------------
 // JSSubtract
 
 TEST_F(JSTypedLoweringTest, JSSubtractSmis) {
   BinaryOperationHints const hints(BinaryOperationHints::kSignedSmall,
                                    BinaryOperationHints::kSignedSmall,
                                    BinaryOperationHints::kSignedSmall);
   TRACED_FOREACH(LanguageMode, language_mode, kLanguageModes) {
     Node* lhs = Parameter(Type::Number(), 0);
     Node* rhs = Parameter(Type::Number(), 1);
     Node* context = Parameter(Type::Any(), 2);
-    Node* frame_state0 = EmptyFrameState();
-    Node* frame_state1 = EmptyFrameState();
+    Node* frame_state = EmptyFrameState();
     Node* effect = graph()->start();
     Node* control = graph()->start();
-    Reduction r = Reduce(graph()->NewNode(javascript()->Subtract(hints), lhs,
-                                          rhs, context, frame_state0,
-                                          frame_state1, effect, control));
+    Reduction r =
+        Reduce(graph()->NewNode(javascript()->Subtract(hints), lhs, rhs,
+                                context, frame_state, effect, control));
     ASSERT_TRUE(r.Changed());
     EXPECT_THAT(r.replacement(),
                 IsSpeculativeNumberSubtract(BinaryOperationHints::kSignedSmall,
                                             lhs, rhs, effect, control));
   }
 }
 
 // -----------------------------------------------------------------------------
 // JSInstanceOf
 // Test that instanceOf is reduced if and only if the right-hand side is a
@@ skipping 53 matching lines @@
   Node* dummy = graph()->NewNode(javascript()->ToObject(), instanceOf, context,
                                  frame_state, effect, control);
   Reduction r = Reduce(instanceOf);
   ASSERT_FALSE(r.Changed());
   ASSERT_EQ(instanceOf, dummy->InputAt(0));
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8