| 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 #include "src/v8.h" | 5 #include "src/v8.h" |
| 6 | 6 |
| 7 #if V8_TARGET_ARCH_X87 | 7 #if V8_TARGET_ARCH_X87 |
| 8 | 8 |
| 9 #include "src/code-stubs.h" | 9 #include "src/code-stubs.h" |
| 10 #include "src/codegen.h" | 10 #include "src/codegen.h" |
| (...skipping 783 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 794 __ push(Immediate(Smi::FromInt(attr))); | 794 __ push(Immediate(Smi::FromInt(attr))); |
| 795 // Push initial value, if any. | 795 // Push initial value, if any. |
| 796 // Note: For variables we must not push an initial value (such as | 796 // Note: For variables we must not push an initial value (such as |
| 797 // 'undefined') because we may have a (legal) redeclaration and we | 797 // 'undefined') because we may have a (legal) redeclaration and we |
| 798 // must not destroy the current value. | 798 // must not destroy the current value. |
| 799 if (hole_init) { | 799 if (hole_init) { |
| 800 __ push(Immediate(isolate()->factory()->the_hole_value())); | 800 __ push(Immediate(isolate()->factory()->the_hole_value())); |
| 801 } else { | 801 } else { |
| 802 __ push(Immediate(Smi::FromInt(0))); // Indicates no initial value. | 802 __ push(Immediate(Smi::FromInt(0))); // Indicates no initial value. |
| 803 } | 803 } |
| 804 __ CallRuntime(Runtime::kDeclareContextSlot, 4); | 804 __ CallRuntime(Runtime::kDeclareLookupSlot, 4); |
| 805 break; | 805 break; |
| 806 } | 806 } |
| 807 } | 807 } |
| 808 } | 808 } |
| 809 | 809 |
| 810 | 810 |
| 811 void FullCodeGenerator::VisitFunctionDeclaration( | 811 void FullCodeGenerator::VisitFunctionDeclaration( |
| 812 FunctionDeclaration* declaration) { | 812 FunctionDeclaration* declaration) { |
| 813 VariableProxy* proxy = declaration->proxy(); | 813 VariableProxy* proxy = declaration->proxy(); |
| 814 Variable* variable = proxy->var(); | 814 Variable* variable = proxy->var(); |
| (...skipping 31 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 846 PrepareForBailoutForId(proxy->id(), NO_REGISTERS); | 846 PrepareForBailoutForId(proxy->id(), NO_REGISTERS); |
| 847 break; | 847 break; |
| 848 } | 848 } |
| 849 | 849 |
| 850 case Variable::LOOKUP: { | 850 case Variable::LOOKUP: { |
| 851 Comment cmnt(masm_, "[ FunctionDeclaration"); | 851 Comment cmnt(masm_, "[ FunctionDeclaration"); |
| 852 __ push(esi); | 852 __ push(esi); |
| 853 __ push(Immediate(variable->name())); | 853 __ push(Immediate(variable->name())); |
| 854 __ push(Immediate(Smi::FromInt(NONE))); | 854 __ push(Immediate(Smi::FromInt(NONE))); |
| 855 VisitForStackValue(declaration->fun()); | 855 VisitForStackValue(declaration->fun()); |
| 856 __ CallRuntime(Runtime::kDeclareContextSlot, 4); | 856 __ CallRuntime(Runtime::kDeclareLookupSlot, 4); |
| 857 break; | 857 break; |
| 858 } | 858 } |
| 859 } | 859 } |
| 860 } | 860 } |
| 861 | 861 |
| 862 | 862 |
| 863 void FullCodeGenerator::VisitModuleDeclaration(ModuleDeclaration* declaration) { | 863 void FullCodeGenerator::VisitModuleDeclaration(ModuleDeclaration* declaration) { |
| 864 Variable* variable = declaration->proxy()->var(); | 864 Variable* variable = declaration->proxy()->var(); |
| 865 ASSERT(variable->location() == Variable::CONTEXT); | 865 ASSERT(variable->location() == Variable::CONTEXT); |
| 866 ASSERT(variable->interface()->IsFrozen()); | 866 ASSERT(variable->interface()->IsFrozen()); |
| (...skipping 1505 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2372 Variable* var, MemOperand location) { | 2372 Variable* var, MemOperand location) { |
| 2373 __ mov(location, eax); | 2373 __ mov(location, eax); |
| 2374 if (var->IsContextSlot()) { | 2374 if (var->IsContextSlot()) { |
| 2375 __ mov(edx, eax); | 2375 __ mov(edx, eax); |
| 2376 int offset = Context::SlotOffset(var->index()); | 2376 int offset = Context::SlotOffset(var->index()); |
| 2377 __ RecordWriteContextSlot(ecx, offset, edx, ebx); | 2377 __ RecordWriteContextSlot(ecx, offset, edx, ebx); |
| 2378 } | 2378 } |
| 2379 } | 2379 } |
| 2380 | 2380 |
| 2381 | 2381 |
| 2382 void FullCodeGenerator::EmitCallStoreContextSlot( | |
| 2383 Handle<String> name, StrictMode strict_mode) { | |
| 2384 __ push(eax); // Value. | |
| 2385 __ push(esi); // Context. | |
| 2386 __ push(Immediate(name)); | |
| 2387 __ push(Immediate(Smi::FromInt(strict_mode))); | |
| 2388 __ CallRuntime(Runtime::kStoreContextSlot, 4); | |
| 2389 } | |
| 2390 | |
| 2391 | |
| 2392 void FullCodeGenerator::EmitVariableAssignment(Variable* var, | 2382 void FullCodeGenerator::EmitVariableAssignment(Variable* var, |
| 2393 Token::Value op) { | 2383 Token::Value op) { |
| 2394 if (var->IsUnallocated()) { | 2384 if (var->IsUnallocated()) { |
| 2395 // Global var, const, or let. | 2385 // Global var, const, or let. |
| 2396 __ mov(StoreIC::NameRegister(), var->name()); | 2386 __ mov(StoreIC::NameRegister(), var->name()); |
| 2397 __ mov(StoreIC::ReceiverRegister(), GlobalObjectOperand()); | 2387 __ mov(StoreIC::ReceiverRegister(), GlobalObjectOperand()); |
| 2398 CallStoreIC(); | 2388 CallStoreIC(); |
| 2399 | 2389 |
| 2400 } else if (op == Token::INIT_CONST_LEGACY) { | 2390 } else if (op == Token::INIT_CONST_LEGACY) { |
| 2401 // Const initializers need a write barrier. | 2391 // Const initializers need a write barrier. |
| 2402 ASSERT(!var->IsParameter()); // No const parameters. | 2392 ASSERT(!var->IsParameter()); // No const parameters. |
| 2403 if (var->IsLookupSlot()) { | 2393 if (var->IsLookupSlot()) { |
| 2404 __ push(eax); | 2394 __ push(eax); |
| 2405 __ push(esi); | 2395 __ push(esi); |
| 2406 __ push(Immediate(var->name())); | 2396 __ push(Immediate(var->name())); |
| 2407 __ CallRuntime(Runtime::kInitializeConstContextSlot, 3); | 2397 __ CallRuntime(Runtime::kInitializeLegacyConstLookupSlot, 3); |
| 2408 } else { | 2398 } else { |
| 2409 ASSERT(var->IsStackLocal() || var->IsContextSlot()); | 2399 ASSERT(var->IsStackLocal() || var->IsContextSlot()); |
| 2410 Label skip; | 2400 Label skip; |
| 2411 MemOperand location = VarOperand(var, ecx); | 2401 MemOperand location = VarOperand(var, ecx); |
| 2412 __ mov(edx, location); | 2402 __ mov(edx, location); |
| 2413 __ cmp(edx, isolate()->factory()->the_hole_value()); | 2403 __ cmp(edx, isolate()->factory()->the_hole_value()); |
| 2414 __ j(not_equal, &skip, Label::kNear); | 2404 __ j(not_equal, &skip, Label::kNear); |
| 2415 EmitStoreToStackLocalOrContextSlot(var, location); | 2405 EmitStoreToStackLocalOrContextSlot(var, location); |
| 2416 __ bind(&skip); | 2406 __ bind(&skip); |
| 2417 } | 2407 } |
| 2418 | 2408 |
| 2419 } else if (var->mode() == LET && op != Token::INIT_LET) { | 2409 } else if (var->mode() == LET && op != Token::INIT_LET) { |
| 2420 // Non-initializing assignment to let variable needs a write barrier. | 2410 // Non-initializing assignment to let variable needs a write barrier. |
| 2421 if (var->IsLookupSlot()) { | 2411 ASSERT(!var->IsLookupSlot()); |
| 2422 EmitCallStoreContextSlot(var->name(), strict_mode()); | 2412 ASSERT(var->IsStackAllocated() || var->IsContextSlot()); |
| 2423 } else { | 2413 Label assign; |
| 2424 ASSERT(var->IsStackAllocated() || var->IsContextSlot()); | 2414 MemOperand location = VarOperand(var, ecx); |
| 2425 Label assign; | 2415 __ mov(edx, location); |
| 2426 MemOperand location = VarOperand(var, ecx); | 2416 __ cmp(edx, isolate()->factory()->the_hole_value()); |
| 2427 __ mov(edx, location); | 2417 __ j(not_equal, &assign, Label::kNear); |
| 2428 __ cmp(edx, isolate()->factory()->the_hole_value()); | 2418 __ push(Immediate(var->name())); |
| 2429 __ j(not_equal, &assign, Label::kNear); | 2419 __ CallRuntime(Runtime::kThrowReferenceError, 1); |
| 2430 __ push(Immediate(var->name())); | 2420 __ bind(&assign); |
| 2431 __ CallRuntime(Runtime::kThrowReferenceError, 1); | 2421 EmitStoreToStackLocalOrContextSlot(var, location); |
| 2432 __ bind(&assign); | |
| 2433 EmitStoreToStackLocalOrContextSlot(var, location); | |
| 2434 } | |
| 2435 | 2422 |
| 2436 } else if (!var->is_const_mode() || op == Token::INIT_CONST) { | 2423 } else if (!var->is_const_mode() || op == Token::INIT_CONST) { |
| 2437 // Assignment to var or initializing assignment to let/const | |
| 2438 // in harmony mode. | |
| 2439 if (var->IsLookupSlot()) { | 2424 if (var->IsLookupSlot()) { |
| 2440 EmitCallStoreContextSlot(var->name(), strict_mode()); | 2425 // Assignment to var. |
| 2426 __ push(eax); // Value. |
| 2427 __ push(esi); // Context. |
| 2428 __ push(Immediate(var->name())); |
| 2429 __ push(Immediate(Smi::FromInt(strict_mode()))); |
| 2430 __ CallRuntime(Runtime::kStoreLookupSlot, 4); |
| 2441 } else { | 2431 } else { |
| 2432 // Assignment to var or initializing assignment to let/const in harmony |
| 2433 // mode. |
| 2442 ASSERT(var->IsStackAllocated() || var->IsContextSlot()); | 2434 ASSERT(var->IsStackAllocated() || var->IsContextSlot()); |
| 2443 MemOperand location = VarOperand(var, ecx); | 2435 MemOperand location = VarOperand(var, ecx); |
| 2444 if (generate_debug_code_ && op == Token::INIT_LET) { | 2436 if (generate_debug_code_ && op == Token::INIT_LET) { |
| 2445 // Check for an uninitialized let binding. | 2437 // Check for an uninitialized let binding. |
| 2446 __ mov(edx, location); | 2438 __ mov(edx, location); |
| 2447 __ cmp(edx, isolate()->factory()->the_hole_value()); | 2439 __ cmp(edx, isolate()->factory()->the_hole_value()); |
| 2448 __ Check(equal, kLetBindingReInitialization); | 2440 __ Check(equal, kLetBindingReInitialization); |
| 2449 } | 2441 } |
| 2450 EmitStoreToStackLocalOrContextSlot(var, location); | 2442 EmitStoreToStackLocalOrContextSlot(var, location); |
| 2451 } | 2443 } |
| (...skipping 2345 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4797 ASSERT_EQ(isolate->builtins()->OsrAfterStackCheck()->entry(), | 4789 ASSERT_EQ(isolate->builtins()->OsrAfterStackCheck()->entry(), |
| 4798 Assembler::target_address_at(call_target_address, | 4790 Assembler::target_address_at(call_target_address, |
| 4799 unoptimized_code)); | 4791 unoptimized_code)); |
| 4800 return OSR_AFTER_STACK_CHECK; | 4792 return OSR_AFTER_STACK_CHECK; |
| 4801 } | 4793 } |
| 4802 | 4794 |
| 4803 | 4795 |
| 4804 } } // namespace v8::internal | 4796 } } // namespace v8::internal |
| 4805 | 4797 |
| 4806 #endif // V8_TARGET_ARCH_X87 | 4798 #endif // V8_TARGET_ARCH_X87 |
| OLD | NEW |