13ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch// Copyright 2012 the V8 project authors. All rights reserved.
2b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch// Redistribution and use in source and binary forms, with or without
3b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch// modification, are permitted provided that the following conditions are
4b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch// met:
5b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch//
6b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch//     * Redistributions of source code must retain the above copyright
7b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch//       notice, this list of conditions and the following disclaimer.
8b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch//     * Redistributions in binary form must reproduce the above
9b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch//       copyright notice, this list of conditions and the following
10b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch//       disclaimer in the documentation and/or other materials provided
11b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch//       with the distribution.
12b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch//     * Neither the name of Google Inc. nor the names of its
13b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch//       contributors may be used to endorse or promote products derived
14b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch//       from this software without specific prior written permission.
15b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch//
16b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
28b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch#include "v8.h"
29b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
30b8e0da25ee8efac3bb05cd6b2730aafbd96119f4Ben Murdoch#if defined(V8_TARGET_ARCH_IA32)
31b8e0da25ee8efac3bb05cd6b2730aafbd96119f4Ben Murdoch
32b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch#include "codegen.h"
33b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch#include "deoptimizer.h"
34b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch#include "full-codegen.h"
35b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch#include "safepoint-table.h"
36b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
37b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdochnamespace v8 {
38b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdochnamespace internal {
39b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
4069a99ed0b2b2ef69d393c371b03db3a98aaf880eBen Murdochconst int Deoptimizer::table_entry_size_ = 10;
41b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
421e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block
431e0659c275bb392c045087af4f6b0d7565cb3d77Steve Blockint Deoptimizer::patch_size() {
441e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  return Assembler::kCallInstructionLength;
451e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block}
461e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block
471e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block
4844f0eee88ff00398ff7f715fab053374d808c90dSteve Blockvoid Deoptimizer::EnsureRelocSpaceForLazyDeoptimization(Handle<Code> code) {
4944f0eee88ff00398ff7f715fab053374d808c90dSteve Block  Isolate* isolate = code->GetIsolate();
5044f0eee88ff00398ff7f715fab053374d808c90dSteve Block  HandleScope scope(isolate);
5144f0eee88ff00398ff7f715fab053374d808c90dSteve Block
5244f0eee88ff00398ff7f715fab053374d808c90dSteve Block  // Compute the size of relocation information needed for the code
5344f0eee88ff00398ff7f715fab053374d808c90dSteve Block  // patching in Deoptimizer::DeoptimizeFunction.
5444f0eee88ff00398ff7f715fab053374d808c90dSteve Block  int min_reloc_size = 0;
552b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch  int prev_pc_offset = 0;
562b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch  DeoptimizationInputData* deopt_data =
572b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch      DeoptimizationInputData::cast(code->deoptimization_data());
582b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch  for (int i = 0; i < deopt_data->DeoptCount(); i++) {
592b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    int pc_offset = deopt_data->Pc(i)->value();
602b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    if (pc_offset == -1) continue;
612b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    ASSERT_GE(pc_offset, prev_pc_offset);
622b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    int pc_delta = pc_offset - prev_pc_offset;
632b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    // We use RUNTIME_ENTRY reloc info which has a size of 2 bytes
642b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    // if encodable with small pc delta encoding and up to 6 bytes
652b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    // otherwise.
662b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    if (pc_delta <= RelocInfo::kMaxSmallPCDelta) {
672b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch      min_reloc_size += 2;
682b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    } else {
692b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch      min_reloc_size += 6;
7044f0eee88ff00398ff7f715fab053374d808c90dSteve Block    }
712b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    prev_pc_offset = pc_offset;
7244f0eee88ff00398ff7f715fab053374d808c90dSteve Block  }
7344f0eee88ff00398ff7f715fab053374d808c90dSteve Block
7444f0eee88ff00398ff7f715fab053374d808c90dSteve Block  // If the relocation information is not big enough we create a new
7544f0eee88ff00398ff7f715fab053374d808c90dSteve Block  // relocation info object that is padded with comments to make it
7644f0eee88ff00398ff7f715fab053374d808c90dSteve Block  // big enough for lazy doptimization.
7744f0eee88ff00398ff7f715fab053374d808c90dSteve Block  int reloc_length = code->relocation_info()->length();
7844f0eee88ff00398ff7f715fab053374d808c90dSteve Block  if (min_reloc_size > reloc_length) {
7944f0eee88ff00398ff7f715fab053374d808c90dSteve Block    int comment_reloc_size = RelocInfo::kMinRelocCommentSize;
8044f0eee88ff00398ff7f715fab053374d808c90dSteve Block    // Padding needed.
8144f0eee88ff00398ff7f715fab053374d808c90dSteve Block    int min_padding = min_reloc_size - reloc_length;
8244f0eee88ff00398ff7f715fab053374d808c90dSteve Block    // Number of comments needed to take up at least that much space.
8344f0eee88ff00398ff7f715fab053374d808c90dSteve Block    int additional_comments =
8444f0eee88ff00398ff7f715fab053374d808c90dSteve Block        (min_padding + comment_reloc_size - 1) / comment_reloc_size;
8544f0eee88ff00398ff7f715fab053374d808c90dSteve Block    // Actual padding size.
8644f0eee88ff00398ff7f715fab053374d808c90dSteve Block    int padding = additional_comments * comment_reloc_size;
8744f0eee88ff00398ff7f715fab053374d808c90dSteve Block    // Allocate new relocation info and copy old relocation to the end
8844f0eee88ff00398ff7f715fab053374d808c90dSteve Block    // of the new relocation info array because relocation info is
8944f0eee88ff00398ff7f715fab053374d808c90dSteve Block    // written and read backwards.
9044f0eee88ff00398ff7f715fab053374d808c90dSteve Block    Factory* factory = isolate->factory();
9144f0eee88ff00398ff7f715fab053374d808c90dSteve Block    Handle<ByteArray> new_reloc =
9244f0eee88ff00398ff7f715fab053374d808c90dSteve Block        factory->NewByteArray(reloc_length + padding, TENURED);
9344f0eee88ff00398ff7f715fab053374d808c90dSteve Block    memcpy(new_reloc->GetDataStartAddress() + padding,
9444f0eee88ff00398ff7f715fab053374d808c90dSteve Block           code->relocation_info()->GetDataStartAddress(),
9544f0eee88ff00398ff7f715fab053374d808c90dSteve Block           reloc_length);
9644f0eee88ff00398ff7f715fab053374d808c90dSteve Block    // Create a relocation writer to write the comments in the padding
9744f0eee88ff00398ff7f715fab053374d808c90dSteve Block    // space. Use position 0 for everything to ensure short encoding.
9844f0eee88ff00398ff7f715fab053374d808c90dSteve Block    RelocInfoWriter reloc_info_writer(
9944f0eee88ff00398ff7f715fab053374d808c90dSteve Block        new_reloc->GetDataStartAddress() + padding, 0);
10044f0eee88ff00398ff7f715fab053374d808c90dSteve Block    intptr_t comment_string
10144f0eee88ff00398ff7f715fab053374d808c90dSteve Block        = reinterpret_cast<intptr_t>(RelocInfo::kFillerCommentString);
1023ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    RelocInfo rinfo(0, RelocInfo::COMMENT, comment_string, NULL);
10344f0eee88ff00398ff7f715fab053374d808c90dSteve Block    for (int i = 0; i < additional_comments; ++i) {
10444f0eee88ff00398ff7f715fab053374d808c90dSteve Block#ifdef DEBUG
10544f0eee88ff00398ff7f715fab053374d808c90dSteve Block      byte* pos_before = reloc_info_writer.pos();
10644f0eee88ff00398ff7f715fab053374d808c90dSteve Block#endif
10744f0eee88ff00398ff7f715fab053374d808c90dSteve Block      reloc_info_writer.Write(&rinfo);
10844f0eee88ff00398ff7f715fab053374d808c90dSteve Block      ASSERT(RelocInfo::kMinRelocCommentSize ==
10944f0eee88ff00398ff7f715fab053374d808c90dSteve Block             pos_before - reloc_info_writer.pos());
11044f0eee88ff00398ff7f715fab053374d808c90dSteve Block    }
11144f0eee88ff00398ff7f715fab053374d808c90dSteve Block    // Replace relocation information on the code object.
11244f0eee88ff00398ff7f715fab053374d808c90dSteve Block    code->set_relocation_info(*new_reloc);
11344f0eee88ff00398ff7f715fab053374d808c90dSteve Block  }
11444f0eee88ff00398ff7f715fab053374d808c90dSteve Block}
11544f0eee88ff00398ff7f715fab053374d808c90dSteve Block
116b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
11744f0eee88ff00398ff7f715fab053374d808c90dSteve Blockvoid Deoptimizer::DeoptimizeFunction(JSFunction* function) {
118b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (!function->IsOptimized()) return;
119b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
12044f0eee88ff00398ff7f715fab053374d808c90dSteve Block  Isolate* isolate = function->GetIsolate();
12144f0eee88ff00398ff7f715fab053374d808c90dSteve Block  HandleScope scope(isolate);
12244f0eee88ff00398ff7f715fab053374d808c90dSteve Block  AssertNoAllocation no_allocation;
12344f0eee88ff00398ff7f715fab053374d808c90dSteve Block
124b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Get the optimized code.
125b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  Code* code = function->code();
1261e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  Address code_start_address = code->instruction_start();
1271e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block
1281e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  // We will overwrite the code's relocation info in-place. Relocation info
1291e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  // is written backward. The relocation info is the payload of a byte
1301e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  // array.  Later on we will slide this to the start of the byte array and
1311e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  // create a filler object in the remaining space.
1321e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  ByteArray* reloc_info = code->relocation_info();
1331e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  Address reloc_end_address = reloc_info->address() + reloc_info->Size();
1341e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  RelocInfoWriter reloc_info_writer(reloc_end_address, code_start_address);
1351e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block
1362b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch  // For each LLazyBailout instruction insert a call to the corresponding
1372b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch  // deoptimization entry.
1382b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch
1392b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch  // Since the call is a relative encoding, write new
1401e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  // reloc info.  We do not need any of the existing reloc info because the
1411e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  // existing code will not be used again (we zap it in debug builds).
1422b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch  //
1432b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch  // Emit call to lazy deoptimization at all lazy deopt points.
1442b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch  DeoptimizationInputData* deopt_data =
1452b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch      DeoptimizationInputData::cast(code->deoptimization_data());
1462b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch#ifdef DEBUG
1472b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch  Address prev_call_address = NULL;
1482b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch#endif
1492b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch  for (int i = 0; i < deopt_data->DeoptCount(); i++) {
1502b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    if (deopt_data->Pc(i)->value() == -1) continue;
1512b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    // Patch lazy deoptimization entry.
1522b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    Address call_address = code_start_address + deopt_data->Pc(i)->value();
1532b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    CodePatcher patcher(call_address, patch_size());
1542b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    Address deopt_entry = GetDeoptimizationEntry(i, LAZY);
1552b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    patcher.masm()->call(deopt_entry, RelocInfo::NONE);
1562b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    // We use RUNTIME_ENTRY for deoptimization bailouts.
1572b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    RelocInfo rinfo(call_address + 1,  // 1 after the call opcode.
1582b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch                    RelocInfo::RUNTIME_ENTRY,
1593ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch                    reinterpret_cast<intptr_t>(deopt_entry),
1603ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch                    NULL);
1612b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    reloc_info_writer.Write(&rinfo);
1622b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    ASSERT_GE(reloc_info_writer.pos(),
1632b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch              reloc_info->address() + ByteArray::kHeaderSize);
1642b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    ASSERT(prev_call_address == NULL ||
1652b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch           call_address >= prev_call_address + patch_size());
1662b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    ASSERT(call_address + patch_size() <= code->instruction_end());
1672b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch#ifdef DEBUG
1682b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch    prev_call_address = call_address;
1692b4ba1175df6a5a6b9b5cda034189197bf6565ecBen Murdoch#endif
170b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
1711e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block
1721e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  // Move the relocation info to the beginning of the byte array.
1731e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  int new_reloc_size = reloc_end_address - reloc_info_writer.pos();
1741e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  memmove(code->relocation_start(), reloc_info_writer.pos(), new_reloc_size);
1751e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block
1761e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  // The relocation info is in place, update the size.
1771e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  reloc_info->set_length(new_reloc_size);
1781e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block
1791e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  // Handle the junk part after the new relocation info. We will create
1801e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  // a non-live object in the extra space at the end of the former reloc info.
1811e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  Address junk_address = reloc_info->address() + reloc_info->Size();
1821e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  ASSERT(junk_address <= reloc_end_address);
18344f0eee88ff00398ff7f715fab053374d808c90dSteve Block  isolate->heap()->CreateFillerObjectAt(junk_address,
18444f0eee88ff00398ff7f715fab053374d808c90dSteve Block                                        reloc_end_address - junk_address);
185b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
186b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Add the deoptimizing code to the list.
187b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  DeoptimizingCodeListNode* node = new DeoptimizingCodeListNode(code);
18844f0eee88ff00398ff7f715fab053374d808c90dSteve Block  DeoptimizerData* data = isolate->deoptimizer_data();
18944f0eee88ff00398ff7f715fab053374d808c90dSteve Block  node->set_next(data->deoptimizing_code_list_);
19044f0eee88ff00398ff7f715fab053374d808c90dSteve Block  data->deoptimizing_code_list_ = node;
191b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
1923ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // We might be in the middle of incremental marking with compaction.
1933ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // Tell collector to treat this code object in a special way and
1943ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // ignore all slots that might have been recorded on it.
1953ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  isolate->heap()->mark_compact_collector()->InvalidateCode(code);
1963ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
197b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Set the code for the function to non-optimized version.
198b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  function->ReplaceCode(function->shared()->code());
199b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
200b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (FLAG_trace_deopt) {
201b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    PrintF("[forced deoptimization: ");
202b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    function->PrintName();
203b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    PrintF(" / %x]\n", reinterpret_cast<uint32_t>(function));
204b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
205b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch}
206b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
207b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
2083ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdochstatic const byte kJnsInstruction = 0x79;
2093ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdochstatic const byte kJnsOffset = 0x13;
2103ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdochstatic const byte kJaeInstruction = 0x73;
2113ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdochstatic const byte kJaeOffset = 0x07;
2123ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdochstatic const byte kCallInstruction = 0xe8;
2133ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdochstatic const byte kNopByteOne = 0x66;
2143ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdochstatic const byte kNopByteTwo = 0x90;
2153ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
2163ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
2173ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdochvoid Deoptimizer::PatchStackCheckCodeAt(Code* unoptimized_code,
2183ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch                                        Address pc_after,
2191e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block                                        Code* check_code,
2201e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block                                        Code* replacement_code) {
221e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  Address call_target_address = pc_after - kIntSize;
2223ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  ASSERT_EQ(check_code->entry(),
2233ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch            Assembler::target_address_at(call_target_address));
224e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // The stack check code matches the pattern:
225e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  //
226e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  //     cmp esp, <limit>
227e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  //     jae ok
228e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  //     call <stack guard>
229e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  //     test eax, <loop nesting depth>
230e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // ok: ...
231e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  //
232e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // We will patch away the branch so the code is:
233e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  //
234e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  //     cmp esp, <limit>  ;; Not changed
235e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  //     nop
236e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  //     nop
237e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  //     call <on-stack replacment>
238e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  //     test eax, <loop nesting depth>
239e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // ok:
2403ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
2413ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  if (FLAG_count_based_interrupts) {
2423ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    ASSERT_EQ(*(call_target_address - 3), kJnsInstruction);
2433ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    ASSERT_EQ(*(call_target_address - 2), kJnsOffset);
2443ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  } else {
2453ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    ASSERT_EQ(*(call_target_address - 3), kJaeInstruction);
2463ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    ASSERT_EQ(*(call_target_address - 2), kJaeOffset);
2473ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
2483ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  ASSERT_EQ(*(call_target_address - 1), kCallInstruction);
2493ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  *(call_target_address - 3) = kNopByteOne;
2503ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  *(call_target_address - 2) = kNopByteTwo;
251e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  Assembler::set_target_address_at(call_target_address,
252e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch                                   replacement_code->entry());
2533ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
2543ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  unoptimized_code->GetHeap()->incremental_marking()->RecordCodeTargetPatch(
2553ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch      unoptimized_code, call_target_address, replacement_code);
256b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch}
257b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
258b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
2593ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdochvoid Deoptimizer::RevertStackCheckCodeAt(Code* unoptimized_code,
2603ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch                                         Address pc_after,
2611e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block                                         Code* check_code,
2621e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block                                         Code* replacement_code) {
263e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  Address call_target_address = pc_after - kIntSize;
2643ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  ASSERT_EQ(replacement_code->entry(),
2653ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch            Assembler::target_address_at(call_target_address));
2663ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
267086aeeaae12517475c22695a200be45495516549Ben Murdoch  // Replace the nops from patching (Deoptimizer::PatchStackCheckCode) to
268086aeeaae12517475c22695a200be45495516549Ben Murdoch  // restore the conditional branch.
2693ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  ASSERT_EQ(*(call_target_address - 3), kNopByteOne);
2703ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  ASSERT_EQ(*(call_target_address - 2), kNopByteTwo);
2713ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  ASSERT_EQ(*(call_target_address - 1), kCallInstruction);
2723ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  if (FLAG_count_based_interrupts) {
2733ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    *(call_target_address - 3) = kJnsInstruction;
2743ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    *(call_target_address - 2) = kJnsOffset;
2753ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  } else {
2763ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    *(call_target_address - 3) = kJaeInstruction;
2773ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    *(call_target_address - 2) = kJaeOffset;
2783ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
2791e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  Assembler::set_target_address_at(call_target_address,
2801e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block                                   check_code->entry());
2813ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
2823ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  check_code->GetHeap()->incremental_marking()->RecordCodeTargetPatch(
2833ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch      unoptimized_code, call_target_address, check_code);
284b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch}
285b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
286b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
287b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdochstatic int LookupBailoutId(DeoptimizationInputData* data, unsigned ast_id) {
288b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  ByteArray* translations = data->TranslationByteArray();
289b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  int length = data->DeoptCount();
290b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  for (int i = 0; i < length; i++) {
291b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    if (static_cast<unsigned>(data->AstId(i)->value()) == ast_id) {
292b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch      TranslationIterator it(translations,  data->TranslationIndex(i)->value());
293b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch      int value = it.Next();
294b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch      ASSERT(Translation::BEGIN == static_cast<Translation::Opcode>(value));
295b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch      // Read the number of frames.
296b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch      value = it.Next();
297b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch      if (value == 1) return i;
298b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    }
299b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
300b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  UNREACHABLE();
301b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  return -1;
302b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch}
303b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
304b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
305b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdochvoid Deoptimizer::DoComputeOsrOutputFrame() {
306b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  DeoptimizationInputData* data = DeoptimizationInputData::cast(
307b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch      optimized_code_->deoptimization_data());
308b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned ast_id = data->OsrAstId()->value();
309b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // TODO(kasperl): This should not be the bailout_id_. It should be
310b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // the ast id. Confusing.
311b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  ASSERT(bailout_id_ == ast_id);
312b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
313b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  int bailout_id = LookupBailoutId(data, ast_id);
314b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned translation_index = data->TranslationIndex(bailout_id)->value();
315b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  ByteArray* translations = data->TranslationByteArray();
316b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
317b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  TranslationIterator iterator(translations, translation_index);
318b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  Translation::Opcode opcode =
319b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch      static_cast<Translation::Opcode>(iterator.Next());
320b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  ASSERT(Translation::BEGIN == opcode);
321b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  USE(opcode);
322b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  int count = iterator.Next();
3233ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  iterator.Next();  // Drop JS frames count.
324b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  ASSERT(count == 1);
325b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  USE(count);
326b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
327b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  opcode = static_cast<Translation::Opcode>(iterator.Next());
328b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  USE(opcode);
3293ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  ASSERT(Translation::JS_FRAME == opcode);
330b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned node_id = iterator.Next();
331b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  USE(node_id);
332b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  ASSERT(node_id == ast_id);
333b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  JSFunction* function = JSFunction::cast(ComputeLiteral(iterator.Next()));
334b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  USE(function);
335b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  ASSERT(function == function_);
336b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned height = iterator.Next();
337b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned height_in_bytes = height * kPointerSize;
338b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  USE(height_in_bytes);
339b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
340b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned fixed_size = ComputeFixedSize(function_);
341b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned input_frame_size = input_->GetFrameSize();
342b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  ASSERT(fixed_size + height_in_bytes == input_frame_size);
343b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
344b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned stack_slot_size = optimized_code_->stack_slots() * kPointerSize;
345b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned outgoing_height = data->ArgumentsStackHeight(bailout_id)->value();
346b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned outgoing_size = outgoing_height * kPointerSize;
347b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned output_frame_size = fixed_size + stack_slot_size + outgoing_size;
348b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  ASSERT(outgoing_size == 0);  // OSR does not happen in the middle of a call.
349b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
350b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (FLAG_trace_osr) {
351b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    PrintF("[on-stack replacement: begin 0x%08" V8PRIxPTR " ",
352b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch           reinterpret_cast<intptr_t>(function_));
353b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    function_->PrintName();
354b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    PrintF(" => node=%u, frame=%d->%d]\n",
355b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch           ast_id,
356b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch           input_frame_size,
357b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch           output_frame_size);
358b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
359b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
360b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // There's only one output frame in the OSR case.
361b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_count_ = 1;
362b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_ = new FrameDescription*[1];
363b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_[0] = new(output_frame_size) FrameDescription(
364b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch      output_frame_size, function_);
3653ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_[0]->SetFrameType(StackFrame::JAVA_SCRIPT);
366b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
367b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Clear the incoming parameters in the optimized frame to avoid
368b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // confusing the garbage collector.
369b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned output_offset = output_frame_size - kPointerSize;
370b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  int parameter_count = function_->shared()->formal_parameter_count() + 1;
371b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  for (int i = 0; i < parameter_count; ++i) {
372b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    output_[0]->SetFrameSlot(output_offset, 0);
373b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    output_offset -= kPointerSize;
374b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
375b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
376b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Translate the incoming parameters. This may overwrite some of the
377b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // incoming argument slots we've just cleared.
378b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  int input_offset = input_frame_size - kPointerSize;
379b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  bool ok = true;
380b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  int limit = input_offset - (parameter_count * kPointerSize);
381b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  while (ok && input_offset > limit) {
382b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    ok = DoOsrTranslateCommand(&iterator, &input_offset);
383b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
384b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
385b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // There are no translation commands for the caller's pc and fp, the
386b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // context, and the function.  Set them up explicitly.
38744f0eee88ff00398ff7f715fab053374d808c90dSteve Block  for (int i =  StandardFrameConstants::kCallerPCOffset;
38844f0eee88ff00398ff7f715fab053374d808c90dSteve Block       ok && i >=  StandardFrameConstants::kMarkerOffset;
38944f0eee88ff00398ff7f715fab053374d808c90dSteve Block       i -= kPointerSize) {
390b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    uint32_t input_value = input_->GetFrameSlot(input_offset);
391b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    if (FLAG_trace_osr) {
39244f0eee88ff00398ff7f715fab053374d808c90dSteve Block      const char* name = "UNKNOWN";
39344f0eee88ff00398ff7f715fab053374d808c90dSteve Block      switch (i) {
39444f0eee88ff00398ff7f715fab053374d808c90dSteve Block        case StandardFrameConstants::kCallerPCOffset:
39544f0eee88ff00398ff7f715fab053374d808c90dSteve Block          name = "caller's pc";
39644f0eee88ff00398ff7f715fab053374d808c90dSteve Block          break;
39744f0eee88ff00398ff7f715fab053374d808c90dSteve Block        case StandardFrameConstants::kCallerFPOffset:
39844f0eee88ff00398ff7f715fab053374d808c90dSteve Block          name = "fp";
39944f0eee88ff00398ff7f715fab053374d808c90dSteve Block          break;
40044f0eee88ff00398ff7f715fab053374d808c90dSteve Block        case StandardFrameConstants::kContextOffset:
40144f0eee88ff00398ff7f715fab053374d808c90dSteve Block          name = "context";
40244f0eee88ff00398ff7f715fab053374d808c90dSteve Block          break;
40344f0eee88ff00398ff7f715fab053374d808c90dSteve Block        case StandardFrameConstants::kMarkerOffset:
40444f0eee88ff00398ff7f715fab053374d808c90dSteve Block          name = "function";
40544f0eee88ff00398ff7f715fab053374d808c90dSteve Block          break;
40644f0eee88ff00398ff7f715fab053374d808c90dSteve Block      }
40744f0eee88ff00398ff7f715fab053374d808c90dSteve Block      PrintF("    [esp + %d] <- 0x%08x ; [esp + %d] (fixed part - %s)\n",
408b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch             output_offset,
409b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch             input_value,
41044f0eee88ff00398ff7f715fab053374d808c90dSteve Block             input_offset,
41144f0eee88ff00398ff7f715fab053374d808c90dSteve Block             name);
412b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    }
413b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    output_[0]->SetFrameSlot(output_offset, input_->GetFrameSlot(input_offset));
414b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    input_offset -= kPointerSize;
415b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    output_offset -= kPointerSize;
416b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
417b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
418b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Translate the rest of the frame.
419b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  while (ok && input_offset >= 0) {
420b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    ok = DoOsrTranslateCommand(&iterator, &input_offset);
421b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
422b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
423b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // If translation of any command failed, continue using the input frame.
424b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (!ok) {
425b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    delete output_[0];
426b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    output_[0] = input_;
427b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    output_[0]->SetPc(reinterpret_cast<uint32_t>(from_));
428b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  } else {
4293ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    // Set up the frame pointer and the context pointer.
4305d4cdbf7a67d3662fa0bee4efdb7edd8daec9b0bBen Murdoch    output_[0]->SetRegister(ebp.code(), input_->GetRegister(ebp.code()));
431b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    output_[0]->SetRegister(esi.code(), input_->GetRegister(esi.code()));
432b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
433b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    unsigned pc_offset = data->OsrPcOffset()->value();
434b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    uint32_t pc = reinterpret_cast<uint32_t>(
435b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch        optimized_code_->entry() + pc_offset);
436b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    output_[0]->SetPc(pc);
437b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
43844f0eee88ff00398ff7f715fab053374d808c90dSteve Block  Code* continuation =
43944f0eee88ff00398ff7f715fab053374d808c90dSteve Block      function->GetIsolate()->builtins()->builtin(Builtins::kNotifyOSR);
440b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_[0]->SetContinuation(
441b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch      reinterpret_cast<uint32_t>(continuation->entry()));
442b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
443b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (FLAG_trace_osr) {
444b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    PrintF("[on-stack replacement translation %s: 0x%08" V8PRIxPTR " ",
445b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch           ok ? "finished" : "aborted",
446b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch           reinterpret_cast<intptr_t>(function));
447b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    function->PrintName();
448b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    PrintF(" => pc=0x%0x]\n", output_[0]->GetPc());
449b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
450b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch}
451b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
452b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
4533ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdochvoid Deoptimizer::DoComputeArgumentsAdaptorFrame(TranslationIterator* iterator,
4543ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch                                                 int frame_index) {
4553ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  JSFunction* function = JSFunction::cast(ComputeLiteral(iterator->Next()));
4563ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  unsigned height = iterator->Next();
4573ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  unsigned height_in_bytes = height * kPointerSize;
4583ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  if (FLAG_trace_deopt) {
4593ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    PrintF("  translating arguments adaptor => height=%d\n", height_in_bytes);
4603ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
4613ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
4623ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  unsigned fixed_frame_size = ArgumentsAdaptorFrameConstants::kFrameSize;
4633ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  unsigned output_frame_size = height_in_bytes + fixed_frame_size;
4643ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
4653ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // Allocate and store the output frame description.
4663ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  FrameDescription* output_frame =
4673ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch      new(output_frame_size) FrameDescription(output_frame_size, function);
4683ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetFrameType(StackFrame::ARGUMENTS_ADAPTOR);
4693ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
4703ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // Arguments adaptor can not be topmost or bottommost.
4713ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  ASSERT(frame_index > 0 && frame_index < output_count_ - 1);
4723ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  ASSERT(output_[frame_index] == NULL);
4733ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_[frame_index] = output_frame;
4743ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
4753ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // The top address of the frame is computed from the previous
4763ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // frame's top and this frame's size.
4773ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  uint32_t top_address;
4783ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  top_address = output_[frame_index - 1]->GetTop() - output_frame_size;
4793ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetTop(top_address);
4803ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
4813ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // Compute the incoming parameter translation.
4823ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  int parameter_count = height;
4833ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  unsigned output_offset = output_frame_size;
4843ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  for (int i = 0; i < parameter_count; ++i) {
4853ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    output_offset -= kPointerSize;
4863ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    DoTranslateCommand(iterator, frame_index, output_offset);
4873ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
4883ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
4893ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // Read caller's PC from the previous frame.
4903ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_offset -= kPointerSize;
4913ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  intptr_t callers_pc = output_[frame_index - 1]->GetPc();
4923ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetFrameSlot(output_offset, callers_pc);
4933ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  if (FLAG_trace_deopt) {
4943ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    PrintF("    0x%08x: [top + %d] <- 0x%08x ; caller's pc\n",
4953ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch           top_address + output_offset, output_offset, callers_pc);
4963ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
4973ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
4983ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // Read caller's FP from the previous frame, and set this frame's FP.
4993ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_offset -= kPointerSize;
5003ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  intptr_t value = output_[frame_index - 1]->GetFp();
5013ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetFrameSlot(output_offset, value);
5023ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  intptr_t fp_value = top_address + output_offset;
5033ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetFp(fp_value);
5043ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  if (FLAG_trace_deopt) {
5053ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    PrintF("    0x%08x: [top + %d] <- 0x%08x ; caller's fp\n",
5063ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch           fp_value, output_offset, value);
5073ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
5083ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
5093ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // A marker value is used in place of the context.
5103ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_offset -= kPointerSize;
5113ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  intptr_t context = reinterpret_cast<intptr_t>(
5123ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch      Smi::FromInt(StackFrame::ARGUMENTS_ADAPTOR));
5133ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetFrameSlot(output_offset, context);
5143ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  if (FLAG_trace_deopt) {
5153ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    PrintF("    0x%08x: [top + %d] <- 0x%08x ; context (adaptor sentinel)\n",
5163ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch           top_address + output_offset, output_offset, context);
5173ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
5183ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
5193ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // The function was mentioned explicitly in the ARGUMENTS_ADAPTOR_FRAME.
5203ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_offset -= kPointerSize;
5213ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  value = reinterpret_cast<intptr_t>(function);
5223ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetFrameSlot(output_offset, value);
5233ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  if (FLAG_trace_deopt) {
5243ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    PrintF("    0x%08x: [top + %d] <- 0x%08x ; function\n",
5253ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch           top_address + output_offset, output_offset, value);
5263ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
5273ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
5283ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // Number of incoming arguments.
5293ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_offset -= kPointerSize;
5303ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  value = reinterpret_cast<uint32_t>(Smi::FromInt(height - 1));
5313ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetFrameSlot(output_offset, value);
5323ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  if (FLAG_trace_deopt) {
5333ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    PrintF("    0x%08x: [top + %d] <- 0x%08x ; argc (%d)\n",
5343ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch           top_address + output_offset, output_offset, value, height - 1);
5353ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
5363ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
5373ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  ASSERT(0 == output_offset);
5383ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
5393ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  Builtins* builtins = isolate_->builtins();
5403ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  Code* adaptor_trampoline =
5413ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch      builtins->builtin(Builtins::kArgumentsAdaptorTrampoline);
5423ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  uint32_t pc = reinterpret_cast<uint32_t>(
5433ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch      adaptor_trampoline->instruction_start() +
5443ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch      isolate_->heap()->arguments_adaptor_deopt_pc_offset()->value());
5453ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetPc(pc);
5463ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch}
5473ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
5483ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
5493ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdochvoid Deoptimizer::DoComputeConstructStubFrame(TranslationIterator* iterator,
5503ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch                                              int frame_index) {
5519413bcbe2192ed4d701281130490e0ba336debdcBen Murdoch  Builtins* builtins = isolate_->builtins();
5529413bcbe2192ed4d701281130490e0ba336debdcBen Murdoch  Code* construct_stub = builtins->builtin(Builtins::kJSConstructStubGeneric);
5533ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  JSFunction* function = JSFunction::cast(ComputeLiteral(iterator->Next()));
5543ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  unsigned height = iterator->Next();
5553ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  unsigned height_in_bytes = height * kPointerSize;
5563ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  if (FLAG_trace_deopt) {
5573ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    PrintF("  translating construct stub => height=%d\n", height_in_bytes);
5583ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
5593ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
5609413bcbe2192ed4d701281130490e0ba336debdcBen Murdoch  unsigned fixed_frame_size = 7 * kPointerSize;
5613ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  unsigned output_frame_size = height_in_bytes + fixed_frame_size;
5623ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
5633ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // Allocate and store the output frame description.
5643ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  FrameDescription* output_frame =
5653ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch      new(output_frame_size) FrameDescription(output_frame_size, function);
5663ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetFrameType(StackFrame::CONSTRUCT);
5673ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
5683ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // Construct stub can not be topmost or bottommost.
5693ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  ASSERT(frame_index > 0 && frame_index < output_count_ - 1);
5703ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  ASSERT(output_[frame_index] == NULL);
5713ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_[frame_index] = output_frame;
5723ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
5733ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // The top address of the frame is computed from the previous
5743ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // frame's top and this frame's size.
5753ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  uint32_t top_address;
5763ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  top_address = output_[frame_index - 1]->GetTop() - output_frame_size;
5773ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetTop(top_address);
5783ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
5793ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // Compute the incoming parameter translation.
5803ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  int parameter_count = height;
5813ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  unsigned output_offset = output_frame_size;
5823ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  for (int i = 0; i < parameter_count; ++i) {
5833ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    output_offset -= kPointerSize;
5843ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    DoTranslateCommand(iterator, frame_index, output_offset);
5853ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
5863ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
5873ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // Read caller's PC from the previous frame.
5883ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_offset -= kPointerSize;
5893ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  intptr_t callers_pc = output_[frame_index - 1]->GetPc();
5903ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetFrameSlot(output_offset, callers_pc);
5913ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  if (FLAG_trace_deopt) {
5923ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    PrintF("    0x%08x: [top + %d] <- 0x%08x ; caller's pc\n",
5933ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch           top_address + output_offset, output_offset, callers_pc);
5943ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
5953ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
5963ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // Read caller's FP from the previous frame, and set this frame's FP.
5973ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_offset -= kPointerSize;
5983ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  intptr_t value = output_[frame_index - 1]->GetFp();
5993ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetFrameSlot(output_offset, value);
6003ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  intptr_t fp_value = top_address + output_offset;
6013ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetFp(fp_value);
6023ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  if (FLAG_trace_deopt) {
6033ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    PrintF("    0x%08x: [top + %d] <- 0x%08x ; caller's fp\n",
6043ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch           fp_value, output_offset, value);
6053ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
6063ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
6073ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // The context can be gotten from the previous frame.
6083ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_offset -= kPointerSize;
6093ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  value = output_[frame_index - 1]->GetContext();
6103ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetFrameSlot(output_offset, value);
6113ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  if (FLAG_trace_deopt) {
6123ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    PrintF("    0x%08x: [top + %d] <- 0x%08x ; context\n",
6133ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch           top_address + output_offset, output_offset, value);
6143ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
6153ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
6163ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // A marker value is used in place of the function.
6173ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_offset -= kPointerSize;
6183ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  value = reinterpret_cast<intptr_t>(Smi::FromInt(StackFrame::CONSTRUCT));
6193ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetFrameSlot(output_offset, value);
6203ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  if (FLAG_trace_deopt) {
6213ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    PrintF("    0x%08x: [top + %d] <- 0x%08x ; function (construct sentinel)\n",
6223ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch           top_address + output_offset, output_offset, value);
6233ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
6243ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
6259413bcbe2192ed4d701281130490e0ba336debdcBen Murdoch  // The output frame reflects a JSConstructStubGeneric frame.
6269413bcbe2192ed4d701281130490e0ba336debdcBen Murdoch  output_offset -= kPointerSize;
6279413bcbe2192ed4d701281130490e0ba336debdcBen Murdoch  value = reinterpret_cast<intptr_t>(construct_stub);
6289413bcbe2192ed4d701281130490e0ba336debdcBen Murdoch  output_frame->SetFrameSlot(output_offset, value);
6299413bcbe2192ed4d701281130490e0ba336debdcBen Murdoch  if (FLAG_trace_deopt) {
6309413bcbe2192ed4d701281130490e0ba336debdcBen Murdoch    PrintF("    0x%08x: [top + %d] <- 0x%08x ; code object\n",
6319413bcbe2192ed4d701281130490e0ba336debdcBen Murdoch           top_address + output_offset, output_offset, value);
6329413bcbe2192ed4d701281130490e0ba336debdcBen Murdoch  }
6339413bcbe2192ed4d701281130490e0ba336debdcBen Murdoch
6343ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // Number of incoming arguments.
6353ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_offset -= kPointerSize;
6363ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  value = reinterpret_cast<uint32_t>(Smi::FromInt(height - 1));
6373ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetFrameSlot(output_offset, value);
6383ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  if (FLAG_trace_deopt) {
6393ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    PrintF("    0x%08x: [top + %d] <- 0x%08x ; argc (%d)\n",
6403ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch           top_address + output_offset, output_offset, value, height - 1);
6413ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
6423ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
6433ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // The newly allocated object was passed as receiver in the artificial
6443ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  // constructor stub environment created by HEnvironment::CopyForInlining().
6453ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_offset -= kPointerSize;
6463ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  value = output_frame->GetFrameSlot(output_frame_size - kPointerSize);
6473ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetFrameSlot(output_offset, value);
6483ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  if (FLAG_trace_deopt) {
6493ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    PrintF("    0x%08x: [top + %d] <- 0x%08x ; allocated receiver\n",
6503ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch           top_address + output_offset, output_offset, value);
6513ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
6523ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
6533ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  ASSERT(0 == output_offset);
6543ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
6553ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  uint32_t pc = reinterpret_cast<uint32_t>(
6563ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch      construct_stub->instruction_start() +
6573ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch      isolate_->heap()->construct_stub_deopt_pc_offset()->value());
6583ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetPc(pc);
6593ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch}
6603ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
6613ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch
6623ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdochvoid Deoptimizer::DoComputeJSFrame(TranslationIterator* iterator,
6633ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch                                   int frame_index) {
664b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  int node_id = iterator->Next();
665b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  JSFunction* function = JSFunction::cast(ComputeLiteral(iterator->Next()));
666b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned height = iterator->Next();
667b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned height_in_bytes = height * kPointerSize;
668b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (FLAG_trace_deopt) {
669b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    PrintF("  translating ");
670b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    function->PrintName();
671b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    PrintF(" => node=%d, height=%d\n", node_id, height_in_bytes);
672b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
673b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
674b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // The 'fixed' part of the frame consists of the incoming parameters and
675b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // the part described by JavaScriptFrameConstants.
676b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned fixed_frame_size = ComputeFixedSize(function);
677b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned input_frame_size = input_->GetFrameSize();
678b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned output_frame_size = height_in_bytes + fixed_frame_size;
679b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
680b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Allocate and store the output frame description.
681b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  FrameDescription* output_frame =
682b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch      new(output_frame_size) FrameDescription(output_frame_size, function);
6833ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetFrameType(StackFrame::JAVA_SCRIPT);
684b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
685b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  bool is_bottommost = (0 == frame_index);
686b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  bool is_topmost = (output_count_ - 1 == frame_index);
687b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  ASSERT(frame_index >= 0 && frame_index < output_count_);
688b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  ASSERT(output_[frame_index] == NULL);
689b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_[frame_index] = output_frame;
690b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
691b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // The top address for the bottommost output frame can be computed from
692b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // the input frame pointer and the output frame's height.  For all
693b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // subsequent output frames, it can be computed from the previous one's
694b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // top address and the current frame's size.
695b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  uint32_t top_address;
696b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (is_bottommost) {
6975d4cdbf7a67d3662fa0bee4efdb7edd8daec9b0bBen Murdoch    // 2 = context and function in the frame.
6985d4cdbf7a67d3662fa0bee4efdb7edd8daec9b0bBen Murdoch    top_address =
6995d4cdbf7a67d3662fa0bee4efdb7edd8daec9b0bBen Murdoch        input_->GetRegister(ebp.code()) - (2 * kPointerSize) - height_in_bytes;
700b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  } else {
701b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    top_address = output_[frame_index - 1]->GetTop() - output_frame_size;
702b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
703b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_frame->SetTop(top_address);
704b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
705b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Compute the incoming parameter translation.
706b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  int parameter_count = function->shared()->formal_parameter_count() + 1;
707b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned output_offset = output_frame_size;
708b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned input_offset = input_frame_size;
709b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  for (int i = 0; i < parameter_count; ++i) {
710b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    output_offset -= kPointerSize;
711b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    DoTranslateCommand(iterator, frame_index, output_offset);
712b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
713b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  input_offset -= (parameter_count * kPointerSize);
714b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
715b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // There are no translation commands for the caller's pc and fp, the
716b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // context, and the function.  Synthesize their values and set them up
717b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // explicitly.
718b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  //
719b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // The caller's pc for the bottommost output frame is the same as in the
720b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // input frame.  For all subsequent output frames, it can be read from the
721b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // previous one.  This frame's pc can be computed from the non-optimized
722b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // function code and AST id of the bailout.
723b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_offset -= kPointerSize;
724b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  input_offset -= kPointerSize;
725b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  intptr_t value;
726b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (is_bottommost) {
727b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    value = input_->GetFrameSlot(input_offset);
728b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  } else {
729b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    value = output_[frame_index - 1]->GetPc();
730b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
731b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_frame->SetFrameSlot(output_offset, value);
732b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (FLAG_trace_deopt) {
733b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    PrintF("    0x%08x: [top + %d] <- 0x%08x ; caller's pc\n",
734b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch           top_address + output_offset, output_offset, value);
735b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
736b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
737b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // The caller's frame pointer for the bottommost output frame is the same
738b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // as in the input frame.  For all subsequent output frames, it can be
739b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // read from the previous one.  Also compute and set this frame's frame
740b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // pointer.
741b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_offset -= kPointerSize;
742b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  input_offset -= kPointerSize;
743b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (is_bottommost) {
744b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    value = input_->GetFrameSlot(input_offset);
745b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  } else {
746b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    value = output_[frame_index - 1]->GetFp();
747b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
748b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_frame->SetFrameSlot(output_offset, value);
749b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  intptr_t fp_value = top_address + output_offset;
7505d4cdbf7a67d3662fa0bee4efdb7edd8daec9b0bBen Murdoch  ASSERT(!is_bottommost || input_->GetRegister(ebp.code()) == fp_value);
751b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_frame->SetFp(fp_value);
752b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (is_topmost) output_frame->SetRegister(ebp.code(), fp_value);
753b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (FLAG_trace_deopt) {
754b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    PrintF("    0x%08x: [top + %d] <- 0x%08x ; caller's fp\n",
755b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch           fp_value, output_offset, value);
756b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
757b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
758e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // For the bottommost output frame the context can be gotten from the input
759e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // frame. For all subsequent output frames it can be gotten from the function
760e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  // so long as we don't inline functions that need local contexts.
761b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_offset -= kPointerSize;
762b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  input_offset -= kPointerSize;
763e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  if (is_bottommost) {
764e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch    value = input_->GetFrameSlot(input_offset);
765e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  } else {
766e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch    value = reinterpret_cast<uint32_t>(function->context());
767e0cee9b3ed82e2391fd85d118aeaa4ea361c687dBen Murdoch  }
768b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_frame->SetFrameSlot(output_offset, value);
7693ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  output_frame->SetContext(value);
770b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (is_topmost) output_frame->SetRegister(esi.code(), value);
771b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (FLAG_trace_deopt) {
772b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    PrintF("    0x%08x: [top + %d] <- 0x%08x ; context\n",
773b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch           top_address + output_offset, output_offset, value);
774b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
775b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
776b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // The function was mentioned explicitly in the BEGIN_FRAME.
777b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_offset -= kPointerSize;
778b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  input_offset -= kPointerSize;
779b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  value = reinterpret_cast<uint32_t>(function);
780b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // The function for the bottommost output frame should also agree with the
781b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // input frame.
782b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  ASSERT(!is_bottommost || input_->GetFrameSlot(input_offset) == value);
783b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_frame->SetFrameSlot(output_offset, value);
784b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (FLAG_trace_deopt) {
785b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    PrintF("    0x%08x: [top + %d] <- 0x%08x ; function\n",
786b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch           top_address + output_offset, output_offset, value);
787b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
788b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
789b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Translate the rest of the frame.
790b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  for (unsigned i = 0; i < height; ++i) {
791b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    output_offset -= kPointerSize;
792b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    DoTranslateCommand(iterator, frame_index, output_offset);
793b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
794b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  ASSERT(0 == output_offset);
795b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
796b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Compute this frame's PC, state, and continuation.
797b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  Code* non_optimized_code = function->shared()->code();
798b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  FixedArray* raw_data = non_optimized_code->deoptimization_data();
799b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  DeoptimizationOutputData* data = DeoptimizationOutputData::cast(raw_data);
800b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  Address start = non_optimized_code->instruction_start();
801b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned pc_and_state = GetOutputInfo(data, node_id, function->shared());
802b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  unsigned pc_offset = FullCodeGenerator::PcField::decode(pc_and_state);
803b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  uint32_t pc_value = reinterpret_cast<uint32_t>(start + pc_offset);
804b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_frame->SetPc(pc_value);
805b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
806b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  FullCodeGenerator::State state =
807b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch      FullCodeGenerator::StateField::decode(pc_and_state);
808b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  output_frame->SetState(Smi::FromInt(state));
809b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
810b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Set the continuation for the topmost frame.
8113fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  if (is_topmost && bailout_type_ != DEBUGGER) {
81244f0eee88ff00398ff7f715fab053374d808c90dSteve Block    Builtins* builtins = isolate_->builtins();
813b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    Code* continuation = (bailout_type_ == EAGER)
81444f0eee88ff00398ff7f715fab053374d808c90dSteve Block        ? builtins->builtin(Builtins::kNotifyDeoptimized)
81544f0eee88ff00398ff7f715fab053374d808c90dSteve Block        : builtins->builtin(Builtins::kNotifyLazyDeoptimized);
816b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    output_frame->SetContinuation(
817b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch        reinterpret_cast<uint32_t>(continuation->entry()));
818b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
819b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch}
820b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
821b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
8223fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdochvoid Deoptimizer::FillInputFrame(Address tos, JavaScriptFrame* frame) {
8233fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  // Set the register values. The values are not important as there are no
8243fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  // callee saved registers in JavaScript frames, so all registers are
8253fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  // spilled. Registers ebp and esp are set to the correct values though.
8263fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch
8273fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  for (int i = 0; i < Register::kNumRegisters; i++) {
8283fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch    input_->SetRegister(i, i * 4);
8293fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  }
8303fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  input_->SetRegister(esp.code(), reinterpret_cast<intptr_t>(frame->sp()));
8313fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  input_->SetRegister(ebp.code(), reinterpret_cast<intptr_t>(frame->fp()));
8323fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  for (int i = 0; i < DoubleRegister::kNumAllocatableRegisters; i++) {
8333fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch    input_->SetDoubleRegister(i, 0.0);
8343fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  }
8353fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch
8363fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  // Fill the frame content from the actual data on the frame.
8373fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  for (unsigned i = 0; i < input_->GetFrameSize(); i += kPointerSize) {
8383fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch    input_->SetFrameSlot(i, Memory::uint32_at(tos + i));
8393fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch  }
8403fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch}
8413fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch
8423fb3ca8c7ca439d408449a395897395c0faae8d1Ben Murdoch
843b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch#define __ masm()->
844b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
845b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdochvoid Deoptimizer::EntryGenerator::Generate() {
846b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  GeneratePrologue();
847b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  CpuFeatures::Scope scope(SSE2);
848b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
84944f0eee88ff00398ff7f715fab053374d808c90dSteve Block  Isolate* isolate = masm()->isolate();
85044f0eee88ff00398ff7f715fab053374d808c90dSteve Block
851b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Save all general purpose registers before messing with them.
852b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  const int kNumberOfRegisters = Register::kNumRegisters;
853b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
854b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  const int kDoubleRegsSize = kDoubleSize *
855b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch                              XMMRegister::kNumAllocatableRegisters;
8563ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  __ sub(esp, Immediate(kDoubleRegsSize));
857b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  for (int i = 0; i < XMMRegister::kNumAllocatableRegisters; ++i) {
858b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    XMMRegister xmm_reg = XMMRegister::FromAllocationIndex(i);
859b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    int offset = i * kDoubleSize;
860b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ movdbl(Operand(esp, offset), xmm_reg);
861b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
862b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
863b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ pushad();
864b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
865b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  const int kSavedRegistersAreaSize = kNumberOfRegisters * kPointerSize +
866b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch                                      kDoubleRegsSize;
867b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
868b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Get the bailout id from the stack.
869b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ mov(ebx, Operand(esp, kSavedRegistersAreaSize));
870b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
871b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Get the address of the location in the code object if possible
872b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // and compute the fp-to-sp delta in register edx.
873b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (type() == EAGER) {
874b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ Set(ecx, Immediate(0));
875b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ lea(edx, Operand(esp, kSavedRegistersAreaSize + 1 * kPointerSize));
876b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  } else {
877b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ mov(ecx, Operand(esp, kSavedRegistersAreaSize + 1 * kPointerSize));
878b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ lea(edx, Operand(esp, kSavedRegistersAreaSize + 2 * kPointerSize));
879b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
8803ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  __ sub(edx, ebp);
881b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ neg(edx);
882b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
883b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Allocate a new deoptimizer object.
8848b112d2025046f85ef7f6be087c6129c872ebad2Ben Murdoch  __ PrepareCallCFunction(6, eax);
885b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ mov(eax, Operand(ebp, JavaScriptFrameConstants::kFunctionOffset));
886b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ mov(Operand(esp, 0 * kPointerSize), eax);  // Function.
887b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ mov(Operand(esp, 1 * kPointerSize), Immediate(type()));  // Bailout type.
888b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ mov(Operand(esp, 2 * kPointerSize), ebx);  // Bailout id.
889b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ mov(Operand(esp, 3 * kPointerSize), ecx);  // Code address or 0.
890b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ mov(Operand(esp, 4 * kPointerSize), edx);  // Fp-to-sp delta.
8918b112d2025046f85ef7f6be087c6129c872ebad2Ben Murdoch  __ mov(Operand(esp, 5 * kPointerSize),
8928b112d2025046f85ef7f6be087c6129c872ebad2Ben Murdoch         Immediate(ExternalReference::isolate_address()));
8933ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  {
8943ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    AllowExternalCallThatCantCauseGC scope(masm());
8953ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    __ CallCFunction(ExternalReference::new_deoptimizer_function(isolate), 6);
8963ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
897b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
898b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Preserve deoptimizer object in register eax and get the input
899b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // frame descriptor pointer.
900b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ mov(ebx, Operand(eax, Deoptimizer::input_offset()));
901b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
902b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Fill in the input registers.
9031e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  for (int i = kNumberOfRegisters - 1; i >= 0; i--) {
9041e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block    int offset = (i * kPointerSize) + FrameDescription::registers_offset();
9051e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block    __ pop(Operand(ebx, offset));
906b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
907b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
908b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Fill in the double input registers.
909b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  int double_regs_offset = FrameDescription::double_registers_offset();
910b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  for (int i = 0; i < XMMRegister::kNumAllocatableRegisters; ++i) {
911b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    int dst_offset = i * kDoubleSize + double_regs_offset;
9121e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block    int src_offset = i * kDoubleSize;
913b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ movdbl(xmm0, Operand(esp, src_offset));
914b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ movdbl(Operand(ebx, dst_offset), xmm0);
915b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
916b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
9171e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block  // Remove the bailout id and the double registers from the stack.
918b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (type() == EAGER) {
9193ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    __ add(esp, Immediate(kDoubleRegsSize + kPointerSize));
920b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  } else {
9213ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    __ add(esp, Immediate(kDoubleRegsSize + 2 * kPointerSize));
922b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
923b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
924b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Compute a pointer to the unwinding limit in register ecx; that is
925b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // the first stack slot not part of the input frame.
926b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ mov(ecx, Operand(ebx, FrameDescription::frame_size_offset()));
9273ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  __ add(ecx, esp);
928b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
929b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Unwind the stack down to - but not including - the unwinding
930b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // limit and copy the contents of the activation frame to the input
931b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // frame description.
932b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ lea(edx, Operand(ebx, FrameDescription::frame_content_offset()));
933b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  Label pop_loop;
934b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ bind(&pop_loop);
935b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ pop(Operand(edx, 0));
9363ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  __ add(edx, Immediate(sizeof(uint32_t)));
9373ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  __ cmp(ecx, esp);
938b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ j(not_equal, &pop_loop);
939b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
940b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Compute the output frame in the deoptimizer.
941b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ push(eax);
942b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ PrepareCallCFunction(1, ebx);
943b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ mov(Operand(esp, 0 * kPointerSize), eax);
9443ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  {
9453ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    AllowExternalCallThatCantCauseGC scope(masm());
9463ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch    __ CallCFunction(
9473ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch        ExternalReference::compute_output_frames_function(isolate), 1);
9483ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  }
949b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ pop(eax);
950b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
951b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Replace the current frame with the output frames.
952b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  Label outer_push_loop, inner_push_loop;
953b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Outer loop state: eax = current FrameDescription**, edx = one past the
954b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // last FrameDescription**.
955b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ mov(edx, Operand(eax, Deoptimizer::output_count_offset()));
956b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ mov(eax, Operand(eax, Deoptimizer::output_offset()));
957b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ lea(edx, Operand(eax, edx, times_4, 0));
958b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ bind(&outer_push_loop);
959b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Inner loop state: ebx = current FrameDescription*, ecx = loop index.
960b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ mov(ebx, Operand(eax, 0));
961b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ mov(ecx, Operand(ebx, FrameDescription::frame_size_offset()));
962b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ bind(&inner_push_loop);
9633ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  __ sub(ecx, Immediate(sizeof(uint32_t)));
964b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ push(Operand(ebx, ecx, times_1, FrameDescription::frame_content_offset()));
9653ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  __ test(ecx, ecx);
966b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ j(not_zero, &inner_push_loop);
9673ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  __ add(eax, Immediate(kPointerSize));
9683ef787dbeca8a5fb1086949cda830dccee07bfbdBen Murdoch  __ cmp(eax, edx);
969b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ j(below, &outer_push_loop);
970b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
971b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // In case of OSR, we have to restore the XMM registers.
972b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (type() == OSR) {
973b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    for (int i = 0; i < XMMRegister::kNumAllocatableRegisters; ++i) {
974b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch      XMMRegister xmm_reg = XMMRegister::FromAllocationIndex(i);
975b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch      int src_offset = i * kDoubleSize + double_regs_offset;
976b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch      __ movdbl(xmm_reg, Operand(ebx, src_offset));
977b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    }
978b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
979b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
980b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Push state, pc, and continuation from the last output frame.
981b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  if (type() != OSR) {
982b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ push(Operand(ebx, FrameDescription::state_offset()));
983b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
984b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ push(Operand(ebx, FrameDescription::pc_offset()));
985b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ push(Operand(ebx, FrameDescription::continuation_offset()));
986b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
987b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
988b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Push the registers from the last output frame.
989b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  for (int i = 0; i < kNumberOfRegisters; i++) {
9901e0659c275bb392c045087af4f6b0d7565cb3d77Steve Block    int offset = (i * kPointerSize) + FrameDescription::registers_offset();
991b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ push(Operand(ebx, offset));
992b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
993b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
994b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Restore the registers from the stack.
995b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ popad();
996b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
997b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Return to the continuation point.
998b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ ret(0);
999b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch}
1000b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
1001b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
1002b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdochvoid Deoptimizer::TableEntryGenerator::GeneratePrologue() {
1003b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  // Create a sequence of deoptimization entries.
1004b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  Label done;
1005b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  for (int i = 0; i < count(); i++) {
1006b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    int start = masm()->pc_offset();
1007b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    USE(start);
1008b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ push_imm32(i);
1009b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    __ jmp(&done);
1010b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch    ASSERT(masm()->pc_offset() - start == table_entry_size_);
1011b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  }
1012b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch  __ bind(&done);
1013b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch}
1014b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
1015b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch#undef __
1016b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
1017b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch
1018b0fe1620dcb4135ac3ab2d66ff93072373911299Ben Murdoch} }  // namespace v8::internal
1019b8e0da25ee8efac3bb05cd6b2730aafbd96119f4Ben Murdoch
1020b8e0da25ee8efac3bb05cd6b2730aafbd96119f4Ben Murdoch#endif  // V8_TARGET_ARCH_IA32
1021