LCOV - code coverage report
Current view: top level - src/compiler - frame.h (source / functions) Hit Total Coverage
Test: app.info Lines: 28 29 96.6 %
Date: 2019-04-17 Functions: 0 0 -

          Line data    Source code
       1             : // Copyright 2014 the V8 project authors. All rights reserved.
       2             : // Use of this source code is governed by a BSD-style license that can be
       3             : // found in the LICENSE file.
       4             : 
       5             : #ifndef V8_COMPILER_FRAME_H_
       6             : #define V8_COMPILER_FRAME_H_
       7             : 
       8             : #include "src/bit-vector.h"
       9             : #include "src/frame-constants.h"
      10             : 
      11             : namespace v8 {
      12             : namespace internal {
      13             : namespace compiler {
      14             : 
      15             : class CallDescriptor;
      16             : 
      17             : // Collects the spill slot and other frame slot requirements for a compiled
      18             : // function. Frames are usually populated by the register allocator and are used
      19             : // by Linkage to generate code for the prologue and epilogue to compiled
      20             : // code. Frame objects must be considered immutable once they've been
      21             : // instantiated and the basic information about the frame has been collected
      22             : // into them. Mutable state associated with the frame is stored separately in
      23             : // FrameAccessState.
      24             : //
      25             : // Frames are divided up into four regions.
      26             : // - The first is the fixed header, which always has a constant size and can be
      27             : //   predicted before code generation begins depending on the type of code being
      28             : //   generated.
      29             : // - The second is the region for spill slots, which is immediately below the
      30             : //   fixed header and grows as the register allocator needs to spill to the
      31             : //   stack and asks the frame for more space.
      32             : // - The third region, which contains the callee-saved registers must be
      33             : //   reserved after register allocation, since its size can only be precisely
      34             : //   determined after register allocation once the number of used callee-saved
      35             : //   register is certain.
      36             : // - The fourth region is a scratch area for return values from other functions
      37             : //   called, if multiple returns cannot all be passed in registers. This region
      38             : //   Must be last in a stack frame, so that it is positioned immediately below
      39             : //   the stack frame of a callee to store to.
      40             : //
      41             : // The frame region immediately below the fixed header contains spill slots
      42             : // starting at slot 4 for JSFunctions.  The callee-saved frame region below that
      43             : // starts at 4+spill_slot_count_.  Callee stack slots correspond to
      44             : // parameters that are accessible through negative slot ids.
      45             : //
      46             : // Every slot of a caller or callee frame is accessible by the register
      47             : // allocator and gap resolver with a SpillSlotOperand containing its
      48             : // corresponding slot id.
      49             : //
      50             : // Below an example JSFunction Frame with slot ids, frame regions and contents:
      51             : //
      52             : //  slot      JS frame
      53             : //       +-----------------+--------------------------------
      54             : //  -n-1 |   parameter 0   |                            ^
      55             : //       |- - - - - - - - -|                            |
      56             : //  -n   |                 |                          Caller
      57             : //  ...  |       ...       |                       frame slots
      58             : //  -2   |  parameter n-1  |                       (slot < 0)
      59             : //       |- - - - - - - - -|                            |
      60             : //  -1   |   parameter n   |                            v
      61             : //  -----+-----------------+--------------------------------
      62             : //   0   |   return addr   |   ^                        ^
      63             : //       |- - - - - - - - -|   |                        |
      64             : //   1   | saved frame ptr | Fixed                      |
      65             : //       |- - - - - - - - -| Header <-- frame ptr       |
      66             : //   2   |Context/Frm. Type|   |                        |
      67             : //       |- - - - - - - - -|   |                        |
      68             : //   3   |   [JSFunction]  |   v                        |
      69             : //       +-----------------+----                        |
      70             : //   4   |    spill 1      |   ^                      Callee
      71             : //       |- - - - - - - - -|   |                   frame slots
      72             : //  ...  |      ...        | Spill slots           (slot >= 0)
      73             : //       |- - - - - - - - -|   |                        |
      74             : //  m+3  |    spill m      |   v                        |
      75             : //       +-----------------+----                        |
      76             : //  m+4  |  callee-saved 1 |   ^                        |
      77             : //       |- - - - - - - - -|   |                        |
      78             : //       |      ...        | Callee-saved               |
      79             : //       |- - - - - - - - -|   |                        |
      80             : // m+r+3 |  callee-saved r |   v                        |
      81             : //       +-----------------+----                        |
      82             : // m+r+4 |    return 0     |   ^                        |
      83             : //       |- - - - - - - - -|   |                        |
      84             : //       |      ...        | Return                     |
      85             : //       |- - - - - - - - -|   |                        |
      86             : //       |    return q-1   |   v                        v
      87             : //  -----+-----------------+----- <-- stack ptr -------------
      88             : //
      89             : class V8_EXPORT_PRIVATE Frame : public ZoneObject {
      90             :  public:
      91             :   explicit Frame(int fixed_frame_size_in_slots);
      92             : 
      93             :   inline int GetTotalFrameSlotCount() const { return frame_slot_count_; }
      94             :   inline int GetFixedSlotCount() const { return fixed_slot_count_; }
      95             :   inline int GetSpillSlotCount() const { return spill_slot_count_; }
      96             :   inline int GetReturnSlotCount() const { return return_slot_count_; }
      97             : 
      98             :   void SetAllocatedRegisters(BitVector* regs) {
      99             :     DCHECK_NULL(allocated_registers_);
     100     2642492 :     allocated_registers_ = regs;
     101             :   }
     102             : 
     103             :   void SetAllocatedDoubleRegisters(BitVector* regs) {
     104             :     DCHECK_NULL(allocated_double_registers_);
     105     2642492 :     allocated_double_registers_ = regs;
     106             :   }
     107             : 
     108             :   bool DidAllocateDoubleRegisters() const {
     109      321569 :     return !allocated_double_registers_->IsEmpty();
     110             :   }
     111             : 
     112             :   void AlignSavedCalleeRegisterSlots(int alignment = kDoubleSize) {
     113             :     int alignment_slots = alignment / kSystemPointerSize;
     114             :     int delta = alignment_slots - (frame_slot_count_ & (alignment_slots - 1));
     115             :     if (delta != alignment_slots) {
     116             :       frame_slot_count_ += delta;
     117             :     }
     118           0 :     spill_slot_count_ += delta;
     119             :   }
     120             : 
     121             :   void AllocateSavedCalleeRegisterSlots(int count) {
     122      904429 :     frame_slot_count_ += count;
     123             :   }
     124             : 
     125             :   int AllocateSpillSlot(int width, int alignment = 0) {
     126             :     DCHECK_EQ(frame_slot_count_,
     127             :               fixed_slot_count_ + spill_slot_count_ + return_slot_count_);
     128     3529711 :     int frame_slot_count_before = frame_slot_count_;
     129             :     if (alignment > kSystemPointerSize) {
     130             :       // Slots are pointer sized, so alignment greater than a pointer size
     131             :       // requires allocating additional slots.
     132             :       width += alignment - kSystemPointerSize;
     133             :     }
     134             :     AllocateAlignedFrameSlots(width);
     135     3530959 :     spill_slot_count_ += frame_slot_count_ - frame_slot_count_before;
     136     3529711 :     return frame_slot_count_ - return_slot_count_ - 1;
     137             :   }
     138             : 
     139             :   void EnsureReturnSlots(int count) {
     140        5256 :     if (count > return_slot_count_) {
     141         667 :       count -= return_slot_count_;
     142         667 :       frame_slot_count_ += count;
     143         667 :       return_slot_count_ += count;
     144             :     }
     145             :   }
     146             : 
     147             :   int AlignFrame(int alignment = kDoubleSize);
     148             : 
     149             :   int ReserveSpillSlots(size_t slot_count) {
     150             :     DCHECK_EQ(0, spill_slot_count_);
     151        4656 :     spill_slot_count_ += static_cast<int>(slot_count);
     152        4656 :     frame_slot_count_ += static_cast<int>(slot_count);
     153             :     return frame_slot_count_ - 1;
     154             :   }
     155             : 
     156             :  private:
     157             :   void AllocateAlignedFrameSlots(int width) {
     158             :     DCHECK_LT(0, width);
     159     3530959 :     int new_frame_slots = (width + kSystemPointerSize - 1) / kSystemPointerSize;
     160             :     // Align to 8 bytes if width is a multiple of 8 bytes, and to 16 bytes if
     161             :     // multiple of 16.
     162             :     int align_to =
     163     3530959 :         (width & 15) == 0 ? 16 : (width & 7) == 0 ? 8 : kSystemPointerSize;
     164     3530959 :     frame_slot_count_ = RoundUp(frame_slot_count_ + new_frame_slots,
     165     7061918 :                                 align_to / kSystemPointerSize);
     166             :     DCHECK_LT(0, frame_slot_count_);
     167             :   }
     168             : 
     169             :  private:
     170             :   int fixed_slot_count_;
     171             :   int frame_slot_count_;
     172             :   int spill_slot_count_;
     173             :   int return_slot_count_;
     174             :   BitVector* allocated_registers_;
     175             :   BitVector* allocated_double_registers_;
     176             : 
     177             :   DISALLOW_COPY_AND_ASSIGN(Frame);
     178             : };
     179             : 
     180             : // Represents an offset from either the stack pointer or frame pointer.
     181             : class FrameOffset {
     182             :  public:
     183    16204871 :   inline bool from_stack_pointer() { return (offset_ & 1) == kFromSp; }
     184             :   inline bool from_frame_pointer() { return (offset_ & 1) == kFromFp; }
     185    16204871 :   inline int offset() { return offset_ & ~1; }
     186             : 
     187             :   inline static FrameOffset FromStackPointer(int offset) {
     188             :     DCHECK_EQ(0, offset & 1);
     189      118680 :     return FrameOffset(offset | kFromSp);
     190             :   }
     191             : 
     192             :   inline static FrameOffset FromFramePointer(int offset) {
     193             :     DCHECK_EQ(0, offset & 1);
     194             :     return FrameOffset(offset | kFromFp);
     195             :   }
     196             : 
     197             :  private:
     198             :   explicit FrameOffset(int offset) : offset_(offset) {}
     199             : 
     200             :   int offset_;  // Encodes SP or FP in the low order bit.
     201             : 
     202             :   static const int kFromSp = 1;
     203             :   static const int kFromFp = 0;
     204             : };
     205             : 
     206             : // Encapsulates the mutable state maintained during code generation about the
     207             : // current function's frame.
     208             : class FrameAccessState : public ZoneObject {
     209             :  public:
     210             :   explicit FrameAccessState(const Frame* const frame)
     211             :       : frame_(frame),
     212             :         access_frame_with_fp_(false),
     213             :         sp_delta_(0),
     214     2640590 :         has_frame_(false) {}
     215             : 
     216             :   const Frame* frame() const { return frame_; }
     217             :   V8_EXPORT_PRIVATE void MarkHasFrame(bool state);
     218             : 
     219             :   int sp_delta() const { return sp_delta_; }
     220     6189560 :   void ClearSPDelta() { sp_delta_ = 0; }
     221     3654694 :   void IncreaseSPDelta(int amount) { sp_delta_ += amount; }
     222             : 
     223             :   bool access_frame_with_fp() const { return access_frame_with_fp_; }
     224             : 
     225             :   // Regardless of how we access slots on the stack - using sp or fp - do we
     226             :   // have a frame, at the current stage in code generation.
     227             :   bool has_frame() const { return has_frame_; }
     228             : 
     229             :   void SetFrameAccessToDefault();
     230    17359045 :   void SetFrameAccessToFP() { access_frame_with_fp_ = true; }
     231     3422779 :   void SetFrameAccessToSP() { access_frame_with_fp_ = false; }
     232             : 
     233             :   int GetSPToFPSlotCount() const {
     234             :     int frame_slot_count =
     235      390086 :         (has_frame() ? frame()->GetTotalFrameSlotCount() : kElidedFrameSlots) -
     236             :         StandardFrameConstants::kFixedSlotCountAboveFp;
     237      390086 :     return frame_slot_count + sp_delta();
     238             :   }
     239             :   int GetSPToFPOffset() const {
     240      118680 :     return GetSPToFPSlotCount() * kSystemPointerSize;
     241             :   }
     242             : 
     243             :   // Get the frame offset for a given spill slot. The location depends on the
     244             :   // calling convention and the specific frame layout, and may thus be
     245             :   // architecture-specific. Negative spill slots indicate arguments on the
     246             :   // caller's frame.
     247             :   FrameOffset GetFrameOffset(int spill_slot) const;
     248             : 
     249             :  private:
     250             :   const Frame* const frame_;
     251             :   bool access_frame_with_fp_;
     252             :   int sp_delta_;
     253             :   bool has_frame_;
     254             : };
     255             : }  // namespace compiler
     256             : }  // namespace internal
     257             : }  // namespace v8
     258             : 
     259             : #endif  // V8_COMPILER_FRAME_H_

Generated by: LCOV version 1.10