src/safepoint-table.h

   1 // Copyright 2010 the V8 project authors. All rights reserved.
   2 // Redistribution and use in source and binary forms, with or without
   3 // modification, are permitted provided that the following conditions are
   4 // met:
   5 //
   6 //     * Redistributions of source code must retain the above copyright
   7 //       notice, this list of conditions and the following disclaimer.
   8 //     * Redistributions in binary form must reproduce the above
   9 //       copyright notice, this list of conditions and the following
  10 //       disclaimer in the documentation and/or other materials provided
  11 //       with the distribution.
  12 //     * Neither the name of Google Inc. nor the names of its
  13 //       contributors may be used to endorse or promote products derived
  14 //       from this software without specific prior written permission.
  15 //
  16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
  17 // "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
  18 // LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
  19 // A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
  20 // OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
  21 // SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
  22 // LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
  23 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
  24 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
  25 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
  26 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
  27
  28 #ifndef V8_SAFEPOINT_TABLE_H_
  29 #define V8_SAFEPOINT_TABLE_H_
  30
  31 #include "v8.h"
  32
  33 #include "macro-assembler.h"
  34 #include "zone.h"
  35 #include "zone-inl.h"
  36
  37 namespace v8 {
  38 namespace internal {
  39
  40 class SafepointTable BASE_EMBEDDED {
  41  public:
  42   explicit SafepointTable(Code* code);
  43
  44   int size() const {
  45     return kHeaderSize +
  46            (length_ * (kPcAndDeoptimizationIndexSize + entry_size_)); }
  47   unsigned length() const { return length_; }
  48   unsigned entry_size() const { return entry_size_; }
  49
  50   unsigned GetPcOffset(unsigned index) const {
  51     ASSERT(index < length_);
  52     return Memory::uint32_at(GetPcOffsetLocation(index));
  53   }
  54
  55   int GetDeoptimizationIndex(unsigned index) const {
  56     ASSERT(index < length_);
  57     unsigned value = Memory::uint32_at(GetDeoptimizationLocation(index));
  58     return DeoptimizationIndexField::decode(value);
  59   }
  60
  61   unsigned GetGapCodeSize(unsigned index) const {
  62     ASSERT(index < length_);
  63     unsigned value = Memory::uint32_at(GetDeoptimizationLocation(index));
  64     return GapCodeSizeField::decode(value);
  65   }
  66
  67   uint8_t* GetEntry(unsigned index) const {
  68     ASSERT(index < length_);
  69     return &Memory::uint8_at(entries_ + (index * entry_size_));
  70   }
  71
  72   // Reserve 13 bits for the gap code size. On ARM a constant pool can be
  73   // emitted when generating the gap code. The size of the const pool is less
  74   // than what can be represented in 12 bits, so 13 bits gives room for having
  75   // instructions before potentially emitting a constant pool.
  76   static const int kGapCodeSizeBits = 13;
  77   static const int kDeoptIndexBits = 32 - kGapCodeSizeBits;
  78   class GapCodeSizeField: public BitField<unsigned, 0, kGapCodeSizeBits> {};
  79   class DeoptimizationIndexField:
  80       public BitField<int, kGapCodeSizeBits, kDeoptIndexBits> {};
  81
  82   static bool HasRegisters(uint8_t* entry);
  83   static bool HasRegisterAt(uint8_t* entry, int reg_index);
  84
  85   void PrintEntry(unsigned index) const;
  86
  87  private:
  88   static const uint8_t kNoRegisters = 0xFF;
  89
  90   static const int kLengthOffset = 0;
  91   static const int kEntrySizeOffset = kLengthOffset + kIntSize;
  92   static const int kHeaderSize = kEntrySizeOffset + kIntSize;
  93
  94   static const int kPcSize = kIntSize;
  95   static const int kDeoptimizationIndexSize = kIntSize;
  96   static const int kPcAndDeoptimizationIndexSize =
  97       kPcSize + kDeoptimizationIndexSize;
  98
  99   Address GetPcOffsetLocation(unsigned index) const {
 100     return pc_and_deoptimization_indexes_ +
 101            (index * kPcAndDeoptimizationIndexSize);
 102   }
 103
 104   Address GetDeoptimizationLocation(unsigned index) const {
 105     return GetPcOffsetLocation(index) + kPcSize;
 106   }
 107
 108   static void PrintBits(uint8_t byte, int digits);
 109
 110   AssertNoAllocation no_allocation_;
 111   Code* code_;
 112   unsigned length_;
 113   unsigned entry_size_;
 114
 115   Address pc_and_deoptimization_indexes_;
 116   Address entries_;
 117
 118   friend class SafepointTableBuilder;
 119 };
 120
 121
 122 class Safepoint BASE_EMBEDDED {
 123  public:
 124   static const int kNoDeoptimizationIndex =
 125       (1 << (SafepointTable::kDeoptIndexBits)) - 1;
 126
 127   void DefinePointerSlot(int index) { indexes_->Add(index); }
 128   void DefinePointerRegister(Register reg) { registers_->Add(reg.code()); }
 129
 130  private:
 131   Safepoint(ZoneList<int>* indexes, ZoneList<int>* registers) :
 132       indexes_(indexes), registers_(registers) { }
 133   ZoneList<int>* indexes_;
 134   ZoneList<int>* registers_;
 135
 136   friend class SafepointTableBuilder;
 137 };
 138
 139
 140 class SafepointTableBuilder BASE_EMBEDDED {
 141  public:
 142   SafepointTableBuilder()
 143       : deoptimization_info_(32),
 144         indexes_(32),
 145         registers_(32),
 146         emitted_(false) { }
 147
 148   // Get the offset of the emitted safepoint table in the code.
 149   unsigned GetCodeOffset() const;
 150
 151   // Define a new safepoint for the current position in the body.
 152   Safepoint DefineSafepoint(
 153       Assembler* assembler,
 154       int deoptimization_index = Safepoint::kNoDeoptimizationIndex);
 155
 156   // Define a new safepoint with registers on the stack for the
 157   // current position in the body and take the number of arguments on
 158   // top of the registers into account.
 159   Safepoint DefineSafepointWithRegisters(
 160       Assembler* assembler,
 161       int arguments,
 162       int deoptimization_index = Safepoint::kNoDeoptimizationIndex);
 163
 164   // Update the last safepoint with the size of the code generated for the gap
 165   // following it.
 166   void SetPcAfterGap(int pc) {
 167     ASSERT(!deoptimization_info_.is_empty());
 168     int index = deoptimization_info_.length() - 1;
 169     deoptimization_info_[index].pc_after_gap = pc;
 170   }
 171
 172   // Emit the safepoint table after the body. The number of bits per
 173   // entry must be enough to hold all the pointer indexes.
 174   void Emit(Assembler* assembler, int bits_per_entry);
 175
 176  private:
 177   struct DeoptimizationInfo {
 178     unsigned pc;
 179     unsigned deoptimization_index;
 180     unsigned pc_after_gap;
 181   };
 182
 183   uint32_t EncodeDeoptimizationIndexAndGap(DeoptimizationInfo info);
 184
 185   ZoneList<DeoptimizationInfo> deoptimization_info_;
 186   ZoneList<ZoneList<int>*> indexes_;
 187   ZoneList<ZoneList<int>*> registers_;
 188
 189   bool emitted_;
 190   unsigned offset_;
 191
 192   DISALLOW_COPY_AND_ASSIGN(SafepointTableBuilder);
 193 };
 194
 195 } }  // namespace v8::internal
 196
 197 #endif  // V8_SAFEPOINT_TABLE_H_