blob: 90bd11e5e300dc6237164d7523370d8861ac29f1 [file] [log] [blame]
Ben Murdochb8a8cc12014-11-26 15:28:44 +00001// Copyright 2011 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
Ben Murdochb8a8cc12014-11-26 15:28:44 +00005#include "src/codegen.h"
6#include "src/deoptimizer.h"
Ben Murdoch4a90d5f2016-03-22 12:00:34 +00007#include "src/full-codegen/full-codegen.h"
8#include "src/register-configuration.h"
Ben Murdochb8a8cc12014-11-26 15:28:44 +00009#include "src/safepoint-table.h"
10
11namespace v8 {
12namespace internal {
13
14
15int Deoptimizer::patch_size() {
16 const int kCallInstructionSizeInWords = 6;
17 return kCallInstructionSizeInWords * Assembler::kInstrSize;
18}
19
20
Emily Bernierd0a1eb72015-03-24 16:35:39 -040021void Deoptimizer::EnsureRelocSpaceForLazyDeoptimization(Handle<Code> code) {
22 // Empty because there is no need for relocation information for the code
23 // patching in Deoptimizer::PatchCodeForDeoptimization below.
24}
25
26
Ben Murdochb8a8cc12014-11-26 15:28:44 +000027void Deoptimizer::PatchCodeForDeoptimization(Isolate* isolate, Code* code) {
28 Address code_start_address = code->instruction_start();
29 // Invalidate the relocation information, as it will become invalid by the
30 // code patching below, and is not needed any more.
31 code->InvalidateRelocation();
32
33 if (FLAG_zap_code_space) {
34 // Fail hard and early if we enter this code object again.
35 byte* pointer = code->FindCodeAgeSequence();
36 if (pointer != NULL) {
37 pointer += kNoCodeAgeSequenceLength;
38 } else {
39 pointer = code->instruction_start();
40 }
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000041 CodePatcher patcher(isolate, pointer, 1);
Ben Murdochb8a8cc12014-11-26 15:28:44 +000042 patcher.masm()->break_(0xCC);
43
44 DeoptimizationInputData* data =
45 DeoptimizationInputData::cast(code->deoptimization_data());
46 int osr_offset = data->OsrPcOffset()->value();
47 if (osr_offset > 0) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000048 CodePatcher osr_patcher(isolate, code->instruction_start() + osr_offset,
49 1);
Ben Murdochb8a8cc12014-11-26 15:28:44 +000050 osr_patcher.masm()->break_(0xCC);
51 }
52 }
53
54 DeoptimizationInputData* deopt_data =
55 DeoptimizationInputData::cast(code->deoptimization_data());
56#ifdef DEBUG
57 Address prev_call_address = NULL;
58#endif
59 // For each LLazyBailout instruction insert a call to the corresponding
60 // deoptimization entry.
61 for (int i = 0; i < deopt_data->DeoptCount(); i++) {
62 if (deopt_data->Pc(i)->value() == -1) continue;
63 Address call_address = code_start_address + deopt_data->Pc(i)->value();
64 Address deopt_entry = GetDeoptimizationEntry(isolate, i, LAZY);
65 int call_size_in_bytes = MacroAssembler::CallSize(deopt_entry,
66 RelocInfo::NONE32);
67 int call_size_in_words = call_size_in_bytes / Assembler::kInstrSize;
68 DCHECK(call_size_in_bytes % Assembler::kInstrSize == 0);
69 DCHECK(call_size_in_bytes <= patch_size());
Ben Murdoch4a90d5f2016-03-22 12:00:34 +000070 CodePatcher patcher(isolate, call_address, call_size_in_words);
Ben Murdochb8a8cc12014-11-26 15:28:44 +000071 patcher.masm()->Call(deopt_entry, RelocInfo::NONE32);
72 DCHECK(prev_call_address == NULL ||
73 call_address >= prev_call_address + patch_size());
74 DCHECK(call_address + patch_size() <= code->instruction_end());
75
76#ifdef DEBUG
77 prev_call_address = call_address;
78#endif
79 }
80}
81
82
Ben Murdochb8a8cc12014-11-26 15:28:44 +000083void Deoptimizer::SetPlatformCompiledStubRegisters(
84 FrameDescription* output_frame, CodeStubDescriptor* descriptor) {
85 ApiFunction function(descriptor->deoptimization_handler());
86 ExternalReference xref(&function, ExternalReference::BUILTIN_CALL, isolate_);
87 intptr_t handler = reinterpret_cast<intptr_t>(xref.address());
88 int params = descriptor->GetHandlerParameterCount();
Emily Bernierd0a1eb72015-03-24 16:35:39 -040089 output_frame->SetRegister(a0.code(), params);
90 output_frame->SetRegister(a1.code(), handler);
Ben Murdochb8a8cc12014-11-26 15:28:44 +000091}
92
93
94void Deoptimizer::CopyDoubleRegisters(FrameDescription* output_frame) {
95 for (int i = 0; i < DoubleRegister::kMaxNumRegisters; ++i) {
96 double double_value = input_->GetDoubleRegister(i);
97 output_frame->SetDoubleRegister(i, double_value);
98 }
99}
100
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000101#define __ masm()->
102
103
104// This code tries to be close to ia32 code so that any changes can be
105// easily ported.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000106void Deoptimizer::TableEntryGenerator::Generate() {
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000107 GeneratePrologue();
108
109 // Unlike on ARM we don't save all the registers, just the useful ones.
110 // For the rest, there are gaps on the stack, so the offsets remain the same.
111 const int kNumberOfRegisters = Register::kNumRegisters;
112
113 RegList restored_regs = kJSCallerSaved | kCalleeSaved;
114 RegList saved_regs = restored_regs | sp.bit() | ra.bit();
115
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000116 const int kDoubleRegsSize = kDoubleSize * DoubleRegister::kMaxNumRegisters;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000117
118 // Save all FPU registers before messing with them.
119 __ Dsubu(sp, sp, Operand(kDoubleRegsSize));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000120 const RegisterConfiguration* config =
121 RegisterConfiguration::ArchDefault(RegisterConfiguration::CRANKSHAFT);
122 for (int i = 0; i < config->num_allocatable_double_registers(); ++i) {
123 int code = config->GetAllocatableDoubleCode(i);
124 const DoubleRegister fpu_reg = DoubleRegister::from_code(code);
125 int offset = code * kDoubleSize;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000126 __ sdc1(fpu_reg, MemOperand(sp, offset));
127 }
128
129 // Push saved_regs (needed to populate FrameDescription::registers_).
130 // Leave gaps for other registers.
131 __ Dsubu(sp, sp, kNumberOfRegisters * kPointerSize);
132 for (int16_t i = kNumberOfRegisters - 1; i >= 0; i--) {
133 if ((saved_regs & (1 << i)) != 0) {
134 __ sd(ToRegister(i), MemOperand(sp, kPointerSize * i));
135 }
136 }
137
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000138 __ li(a2, Operand(ExternalReference(Isolate::kCEntryFPAddress, isolate())));
139 __ sd(fp, MemOperand(a2));
140
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000141 const int kSavedRegistersAreaSize =
142 (kNumberOfRegisters * kPointerSize) + kDoubleRegsSize;
143
144 // Get the bailout id from the stack.
145 __ ld(a2, MemOperand(sp, kSavedRegistersAreaSize));
146
147 // Get the address of the location in the code object (a3) (return
148 // address for lazy deoptimization) and compute the fp-to-sp delta in
149 // register a4.
150 __ mov(a3, ra);
151 // Correct one word for bailout id.
152 __ Daddu(a4, sp, Operand(kSavedRegistersAreaSize + (1 * kPointerSize)));
153
154 __ Dsubu(a4, fp, a4);
155
156 // Allocate a new deoptimizer object.
157 __ PrepareCallCFunction(6, a5);
Ben Murdochda12d292016-06-02 14:46:10 +0100158 // Pass six arguments, according to n64 ABI.
159 __ mov(a0, zero_reg);
160 Label context_check;
161 __ ld(a1, MemOperand(fp, CommonFrameConstants::kContextOrFrameTypeOffset));
162 __ JumpIfSmi(a1, &context_check);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000163 __ ld(a0, MemOperand(fp, JavaScriptFrameConstants::kFunctionOffset));
Ben Murdochda12d292016-06-02 14:46:10 +0100164 __ bind(&context_check);
165 __ li(a1, Operand(type())); // Bailout type.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000166 // a2: bailout id already loaded.
167 // a3: code address or 0 already loaded.
Ben Murdoch097c5b22016-05-18 11:27:45 +0100168 // a4: already has fp-to-sp delta.
169 __ li(a5, Operand(ExternalReference::isolate_address(isolate())));
170
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000171 // Call Deoptimizer::New().
172 {
173 AllowExternalCallThatCantCauseGC scope(masm());
174 __ CallCFunction(ExternalReference::new_deoptimizer_function(isolate()), 6);
175 }
176
177 // Preserve "deoptimizer" object in register v0 and get the input
178 // frame descriptor pointer to a1 (deoptimizer->input_);
179 // Move deopt-obj to a0 for call to Deoptimizer::ComputeOutputFrames() below.
180 __ mov(a0, v0);
181 __ ld(a1, MemOperand(v0, Deoptimizer::input_offset()));
182
183 // Copy core registers into FrameDescription::registers_[kNumRegisters].
184 DCHECK(Register::kNumRegisters == kNumberOfRegisters);
185 for (int i = 0; i < kNumberOfRegisters; i++) {
186 int offset = (i * kPointerSize) + FrameDescription::registers_offset();
187 if ((saved_regs & (1 << i)) != 0) {
188 __ ld(a2, MemOperand(sp, i * kPointerSize));
189 __ sd(a2, MemOperand(a1, offset));
190 } else if (FLAG_debug_code) {
191 __ li(a2, kDebugZapValue);
192 __ sd(a2, MemOperand(a1, offset));
193 }
194 }
195
196 int double_regs_offset = FrameDescription::double_registers_offset();
197 // Copy FPU registers to
198 // double_registers_[DoubleRegister::kNumAllocatableRegisters]
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000199 for (int i = 0; i < config->num_allocatable_double_registers(); ++i) {
200 int code = config->GetAllocatableDoubleCode(i);
201 int dst_offset = code * kDoubleSize + double_regs_offset;
202 int src_offset = code * kDoubleSize + kNumberOfRegisters * kPointerSize;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000203 __ ldc1(f0, MemOperand(sp, src_offset));
204 __ sdc1(f0, MemOperand(a1, dst_offset));
205 }
206
207 // Remove the bailout id and the saved registers from the stack.
208 __ Daddu(sp, sp, Operand(kSavedRegistersAreaSize + (1 * kPointerSize)));
209
210 // Compute a pointer to the unwinding limit in register a2; that is
211 // the first stack slot not part of the input frame.
212 __ ld(a2, MemOperand(a1, FrameDescription::frame_size_offset()));
213 __ Daddu(a2, a2, sp);
214
215 // Unwind the stack down to - but not including - the unwinding
216 // limit and copy the contents of the activation frame to the input
217 // frame description.
218 __ Daddu(a3, a1, Operand(FrameDescription::frame_content_offset()));
219 Label pop_loop;
220 Label pop_loop_header;
221 __ BranchShort(&pop_loop_header);
222 __ bind(&pop_loop);
223 __ pop(a4);
224 __ sd(a4, MemOperand(a3, 0));
225 __ daddiu(a3, a3, sizeof(uint64_t));
226 __ bind(&pop_loop_header);
227 __ BranchShort(&pop_loop, ne, a2, Operand(sp));
228 // Compute the output frame in the deoptimizer.
229 __ push(a0); // Preserve deoptimizer object across call.
230 // a0: deoptimizer object; a1: scratch.
231 __ PrepareCallCFunction(1, a1);
232 // Call Deoptimizer::ComputeOutputFrames().
233 {
234 AllowExternalCallThatCantCauseGC scope(masm());
235 __ CallCFunction(
236 ExternalReference::compute_output_frames_function(isolate()), 1);
237 }
238 __ pop(a0); // Restore deoptimizer object (class Deoptimizer).
239
Ben Murdochda12d292016-06-02 14:46:10 +0100240 __ ld(sp, MemOperand(a0, Deoptimizer::caller_frame_top_offset()));
241
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000242 // Replace the current (input) frame with the output frames.
243 Label outer_push_loop, inner_push_loop,
244 outer_loop_header, inner_loop_header;
245 // Outer loop state: a4 = current "FrameDescription** output_",
246 // a1 = one past the last FrameDescription**.
247 __ lw(a1, MemOperand(a0, Deoptimizer::output_count_offset()));
248 __ ld(a4, MemOperand(a0, Deoptimizer::output_offset())); // a4 is output_.
Ben Murdoch097c5b22016-05-18 11:27:45 +0100249 __ Dlsa(a1, a4, a1, kPointerSizeLog2);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000250 __ BranchShort(&outer_loop_header);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000251 __ bind(&outer_push_loop);
252 // Inner loop state: a2 = current FrameDescription*, a3 = loop index.
253 __ ld(a2, MemOperand(a4, 0)); // output_[ix]
254 __ ld(a3, MemOperand(a2, FrameDescription::frame_size_offset()));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000255 __ BranchShort(&inner_loop_header);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000256 __ bind(&inner_push_loop);
257 __ Dsubu(a3, a3, Operand(sizeof(uint64_t)));
258 __ Daddu(a6, a2, Operand(a3));
259 __ ld(a7, MemOperand(a6, FrameDescription::frame_content_offset()));
260 __ push(a7);
261 __ bind(&inner_loop_header);
262 __ BranchShort(&inner_push_loop, ne, a3, Operand(zero_reg));
263
264 __ Daddu(a4, a4, Operand(kPointerSize));
265 __ bind(&outer_loop_header);
266 __ BranchShort(&outer_push_loop, lt, a4, Operand(a1));
267
268 __ ld(a1, MemOperand(a0, Deoptimizer::input_offset()));
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000269 for (int i = 0; i < config->num_allocatable_double_registers(); ++i) {
270 int code = config->GetAllocatableDoubleCode(i);
271 const DoubleRegister fpu_reg = DoubleRegister::from_code(code);
272 int src_offset = code * kDoubleSize + double_regs_offset;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000273 __ ldc1(fpu_reg, MemOperand(a1, src_offset));
274 }
275
276 // Push state, pc, and continuation from the last output frame.
277 __ ld(a6, MemOperand(a2, FrameDescription::state_offset()));
278 __ push(a6);
279
280 __ ld(a6, MemOperand(a2, FrameDescription::pc_offset()));
281 __ push(a6);
282 __ ld(a6, MemOperand(a2, FrameDescription::continuation_offset()));
283 __ push(a6);
284
285
286 // Technically restoring 'at' should work unless zero_reg is also restored
287 // but it's safer to check for this.
288 DCHECK(!(at.bit() & restored_regs));
289 // Restore the registers from the last output frame.
290 __ mov(at, a2);
291 for (int i = kNumberOfRegisters - 1; i >= 0; i--) {
292 int offset = (i * kPointerSize) + FrameDescription::registers_offset();
293 if ((restored_regs & (1 << i)) != 0) {
294 __ ld(ToRegister(i), MemOperand(at, offset));
295 }
296 }
297
298 __ InitializeRootRegister();
299
300 __ pop(at); // Get continuation, leave pc on stack.
301 __ pop(ra);
302 __ Jump(at);
303 __ stop("Unreachable.");
304}
305
306
307// Maximum size of a table entry generated below.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000308const int Deoptimizer::table_entry_size_ = 2 * Assembler::kInstrSize;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000309
310void Deoptimizer::TableEntryGenerator::GeneratePrologue() {
311 Assembler::BlockTrampolinePoolScope block_trampoline_pool(masm());
312
313 // Create a sequence of deoptimization entries.
314 // Note that registers are still live when jumping to an entry.
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000315 Label table_start, done, done_special, trampoline_jump;
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000316 __ bind(&table_start);
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000317 int kMaxEntriesBranchReach =
318 (1 << (kImm16Bits - 2)) / (table_entry_size_ / Assembler::kInstrSize);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000319
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000320 if (count() <= kMaxEntriesBranchReach) {
321 // Common case.
322 for (int i = 0; i < count(); i++) {
323 Label start;
324 __ bind(&start);
325 DCHECK(is_int16(i));
326 __ BranchShort(USE_DELAY_SLOT, &done); // Expose delay slot.
327 __ li(at, i); // In the delay slot.
328
329 DCHECK_EQ(table_entry_size_, masm()->SizeOfCodeGeneratedSince(&start));
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000330 }
331
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000332 DCHECK_EQ(masm()->SizeOfCodeGeneratedSince(&table_start),
333 count() * table_entry_size_);
334 __ bind(&done);
335 __ Push(at);
336 } else {
337 // Uncommon case, the branch cannot reach.
338 // Create mini trampoline and adjust id constants to get proper value at
339 // the end of table.
340 for (int i = kMaxEntriesBranchReach; i > 1; i--) {
341 Label start;
342 __ bind(&start);
343 DCHECK(is_int16(i));
344 __ BranchShort(USE_DELAY_SLOT, &trampoline_jump); // Expose delay slot.
345 __ li(at, -i); // In the delay slot.
346 DCHECK_EQ(table_entry_size_, masm()->SizeOfCodeGeneratedSince(&start));
347 }
348 // Entry with id == kMaxEntriesBranchReach - 1.
349 __ bind(&trampoline_jump);
350 __ BranchShort(USE_DELAY_SLOT, &done_special);
351 __ li(at, -1);
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000352
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000353 for (int i = kMaxEntriesBranchReach; i < count(); i++) {
354 Label start;
355 __ bind(&start);
356 DCHECK(is_int16(i));
357 __ Branch(USE_DELAY_SLOT, &done); // Expose delay slot.
358 __ li(at, i); // In the delay slot.
359 }
360
361 DCHECK_EQ(masm()->SizeOfCodeGeneratedSince(&table_start),
362 count() * table_entry_size_);
363 __ bind(&done_special);
364 __ daddiu(at, at, kMaxEntriesBranchReach);
365 __ bind(&done);
366 __ Push(at);
367 }
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000368}
369
370
371void FrameDescription::SetCallerPc(unsigned offset, intptr_t value) {
372 SetFrameSlot(offset, value);
373}
374
375
376void FrameDescription::SetCallerFp(unsigned offset, intptr_t value) {
377 SetFrameSlot(offset, value);
378}
379
380
381void FrameDescription::SetCallerConstantPool(unsigned offset, intptr_t value) {
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000382 // No embedded constant pool support.
Ben Murdochb8a8cc12014-11-26 15:28:44 +0000383 UNREACHABLE();
384}
385
386
387#undef __
388
389
Ben Murdoch4a90d5f2016-03-22 12:00:34 +0000390} // namespace internal
391} // namespace v8