13ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch// Copyright 2012 the V8 project authors. All rights reserved.
2b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// Use of this source code is governed by a BSD-style license that can be
3b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch// found in the LICENSE file.
4b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
5b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#include "src/codegen.h"
6b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#include "src/deoptimizer.h"
7014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch#include "src/full-codegen/full-codegen.h"
8014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch#include "src/register-configuration.h"
9b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch#include "src/safepoint-table.h"
10b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
11b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdochnamespace v8 {
12b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdochnamespace internal {
13b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
14b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochconst int Deoptimizer::table_entry_size_ = 8;
15b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
161e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block
171e0659c275bb392c045087af4f6b0d7565cb3d77Steve Blockint Deoptimizer::patch_size() {
181e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  const int kCallInstructionSizeInWords = 3;
191e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  return kCallInstructionSizeInWords * Assembler::kInstrSize;
201e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block}
211e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block
221e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block
23958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Berniervoid Deoptimizer::EnsureRelocSpaceForLazyDeoptimization(Handle<Code> code) {
24958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier  // Empty because there is no need for relocation information for the code
25958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier  // patching in Deoptimizer::PatchCodeForDeoptimization below.
26958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier}
27958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier
28958fae7ec3f466955f8e5b50fa5b8d38b9e91675Emily Bernier
29b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvoid Deoptimizer::PatchCodeForDeoptimization(Isolate* isolate, Code* code) {
302b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch  Address code_start_address = code->instruction_start();
31b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Invalidate the relocation information, as it will become invalid by the
32b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // code patching below, and is not needed any more.
33b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  code->InvalidateRelocation();
34b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
35b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  if (FLAG_zap_code_space) {
36b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    // Fail hard and early if we enter this code object again.
37b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    byte* pointer = code->FindCodeAgeSequence();
38b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    if (pointer != NULL) {
39b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch      pointer += kNoCodeAgeSequenceLength;
40b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    } else {
41b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch      pointer = code->instruction_start();
42b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    }
43014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch    CodePatcher patcher(isolate, pointer, 1);
44b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    patcher.masm()->bkpt(0);
45b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
46b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    DeoptimizationInputData* data =
47b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch        DeoptimizationInputData::cast(code->deoptimization_data());
48b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    int osr_offset = data->OsrPcOffset()->value();
49b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    if (osr_offset > 0) {
50014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch      CodePatcher osr_patcher(isolate, code->instruction_start() + osr_offset,
51014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch                              1);
52b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch      osr_patcher.masm()->bkpt(0);
53b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    }
54b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  }
55b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
562b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch  DeoptimizationInputData* deopt_data =
572b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch      DeoptimizationInputData::cast(code->deoptimization_data());
58b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch#ifdef DEBUG
592b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch  Address prev_call_address = NULL;
60b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch#endif
61b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // For each LLazyBailout instruction insert a call to the corresponding
62b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // deoptimization entry.
632b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch  for (int i = 0; i < deopt_data->DeoptCount(); i++) {
642b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    if (deopt_data->Pc(i)->value() == -1) continue;
652b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    Address call_address = code_start_address + deopt_data->Pc(i)->value();
66b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    Address deopt_entry = GetDeoptimizationEntry(isolate, i, LAZY);
67b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    // We need calls to have a predictable size in the unoptimized code, but
68b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    // this is optimized code, so we don't have to have a predictable size.
69b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    int call_size_in_bytes =
70b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch        MacroAssembler::CallSizeNotPredictableCodeSize(isolate,
71b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch                                                       deopt_entry,
72b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch                                                       RelocInfo::NONE32);
732b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    int call_size_in_words = call_size_in_bytes / Assembler::kInstrSize;
74b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    DCHECK(call_size_in_bytes % Assembler::kInstrSize == 0);
75b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    DCHECK(call_size_in_bytes <= patch_size());
76014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch    CodePatcher patcher(isolate, call_address, call_size_in_words);
77b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    patcher.masm()->Call(deopt_entry, RelocInfo::NONE32);
78b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    DCHECK(prev_call_address == NULL ||
792b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch           call_address >= prev_call_address + patch_size());
80b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    DCHECK(call_address + patch_size() <= code->instruction_end());
81b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch#ifdef DEBUG
822b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    prev_call_address = call_address;
83b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch#endif
842b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch  }
85b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch}
86b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
87b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
883fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdochvoid Deoptimizer::FillInputFrame(Address tos, JavaScriptFrame* frame) {
893fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  // Set the register values. The values are not important as there are no
903fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  // callee saved registers in JavaScript frames, so all registers are
913fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  // spilled. Registers fp and sp are set to the correct values though.
923fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch
933fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  for (int i = 0; i < Register::kNumRegisters; i++) {
943fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch    input_->SetRegister(i, i * 4);
953fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  }
963fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  input_->SetRegister(sp.code(), reinterpret_cast<intptr_t>(frame->sp()));
973fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  input_->SetRegister(fp.code(), reinterpret_cast<intptr_t>(frame->fp()));
98014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch  for (int i = 0; i < DoubleRegister::kMaxNumRegisters; i++) {
993fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch    input_->SetDoubleRegister(i, 0.0);
1003fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  }
101b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
1023fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  // Fill the frame content from the actual data on the frame.
1033fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  for (unsigned i = 0; i < input_->GetFrameSize(); i += kPointerSize) {
1043fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch    input_->SetFrameSlot(i, Memory::uint32_at(tos + i));
1053fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  }
1063fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch}
1073fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch
1083fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch
109b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvoid Deoptimizer::SetPlatformCompiledStubRegisters(
110b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    FrameDescription* output_frame, CodeStubDescriptor* descriptor) {
111b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  ApiFunction function(descriptor->deoptimization_handler());
112b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  ExternalReference xref(&function, ExternalReference::BUILTIN_CALL, isolate_);
113b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  intptr_t handler = reinterpret_cast<intptr_t>(xref.address());
114b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  int params = descriptor->GetHandlerParameterCount();
115b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  output_frame->SetRegister(r0.code(), params);
116b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  output_frame->SetRegister(r1.code(), handler);
117b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch}
118b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
119b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
120b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvoid Deoptimizer::CopyDoubleRegisters(FrameDescription* output_frame) {
121b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  for (int i = 0; i < DwVfpRegister::kMaxNumRegisters; ++i) {
122b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    double double_value = input_->GetDoubleRegister(i);
123b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    output_frame->SetDoubleRegister(i, double_value);
124b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  }
125b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch}
126b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
127b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
128b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochbool Deoptimizer::HasAlignmentPadding(JSFunction* function) {
129b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // There is no dynamic alignment padding on ARM in the input frame.
130b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  return false;
131b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch}
132b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
133b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
1343fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch#define __ masm()->
135b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
136b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch// This code tries to be close to ia32 code so that any changes can be
137b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch// easily ported.
138014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdochvoid Deoptimizer::TableEntryGenerator::Generate() {
139b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  GeneratePrologue();
14044f0eee88ff00398ff7f715fab053374d808c90dSteve Block
141b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Save all general purpose registers before messing with them.
142b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  const int kNumberOfRegisters = Register::kNumRegisters;
143b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
144b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Everything but pc, lr and ip which will be saved but not restored.
145b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  RegList restored_regs = kJSCallerSaved | kCalleeSaved | ip.bit();
146b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
147014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch  const int kDoubleRegsSize = kDoubleSize * DwVfpRegister::kMaxNumRegisters;
148b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
149b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // Save all allocatable VFP registers before messing with them.
150b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  DCHECK(kDoubleRegZero.code() == 14);
151b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  DCHECK(kScratchDoubleReg.code() == 15);
152b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
153b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // Check CPU flags for number of registers, setting the Z condition flag.
154b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ CheckFor32DRegs(ip);
155b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
156014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch  // Push registers d0-d15, and possibly d16-d31, on the stack.
157b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // If d16-d31 are not pushed, decrease the stack pointer instead.
158b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ vstm(db_w, sp, d16, d31, ne);
159b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ sub(sp, sp, Operand(16 * kDoubleSize), LeaveCC, eq);
160014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch  __ vstm(db_w, sp, d0, d15);
161b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
162b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Push all 16 registers (needed to populate FrameDescription::registers_).
16369a99ed0b2b2ef69d393c371b03db3a98aaf880eBen Murdoch  // TODO(1588) Note that using pc with stm is deprecated, so we should perhaps
16469a99ed0b2b2ef69d393c371b03db3a98aaf880eBen Murdoch  // handle this a bit differently.
165b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ stm(db_w, sp, restored_regs  | sp.bit() | lr.bit() | pc.bit());
166b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
167014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch  __ mov(ip, Operand(ExternalReference(Isolate::kCEntryFPAddress, isolate())));
168014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch  __ str(fp, MemOperand(ip));
169014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch
170b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  const int kSavedRegistersAreaSize =
171b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch      (kNumberOfRegisters * kPointerSize) + kDoubleRegsSize;
172b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
173b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Get the bailout id from the stack.
174b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ ldr(r2, MemOperand(sp, kSavedRegistersAreaSize));
175b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
176b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // Get the address of the location in the code object (r3) (return
177b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // address for lazy deoptimization) and compute the fp-to-sp delta in
178b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // register r4.
179b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ mov(r3, lr);
180b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // Correct one word for bailout id.
181b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ add(r4, sp, Operand(kSavedRegistersAreaSize + (1 * kPointerSize)));
182b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ sub(r4, fp, r4);
183b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
184b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Allocate a new deoptimizer object.
185b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Pass four arguments in r0 to r3 and fifth argument on stack.
1868b112d2025046f85ef7f6be087c6129c872ebad2Ben Murdoch  __ PrepareCallCFunction(6, r5);
187b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ ldr(r0, MemOperand(fp, JavaScriptFrameConstants::kFunctionOffset));
188b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ mov(r1, Operand(type()));  // bailout type,
189b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // r2: bailout id already loaded.
190b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // r3: code address or 0 already loaded.
191b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ str(r4, MemOperand(sp, 0 * kPointerSize));  // Fp-to-sp delta.
192b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ mov(r5, Operand(ExternalReference::isolate_address(isolate())));
1938b112d2025046f85ef7f6be087c6129c872ebad2Ben Murdoch  __ str(r5, MemOperand(sp, 1 * kPointerSize));  // Isolate.
194b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Call Deoptimizer::New().
1953ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  {
1963ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    AllowExternalCallThatCantCauseGC scope(masm());
197b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    __ CallCFunction(ExternalReference::new_deoptimizer_function(isolate()), 6);
1983ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
199b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
200b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Preserve "deoptimizer" object in register r0 and get the input
201b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // frame descriptor pointer to r1 (deoptimizer->input_);
202b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ ldr(r1, MemOperand(r0, Deoptimizer::input_offset()));
203b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
204b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Copy core registers into FrameDescription::registers_[kNumRegisters].
205b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  DCHECK(Register::kNumRegisters == kNumberOfRegisters);
206b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  for (int i = 0; i < kNumberOfRegisters; i++) {
2071e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block    int offset = (i * kPointerSize) + FrameDescription::registers_offset();
208b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ ldr(r2, MemOperand(sp, i * kPointerSize));
209b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ str(r2, MemOperand(r1, offset));
210b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
211b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
212b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Copy VFP registers to
213b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // double_registers_[DoubleRegister::kMaxNumAllocatableRegisters]
214b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  int double_regs_offset = FrameDescription::double_registers_offset();
215014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch  const RegisterConfiguration* config =
216014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch      RegisterConfiguration::ArchDefault(RegisterConfiguration::CRANKSHAFT);
217014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch  for (int i = 0; i < config->num_allocatable_double_registers(); ++i) {
218014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch    int code = config->GetAllocatableDoubleCode(i);
219014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch    int dst_offset = code * kDoubleSize + double_regs_offset;
220014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch    int src_offset = code * kDoubleSize + kNumberOfRegisters * kPointerSize;
221b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ vldr(d0, sp, src_offset);
222b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ vstr(d0, r1, dst_offset);
223b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
224b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
225b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // Remove the bailout id and the saved registers from the stack.
226b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ add(sp, sp, Operand(kSavedRegistersAreaSize + (1 * kPointerSize)));
227b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
228b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Compute a pointer to the unwinding limit in register r2; that is
229b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // the first stack slot not part of the input frame.
230b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ ldr(r2, MemOperand(r1, FrameDescription::frame_size_offset()));
231b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ add(r2, r2, sp);
232b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
233b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Unwind the stack down to - but not including - the unwinding
234b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // limit and copy the contents of the activation frame to the input
235b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // frame description.
236b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ add(r3,  r1, Operand(FrameDescription::frame_content_offset()));
237b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  Label pop_loop;
238b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  Label pop_loop_header;
239b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ b(&pop_loop_header);
240b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ bind(&pop_loop);
241b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ pop(r4);
242b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ str(r4, MemOperand(r3, 0));
243b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ add(r3, r3, Operand(sizeof(uint32_t)));
244b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ bind(&pop_loop_header);
245b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ cmp(r2, sp);
246b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ b(ne, &pop_loop);
247b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
248b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Compute the output frame in the deoptimizer.
249b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ push(r0);  // Preserve deoptimizer object across call.
250b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // r0: deoptimizer object; r1: scratch.
251b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ PrepareCallCFunction(1, r1);
252b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Call Deoptimizer::ComputeOutputFrames().
2533ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  {
2543ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    AllowExternalCallThatCantCauseGC scope(masm());
2553ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    __ CallCFunction(
256b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch        ExternalReference::compute_output_frames_function(isolate()), 1);
2573ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
258b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ pop(r0);  // Restore deoptimizer object (class Deoptimizer).
259b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
260b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Replace the current (input) frame with the output frames.
261b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  Label outer_push_loop, inner_push_loop,
262b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch      outer_loop_header, inner_loop_header;
263b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // Outer loop state: r4 = current "FrameDescription** output_",
264b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // r1 = one past the last FrameDescription**.
265b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ ldr(r1, MemOperand(r0, Deoptimizer::output_count_offset()));
266b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ ldr(r4, MemOperand(r0, Deoptimizer::output_offset()));  // r4 is output_.
267b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ add(r1, r4, Operand(r1, LSL, 2));
268b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ jmp(&outer_loop_header);
269b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ bind(&outer_push_loop);
270b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Inner loop state: r2 = current FrameDescription*, r3 = loop index.
271b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ ldr(r2, MemOperand(r4, 0));  // output_[ix]
272b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ ldr(r3, MemOperand(r2, FrameDescription::frame_size_offset()));
273b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ jmp(&inner_loop_header);
274b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ bind(&inner_push_loop);
275b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ sub(r3, r3, Operand(sizeof(uint32_t)));
276b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ add(r6, r2, Operand(r3));
277b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ ldr(r6, MemOperand(r6, FrameDescription::frame_content_offset()));
278b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ push(r6);
279b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ bind(&inner_loop_header);
280b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ cmp(r3, Operand::Zero());
281b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ b(ne, &inner_push_loop);  // test for gt?
282b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ add(r4, r4, Operand(kPointerSize));
283b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ bind(&outer_loop_header);
284b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ cmp(r4, r1);
285b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ b(lt, &outer_push_loop);
286b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
287b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // Check CPU flags for number of registers, setting the Z condition flag.
288b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ CheckFor32DRegs(ip);
289b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
290b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ ldr(r1, MemOperand(r0, Deoptimizer::input_offset()));
291b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  int src_offset = FrameDescription::double_registers_offset();
292b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  for (int i = 0; i < DwVfpRegister::kMaxNumRegisters; ++i) {
293b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    if (i == kDoubleRegZero.code()) continue;
294b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    if (i == kScratchDoubleReg.code()) continue;
295b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
296b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    const DwVfpRegister reg = DwVfpRegister::from_code(i);
297b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    __ vldr(reg, r1, src_offset, i < 16 ? al : ne);
298b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    src_offset += kDoubleSize;
299b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
300b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
301b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // Push state, pc, and continuation from the last output frame.
302b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ ldr(r6, MemOperand(r2, FrameDescription::state_offset()));
303b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ push(r6);
304b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ ldr(r6, MemOperand(r2, FrameDescription::pc_offset()));
305b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ push(r6);
306b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ ldr(r6, MemOperand(r2, FrameDescription::continuation_offset()));
307b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ push(r6);
308b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
309b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Push the registers from the last output frame.
310b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  for (int i = kNumberOfRegisters - 1; i >= 0; i--) {
3111e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block    int offset = (i * kPointerSize) + FrameDescription::registers_offset();
312b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ ldr(r6, MemOperand(r2, offset));
313b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ push(r6);
314b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
315b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
316b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Restore the registers from the stack.
317b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ ldm(ia_w, sp, restored_regs);  // all but pc registers.
318b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ pop(ip);  // remove sp
319b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ pop(ip);  // remove lr
320b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
321c7cc028aaeedbbfa11c11d0b7b243b3d9e837ed9Ben Murdoch  __ InitializeRootRegister();
322b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
323b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ pop(ip);  // remove pc
324b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ pop(ip);  // get continuation, leave pc on stack
325b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ pop(lr);
326b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ Jump(ip);
327b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ stop("Unreachable.");
328b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch}
329b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
330b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
331b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdochvoid Deoptimizer::TableEntryGenerator::GeneratePrologue() {
332b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // Create a sequence of deoptimization entries.
333b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  // Note that registers are still live when jumping to an entry.
334b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  Label done;
335b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  for (int i = 0; i < count(); i++) {
336b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    int start = masm()->pc_offset();
337b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    USE(start);
338b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ mov(ip, Operand(i));
339b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ b(&done);
340b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch    DCHECK(masm()->pc_offset() - start == table_entry_size_);
341b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
342b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ bind(&done);
343b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  __ push(ip);
344b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch}
345b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
346b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
347b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvoid FrameDescription::SetCallerPc(unsigned offset, intptr_t value) {
348b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  SetFrameSlot(offset, value);
349b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch}
350b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
351b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
352b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvoid FrameDescription::SetCallerFp(unsigned offset, intptr_t value) {
353b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  SetFrameSlot(offset, value);
354b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch}
355b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
356b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
357b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdochvoid FrameDescription::SetCallerConstantPool(unsigned offset, intptr_t value) {
358014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch  DCHECK(FLAG_enable_embedded_constant_pool);
359b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch  SetFrameSlot(offset, value);
360b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch}
361b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
362b8a8cc1952d61a2f3a2568848933943a543b5d3eBen Murdoch
363b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch#undef __
364b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
365014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch}  // namespace internal
366014dc512cdd3e367bee49a713fdc5ed92584a3e5Ben Murdoch}  // namespace v8
367