| OLD | NEW |
| 1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 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 2382 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2393 ? isolate()->builtins()->KeyedStoreIC_Initialize() | 2393 ? isolate()->builtins()->KeyedStoreIC_Initialize() |
| 2394 : isolate()->builtins()->KeyedStoreIC_Initialize_Strict(); | 2394 : isolate()->builtins()->KeyedStoreIC_Initialize_Strict(); |
| 2395 CallIC(ic); | 2395 CallIC(ic); |
| 2396 break; | 2396 break; |
| 2397 } | 2397 } |
| 2398 } | 2398 } |
| 2399 context()->Plug(rax); | 2399 context()->Plug(rax); |
| 2400 } | 2400 } |
| 2401 | 2401 |
| 2402 | 2402 |
| 2403 void FullCodeGenerator::EmitStoreToStackLocalOrContextSlot( |
| 2404 Variable* var, MemOperand location) { |
| 2405 __ movp(location, rax); |
| 2406 if (var->IsContextSlot()) { |
| 2407 __ movp(rdx, rax); |
| 2408 __ RecordWriteContextSlot( |
| 2409 rcx, Context::SlotOffset(var->index()), rdx, rbx, kDontSaveFPRegs); |
| 2410 } |
| 2411 } |
| 2412 |
| 2413 |
| 2414 void FullCodeGenerator::EmitCallStoreContextSlot( |
| 2415 Handle<String> name, LanguageMode mode) { |
| 2416 __ push(rax); // Value. |
| 2417 __ push(rsi); // Context. |
| 2418 __ Push(name); |
| 2419 __ Push(Smi::FromInt(mode)); |
| 2420 __ CallRuntime(Runtime::kStoreContextSlot, 4); |
| 2421 } |
| 2422 |
| 2423 |
| 2403 void FullCodeGenerator::EmitVariableAssignment(Variable* var, | 2424 void FullCodeGenerator::EmitVariableAssignment(Variable* var, |
| 2404 Token::Value op) { | 2425 Token::Value op) { |
| 2405 if (var->IsUnallocated()) { | 2426 if (var->IsUnallocated()) { |
| 2406 // Global var, const, or let. | 2427 // Global var, const, or let. |
| 2407 __ Move(rcx, var->name()); | 2428 __ Move(rcx, var->name()); |
| 2408 __ movp(rdx, GlobalObjectOperand()); | 2429 __ movp(rdx, GlobalObjectOperand()); |
| 2409 CallStoreIC(); | 2430 CallStoreIC(); |
| 2431 |
| 2410 } else if (op == Token::INIT_CONST) { | 2432 } else if (op == Token::INIT_CONST) { |
| 2411 // Const initializers need a write barrier. | 2433 // Const initializers need a write barrier. |
| 2412 ASSERT(!var->IsParameter()); // No const parameters. | 2434 ASSERT(!var->IsParameter()); // No const parameters. |
| 2413 if (var->IsStackLocal()) { | 2435 if (var->IsLookupSlot()) { |
| 2414 Label skip; | |
| 2415 __ movp(rdx, StackOperand(var)); | |
| 2416 __ CompareRoot(rdx, Heap::kTheHoleValueRootIndex); | |
| 2417 __ j(not_equal, &skip); | |
| 2418 __ movp(StackOperand(var), rax); | |
| 2419 __ bind(&skip); | |
| 2420 } else { | |
| 2421 ASSERT(var->IsContextSlot() || var->IsLookupSlot()); | |
| 2422 // Like var declarations, const declarations are hoisted to function | |
| 2423 // scope. However, unlike var initializers, const initializers are | |
| 2424 // able to drill a hole to that function context, even from inside a | |
| 2425 // 'with' context. We thus bypass the normal static scope lookup for | |
| 2426 // var->IsContextSlot(). | |
| 2427 __ push(rax); | 2436 __ push(rax); |
| 2428 __ push(rsi); | 2437 __ push(rsi); |
| 2429 __ Push(var->name()); | 2438 __ Push(var->name()); |
| 2430 __ CallRuntime(Runtime::kInitializeConstContextSlot, 3); | 2439 __ CallRuntime(Runtime::kInitializeConstContextSlot, 3); |
| 2440 } else { |
| 2441 ASSERT(var->IsStackLocal() || var->IsContextSlot()); |
| 2442 Label skip; |
| 2443 MemOperand location = VarOperand(var, rcx); |
| 2444 __ movp(rdx, location); |
| 2445 __ CompareRoot(rdx, Heap::kTheHoleValueRootIndex); |
| 2446 __ j(not_equal, &skip); |
| 2447 EmitStoreToStackLocalOrContextSlot(var, location); |
| 2448 __ bind(&skip); |
| 2431 } | 2449 } |
| 2432 | 2450 |
| 2433 } else if (var->mode() == LET && op != Token::INIT_LET) { | 2451 } else if (var->mode() == LET && op != Token::INIT_LET) { |
| 2434 // Non-initializing assignment to let variable needs a write barrier. | 2452 // Non-initializing assignment to let variable needs a write barrier. |
| 2435 if (var->IsLookupSlot()) { | 2453 if (var->IsLookupSlot()) { |
| 2436 __ push(rax); // Value. | 2454 EmitCallStoreContextSlot(var->name(), language_mode()); |
| 2437 __ push(rsi); // Context. | |
| 2438 __ Push(var->name()); | |
| 2439 __ Push(Smi::FromInt(language_mode())); | |
| 2440 __ CallRuntime(Runtime::kStoreContextSlot, 4); | |
| 2441 } else { | 2455 } else { |
| 2442 ASSERT(var->IsStackAllocated() || var->IsContextSlot()); | 2456 ASSERT(var->IsStackAllocated() || var->IsContextSlot()); |
| 2443 Label assign; | 2457 Label assign; |
| 2444 MemOperand location = VarOperand(var, rcx); | 2458 MemOperand location = VarOperand(var, rcx); |
| 2445 __ movp(rdx, location); | 2459 __ movp(rdx, location); |
| 2446 __ CompareRoot(rdx, Heap::kTheHoleValueRootIndex); | 2460 __ CompareRoot(rdx, Heap::kTheHoleValueRootIndex); |
| 2447 __ j(not_equal, &assign, Label::kNear); | 2461 __ j(not_equal, &assign, Label::kNear); |
| 2448 __ Push(var->name()); | 2462 __ Push(var->name()); |
| 2449 __ CallRuntime(Runtime::kThrowReferenceError, 1); | 2463 __ CallRuntime(Runtime::kThrowReferenceError, 1); |
| 2450 __ bind(&assign); | 2464 __ bind(&assign); |
| 2451 __ movp(location, rax); | 2465 EmitStoreToStackLocalOrContextSlot(var, location); |
| 2452 if (var->IsContextSlot()) { | |
| 2453 __ movp(rdx, rax); | |
| 2454 __ RecordWriteContextSlot( | |
| 2455 rcx, Context::SlotOffset(var->index()), rdx, rbx, kDontSaveFPRegs); | |
| 2456 } | |
| 2457 } | 2466 } |
| 2458 | 2467 |
| 2459 } else if (!var->is_const_mode() || op == Token::INIT_CONST_HARMONY) { | 2468 } else if (!var->is_const_mode() || op == Token::INIT_CONST_HARMONY) { |
| 2460 // Assignment to var or initializing assignment to let/const | 2469 // Assignment to var or initializing assignment to let/const |
| 2461 // in harmony mode. | 2470 // in harmony mode. |
| 2462 if (var->IsStackAllocated() || var->IsContextSlot()) { | 2471 if (var->IsLookupSlot()) { |
| 2472 EmitCallStoreContextSlot(var->name(), language_mode()); |
| 2473 } else { |
| 2474 ASSERT(var->IsStackAllocated() || var->IsContextSlot()); |
| 2463 MemOperand location = VarOperand(var, rcx); | 2475 MemOperand location = VarOperand(var, rcx); |
| 2464 if (generate_debug_code_ && op == Token::INIT_LET) { | 2476 if (generate_debug_code_ && op == Token::INIT_LET) { |
| 2465 // Check for an uninitialized let binding. | 2477 // Check for an uninitialized let binding. |
| 2466 __ movp(rdx, location); | 2478 __ movp(rdx, location); |
| 2467 __ CompareRoot(rdx, Heap::kTheHoleValueRootIndex); | 2479 __ CompareRoot(rdx, Heap::kTheHoleValueRootIndex); |
| 2468 __ Check(equal, kLetBindingReInitialization); | 2480 __ Check(equal, kLetBindingReInitialization); |
| 2469 } | 2481 } |
| 2470 // Perform the assignment. | 2482 EmitStoreToStackLocalOrContextSlot(var, location); |
| 2471 __ movp(location, rax); | |
| 2472 if (var->IsContextSlot()) { | |
| 2473 __ movp(rdx, rax); | |
| 2474 __ RecordWriteContextSlot( | |
| 2475 rcx, Context::SlotOffset(var->index()), rdx, rbx, kDontSaveFPRegs); | |
| 2476 } | |
| 2477 } else { | |
| 2478 ASSERT(var->IsLookupSlot()); | |
| 2479 __ push(rax); // Value. | |
| 2480 __ push(rsi); // Context. | |
| 2481 __ Push(var->name()); | |
| 2482 __ Push(Smi::FromInt(language_mode())); | |
| 2483 __ CallRuntime(Runtime::kStoreContextSlot, 4); | |
| 2484 } | 2483 } |
| 2485 } | 2484 } |
| 2486 // Non-initializing assignments to consts are ignored. | 2485 // Non-initializing assignments to consts are ignored. |
| 2487 } | 2486 } |
| 2488 | 2487 |
| 2489 | 2488 |
| 2490 void FullCodeGenerator::EmitNamedPropertyAssignment(Assignment* expr) { | 2489 void FullCodeGenerator::EmitNamedPropertyAssignment(Assignment* expr) { |
| 2491 // Assignment to a property, using a named store IC. | 2490 // Assignment to a property, using a named store IC. |
| 2492 Property* prop = expr->target()->AsProperty(); | 2491 Property* prop = expr->target()->AsProperty(); |
| 2493 ASSERT(prop != NULL); | 2492 ASSERT(prop != NULL); |
| (...skipping 2414 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 4908 | 4907 |
| 4909 ASSERT_EQ(isolate->builtins()->OsrAfterStackCheck()->entry(), | 4908 ASSERT_EQ(isolate->builtins()->OsrAfterStackCheck()->entry(), |
| 4910 Assembler::target_address_at(call_target_address)); | 4909 Assembler::target_address_at(call_target_address)); |
| 4911 return OSR_AFTER_STACK_CHECK; | 4910 return OSR_AFTER_STACK_CHECK; |
| 4912 } | 4911 } |
| 4913 | 4912 |
| 4914 | 4913 |
| 4915 } } // namespace v8::internal | 4914 } } // namespace v8::internal |
| 4916 | 4915 |
| 4917 #endif // V8_TARGET_ARCH_X64 | 4916 #endif // V8_TARGET_ARCH_X64 |
| OLD | NEW |