Removal of the deoptimization block from Turbofan

test/compiler-unittests/instruction-selector-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 "test/compiler-unittests/instruction-selector-unittest.h"
 
 #include "src/flags.h"
 
 namespace v8 {
 namespace internal {
@@ skipping 79 matching lines @@
     int virtual_register = *i;
     if (sequence.IsDouble(virtual_register)) {
       EXPECT_FALSE(sequence.IsReference(virtual_register));
       s.doubles_.insert(virtual_register);
     }
     if (sequence.IsReference(virtual_register)) {
       EXPECT_FALSE(sequence.IsDouble(virtual_register));
       s.references_.insert(virtual_register);
     }
   }
-  for (int i = 0; i < sequence.GetDeoptimizationEntryCount(); i++) {
-    s.deoptimization_entries_.push_back(sequence.GetDeoptimizationEntry(i));
+  for (int i = 0; i < sequence.GetFrameStateDescriptorCount(); i++) {
+    s.deoptimization_entries_.push_back(sequence.GetFrameStateDescriptor(
+        InstructionSequence::StateId::FromInt(i)));
   }
   return s;
 }
 
 
 // -----------------------------------------------------------------------------
 // Return.
 
 
 TARGET_TEST_F(InstructionSelectorTest, ReturnParameter) {
@@ skipping 204 matching lines @@
 
 // -----------------------------------------------------------------------------
 // Calls with deoptimization.
 TARGET_TEST_F(InstructionSelectorTest, CallJSFunctionWithDeopt) {
   StreamBuilder m(this, kMachAnyTagged, kMachAnyTagged, kMachAnyTagged);
 
   BailoutId bailout_id(42);
 
   Node* function_node = m.Parameter(0);
   Node* receiver = m.Parameter(1);
-  StreamBuilder::Label deopt, cont;
-
-  // TODO(jarin) Add frame state.
-  Node* call = m.CallJS0(function_node, receiver, &cont, &deopt);
-
-  m.Bind(&cont);
-  m.NewNode(m.common()->Continuation(), call);
-  m.Return(call);
-
-  m.Bind(&deopt);
-  m.NewNode(m.common()->LazyDeoptimization(), call);
 
   Node* parameters = m.NewNode(m.common()->StateValues(1), m.Int32Constant(1));
   Node* locals = m.NewNode(m.common()->StateValues(0));
   Node* stack = m.NewNode(m.common()->StateValues(0));
+  Node* context_dummy = m.Int32Constant(0);
 
-  Node* state_node =
-      m.NewNode(m.common()->FrameState(bailout_id), parameters, locals, stack);
-  m.Deoptimize(state_node);
+  Node* state_node = m.NewNode(m.common()->FrameState(bailout_id, PUSH_OUTPUT),
+                               parameters, locals, stack, context_dummy);
+  Node* call = m.CallJS0(function_node, receiver, state_node);
+  m.Return(call);
 
   Stream s = m.Build(kAllExceptNopInstructions);
 
   // Skip until kArchCallJSFunction.
   size_t index = 0;
   for (; index < s.size() && s[index]->arch_opcode() != kArchCallJSFunction;
        index++) {
   }
-  // Now we should have three instructions: call, return and deoptimize.
-  ASSERT_EQ(index + 3, s.size());
+  // Now we should have two instructions: call and return.
+  ASSERT_EQ(index + 2, s.size());
 
   EXPECT_EQ(kArchCallJSFunction, s[index++]->arch_opcode());
   EXPECT_EQ(kArchRet, s[index++]->arch_opcode());
-  EXPECT_EQ(kArchDeoptimize, s[index++]->arch_opcode());
-  EXPECT_EQ(index, s.size());
+
+  // TODO(jarin) Check deoptimization table.
 }
 
 
 TARGET_TEST_F(InstructionSelectorTest, CallFunctionStubWithDeopt) {
   StreamBuilder m(this, kMachAnyTagged, kMachAnyTagged, kMachAnyTagged,
                   kMachAnyTagged);
 
   BailoutId bailout_id_before(42);
-  BailoutId bailout_id_after(54);
 
   // Some arguments for the call node.
   Node* function_node = m.Parameter(0);
   Node* receiver = m.Parameter(1);
   Node* context = m.Int32Constant(1);  // Context is ignored.
 
   // Build frame state for the state before the call.
   Node* parameters = m.NewNode(m.common()->StateValues(1), m.Int32Constant(43));
   Node* locals = m.NewNode(m.common()->StateValues(1), m.Int32Constant(44));
   Node* stack = m.NewNode(m.common()->StateValues(1), m.Int32Constant(45));
-  Node* frame_state_before = m.NewNode(
-      m.common()->FrameState(bailout_id_before), parameters, locals, stack);
+  Node* context_sentinel = m.Int32Constant(0);
+  Node* frame_state_before =
+      m.NewNode(m.common()->FrameState(bailout_id_before, PUSH_OUTPUT),
+                parameters, locals, stack, context_sentinel);
 
-  StreamBuilder::Label deopt, cont;
   // Build the call.
-  Node* call =
-      m.CallFunctionStub0(function_node, receiver, context, frame_state_before,
-                          &cont, &deopt, CALL_AS_METHOD);
+  Node* call = m.CallFunctionStub0(function_node, receiver, context,
+                                   frame_state_before, CALL_AS_METHOD);
 
-  // Create the continuation branch.
-  m.Bind(&cont);
-  m.NewNode(m.common()->Continuation(), call);
   m.Return(call);
 
-  // Create the lazy deoptimization block (with a different frame state).
-  m.Bind(&deopt);
-  m.NewNode(m.common()->LazyDeoptimization(), call);
-
-  Node* stack_after =
-      m.NewNode(m.common()->StateValues(2), m.Int32Constant(55), call);
-
-  Node* frame_state_after = m.NewNode(m.common()->FrameState(bailout_id_after),
-                                      parameters, locals, stack_after);
-  m.Deoptimize(frame_state_after);
-
   Stream s = m.Build(kAllExceptNopInstructions);
 
   // Skip until kArchCallJSFunction.
   size_t index = 0;
   for (; index < s.size() && s[index]->arch_opcode() != kArchCallCodeObject;
        index++) {
   }
-  // Now we should have three instructions: call, return and deoptimize.
-  ASSERT_EQ(index + 3, s.size());
+  // Now we should have two instructions: call, return.
+  ASSERT_EQ(index + 2, s.size());
 
   // Check the call instruction
   const Instruction* call_instr = s[index++];
   EXPECT_EQ(kArchCallCodeObject, call_instr->arch_opcode());
   size_t num_operands =
       1 +  // Code object.
       1 +
-      3 +  // Frame state deopt id + one input for each value in frame state.
+      4 +  // Frame state deopt id + one input for each value in frame state.
       1 +  // Function.
-      1 +  // Context.
-      2;   // Continuation and deoptimization block labels.
+      1;   // Context.
   ASSERT_EQ(num_operands, call_instr->InputCount());
 
   // Code object.
   EXPECT_TRUE(call_instr->InputAt(0)->IsImmediate());
 
   // Deoptimization id.
   int32_t deopt_id_before = s.ToInt32(call_instr->InputAt(1));
-  FrameStateDescriptor* desc_before = s.GetDeoptimizationEntry(deopt_id_before);
+  FrameStateDescriptor* desc_before =
+      s.GetFrameStateDescriptor(deopt_id_before);
   EXPECT_EQ(bailout_id_before, desc_before->bailout_id());
+  EXPECT_EQ(PUSH_OUTPUT, desc_before->state_combine());
   EXPECT_EQ(1, desc_before->parameters_count());
   EXPECT_EQ(1, desc_before->locals_count());
   EXPECT_EQ(1, desc_before->stack_count());
   EXPECT_EQ(43, s.ToInt32(call_instr->InputAt(2)));
-  EXPECT_EQ(44, s.ToInt32(call_instr->InputAt(3)));
-  EXPECT_EQ(45, s.ToInt32(call_instr->InputAt(4)));
+  EXPECT_EQ(0, s.ToInt32(call_instr->InputAt(3)));
+  EXPECT_EQ(44, s.ToInt32(call_instr->InputAt(4)));
+  EXPECT_EQ(45, s.ToInt32(call_instr->InputAt(5)));
 
   // Function.
-  EXPECT_EQ(function_node->id(), s.ToVreg(call_instr->InputAt(5)));
+  EXPECT_EQ(function_node->id(), s.ToVreg(call_instr->InputAt(6)));
   // Context.
-  EXPECT_EQ(context->id(), s.ToVreg(call_instr->InputAt(6)));
-  // Continuation.
-  EXPECT_EQ(cont.block()->id(), s.ToInt32(call_instr->InputAt(7)));
-  // Deoptimization.
-  EXPECT_EQ(deopt.block()->id(), s.ToInt32(call_instr->InputAt(8)));
+  EXPECT_EQ(context->id(), s.ToVreg(call_instr->InputAt(7)));
 
   EXPECT_EQ(kArchRet, s[index++]->arch_opcode());
 
-  // Check the deoptimize instruction.
-  const Instruction* deopt_instr = s[index++];
-  EXPECT_EQ(kArchDeoptimize, deopt_instr->arch_opcode());
-  ASSERT_EQ(5U, deopt_instr->InputCount());
-  int32_t deopt_id_after = s.ToInt32(deopt_instr->InputAt(0));
-  FrameStateDescriptor* desc_after = s.GetDeoptimizationEntry(deopt_id_after);
-  EXPECT_EQ(bailout_id_after, desc_after->bailout_id());
-  EXPECT_EQ(1, desc_after->parameters_count());
-  EXPECT_EQ(1, desc_after->locals_count());
-  EXPECT_EQ(2, desc_after->stack_count());
-  // Parameter value from the frame state.
-  EXPECT_EQ(43, s.ToInt32(deopt_instr->InputAt(1)));
-  EXPECT_EQ(44, s.ToInt32(deopt_instr->InputAt(2)));
-  EXPECT_EQ(55, s.ToInt32(deopt_instr->InputAt(3)));
-  EXPECT_EQ(call->id(), s.ToVreg(deopt_instr->InputAt(4)));
   EXPECT_EQ(index, s.size());
 }
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8