[turbofan] Frame elision for code stubs

src/compiler/code-generator.cc

 // Copyright 2013 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/code-generator.h"
 
 #include "src/address-map.h"
 #include "src/compiler/code-generator-impl.h"
 #include "src/compiler/linkage.h"
 #include "src/compiler/pipeline.h"
@@ skipping 38 matching lines @@
       deoptimization_literals_(code->zone()),
       inlined_function_count_(0),
       translations_(code->zone()),
       last_lazy_deopt_pc_(0),
       jump_tables_(nullptr),
       ools_(nullptr),
       osr_pc_offset_(-1) {
   for (int i = 0; i < code->InstructionBlockCount(); ++i) {
     new (&labels_[i]) Label;
   }
-  if (code->ContainsCall()) {
-    frame->MarkNeedsFrame();
-  }
 }
 
-
 Handle<Code> CodeGenerator::GenerateCode() {
   CompilationInfo* info = this->info();
 
   // Open a frame scope to indicate that there is a frame on the stack.  The
   // MANUAL indicates that the scope shouldn't actually generate code to set up
   // the frame (that is done in AssemblePrologue).
   FrameScope frame_scope(masm(), StackFrame::MANUAL);
 
   // Emit a code line info recording start event.
   PositionsRecorder* recorder = masm()->positions_recorder();
   LOG_CODE_EVENT(isolate(), CodeStartLinePosInfoRecordEvent(recorder));
 
   // Place function entry hook if requested to do so.
   if (linkage()->GetIncomingDescriptor()->IsJSFunctionCall()) {
     ProfileEntryHookStub::MaybeCallEntryHook(masm());
   }
   // Architecture-specific, linkage-specific prologue.
   info->set_prologue_offset(masm()->pc_offset());
-  AssemblePrologue();
   if (linkage()->GetIncomingDescriptor()->InitializeRootRegister()) {
     masm()->InitializeRootRegister();
   }
 
   // Define deoptimization literals for all inlined functions.
   DCHECK_EQ(0u, deoptimization_literals_.size());
   for (const CompilationInfo::InlinedFunctionHolder& inlined :
        info->inlined_functions()) {
     if (!inlined.shared_info.is_identical_to(info->shared_info())) {
       DefineDeoptimizationLiteral(inlined.shared_info);
     }
   }
   inlined_function_count_ = deoptimization_literals_.size();
 
   // Define deoptimization literals for all unoptimized code objects of inlined
   // functions. This ensures unoptimized code is kept alive by optimized code.
   for (const CompilationInfo::InlinedFunctionHolder& inlined :
        info->inlined_functions()) {
     if (!inlined.shared_info.is_identical_to(info->shared_info())) {
       DefineDeoptimizationLiteral(inlined.inlined_code_object_root);
     }
   }
 
+  // Finish the Frame
+  frame()->AlignFrame(kFrameAlignmentInBytes);
+  AssembleSetupStackPointer();
   // Assemble all non-deferred blocks, followed by deferred ones.
   for (int deferred = 0; deferred < 2; ++deferred) {
     for (const InstructionBlock* block : code()->instruction_blocks()) {
       if (block->IsDeferred() == (deferred == 0)) {
         continue;
       }
       // Align loop headers on 16-byte boundaries.
       if (block->IsLoopHeader()) masm()->Align(16);
       // Ensure lazy deopt doesn't patch handler entry points.
       if (block->IsHandler()) EnsureSpaceForLazyDeopt();
@@ skipping 19 matching lines @@
           buffer = buffer.SubVector(next, buffer.length());
         }
         if (block->loop_header().IsValid()) {
           next =
               SNPrintF(buffer, " (in loop %d)", block->loop_header().ToInt());
           buffer = buffer.SubVector(next, buffer.length());
         }
         SNPrintF(buffer, " --");
         masm()->RecordComment(buffer_start);
       }
+
+      frame_access_state()->MarkHasFrame(block->needs_frame());
+
       masm()->bind(GetLabel(current_block_));
+      if (block->must_construct_frame()) {
+        AssemblePrologue();

[Benedikt Meurer, 2016/03/30 04:00:25]

Maybe we should rename AssemblePrologue to AssembleConstructFrame for
consistency? Then it would be obvious that these two are dual.

[Mircea Trofin, 2016/03/30 04:13:27]

I want to do that, but together with separating frame mutation out of it, so in
a separate CL.

[Benedikt Meurer, 2016/03/30 04:34:08]

Acknowledged.

+      }
+
       for (int i = block->code_start(); i < block->code_end(); ++i) {
-        AssembleInstruction(code()->InstructionAt(i));
+        Instruction* instr = code()->InstructionAt(i);

[Benedikt Meurer, 2016/03/30 04:00:25]

Please put all of this into AssembleInstruction below and let the for-loop body
be just the call to AssembleInstruction.

[Mircea Trofin, 2016/03/30 04:13:27]

We need the operands involved in the gap to be emitted before the frame is
deconstructed.

[Benedikt Meurer, 2016/03/30 04:34:08]

Sure, but that can all be done inside AssembleInstruction, which previously
contained the AssembleGaps call.

[Mircea Trofin, 2016/03/30 05:58:20]

Done.

+        AssembleGaps(instr);
+        if (block->must_deconstruct_frame() &&

[Benedikt Meurer, 2016/03/30 04:00:25]

This condition looks unnecessarily complex. Isn't what you actually want just

if (instr->IsJump() && block->must_deconstruct_frame()) {
  DCHECK_EQ(block->last_instruction_index(), i);
  DCHECK(!instr->IsRet());
  ...
}

or am I missing something? Also even for instr->IsRet() you probably need to
deconstruct the frame somehow (I guess that's part of AssembleReturn tho).

[Mircea Trofin, 2016/03/30 04:13:27]

That's true for ret, and I plan to address that separately. I agree with the
condition change.

[Benedikt Meurer, 2016/03/30 04:34:08]

Acknowledged.

+            i == block->last_instruction_index() && !instr->IsRet()) {
+          DCHECK(instr->IsJump());
+          AssembleDeconstructFrame();
+        }
+        AssembleInstruction(instr);
       }
     }
   }
 
   // Assemble all out-of-line code.
   if (ools_) {
     masm()->RecordComment("-- Out of line code --");
     for (OutOfLineCode* ool = ools_; ool; ool = ool->next()) {
       masm()->bind(ool->entry());
       ool->Generate();
@@ skipping 124 matching lines @@
     RootIndexMap map(isolate());
     int root_index = map.Lookup(*object);
     if (root_index != RootIndexMap::kInvalidRootIndex) {
       *index_return = static_cast<Heap::RootListIndex>(root_index);
       return true;
     }
   }
   return false;
 }
 
