OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #if V8_TARGET_ARCH_X64 | 5 #if V8_TARGET_ARCH_X64 |
6 | 6 |
7 #include "src/ast/scopes.h" | 7 #include "src/ast/scopes.h" |
8 #include "src/code-factory.h" | 8 #include "src/code-factory.h" |
9 #include "src/code-stubs.h" | 9 #include "src/code-stubs.h" |
10 #include "src/codegen.h" | 10 #include "src/codegen.h" |
(...skipping 64 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
75 }; | 75 }; |
76 | 76 |
77 | 77 |
78 // Generate code for a JS function. On entry to the function the receiver | 78 // Generate code for a JS function. On entry to the function the receiver |
79 // and arguments have been pushed on the stack left to right, with the | 79 // and arguments have been pushed on the stack left to right, with the |
80 // return address on top of them. The actual argument count matches the | 80 // return address on top of them. The actual argument count matches the |
81 // formal parameter count expected by the function. | 81 // formal parameter count expected by the function. |
82 // | 82 // |
83 // The live registers are: | 83 // The live registers are: |
84 // o rdi: the JS function object being called (i.e. ourselves) | 84 // o rdi: the JS function object being called (i.e. ourselves) |
| 85 // o rdx: the new target value |
85 // o rsi: our context | 86 // o rsi: our context |
86 // o rbp: our caller's frame pointer | 87 // o rbp: our caller's frame pointer |
87 // o rsp: stack pointer (pointing to return address) | 88 // o rsp: stack pointer (pointing to return address) |
88 // | 89 // |
89 // The function builds a JS frame. Please see JavaScriptFrameConstants in | 90 // The function builds a JS frame. Please see JavaScriptFrameConstants in |
90 // frames-x64.h for its layout. | 91 // frames-x64.h for its layout. |
91 void FullCodeGenerator::Generate() { | 92 void FullCodeGenerator::Generate() { |
92 CompilationInfo* info = info_; | 93 CompilationInfo* info = info_; |
93 profiling_counter_ = isolate()->factory()->NewCell( | 94 profiling_counter_ = isolate()->factory()->NewCell( |
94 Handle<Smi>(Smi::FromInt(FLAG_interrupt_budget), isolate())); | 95 Handle<Smi>(Smi::FromInt(FLAG_interrupt_budget), isolate())); |
(...skipping 34 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
129 } else if (locals_count > 1) { | 130 } else if (locals_count > 1) { |
130 if (locals_count >= 128) { | 131 if (locals_count >= 128) { |
131 Label ok; | 132 Label ok; |
132 __ movp(rcx, rsp); | 133 __ movp(rcx, rsp); |
133 __ subp(rcx, Immediate(locals_count * kPointerSize)); | 134 __ subp(rcx, Immediate(locals_count * kPointerSize)); |
134 __ CompareRoot(rcx, Heap::kRealStackLimitRootIndex); | 135 __ CompareRoot(rcx, Heap::kRealStackLimitRootIndex); |
135 __ j(above_equal, &ok, Label::kNear); | 136 __ j(above_equal, &ok, Label::kNear); |
136 __ CallRuntime(Runtime::kThrowStackOverflow, 0); | 137 __ CallRuntime(Runtime::kThrowStackOverflow, 0); |
137 __ bind(&ok); | 138 __ bind(&ok); |
138 } | 139 } |
139 __ LoadRoot(rdx, Heap::kUndefinedValueRootIndex); | 140 __ LoadRoot(rax, Heap::kUndefinedValueRootIndex); |
140 const int kMaxPushes = 32; | 141 const int kMaxPushes = 32; |
141 if (locals_count >= kMaxPushes) { | 142 if (locals_count >= kMaxPushes) { |
142 int loop_iterations = locals_count / kMaxPushes; | 143 int loop_iterations = locals_count / kMaxPushes; |
143 __ movp(rcx, Immediate(loop_iterations)); | 144 __ movp(rcx, Immediate(loop_iterations)); |
144 Label loop_header; | 145 Label loop_header; |
145 __ bind(&loop_header); | 146 __ bind(&loop_header); |
146 // Do pushes. | 147 // Do pushes. |
147 for (int i = 0; i < kMaxPushes; i++) { | 148 for (int i = 0; i < kMaxPushes; i++) { |
148 __ Push(rdx); | 149 __ Push(rax); |
149 } | 150 } |
150 // Continue loop if not done. | 151 // Continue loop if not done. |
151 __ decp(rcx); | 152 __ decp(rcx); |
152 __ j(not_zero, &loop_header, Label::kNear); | 153 __ j(not_zero, &loop_header, Label::kNear); |
153 } | 154 } |
154 int remaining = locals_count % kMaxPushes; | 155 int remaining = locals_count % kMaxPushes; |
155 // Emit the remaining pushes. | 156 // Emit the remaining pushes. |
156 for (int i = 0; i < remaining; i++) { | 157 for (int i = 0; i < remaining; i++) { |
157 __ Push(rdx); | 158 __ Push(rax); |
158 } | 159 } |
159 } | 160 } |
160 } | 161 } |
161 | 162 |
162 bool function_in_register = true; | 163 bool function_in_register = true; |
163 | 164 |
164 // Possibly allocate a local context. | 165 // Possibly allocate a local context. |
165 if (info->scope()->num_heap_slots() > 0) { | 166 if (info->scope()->num_heap_slots() > 0) { |
166 Comment cmnt(masm_, "[ Allocate context"); | 167 Comment cmnt(masm_, "[ Allocate context"); |
167 bool need_write_barrier = true; | 168 bool need_write_barrier = true; |
168 int slots = info->scope()->num_heap_slots() - Context::MIN_CONTEXT_SLOTS; | 169 int slots = info->scope()->num_heap_slots() - Context::MIN_CONTEXT_SLOTS; |
169 // Argument to NewContext is the function, which is still in rdi. | 170 // Argument to NewContext is the function, which is still in rdi. |
170 if (info->scope()->is_script_scope()) { | 171 if (info->scope()->is_script_scope()) { |
171 __ Push(rdi); | 172 __ Push(rdi); |
172 __ Push(info->scope()->GetScopeInfo(info->isolate())); | 173 __ Push(info->scope()->GetScopeInfo(info->isolate())); |
173 __ CallRuntime(Runtime::kNewScriptContext, 2); | 174 __ CallRuntime(Runtime::kNewScriptContext, 2); |
174 PrepareForBailoutForId(BailoutId::ScriptContext(), TOS_REG); | 175 PrepareForBailoutForId(BailoutId::ScriptContext(), TOS_REG); |
175 } else if (slots <= FastNewContextStub::kMaximumSlots) { | 176 // The new target value is not used, clobbering is safe. |
176 FastNewContextStub stub(isolate(), slots); | 177 DCHECK_NULL(info->scope()->new_target_var()); |
177 __ CallStub(&stub); | |
178 // Result of FastNewContextStub is always in new space. | |
179 need_write_barrier = false; | |
180 } else { | 178 } else { |
181 __ Push(rdi); | 179 if (info->scope()->new_target_var() != nullptr) { |
182 __ CallRuntime(Runtime::kNewFunctionContext, 1); | 180 __ Push(rdx); // Preserve new target. |
| 181 } |
| 182 if (slots <= FastNewContextStub::kMaximumSlots) { |
| 183 FastNewContextStub stub(isolate(), slots); |
| 184 __ CallStub(&stub); |
| 185 // Result of FastNewContextStub is always in new space. |
| 186 need_write_barrier = false; |
| 187 } else { |
| 188 __ Push(rdi); |
| 189 __ CallRuntime(Runtime::kNewFunctionContext, 1); |
| 190 } |
| 191 if (info->scope()->new_target_var() != nullptr) { |
| 192 __ Pop(rdx); // Restore new target. |
| 193 } |
183 } | 194 } |
184 function_in_register = false; | 195 function_in_register = false; |
185 // Context is returned in rax. It replaces the context passed to us. | 196 // Context is returned in rax. It replaces the context passed to us. |
186 // It's saved in the stack and kept live in rsi. | 197 // It's saved in the stack and kept live in rsi. |
187 __ movp(rsi, rax); | 198 __ movp(rsi, rax); |
188 __ movp(Operand(rbp, StandardFrameConstants::kContextOffset), rax); | 199 __ movp(Operand(rbp, StandardFrameConstants::kContextOffset), rax); |
189 | 200 |
190 // Copy any necessary parameters into the context. | 201 // Copy any necessary parameters into the context. |
191 int num_parameters = info->scope()->num_parameters(); | 202 int num_parameters = info->scope()->num_parameters(); |
192 int first_parameter = info->scope()->has_this_declaration() ? -1 : 0; | 203 int first_parameter = info->scope()->has_this_declaration() ? -1 : 0; |
(...skipping 13 matching lines...) Expand all Loading... |
206 rsi, context_offset, rax, rbx, kDontSaveFPRegs); | 217 rsi, context_offset, rax, rbx, kDontSaveFPRegs); |
207 } else if (FLAG_debug_code) { | 218 } else if (FLAG_debug_code) { |
208 Label done; | 219 Label done; |
209 __ JumpIfInNewSpace(rsi, rax, &done, Label::kNear); | 220 __ JumpIfInNewSpace(rsi, rax, &done, Label::kNear); |
210 __ Abort(kExpectedNewSpaceObject); | 221 __ Abort(kExpectedNewSpaceObject); |
211 __ bind(&done); | 222 __ bind(&done); |
212 } | 223 } |
213 } | 224 } |
214 } | 225 } |
215 } | 226 } |
| 227 |
| 228 // Register holding this function and new target are both trashed in case we |
| 229 // bailout here. But since that can happen only when new target is not used |
| 230 // and we allocate a context, the value of |function_in_register| is correct. |
216 PrepareForBailoutForId(BailoutId::FunctionContext(), NO_REGISTERS); | 231 PrepareForBailoutForId(BailoutId::FunctionContext(), NO_REGISTERS); |
217 | 232 |
218 // Function register is trashed in case we bailout here. But since that | |
219 // could happen only when we allocate a context the value of | |
220 // |function_in_register| is correct. | |
221 | |
222 // Possibly set up a local binding to the this function which is used in | 233 // Possibly set up a local binding to the this function which is used in |
223 // derived constructors with super calls. | 234 // derived constructors with super calls. |
224 Variable* this_function_var = scope()->this_function_var(); | 235 Variable* this_function_var = scope()->this_function_var(); |
225 if (this_function_var != nullptr) { | 236 if (this_function_var != nullptr) { |
226 Comment cmnt(masm_, "[ This function"); | 237 Comment cmnt(masm_, "[ This function"); |
227 if (!function_in_register) { | 238 if (!function_in_register) { |
228 __ movp(rdi, Operand(rbp, JavaScriptFrameConstants::kFunctionOffset)); | 239 __ movp(rdi, Operand(rbp, JavaScriptFrameConstants::kFunctionOffset)); |
229 // The write barrier clobbers register again, keep it marked as such. | 240 // The write barrier clobbers register again, keep it marked as such. |
230 } | 241 } |
231 SetVar(this_function_var, rdi, rbx, rdx); | 242 SetVar(this_function_var, rdi, rbx, rcx); |
232 } | 243 } |
233 | 244 |
| 245 // Possibly set up a local binding to the new target value. |
234 Variable* new_target_var = scope()->new_target_var(); | 246 Variable* new_target_var = scope()->new_target_var(); |
235 if (new_target_var != nullptr) { | 247 if (new_target_var != nullptr) { |
236 Comment cmnt(masm_, "[ new.target"); | 248 Comment cmnt(masm_, "[ new.target"); |
237 | 249 SetVar(new_target_var, rdx, rbx, rcx); |
238 __ movp(rax, Operand(rbp, StandardFrameConstants::kCallerFPOffset)); | |
239 Label non_adaptor_frame; | |
240 __ Cmp(Operand(rax, StandardFrameConstants::kContextOffset), | |
241 Smi::FromInt(StackFrame::ARGUMENTS_ADAPTOR)); | |
242 __ j(not_equal, &non_adaptor_frame); | |
243 __ movp(rax, Operand(rax, StandardFrameConstants::kCallerFPOffset)); | |
244 | |
245 __ bind(&non_adaptor_frame); | |
246 __ Cmp(Operand(rax, StandardFrameConstants::kMarkerOffset), | |
247 Smi::FromInt(StackFrame::CONSTRUCT)); | |
248 | |
249 Label non_construct_frame, done; | |
250 __ j(not_equal, &non_construct_frame); | |
251 | |
252 // Construct frame | |
253 __ movp(rax, Operand(rax, ConstructFrameConstants::kNewTargetOffset)); | |
254 __ jmp(&done); | |
255 | |
256 // Non-construct frame | |
257 __ bind(&non_construct_frame); | |
258 __ LoadRoot(rax, Heap::kUndefinedValueRootIndex); | |
259 | |
260 __ bind(&done); | |
261 SetVar(new_target_var, rax, rbx, rdx); | |
262 } | 250 } |
263 | 251 |
264 // Possibly allocate an arguments object. | 252 // Possibly allocate an arguments object. |
265 Variable* arguments = scope()->arguments(); | 253 Variable* arguments = scope()->arguments(); |
266 if (arguments != NULL) { | 254 if (arguments != NULL) { |
267 // Arguments object must be allocated after the context object, in | 255 // Arguments object must be allocated after the context object, in |
268 // case the "arguments" or ".arguments" variables are in the context. | 256 // case the "arguments" or ".arguments" variables are in the context. |
269 Comment cmnt(masm_, "[ Allocate arguments object"); | 257 Comment cmnt(masm_, "[ Allocate arguments object"); |
270 DCHECK(rdi.is(ArgumentsAccessNewDescriptor::function())); | 258 DCHECK(rdi.is(ArgumentsAccessNewDescriptor::function())); |
271 if (!function_in_register) { | 259 if (!function_in_register) { |
(...skipping 4576 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
4848 Assembler::target_address_at(call_target_address, | 4836 Assembler::target_address_at(call_target_address, |
4849 unoptimized_code)); | 4837 unoptimized_code)); |
4850 return OSR_AFTER_STACK_CHECK; | 4838 return OSR_AFTER_STACK_CHECK; |
4851 } | 4839 } |
4852 | 4840 |
4853 | 4841 |
4854 } // namespace internal | 4842 } // namespace internal |
4855 } // namespace v8 | 4843 } // namespace v8 |
4856 | 4844 |
4857 #endif // V8_TARGET_ARCH_X64 | 4845 #endif // V8_TARGET_ARCH_X64 |
OLD | NEW |