blob: 4c1c02ac0de0d6d6bad542d594abfd2cdb24963b [file] [log] [blame]
Steve Block1e0659c2011-05-24 12:43:12 +01001// Copyright 2011 the V8 project authors. All rights reserved.
Ben Murdochb8a8cc12014-11-26 15:28:44 +00002// Use of this source code is governed by a BSD-style license that can be
3// found in the LICENSE file.
Ben Murdochb0fe1622011-05-05 13:52:32 +01004
Ben Murdochb8a8cc12014-11-26 15:28:44 +00005#include "src/safepoint-table.h"
Ben Murdochb8e0da22011-05-16 14:20:40 +01006
Ben Murdochb8a8cc12014-11-26 15:28:44 +00007#include "src/deoptimizer.h"
8#include "src/disasm.h"
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00009#include "src/frames-inl.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +000010#include "src/macro-assembler.h"
11#include "src/ostreams.h"
Ben Murdochb0fe1622011-05-05 13:52:32 +010012
13namespace v8 {
14namespace internal {
15
Ben Murdochb8e0da22011-05-16 14:20:40 +010016
17bool SafepointEntry::HasRegisters() const {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000018 DCHECK(is_valid());
19 DCHECK(IsAligned(kNumSafepointRegisters, kBitsPerByte));
Ben Murdochb8e0da22011-05-16 14:20:40 +010020 const int num_reg_bytes = kNumSafepointRegisters >> kBitsPerByteLog2;
21 for (int i = 0; i < num_reg_bytes; i++) {
22 if (bits_[i] != SafepointTable::kNoRegisters) return true;
23 }
24 return false;
25}
26
27
28bool SafepointEntry::HasRegisterAt(int reg_index) const {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000029 DCHECK(is_valid());
30 DCHECK(reg_index >= 0 && reg_index < kNumSafepointRegisters);
Ben Murdochb8e0da22011-05-16 14:20:40 +010031 int byte_index = reg_index >> kBitsPerByteLog2;
32 int bit_index = reg_index & (kBitsPerByte - 1);
33 return (bits_[byte_index] & (1 << bit_index)) != 0;
34}
35
36
Ben Murdochb0fe1622011-05-05 13:52:32 +010037SafepointTable::SafepointTable(Code* code) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000038 DCHECK(code->is_crankshafted());
Ben Murdochb0fe1622011-05-05 13:52:32 +010039 code_ = code;
Steve Block1e0659c2011-05-24 12:43:12 +010040 Address header = code->instruction_start() + code->safepoint_table_offset();
Ben Murdochb0fe1622011-05-05 13:52:32 +010041 length_ = Memory::uint32_at(header + kLengthOffset);
42 entry_size_ = Memory::uint32_at(header + kEntrySizeOffset);
43 pc_and_deoptimization_indexes_ = header + kHeaderSize;
44 entries_ = pc_and_deoptimization_indexes_ +
Ben Murdochb8a8cc12014-11-26 15:28:44 +000045 (length_ * kPcAndDeoptimizationIndexSize);
46 DCHECK(entry_size_ > 0);
Ben Murdoch589d6972011-11-30 16:04:58 +000047 STATIC_ASSERT(SafepointEntry::DeoptimizationIndexField::kMax ==
48 Safepoint::kNoDeoptimizationIndex);
Ben Murdochb0fe1622011-05-05 13:52:32 +010049}
50
51
Ben Murdochb8e0da22011-05-16 14:20:40 +010052SafepointEntry SafepointTable::FindEntry(Address pc) const {
53 unsigned pc_offset = static_cast<unsigned>(pc - code_->instruction_start());
54 for (unsigned i = 0; i < length(); i++) {
55 // TODO(kasperl): Replace the linear search with binary search.
56 if (GetPcOffset(i) == pc_offset) return GetEntry(i);
Ben Murdochb0fe1622011-05-05 13:52:32 +010057 }
Ben Murdochb8e0da22011-05-16 14:20:40 +010058 return SafepointEntry();
Ben Murdochb0fe1622011-05-05 13:52:32 +010059}
60
61
Emily Bernierd0a1eb72015-03-24 16:35:39 -040062void SafepointTable::PrintEntry(unsigned index,
63 std::ostream& os) const { // NOLINT
Ben Murdochb0fe1622011-05-05 13:52:32 +010064 disasm::NameConverter converter;
Ben Murdochb8e0da22011-05-16 14:20:40 +010065 SafepointEntry entry = GetEntry(index);
66 uint8_t* bits = entry.bits();
Ben Murdochb0fe1622011-05-05 13:52:32 +010067
68 // Print the stack slot bits.
69 if (entry_size_ > 0) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000070 DCHECK(IsAligned(kNumSafepointRegisters, kBitsPerByte));
Ben Murdochb0fe1622011-05-05 13:52:32 +010071 const int first = kNumSafepointRegisters >> kBitsPerByteLog2;
72 int last = entry_size_ - 1;
Ben Murdochb8a8cc12014-11-26 15:28:44 +000073 for (int i = first; i < last; i++) PrintBits(os, bits[i], kBitsPerByte);
Ben Murdochb0fe1622011-05-05 13:52:32 +010074 int last_bits = code_->stack_slots() - ((last - first) * kBitsPerByte);
Ben Murdochb8a8cc12014-11-26 15:28:44 +000075 PrintBits(os, bits[last], last_bits);
Ben Murdochb0fe1622011-05-05 13:52:32 +010076
77 // Print the registers (if any).
Ben Murdochb8e0da22011-05-16 14:20:40 +010078 if (!entry.HasRegisters()) return;
Ben Murdochb0fe1622011-05-05 13:52:32 +010079 for (int j = 0; j < kNumSafepointRegisters; j++) {
Ben Murdochb8e0da22011-05-16 14:20:40 +010080 if (entry.HasRegisterAt(j)) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000081 os << " | " << converter.NameOfCPURegister(j);
Ben Murdochb0fe1622011-05-05 13:52:32 +010082 }
83 }
84 }
85}
86
87
Emily Bernierd0a1eb72015-03-24 16:35:39 -040088void SafepointTable::PrintBits(std::ostream& os, // NOLINT
Ben Murdochb8a8cc12014-11-26 15:28:44 +000089 uint8_t byte, int digits) {
90 DCHECK(digits >= 0 && digits <= kBitsPerByte);
Ben Murdochb0fe1622011-05-05 13:52:32 +010091 for (int i = 0; i < digits; i++) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +000092 os << (((byte & (1 << i)) == 0) ? "0" : "1");
Ben Murdochb0fe1622011-05-05 13:52:32 +010093 }
94}
95
96
Ben Murdochb8a8cc12014-11-26 15:28:44 +000097void Safepoint::DefinePointerRegister(Register reg, Zone* zone) {
98 registers_->Add(reg.code(), zone);
Ben Murdochb8e0da22011-05-16 14:20:40 +010099}
100
101
Steve Block1e0659c2011-05-24 12:43:12 +0100102Safepoint SafepointTableBuilder::DefineSafepoint(
Ben Murdoch2b4ba112012-01-20 14:57:15 +0000103 Assembler* assembler,
104 Safepoint::Kind kind,
105 int arguments,
106 Safepoint::DeoptMode deopt_mode) {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000107 DCHECK(arguments >= 0);
Ben Murdoch2b4ba112012-01-20 14:57:15 +0000108 DeoptimizationInfo info;
109 info.pc = assembler->pc_offset();
110 info.arguments = arguments;
111 info.has_doubles = (kind & Safepoint::kWithDoubles);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000112 deoptimization_info_.Add(info, zone_);
113 deopt_index_list_.Add(Safepoint::kNoDeoptimizationIndex, zone_);
Ben Murdoch2b4ba112012-01-20 14:57:15 +0000114 if (deopt_mode == Safepoint::kNoLazyDeopt) {
115 last_lazy_safepoint_ = deopt_index_list_.length();
116 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000117 indexes_.Add(new(zone_) ZoneList<int>(8, zone_), zone_);
Steve Block1e0659c2011-05-24 12:43:12 +0100118 registers_.Add((kind & Safepoint::kWithRegisters)
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000119 ? new(zone_) ZoneList<int>(4, zone_)
120 : NULL,
121 zone_);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100122 return Safepoint(indexes_.last(), registers_.last());
123}
124
125
Ben Murdoch2b4ba112012-01-20 14:57:15 +0000126void SafepointTableBuilder::RecordLazyDeoptimizationIndex(int index) {
127 while (last_lazy_safepoint_ < deopt_index_list_.length()) {
128 deopt_index_list_[last_lazy_safepoint_++] = index;
129 }
130}
131
Ben Murdochb0fe1622011-05-05 13:52:32 +0100132unsigned SafepointTableBuilder::GetCodeOffset() const {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000133 DCHECK(emitted_);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100134 return offset_;
135}
136
137
138void SafepointTableBuilder::Emit(Assembler* assembler, int bits_per_entry) {
139 // Make sure the safepoint table is properly aligned. Pad with nops.
140 assembler->Align(kIntSize);
141 assembler->RecordComment(";;; Safepoint table.");
142 offset_ = assembler->pc_offset();
143
144 // Take the register bits into account.
145 bits_per_entry += kNumSafepointRegisters;
146
147 // Compute the number of bytes per safepoint entry.
148 int bytes_per_entry =
149 RoundUp(bits_per_entry, kBitsPerByte) >> kBitsPerByteLog2;
150
151 // Emit the table header.
152 int length = deoptimization_info_.length();
153 assembler->dd(length);
154 assembler->dd(bytes_per_entry);
155
Ben Murdoch2b4ba112012-01-20 14:57:15 +0000156 // Emit sorted table of pc offsets together with deoptimization indexes.
Ben Murdochb0fe1622011-05-05 13:52:32 +0100157 for (int i = 0; i < length; i++) {
158 assembler->dd(deoptimization_info_[i].pc);
Ben Murdoch2b4ba112012-01-20 14:57:15 +0000159 assembler->dd(EncodeExceptPC(deoptimization_info_[i],
160 deopt_index_list_[i]));
Ben Murdochb0fe1622011-05-05 13:52:32 +0100161 }
162
163 // Emit table of bitmaps.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000164 ZoneList<uint8_t> bits(bytes_per_entry, zone_);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100165 for (int i = 0; i < length; i++) {
166 ZoneList<int>* indexes = indexes_[i];
167 ZoneList<int>* registers = registers_[i];
168 bits.Clear();
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000169 bits.AddBlock(0, bytes_per_entry, zone_);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100170
171 // Run through the registers (if any).
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000172 DCHECK(IsAligned(kNumSafepointRegisters, kBitsPerByte));
Ben Murdochb0fe1622011-05-05 13:52:32 +0100173 if (registers == NULL) {
174 const int num_reg_bytes = kNumSafepointRegisters >> kBitsPerByteLog2;
175 for (int j = 0; j < num_reg_bytes; j++) {
176 bits[j] = SafepointTable::kNoRegisters;
177 }
178 } else {
179 for (int j = 0; j < registers->length(); j++) {
180 int index = registers->at(j);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000181 DCHECK(index >= 0 && index < kNumSafepointRegisters);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100182 int byte_index = index >> kBitsPerByteLog2;
183 int bit_index = index & (kBitsPerByte - 1);
184 bits[byte_index] |= (1 << bit_index);
185 }
186 }
187
188 // Run through the indexes and build a bitmap.
189 for (int j = 0; j < indexes->length(); j++) {
190 int index = bits_per_entry - 1 - indexes->at(j);
191 int byte_index = index >> kBitsPerByteLog2;
192 int bit_index = index & (kBitsPerByte - 1);
193 bits[byte_index] |= (1U << bit_index);
194 }
195
196 // Emit the bitmap for the current entry.
197 for (int k = 0; k < bytes_per_entry; k++) {
198 assembler->db(bits[k]);
199 }
200 }
201 emitted_ = true;
202}
203
204
Ben Murdoch2b4ba112012-01-20 14:57:15 +0000205uint32_t SafepointTableBuilder::EncodeExceptPC(const DeoptimizationInfo& info,
206 unsigned index) {
Ben Murdochb8e0da22011-05-16 14:20:40 +0100207 uint32_t encoding = SafepointEntry::DeoptimizationIndexField::encode(index);
Ben Murdochb8e0da22011-05-16 14:20:40 +0100208 encoding |= SafepointEntry::ArgumentsField::encode(info.arguments);
209 encoding |= SafepointEntry::SaveDoublesField::encode(info.has_doubles);
Ben Murdochb0fe1622011-05-05 13:52:32 +0100210 return encoding;
211}
212
213
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000214} // namespace internal
215} // namespace v8