-
 void CodeGenerator::AssembleInstruction(Instruction* instr) {
-  AssembleGaps(instr);
   AssembleSourcePosition(instr);
   // Assemble architecture-specific code for the instruction.
   AssembleArchInstruction(instr);
 
   FlagsMode mode = FlagsModeField::decode(instr->opcode());
   FlagsCondition condition = FlagsConditionField::decode(instr->opcode());
   switch (mode) {
     case kFlags_branch: {
       // Assemble a branch after this instruction.
       InstructionOperandConverter i(this, instr);
@@ skipping 448 matching lines @@
     Instruction* instr, size_t frame_state_offset) {
   int const deoptimization_id = BuildTranslation(
       instr, -1, frame_state_offset, OutputFrameStateCombine::Ignore());
   DeoptimizationExit* const exit =
       new (zone()) DeoptimizationExit(deoptimization_id);
   deoptimization_exits_.push_back(exit);
   return exit;
 }
 
 int CodeGenerator::TailCallFrameStackSlotDelta(int stack_param_delta) {
-  CallDescriptor* descriptor = linkage()->GetIncomingDescriptor();
-  int spill_slots = frame()->GetSpillSlotCount();
-  bool has_frame = descriptor->IsJSFunctionCall() || spill_slots > 0;
   // Leave the PC on the stack on platforms that have that as part of their ABI
   int pc_slots = V8_TARGET_ARCH_STORES_RETURN_ADDRESS_ON_STACK ? 1 : 0;
-  int sp_slot_delta =
-      has_frame ? (frame()->GetTotalFrameSlotCount() - pc_slots) : 0;
+  int sp_slot_delta = frame_access_state()->has_frame()
+                          ? (frame()->GetTotalFrameSlotCount() - pc_slots)
+                          : 0;
   // Discard only slots that won't be used by new parameters.
   sp_slot_delta += stack_param_delta;
   return sp_slot_delta;
 }
 
-
 OutOfLineCode::OutOfLineCode(CodeGenerator* gen)
     : frame_(gen->frame()), masm_(gen->masm()), next_(gen->ools_) {
   gen->ools_ = this;
 }
 
 
 OutOfLineCode::~OutOfLineCode() {}
 
 }  // namespace compiler
 }  // namespace internal
 }  // namespace v8