Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(659)

Side by Side Diff: src/arm/deoptimizer-arm.cc

Issue 8492004: Fix lazy deoptimization at HInvokeFunction and enable target-recording call-function stub. (Closed) Base URL: http://v8.googlecode.com/svn/branches/bleeding_edge/
Patch Set: fixed missing deopt index on ARM. Created 9 years, 1 month ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
« no previous file with comments | « no previous file | src/arm/lithium-codegen-arm.h » ('j') | src/arm/lithium-codegen-arm.cc » ('J')
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
OLDNEW
1 // Copyright 2011 the V8 project authors. All rights reserved. 1 // Copyright 2011 the V8 project authors. All rights reserved.
2 // Redistribution and use in source and binary forms, with or without 2 // Redistribution and use in source and binary forms, with or without
3 // modification, are permitted provided that the following conditions are 3 // modification, are permitted provided that the following conditions are
4 // met: 4 // met:
5 // 5 //
6 // * Redistributions of source code must retain the above copyright 6 // * Redistributions of source code must retain the above copyright
7 // notice, this list of conditions and the following disclaimer. 7 // notice, this list of conditions and the following disclaimer.
8 // * Redistributions in binary form must reproduce the above 8 // * Redistributions in binary form must reproduce the above
9 // copyright notice, this list of conditions and the following 9 // copyright notice, this list of conditions and the following
10 // disclaimer in the documentation and/or other materials provided 10 // disclaimer in the documentation and/or other materials provided
(...skipping 26 matching lines...) Expand all
37 37
38 const int Deoptimizer::table_entry_size_ = 16; 38 const int Deoptimizer::table_entry_size_ = 16;
39 39
40 40
41 int Deoptimizer::patch_size() { 41 int Deoptimizer::patch_size() {
42 const int kCallInstructionSizeInWords = 3; 42 const int kCallInstructionSizeInWords = 3;
43 return kCallInstructionSizeInWords * Assembler::kInstrSize; 43 return kCallInstructionSizeInWords * Assembler::kInstrSize;
44 } 44 }
45 45
46 46
47 void Deoptimizer::EnsureRelocSpaceForLazyDeoptimization(Handle<Code> code) {
48 // Nothing to do. No new relocation information is written for lazy
49 // deoptimization on ARM.
50 }
51
52
53 void Deoptimizer::DeoptimizeFunction(JSFunction* function) { 47 void Deoptimizer::DeoptimizeFunction(JSFunction* function) {
54 HandleScope scope; 48 HandleScope scope;
55 AssertNoAllocation no_allocation; 49 AssertNoAllocation no_allocation;
56 50
57 if (!function->IsOptimized()) return; 51 if (!function->IsOptimized()) return;
58 52
59 // Get the optimized code. 53 // Get the optimized code.
60 Code* code = function->code(); 54 Code* code = function->code();
55 Address code_start_address = code->instruction_start();
61 56
62 // Invalidate the relocation information, as it will become invalid by the 57 // Invalidate the relocation information, as it will become invalid by the
63 // code patching below, and is not needed any more. 58 // code patching below, and is not needed any more.
64 code->InvalidateRelocation(); 59 code->InvalidateRelocation();
65 60
66 // For each return after a safepoint insert an absolute call to the 61 // For each LLazyBailout instruction insert a call to the corresponding
67 // corresponding deoptimization entry. 62 // deoptimization entry.
68 unsigned last_pc_offset = 0; 63 DeoptimizationInputData* deopt_data =
69 SafepointTable table(function->code()); 64 DeoptimizationInputData::cast(code->deoptimization_data());
70 for (unsigned i = 0; i < table.length(); i++) { 65 for (int i = 0; i < deopt_data->DeoptCount(); i++) {
71 unsigned pc_offset = table.GetPcOffset(i); 66 if (deopt_data->Pc(i)->value() == -1) continue;
72 SafepointEntry safepoint_entry = table.GetEntry(i); 67 Address call_address = code_start_address + deopt_data->Pc(i)->value();
73 int deoptimization_index = safepoint_entry.deoptimization_index(); 68 Address deopt_entry = GetDeoptimizationEntry(i, LAZY);
74 int gap_code_size = safepoint_entry.gap_code_size(); 69 int call_size_in_bytes = MacroAssembler::CallSize(deopt_entry,
75 // Check that we did not shoot past next safepoint. 70 RelocInfo::NONE);
76 CHECK(pc_offset >= last_pc_offset); 71 int call_size_in_words = call_size_in_bytes / Assembler::kInstrSize;
77 #ifdef DEBUG 72 ASSERT(call_size_in_bytes % Assembler::kInstrSize == 0);
78 // Destroy the code which is not supposed to be run again. 73 ASSERT(call_size_in_bytes <= patch_size());
79 int instructions = (pc_offset - last_pc_offset) / Assembler::kInstrSize; 74 CodePatcher patcher(call_address, call_size_in_words);
80 CodePatcher destroyer(code->instruction_start() + last_pc_offset, 75 patcher.masm()->Call(deopt_entry, RelocInfo::NONE);
81 instructions);
82 for (int x = 0; x < instructions; x++) {
83 destroyer.masm()->bkpt(0);
84 }
85 #endif
86 last_pc_offset = pc_offset;
87 if (deoptimization_index != Safepoint::kNoDeoptimizationIndex) {
88 Address deoptimization_entry = Deoptimizer::GetDeoptimizationEntry(
89 deoptimization_index, Deoptimizer::LAZY);
90 last_pc_offset += gap_code_size;
91 int call_size_in_bytes = MacroAssembler::CallSize(deoptimization_entry,
92 RelocInfo::NONE);
93 int call_size_in_words = call_size_in_bytes / Assembler::kInstrSize;
94 ASSERT(call_size_in_bytes % Assembler::kInstrSize == 0);
95 ASSERT(call_size_in_bytes <= patch_size());
96 CodePatcher patcher(code->instruction_start() + last_pc_offset,
97 call_size_in_words);
98 patcher.masm()->Call(deoptimization_entry, RelocInfo::NONE);
99 last_pc_offset += call_size_in_bytes;
100 }
101 } 76 }
102 77
103 #ifdef DEBUG
104 // Destroy the code which is not supposed to be run again.
105 int instructions =
106 (code->safepoint_table_offset() - last_pc_offset) / Assembler::kInstrSize;
107 CodePatcher destroyer(code->instruction_start() + last_pc_offset,
108 instructions);
109 for (int x = 0; x < instructions; x++) {
110 destroyer.masm()->bkpt(0);
111 }
112 #endif
113
114 Isolate* isolate = code->GetIsolate(); 78 Isolate* isolate = code->GetIsolate();
115 79
116 // Add the deoptimizing code to the list. 80 // Add the deoptimizing code to the list.
117 DeoptimizingCodeListNode* node = new DeoptimizingCodeListNode(code); 81 DeoptimizingCodeListNode* node = new DeoptimizingCodeListNode(code);
118 DeoptimizerData* data = isolate->deoptimizer_data(); 82 DeoptimizerData* data = isolate->deoptimizer_data();
119 node->set_next(data->deoptimizing_code_list_); 83 node->set_next(data->deoptimizing_code_list_);
120 data->deoptimizing_code_list_ = node; 84 data->deoptimizing_code_list_ = node;
121 85
122 // We might be in the middle of incremental marking with compaction. 86 // We might be in the middle of incremental marking with compaction.
123 // Tell collector to treat this code object in a special way and 87 // Tell collector to treat this code object in a special way and
124 // ignore all slots that might have been recorded on it. 88 // ignore all slots that might have been recorded on it.
125 isolate->heap()->mark_compact_collector()->InvalidateCode(code); 89 isolate->heap()->mark_compact_collector()->InvalidateCode(code);
126 90
127 // Set the code for the function to non-optimized version. 91 // Set the code for the function to non-optimized version.
128 function->ReplaceCode(function->shared()->code()); 92 function->ReplaceCode(function->shared()->code());
129 93
130 if (FLAG_trace_deopt) { 94 if (FLAG_trace_deopt) {
131 PrintF("[forced deoptimization: "); 95 PrintF("[forced deoptimization: ");
132 function->PrintName(); 96 function->PrintName();
133 PrintF(" / %x]\n", reinterpret_cast<uint32_t>(function)); 97 PrintF(" / %x]\n", reinterpret_cast<uint32_t>(function));
134 #ifdef DEBUG
135 if (FLAG_print_code) {
136 code->PrintLn();
137 }
138 #endif
139 } 98 }
140 } 99 }
141 100
142 101
143 void Deoptimizer::PatchStackCheckCodeAt(Code* unoptimized_code, 102 void Deoptimizer::PatchStackCheckCodeAt(Code* unoptimized_code,
144 Address pc_after, 103 Address pc_after,
145 Code* check_code, 104 Code* check_code,
146 Code* replacement_code) { 105 Code* replacement_code) {
147 const int kInstrSize = Assembler::kInstrSize; 106 const int kInstrSize = Assembler::kInstrSize;
148 // The call of the stack guard check has the following form: 107 // The call of the stack guard check has the following form:
(...skipping 636 matching lines...) Expand 10 before | Expand all | Expand 10 after
785 __ push(ip); 744 __ push(ip);
786 __ b(&done); 745 __ b(&done);
787 ASSERT(masm()->pc_offset() - start == table_entry_size_); 746 ASSERT(masm()->pc_offset() - start == table_entry_size_);
788 } 747 }
789 __ bind(&done); 748 __ bind(&done);
790 } 749 }
791 750
792 #undef __ 751 #undef __
793 752
794 } } // namespace v8::internal 753 } } // namespace v8::internal
OLDNEW
« no previous file with comments | « no previous file | src/arm/lithium-codegen-arm.h » ('j') | src/arm/lithium-codegen-arm.cc » ('J')

Powered by Google App Engine
This is Rietveld 408576698