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 73 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
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 rdx: the new target value |
86 // o rsi: our context | 86 // o rsi: our context |
87 // o rbp: our caller's frame pointer | 87 // o rbp: our caller's frame pointer |
88 // o rsp: stack pointer (pointing to return address) | 88 // o rsp: stack pointer (pointing to return address) |
89 // | 89 // |
90 // The function builds a JS frame. Please see JavaScriptFrameConstants in | 90 // The function builds a JS frame. Please see JavaScriptFrameConstants in |
91 // frames-x64.h for its layout. | 91 // frames-x64.h for its layout. |
92 void FullCodeGenerator::Generate() { | 92 void FullCodeGenerator::Generate() { |
93 CompilationInfo* info = info_; | 93 CompilationInfo* info = info_; |
| 94 DCHECK_EQ(scope(), info->scope()); |
94 profiling_counter_ = isolate()->factory()->NewCell( | 95 profiling_counter_ = isolate()->factory()->NewCell( |
95 Handle<Smi>(Smi::FromInt(FLAG_interrupt_budget), isolate())); | 96 Handle<Smi>(Smi::FromInt(FLAG_interrupt_budget), isolate())); |
96 SetFunctionPosition(literal()); | 97 SetFunctionPosition(literal()); |
97 Comment cmnt(masm_, "[ function compiled by full code generator"); | 98 Comment cmnt(masm_, "[ function compiled by full code generator"); |
98 | 99 |
99 ProfileEntryHookStub::MaybeCallEntryHook(masm_); | 100 ProfileEntryHookStub::MaybeCallEntryHook(masm_); |
100 | 101 |
101 if (FLAG_debug_code && info->ExpectsJSReceiverAsReceiver()) { | 102 if (FLAG_debug_code && info->ExpectsJSReceiverAsReceiver()) { |
102 StackArgumentsAccessor args(rsp, info->scope()->num_parameters()); | 103 StackArgumentsAccessor args(rsp, info->scope()->num_parameters()); |
103 __ movp(rcx, args.GetReceiverOperand()); | 104 __ movp(rcx, args.GetReceiverOperand()); |
(...skipping 82 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
186 function_in_register = false; | 187 function_in_register = false; |
187 // Context is returned in rax. It replaces the context passed to us. | 188 // Context is returned in rax. It replaces the context passed to us. |
188 // It's saved in the stack and kept live in rsi. | 189 // It's saved in the stack and kept live in rsi. |
189 __ movp(rsi, rax); | 190 __ movp(rsi, rax); |
190 __ movp(Operand(rbp, StandardFrameConstants::kContextOffset), rax); | 191 __ movp(Operand(rbp, StandardFrameConstants::kContextOffset), rax); |
191 | 192 |
192 // Copy any necessary parameters into the context. | 193 // Copy any necessary parameters into the context. |
193 int num_parameters = info->scope()->num_parameters(); | 194 int num_parameters = info->scope()->num_parameters(); |
194 int first_parameter = info->scope()->has_this_declaration() ? -1 : 0; | 195 int first_parameter = info->scope()->has_this_declaration() ? -1 : 0; |
195 for (int i = first_parameter; i < num_parameters; i++) { | 196 for (int i = first_parameter; i < num_parameters; i++) { |
196 Variable* var = (i == -1) ? scope()->receiver() : scope()->parameter(i); | 197 Variable* var = |
| 198 (i == -1) ? info->scope()->receiver() : info->scope()->parameter(i); |
197 if (var->IsContextSlot()) { | 199 if (var->IsContextSlot()) { |
198 int parameter_offset = StandardFrameConstants::kCallerSPOffset + | 200 int parameter_offset = StandardFrameConstants::kCallerSPOffset + |
199 (num_parameters - 1 - i) * kPointerSize; | 201 (num_parameters - 1 - i) * kPointerSize; |
200 // Load parameter from stack. | 202 // Load parameter from stack. |
201 __ movp(rax, Operand(rbp, parameter_offset)); | 203 __ movp(rax, Operand(rbp, parameter_offset)); |
202 // Store it in the context. | 204 // Store it in the context. |
203 int context_offset = Context::SlotOffset(var->index()); | 205 int context_offset = Context::SlotOffset(var->index()); |
204 __ movp(Operand(rsi, context_offset), rax); | 206 __ movp(Operand(rsi, context_offset), rax); |
205 // Update the write barrier. This clobbers rax and rbx. | 207 // Update the write barrier. This clobbers rax and rbx. |
206 if (need_write_barrier) { | 208 if (need_write_barrier) { |
(...skipping 10 matching lines...) Expand all Loading... |
217 } | 219 } |
218 | 220 |
219 // Register holding this function and new target are both trashed in case we | 221 // Register holding this function and new target are both trashed in case we |
220 // bailout here. But since that can happen only when new target is not used | 222 // bailout here. But since that can happen only when new target is not used |
221 // and we allocate a context, the value of |function_in_register| is correct. | 223 // and we allocate a context, the value of |function_in_register| is correct. |
222 PrepareForBailoutForId(BailoutId::FunctionContext(), | 224 PrepareForBailoutForId(BailoutId::FunctionContext(), |
223 BailoutState::NO_REGISTERS); | 225 BailoutState::NO_REGISTERS); |
224 | 226 |
225 // Possibly set up a local binding to the this function which is used in | 227 // Possibly set up a local binding to the this function which is used in |
226 // derived constructors with super calls. | 228 // derived constructors with super calls. |
227 Variable* this_function_var = scope()->this_function_var(); | 229 Variable* this_function_var = info->scope()->this_function_var(); |
228 if (this_function_var != nullptr) { | 230 if (this_function_var != nullptr) { |
229 Comment cmnt(masm_, "[ This function"); | 231 Comment cmnt(masm_, "[ This function"); |
230 if (!function_in_register) { | 232 if (!function_in_register) { |
231 __ movp(rdi, Operand(rbp, JavaScriptFrameConstants::kFunctionOffset)); | 233 __ movp(rdi, Operand(rbp, JavaScriptFrameConstants::kFunctionOffset)); |
232 // The write barrier clobbers register again, keep it marked as such. | 234 // The write barrier clobbers register again, keep it marked as such. |
233 } | 235 } |
234 SetVar(this_function_var, rdi, rbx, rcx); | 236 SetVar(this_function_var, rdi, rbx, rcx); |
235 } | 237 } |
236 | 238 |
237 // Possibly set up a local binding to the new target value. | 239 // Possibly set up a local binding to the new target value. |
238 Variable* new_target_var = scope()->new_target_var(); | 240 Variable* new_target_var = info->scope()->new_target_var(); |
239 if (new_target_var != nullptr) { | 241 if (new_target_var != nullptr) { |
240 Comment cmnt(masm_, "[ new.target"); | 242 Comment cmnt(masm_, "[ new.target"); |
241 SetVar(new_target_var, rdx, rbx, rcx); | 243 SetVar(new_target_var, rdx, rbx, rcx); |
242 } | 244 } |
243 | 245 |
244 // Possibly allocate RestParameters | 246 // Possibly allocate RestParameters |
245 int rest_index; | 247 int rest_index; |
246 Variable* rest_param = scope()->rest_parameter(&rest_index); | 248 Variable* rest_param = info->scope()->rest_parameter(&rest_index); |
247 if (rest_param) { | 249 if (rest_param) { |
248 Comment cmnt(masm_, "[ Allocate rest parameter array"); | 250 Comment cmnt(masm_, "[ Allocate rest parameter array"); |
249 if (!function_in_register) { | 251 if (!function_in_register) { |
250 __ movp(rdi, Operand(rbp, JavaScriptFrameConstants::kFunctionOffset)); | 252 __ movp(rdi, Operand(rbp, JavaScriptFrameConstants::kFunctionOffset)); |
251 } | 253 } |
252 FastNewRestParameterStub stub(isolate()); | 254 FastNewRestParameterStub stub(isolate()); |
253 __ CallStub(&stub); | 255 __ CallStub(&stub); |
254 function_in_register = false; | 256 function_in_register = false; |
255 SetVar(rest_param, rax, rbx, rdx); | 257 SetVar(rest_param, rax, rbx, rdx); |
256 } | 258 } |
257 | 259 |
258 // Possibly allocate an arguments object. | 260 // Possibly allocate an arguments object. |
259 Variable* arguments = scope()->arguments(); | 261 DCHECK_EQ(scope(), info->scope()); |
| 262 Variable* arguments = info->scope()->arguments(); |
260 if (arguments != NULL) { | 263 if (arguments != NULL) { |
261 // Arguments object must be allocated after the context object, in | 264 // Arguments object must be allocated after the context object, in |
262 // case the "arguments" or ".arguments" variables are in the context. | 265 // case the "arguments" or ".arguments" variables are in the context. |
263 Comment cmnt(masm_, "[ Allocate arguments object"); | 266 Comment cmnt(masm_, "[ Allocate arguments object"); |
264 if (!function_in_register) { | 267 if (!function_in_register) { |
265 __ movp(rdi, Operand(rbp, JavaScriptFrameConstants::kFunctionOffset)); | 268 __ movp(rdi, Operand(rbp, JavaScriptFrameConstants::kFunctionOffset)); |
266 } | 269 } |
267 if (is_strict(language_mode()) || !has_simple_parameters()) { | 270 if (is_strict(language_mode()) || !has_simple_parameters()) { |
268 FastNewStrictArgumentsStub stub(isolate()); | 271 FastNewStrictArgumentsStub stub(isolate()); |
269 __ CallStub(&stub); | 272 __ CallStub(&stub); |
(...skipping 11 matching lines...) Expand all Loading... |
281 if (FLAG_trace) { | 284 if (FLAG_trace) { |
282 __ CallRuntime(Runtime::kTraceEnter); | 285 __ CallRuntime(Runtime::kTraceEnter); |
283 } | 286 } |
284 | 287 |
285 // Visit the declarations and body unless there is an illegal | 288 // Visit the declarations and body unless there is an illegal |
286 // redeclaration. | 289 // redeclaration. |
287 PrepareForBailoutForId(BailoutId::FunctionEntry(), | 290 PrepareForBailoutForId(BailoutId::FunctionEntry(), |
288 BailoutState::NO_REGISTERS); | 291 BailoutState::NO_REGISTERS); |
289 { | 292 { |
290 Comment cmnt(masm_, "[ Declarations"); | 293 Comment cmnt(masm_, "[ Declarations"); |
291 VisitDeclarations(scope()->declarations()); | 294 VisitDeclarations(info->scope()->declarations()); |
292 } | 295 } |
293 | 296 |
294 // Assert that the declarations do not use ICs. Otherwise the debugger | 297 // Assert that the declarations do not use ICs. Otherwise the debugger |
295 // won't be able to redirect a PC at an IC to the correct IC in newly | 298 // won't be able to redirect a PC at an IC to the correct IC in newly |
296 // recompiled code. | 299 // recompiled code. |
297 DCHECK_EQ(0, ic_total_count_); | 300 DCHECK_EQ(0, ic_total_count_); |
298 | 301 |
299 { | 302 { |
300 Comment cmnt(masm_, "[ Stack check"); | 303 Comment cmnt(masm_, "[ Stack check"); |
301 PrepareForBailoutForId(BailoutId::Declarations(), | 304 PrepareForBailoutForId(BailoutId::Declarations(), |
(...skipping 3198 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3500 __ movp(Operand(rbp, frame_offset), value); | 3503 __ movp(Operand(rbp, frame_offset), value); |
3501 } | 3504 } |
3502 | 3505 |
3503 | 3506 |
3504 void FullCodeGenerator::LoadContextField(Register dst, int context_index) { | 3507 void FullCodeGenerator::LoadContextField(Register dst, int context_index) { |
3505 __ movp(dst, ContextOperand(rsi, context_index)); | 3508 __ movp(dst, ContextOperand(rsi, context_index)); |
3506 } | 3509 } |
3507 | 3510 |
3508 | 3511 |
3509 void FullCodeGenerator::PushFunctionArgumentForContextAllocation() { | 3512 void FullCodeGenerator::PushFunctionArgumentForContextAllocation() { |
3510 Scope* closure_scope = scope()->ClosureScope(); | 3513 DeclarationScope* closure_scope = scope()->GetClosureScope(); |
3511 if (closure_scope->is_script_scope() || | 3514 if (closure_scope->is_script_scope() || |
3512 closure_scope->is_module_scope()) { | 3515 closure_scope->is_module_scope()) { |
3513 // Contexts nested in the native context have a canonical empty function | 3516 // Contexts nested in the native context have a canonical empty function |
3514 // as their closure, not the anonymous closure containing the global | 3517 // as their closure, not the anonymous closure containing the global |
3515 // code. | 3518 // code. |
3516 __ movp(rax, NativeContextOperand()); | 3519 __ movp(rax, NativeContextOperand()); |
3517 PushOperand(ContextOperand(rax, Context::CLOSURE_INDEX)); | 3520 PushOperand(ContextOperand(rax, Context::CLOSURE_INDEX)); |
3518 } else if (closure_scope->is_eval_scope()) { | 3521 } else if (closure_scope->is_eval_scope()) { |
3519 // Contexts created by a call to eval have the same closure as the | 3522 // Contexts created by a call to eval have the same closure as the |
3520 // context calling eval, not the anonymous closure containing the eval | 3523 // context calling eval, not the anonymous closure containing the eval |
(...skipping 137 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
3658 DCHECK_EQ( | 3661 DCHECK_EQ( |
3659 isolate->builtins()->OnStackReplacement()->entry(), | 3662 isolate->builtins()->OnStackReplacement()->entry(), |
3660 Assembler::target_address_at(call_target_address, unoptimized_code)); | 3663 Assembler::target_address_at(call_target_address, unoptimized_code)); |
3661 return ON_STACK_REPLACEMENT; | 3664 return ON_STACK_REPLACEMENT; |
3662 } | 3665 } |
3663 | 3666 |
3664 } // namespace internal | 3667 } // namespace internal |
3665 } // namespace v8 | 3668 } // namespace v8 |
3666 | 3669 |
3667 #endif // V8_TARGET_ARCH_X64 | 3670 #endif // V8_TARGET_ARCH_X64 |
OLD | NEW |