[turbofan] Deferred block spilling heuristic - first step.

test/unittests/compiler/register-allocator-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/compiler/pipeline.h"
 #include "test/unittests/compiler/instruction-sequence-unittest.h"
 
 namespace v8 {
 namespace internal {
 namespace compiler {
 
+
+namespace {
+
+// We can't just use the size of the moves collection, because of
+// redundant moves which need to be discounted.
+int GetMoveCount(const ParallelMove& moves) {
+  int move_count = 0;
+  for (auto move : moves) {
+    if (move->IsEliminated() || move->IsRedundant()) continue;
+    ++move_count;
+  }
+  return move_count;
+}
+}
+
+
 class RegisterAllocatorTest : public InstructionSequenceTest {
  public:
   void Allocate() {
     WireBlocks();
     Pipeline::AllocateRegistersForTesting(config(), sequence(), true);
   }
 };
 
 
 TEST_F(RegisterAllocatorTest, CanAllocateThreeRegisters) {
@@ skipping 463 matching lines @@
   StartBlock();
   // Force c to split within to_spill's definition.
   EmitI(Reg(c));
   EmitI(Reg(to_spill));
   EndBlock(Last());
 
   Allocate();
 }
 
 
+TEST_F(RegisterAllocatorTest, DeferredBlockSpill) {
+  StartBlock();  // B0
+  auto var = EmitOI(Reg(0));
+  EndBlock(Branch(Reg(var), 1, 2));
+
+  StartBlock();  // B1
+  EndBlock(Jump(3));
+
+  StartBlock(true);  // B2
+  EmitCall(Slot(-1), Slot(var));
+  EndBlock();
+
+  StartBlock();  // B3
+  EmitNop();
+  EndBlock();
+
+  StartBlock();  // B4
+  Return(Reg(var, 0));
+  EndBlock();
+
+  Allocate();
+
+  const int var_def_index = 1;
+  const int call_index = 3;
+  int expect_no_moves = FLAG_turbo_greedy_regalloc ? var_def_index : call_index;
+  int expect_spill_move =
+      FLAG_turbo_greedy_regalloc ? call_index : var_def_index;
+
+  const ParallelMove* moves =
+      sequence()
+          ->InstructionAt(expect_no_moves)
+          ->GetOrCreateParallelMove(Instruction::START, zone());
+
+  // We should have no parallel moves at the "expect_no_moves" position.
+  EXPECT_EQ(0, GetMoveCount(*moves));
+
+  moves = sequence()
+              ->InstructionAt(expect_spill_move)
+              ->GetOrCreateParallelMove(Instruction::START, zone());
+  EXPECT_EQ(1, GetMoveCount(*moves));
+  for (auto move : *moves) {
+    if (move->IsEliminated() || move->IsRedundant()) continue;
+    EXPECT_TRUE(move->source().IsRegister());
+    EXPECT_TRUE(move->destination().IsStackSlot());
+  }
+}
+
+
 namespace {
 
 enum class ParameterType { kFixedSlot, kSlot, kRegister, kFixedRegister };
 
 const ParameterType kParameterTypes[] = {
     ParameterType::kFixedSlot, ParameterType::kSlot, ParameterType::kRegister,
     ParameterType::kFixedRegister};
 
 class SlotConstraintTest : public RegisterAllocatorTest,
                            public ::testing::WithParamInterface<
@@ skipping 63 matching lines @@
 INSTANTIATE_TEST_CASE_P(
     RegisterAllocatorTest, SlotConstraintTest,
     ::testing::Combine(::testing::ValuesIn(kParameterTypes),
                        ::testing::Range(0, SlotConstraintTest::kMaxVariant)));
 
 #endif  // GTEST_HAS_COMBINE
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8