| 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 148 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 159 // Possibly allocate a local context. | 159 // Possibly allocate a local context. |
| 160 if (info->scope()->num_heap_slots() > 0) { | 160 if (info->scope()->num_heap_slots() > 0) { |
| 161 Comment cmnt(masm_, "[ Allocate context"); | 161 Comment cmnt(masm_, "[ Allocate context"); |
| 162 bool need_write_barrier = true; | 162 bool need_write_barrier = true; |
| 163 int slots = info->scope()->num_heap_slots() - Context::MIN_CONTEXT_SLOTS; | 163 int slots = info->scope()->num_heap_slots() - Context::MIN_CONTEXT_SLOTS; |
| 164 // Argument to NewContext is the function, which is still in rdi. | 164 // Argument to NewContext is the function, which is still in rdi. |
| 165 if (info->scope()->is_script_scope()) { | 165 if (info->scope()->is_script_scope()) { |
| 166 __ Push(rdi); | 166 __ Push(rdi); |
| 167 __ Push(info->scope()->GetScopeInfo(info->isolate())); | 167 __ Push(info->scope()->GetScopeInfo(info->isolate())); |
| 168 __ CallRuntime(Runtime::kNewScriptContext); | 168 __ CallRuntime(Runtime::kNewScriptContext); |
| 169 PrepareForBailoutForId(BailoutId::ScriptContext(), | 169 PrepareForBailoutForId(BailoutId::ScriptContext(), TOS_REG); |
| 170 BailoutState::TOS_REGISTER); | |
| 171 // The new target value is not used, clobbering is safe. | 170 // The new target value is not used, clobbering is safe. |
| 172 DCHECK_NULL(info->scope()->new_target_var()); | 171 DCHECK_NULL(info->scope()->new_target_var()); |
| 173 } else { | 172 } else { |
| 174 if (info->scope()->new_target_var() != nullptr) { | 173 if (info->scope()->new_target_var() != nullptr) { |
| 175 __ Push(rdx); // Preserve new target. | 174 __ Push(rdx); // Preserve new target. |
| 176 } | 175 } |
| 177 if (slots <= FastNewContextStub::kMaximumSlots) { | 176 if (slots <= FastNewContextStub::kMaximumSlots) { |
| 178 FastNewContextStub stub(isolate(), slots); | 177 FastNewContextStub stub(isolate(), slots); |
| 179 __ CallStub(&stub); | 178 __ CallStub(&stub); |
| 180 // Result of FastNewContextStub is always in new space. | 179 // Result of FastNewContextStub is always in new space. |
| (...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 216 __ Abort(kExpectedNewSpaceObject); | 215 __ Abort(kExpectedNewSpaceObject); |
| 217 __ bind(&done); | 216 __ bind(&done); |
| 218 } | 217 } |
| 219 } | 218 } |
| 220 } | 219 } |
| 221 } | 220 } |
| 222 | 221 |
| 223 // Register holding this function and new target are both trashed in case we | 222 // Register holding this function and new target are both trashed in case we |
| 224 // bailout here. But since that can happen only when new target is not used | 223 // bailout here. But since that can happen only when new target is not used |
| 225 // and we allocate a context, the value of |function_in_register| is correct. | 224 // and we allocate a context, the value of |function_in_register| is correct. |
| 226 PrepareForBailoutForId(BailoutId::FunctionContext(), | 225 PrepareForBailoutForId(BailoutId::FunctionContext(), NO_REGISTERS); |
| 227 BailoutState::NO_REGISTERS); | |
| 228 | 226 |
| 229 // 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 |
| 230 // derived constructors with super calls. | 228 // derived constructors with super calls. |
| 231 Variable* this_function_var = scope()->this_function_var(); | 229 Variable* this_function_var = scope()->this_function_var(); |
| 232 if (this_function_var != nullptr) { | 230 if (this_function_var != nullptr) { |
| 233 Comment cmnt(masm_, "[ This function"); | 231 Comment cmnt(masm_, "[ This function"); |
| 234 if (!function_in_register) { | 232 if (!function_in_register) { |
| 235 __ movp(rdi, Operand(rbp, JavaScriptFrameConstants::kFunctionOffset)); | 233 __ movp(rdi, Operand(rbp, JavaScriptFrameConstants::kFunctionOffset)); |
| 236 // The write barrier clobbers register again, keep it marked as such. | 234 // The write barrier clobbers register again, keep it marked as such. |
| 237 } | 235 } |
| (...skipping 43 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 281 | 279 |
| 282 SetVar(arguments, rax, rbx, rdx); | 280 SetVar(arguments, rax, rbx, rdx); |
| 283 } | 281 } |
| 284 | 282 |
| 285 if (FLAG_trace) { | 283 if (FLAG_trace) { |
| 286 __ CallRuntime(Runtime::kTraceEnter); | 284 __ CallRuntime(Runtime::kTraceEnter); |
| 287 } | 285 } |
| 288 | 286 |
| 289 // Visit the declarations and body unless there is an illegal | 287 // Visit the declarations and body unless there is an illegal |
| 290 // redeclaration. | 288 // redeclaration. |
| 291 PrepareForBailoutForId(BailoutId::FunctionEntry(), | 289 PrepareForBailoutForId(BailoutId::FunctionEntry(), NO_REGISTERS); |
| 292 BailoutState::NO_REGISTERS); | |
| 293 { | 290 { |
| 294 Comment cmnt(masm_, "[ Declarations"); | 291 Comment cmnt(masm_, "[ Declarations"); |
| 295 VisitDeclarations(scope()->declarations()); | 292 VisitDeclarations(scope()->declarations()); |
| 296 } | 293 } |
| 297 | 294 |
| 298 // Assert that the declarations do not use ICs. Otherwise the debugger | 295 // Assert that the declarations do not use ICs. Otherwise the debugger |
| 299 // won't be able to redirect a PC at an IC to the correct IC in newly | 296 // won't be able to redirect a PC at an IC to the correct IC in newly |
| 300 // recompiled code. | 297 // recompiled code. |
| 301 DCHECK_EQ(0, ic_total_count_); | 298 DCHECK_EQ(0, ic_total_count_); |
| 302 | 299 |
| 303 { | 300 { |
| 304 Comment cmnt(masm_, "[ Stack check"); | 301 Comment cmnt(masm_, "[ Stack check"); |
| 305 PrepareForBailoutForId(BailoutId::Declarations(), | 302 PrepareForBailoutForId(BailoutId::Declarations(), NO_REGISTERS); |
| 306 BailoutState::NO_REGISTERS); | |
| 307 Label ok; | 303 Label ok; |
| 308 __ CompareRoot(rsp, Heap::kStackLimitRootIndex); | 304 __ CompareRoot(rsp, Heap::kStackLimitRootIndex); |
| 309 __ j(above_equal, &ok, Label::kNear); | 305 __ j(above_equal, &ok, Label::kNear); |
| 310 __ call(isolate()->builtins()->StackCheck(), RelocInfo::CODE_TARGET); | 306 __ call(isolate()->builtins()->StackCheck(), RelocInfo::CODE_TARGET); |
| 311 __ bind(&ok); | 307 __ bind(&ok); |
| 312 } | 308 } |
| 313 | 309 |
| 314 { | 310 { |
| 315 Comment cmnt(masm_, "[ Body"); | 311 Comment cmnt(masm_, "[ Body"); |
| 316 DCHECK(loop_depth() == 0); | 312 DCHECK(loop_depth() == 0); |
| (...skipping 52 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 369 | 365 |
| 370 // Record a mapping of this PC offset to the OSR id. This is used to find | 366 // Record a mapping of this PC offset to the OSR id. This is used to find |
| 371 // the AST id from the unoptimized code in order to use it as a key into | 367 // the AST id from the unoptimized code in order to use it as a key into |
| 372 // the deoptimization input data found in the optimized code. | 368 // the deoptimization input data found in the optimized code. |
| 373 RecordBackEdge(stmt->OsrEntryId()); | 369 RecordBackEdge(stmt->OsrEntryId()); |
| 374 | 370 |
| 375 EmitProfilingCounterReset(); | 371 EmitProfilingCounterReset(); |
| 376 } | 372 } |
| 377 __ bind(&ok); | 373 __ bind(&ok); |
| 378 | 374 |
| 379 PrepareForBailoutForId(stmt->EntryId(), BailoutState::NO_REGISTERS); | 375 PrepareForBailoutForId(stmt->EntryId(), NO_REGISTERS); |
| 380 // Record a mapping of the OSR id to this PC. This is used if the OSR | 376 // Record a mapping of the OSR id to this PC. This is used if the OSR |
| 381 // entry becomes the target of a bailout. We don't expect it to be, but | 377 // entry becomes the target of a bailout. We don't expect it to be, but |
| 382 // we want it to work if it is. | 378 // we want it to work if it is. |
| 383 PrepareForBailoutForId(stmt->OsrEntryId(), BailoutState::NO_REGISTERS); | 379 PrepareForBailoutForId(stmt->OsrEntryId(), NO_REGISTERS); |
| 384 } | 380 } |
| 385 | 381 |
| 386 void FullCodeGenerator::EmitProfilingCounterHandlingForReturnSequence( | 382 void FullCodeGenerator::EmitProfilingCounterHandlingForReturnSequence( |
| 387 bool is_tail_call) { | 383 bool is_tail_call) { |
| 388 // Pretend that the exit is a backwards jump to the entry. | 384 // Pretend that the exit is a backwards jump to the entry. |
| 389 int weight = 1; | 385 int weight = 1; |
| 390 if (info_->ShouldSelfOptimize()) { | 386 if (info_->ShouldSelfOptimize()) { |
| 391 weight = FLAG_interrupt_budget / FLAG_self_opt_count; | 387 weight = FLAG_interrupt_budget / FLAG_self_opt_count; |
| 392 } else { | 388 } else { |
| 393 int distance = masm_->pc_offset(); | 389 int distance = masm_->pc_offset(); |
| (...skipping 295 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 689 bool should_normalize, | 685 bool should_normalize, |
| 690 Label* if_true, | 686 Label* if_true, |
| 691 Label* if_false) { | 687 Label* if_false) { |
| 692 // Only prepare for bailouts before splits if we're in a test | 688 // Only prepare for bailouts before splits if we're in a test |
| 693 // context. Otherwise, we let the Visit function deal with the | 689 // context. Otherwise, we let the Visit function deal with the |
| 694 // preparation to avoid preparing with the same AST id twice. | 690 // preparation to avoid preparing with the same AST id twice. |
| 695 if (!context()->IsTest()) return; | 691 if (!context()->IsTest()) return; |
| 696 | 692 |
| 697 Label skip; | 693 Label skip; |
| 698 if (should_normalize) __ jmp(&skip, Label::kNear); | 694 if (should_normalize) __ jmp(&skip, Label::kNear); |
| 699 PrepareForBailout(expr, BailoutState::TOS_REGISTER); | 695 PrepareForBailout(expr, TOS_REG); |
| 700 if (should_normalize) { | 696 if (should_normalize) { |
| 701 __ CompareRoot(rax, Heap::kTrueValueRootIndex); | 697 __ CompareRoot(rax, Heap::kTrueValueRootIndex); |
| 702 Split(equal, if_true, if_false, NULL); | 698 Split(equal, if_true, if_false, NULL); |
| 703 __ bind(&skip); | 699 __ bind(&skip); |
| 704 } | 700 } |
| 705 } | 701 } |
| 706 | 702 |
| 707 | 703 |
| 708 void FullCodeGenerator::EmitDebugCheckDeclarationContext(Variable* variable) { | 704 void FullCodeGenerator::EmitDebugCheckDeclarationContext(Variable* variable) { |
| 709 // The variable in the declaration always resides in the current context. | 705 // The variable in the declaration always resides in the current context. |
| (...skipping 35 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 745 } | 741 } |
| 746 break; | 742 break; |
| 747 | 743 |
| 748 case VariableLocation::CONTEXT: | 744 case VariableLocation::CONTEXT: |
| 749 if (hole_init) { | 745 if (hole_init) { |
| 750 Comment cmnt(masm_, "[ VariableDeclaration"); | 746 Comment cmnt(masm_, "[ VariableDeclaration"); |
| 751 EmitDebugCheckDeclarationContext(variable); | 747 EmitDebugCheckDeclarationContext(variable); |
| 752 __ LoadRoot(kScratchRegister, Heap::kTheHoleValueRootIndex); | 748 __ LoadRoot(kScratchRegister, Heap::kTheHoleValueRootIndex); |
| 753 __ movp(ContextOperand(rsi, variable->index()), kScratchRegister); | 749 __ movp(ContextOperand(rsi, variable->index()), kScratchRegister); |
| 754 // No write barrier since the hole value is in old space. | 750 // No write barrier since the hole value is in old space. |
| 755 PrepareForBailoutForId(proxy->id(), BailoutState::NO_REGISTERS); | 751 PrepareForBailoutForId(proxy->id(), NO_REGISTERS); |
| 756 } | 752 } |
| 757 break; | 753 break; |
| 758 | 754 |
| 759 case VariableLocation::LOOKUP: { | 755 case VariableLocation::LOOKUP: { |
| 760 Comment cmnt(masm_, "[ VariableDeclaration"); | 756 Comment cmnt(masm_, "[ VariableDeclaration"); |
| 761 __ Push(variable->name()); | 757 __ Push(variable->name()); |
| 762 // Declaration nodes are always introduced in one of four modes. | 758 // Declaration nodes are always introduced in one of four modes. |
| 763 DCHECK(IsDeclaredVariableMode(mode)); | 759 DCHECK(IsDeclaredVariableMode(mode)); |
| 764 // Push initial value, if any. | 760 // Push initial value, if any. |
| 765 // Note: For variables we must not push an initial value (such as | 761 // Note: For variables we must not push an initial value (such as |
| 766 // 'undefined') because we may have a (legal) redeclaration and we | 762 // 'undefined') because we may have a (legal) redeclaration and we |
| 767 // must not destroy the current value. | 763 // must not destroy the current value. |
| 768 if (hole_init) { | 764 if (hole_init) { |
| 769 __ PushRoot(Heap::kTheHoleValueRootIndex); | 765 __ PushRoot(Heap::kTheHoleValueRootIndex); |
| 770 } else { | 766 } else { |
| 771 __ Push(Smi::FromInt(0)); // Indicates no initial value. | 767 __ Push(Smi::FromInt(0)); // Indicates no initial value. |
| 772 } | 768 } |
| 773 __ Push(Smi::FromInt(variable->DeclarationPropertyAttributes())); | 769 __ Push(Smi::FromInt(variable->DeclarationPropertyAttributes())); |
| 774 __ CallRuntime(Runtime::kDeclareLookupSlot); | 770 __ CallRuntime(Runtime::kDeclareLookupSlot); |
| 775 PrepareForBailoutForId(proxy->id(), BailoutState::NO_REGISTERS); | 771 PrepareForBailoutForId(proxy->id(), NO_REGISTERS); |
| 776 break; | 772 break; |
| 777 } | 773 } |
| 778 } | 774 } |
| 779 } | 775 } |
| 780 | 776 |
| 781 | 777 |
| 782 void FullCodeGenerator::VisitFunctionDeclaration( | 778 void FullCodeGenerator::VisitFunctionDeclaration( |
| 783 FunctionDeclaration* declaration) { | 779 FunctionDeclaration* declaration) { |
| 784 VariableProxy* proxy = declaration->proxy(); | 780 VariableProxy* proxy = declaration->proxy(); |
| 785 Variable* variable = proxy->var(); | 781 Variable* variable = proxy->var(); |
| (...skipping 24 matching lines...) Expand all Loading... |
| 810 __ movp(ContextOperand(rsi, variable->index()), result_register()); | 806 __ movp(ContextOperand(rsi, variable->index()), result_register()); |
| 811 int offset = Context::SlotOffset(variable->index()); | 807 int offset = Context::SlotOffset(variable->index()); |
| 812 // We know that we have written a function, which is not a smi. | 808 // We know that we have written a function, which is not a smi. |
| 813 __ RecordWriteContextSlot(rsi, | 809 __ RecordWriteContextSlot(rsi, |
| 814 offset, | 810 offset, |
| 815 result_register(), | 811 result_register(), |
| 816 rcx, | 812 rcx, |
| 817 kDontSaveFPRegs, | 813 kDontSaveFPRegs, |
| 818 EMIT_REMEMBERED_SET, | 814 EMIT_REMEMBERED_SET, |
| 819 OMIT_SMI_CHECK); | 815 OMIT_SMI_CHECK); |
| 820 PrepareForBailoutForId(proxy->id(), BailoutState::NO_REGISTERS); | 816 PrepareForBailoutForId(proxy->id(), NO_REGISTERS); |
| 821 break; | 817 break; |
| 822 } | 818 } |
| 823 | 819 |
| 824 case VariableLocation::LOOKUP: { | 820 case VariableLocation::LOOKUP: { |
| 825 Comment cmnt(masm_, "[ FunctionDeclaration"); | 821 Comment cmnt(masm_, "[ FunctionDeclaration"); |
| 826 PushOperand(variable->name()); | 822 PushOperand(variable->name()); |
| 827 VisitForStackValue(declaration->fun()); | 823 VisitForStackValue(declaration->fun()); |
| 828 PushOperand(Smi::FromInt(variable->DeclarationPropertyAttributes())); | 824 PushOperand(Smi::FromInt(variable->DeclarationPropertyAttributes())); |
| 829 CallRuntimeWithOperands(Runtime::kDeclareLookupSlot); | 825 CallRuntimeWithOperands(Runtime::kDeclareLookupSlot); |
| 830 PrepareForBailoutForId(proxy->id(), BailoutState::NO_REGISTERS); | 826 PrepareForBailoutForId(proxy->id(), NO_REGISTERS); |
| 831 break; | 827 break; |
| 832 } | 828 } |
| 833 } | 829 } |
| 834 } | 830 } |
| 835 | 831 |
| 836 | 832 |
| 837 void FullCodeGenerator::DeclareGlobals(Handle<FixedArray> pairs) { | 833 void FullCodeGenerator::DeclareGlobals(Handle<FixedArray> pairs) { |
| 838 // Call the runtime to declare the globals. | 834 // Call the runtime to declare the globals. |
| 839 __ Push(pairs); | 835 __ Push(pairs); |
| 840 __ Push(Smi::FromInt(DeclareGlobalsFlags())); | 836 __ Push(Smi::FromInt(DeclareGlobalsFlags())); |
| (...skipping 10 matching lines...) Expand all Loading... |
| 851 } | 847 } |
| 852 | 848 |
| 853 | 849 |
| 854 void FullCodeGenerator::VisitSwitchStatement(SwitchStatement* stmt) { | 850 void FullCodeGenerator::VisitSwitchStatement(SwitchStatement* stmt) { |
| 855 Comment cmnt(masm_, "[ SwitchStatement"); | 851 Comment cmnt(masm_, "[ SwitchStatement"); |
| 856 Breakable nested_statement(this, stmt); | 852 Breakable nested_statement(this, stmt); |
| 857 SetStatementPosition(stmt); | 853 SetStatementPosition(stmt); |
| 858 | 854 |
| 859 // Keep the switch value on the stack until a case matches. | 855 // Keep the switch value on the stack until a case matches. |
| 860 VisitForStackValue(stmt->tag()); | 856 VisitForStackValue(stmt->tag()); |
| 861 PrepareForBailoutForId(stmt->EntryId(), BailoutState::NO_REGISTERS); | 857 PrepareForBailoutForId(stmt->EntryId(), NO_REGISTERS); |
| 862 | 858 |
| 863 ZoneList<CaseClause*>* clauses = stmt->cases(); | 859 ZoneList<CaseClause*>* clauses = stmt->cases(); |
| 864 CaseClause* default_clause = NULL; // Can occur anywhere in the list. | 860 CaseClause* default_clause = NULL; // Can occur anywhere in the list. |
| 865 | 861 |
| 866 Label next_test; // Recycled for each test. | 862 Label next_test; // Recycled for each test. |
| 867 // Compile all the tests with branches to their bodies. | 863 // Compile all the tests with branches to their bodies. |
| 868 for (int i = 0; i < clauses->length(); i++) { | 864 for (int i = 0; i < clauses->length(); i++) { |
| 869 CaseClause* clause = clauses->at(i); | 865 CaseClause* clause = clauses->at(i); |
| 870 clause->body_target()->Unuse(); | 866 clause->body_target()->Unuse(); |
| 871 | 867 |
| (...skipping 29 matching lines...) Expand all Loading... |
| 901 | 897 |
| 902 // Record position before stub call for type feedback. | 898 // Record position before stub call for type feedback. |
| 903 SetExpressionPosition(clause); | 899 SetExpressionPosition(clause); |
| 904 Handle<Code> ic = | 900 Handle<Code> ic = |
| 905 CodeFactory::CompareIC(isolate(), Token::EQ_STRICT).code(); | 901 CodeFactory::CompareIC(isolate(), Token::EQ_STRICT).code(); |
| 906 CallIC(ic, clause->CompareId()); | 902 CallIC(ic, clause->CompareId()); |
| 907 patch_site.EmitPatchInfo(); | 903 patch_site.EmitPatchInfo(); |
| 908 | 904 |
| 909 Label skip; | 905 Label skip; |
| 910 __ jmp(&skip, Label::kNear); | 906 __ jmp(&skip, Label::kNear); |
| 911 PrepareForBailout(clause, BailoutState::TOS_REGISTER); | 907 PrepareForBailout(clause, TOS_REG); |
| 912 __ CompareRoot(rax, Heap::kTrueValueRootIndex); | 908 __ CompareRoot(rax, Heap::kTrueValueRootIndex); |
| 913 __ j(not_equal, &next_test); | 909 __ j(not_equal, &next_test); |
| 914 __ Drop(1); | 910 __ Drop(1); |
| 915 __ jmp(clause->body_target()); | 911 __ jmp(clause->body_target()); |
| 916 __ bind(&skip); | 912 __ bind(&skip); |
| 917 | 913 |
| 918 __ testp(rax, rax); | 914 __ testp(rax, rax); |
| 919 __ j(not_equal, &next_test); | 915 __ j(not_equal, &next_test); |
| 920 __ Drop(1); // Switch value is no longer needed. | 916 __ Drop(1); // Switch value is no longer needed. |
| 921 __ jmp(clause->body_target()); | 917 __ jmp(clause->body_target()); |
| 922 } | 918 } |
| 923 | 919 |
| 924 // Discard the test value and jump to the default if present, otherwise to | 920 // Discard the test value and jump to the default if present, otherwise to |
| 925 // the end of the statement. | 921 // the end of the statement. |
| 926 __ bind(&next_test); | 922 __ bind(&next_test); |
| 927 DropOperands(1); // Switch value is no longer needed. | 923 DropOperands(1); // Switch value is no longer needed. |
| 928 if (default_clause == NULL) { | 924 if (default_clause == NULL) { |
| 929 __ jmp(nested_statement.break_label()); | 925 __ jmp(nested_statement.break_label()); |
| 930 } else { | 926 } else { |
| 931 __ jmp(default_clause->body_target()); | 927 __ jmp(default_clause->body_target()); |
| 932 } | 928 } |
| 933 | 929 |
| 934 // Compile all the case bodies. | 930 // Compile all the case bodies. |
| 935 for (int i = 0; i < clauses->length(); i++) { | 931 for (int i = 0; i < clauses->length(); i++) { |
| 936 Comment cmnt(masm_, "[ Case body"); | 932 Comment cmnt(masm_, "[ Case body"); |
| 937 CaseClause* clause = clauses->at(i); | 933 CaseClause* clause = clauses->at(i); |
| 938 __ bind(clause->body_target()); | 934 __ bind(clause->body_target()); |
| 939 PrepareForBailoutForId(clause->EntryId(), BailoutState::NO_REGISTERS); | 935 PrepareForBailoutForId(clause->EntryId(), NO_REGISTERS); |
| 940 VisitStatements(clause->statements()); | 936 VisitStatements(clause->statements()); |
| 941 } | 937 } |
| 942 | 938 |
| 943 __ bind(nested_statement.break_label()); | 939 __ bind(nested_statement.break_label()); |
| 944 PrepareForBailoutForId(stmt->ExitId(), BailoutState::NO_REGISTERS); | 940 PrepareForBailoutForId(stmt->ExitId(), NO_REGISTERS); |
| 945 } | 941 } |
| 946 | 942 |
| 947 | 943 |
| 948 void FullCodeGenerator::VisitForInStatement(ForInStatement* stmt) { | 944 void FullCodeGenerator::VisitForInStatement(ForInStatement* stmt) { |
| 949 Comment cmnt(masm_, "[ ForInStatement"); | 945 Comment cmnt(masm_, "[ ForInStatement"); |
| 950 SetStatementPosition(stmt, SKIP_BREAK); | 946 SetStatementPosition(stmt, SKIP_BREAK); |
| 951 | 947 |
| 952 FeedbackVectorSlot slot = stmt->ForInFeedbackSlot(); | 948 FeedbackVectorSlot slot = stmt->ForInFeedbackSlot(); |
| 953 | 949 |
| 954 // Get the object to enumerate over. | 950 // Get the object to enumerate over. |
| (...skipping 12 matching lines...) Expand all Loading... |
| 967 __ CmpObjectType(rax, FIRST_JS_RECEIVER_TYPE, rcx); | 963 __ CmpObjectType(rax, FIRST_JS_RECEIVER_TYPE, rcx); |
| 968 __ j(above_equal, &done_convert, Label::kNear); | 964 __ j(above_equal, &done_convert, Label::kNear); |
| 969 __ CompareRoot(rax, Heap::kNullValueRootIndex); | 965 __ CompareRoot(rax, Heap::kNullValueRootIndex); |
| 970 __ j(equal, &exit); | 966 __ j(equal, &exit); |
| 971 __ CompareRoot(rax, Heap::kUndefinedValueRootIndex); | 967 __ CompareRoot(rax, Heap::kUndefinedValueRootIndex); |
| 972 __ j(equal, &exit); | 968 __ j(equal, &exit); |
| 973 __ bind(&convert); | 969 __ bind(&convert); |
| 974 ToObjectStub stub(isolate()); | 970 ToObjectStub stub(isolate()); |
| 975 __ CallStub(&stub); | 971 __ CallStub(&stub); |
| 976 __ bind(&done_convert); | 972 __ bind(&done_convert); |
| 977 PrepareForBailoutForId(stmt->ToObjectId(), BailoutState::TOS_REGISTER); | 973 PrepareForBailoutForId(stmt->ToObjectId(), TOS_REG); |
| 978 __ Push(rax); | 974 __ Push(rax); |
| 979 | 975 |
| 980 // Check cache validity in generated code. If we cannot guarantee cache | 976 // Check cache validity in generated code. If we cannot guarantee cache |
| 981 // validity, call the runtime system to check cache validity or get the | 977 // validity, call the runtime system to check cache validity or get the |
| 982 // property names in a fixed array. Note: Proxies never have an enum cache, | 978 // property names in a fixed array. Note: Proxies never have an enum cache, |
| 983 // so will always take the slow path. | 979 // so will always take the slow path. |
| 984 Label call_runtime; | 980 Label call_runtime; |
| 985 __ CheckEnumCache(&call_runtime); | 981 __ CheckEnumCache(&call_runtime); |
| 986 | 982 |
| 987 // The enum cache is valid. Load the map of the object being | 983 // The enum cache is valid. Load the map of the object being |
| 988 // iterated over and use the cache for the iteration. | 984 // iterated over and use the cache for the iteration. |
| 989 Label use_cache; | 985 Label use_cache; |
| 990 __ movp(rax, FieldOperand(rax, HeapObject::kMapOffset)); | 986 __ movp(rax, FieldOperand(rax, HeapObject::kMapOffset)); |
| 991 __ jmp(&use_cache, Label::kNear); | 987 __ jmp(&use_cache, Label::kNear); |
| 992 | 988 |
| 993 // Get the set of properties to enumerate. | 989 // Get the set of properties to enumerate. |
| 994 __ bind(&call_runtime); | 990 __ bind(&call_runtime); |
| 995 __ Push(rax); // Duplicate the enumerable object on the stack. | 991 __ Push(rax); // Duplicate the enumerable object on the stack. |
| 996 __ CallRuntime(Runtime::kForInEnumerate); | 992 __ CallRuntime(Runtime::kForInEnumerate); |
| 997 PrepareForBailoutForId(stmt->EnumId(), BailoutState::TOS_REGISTER); | 993 PrepareForBailoutForId(stmt->EnumId(), TOS_REG); |
| 998 | 994 |
| 999 // If we got a map from the runtime call, we can do a fast | 995 // If we got a map from the runtime call, we can do a fast |
| 1000 // modification check. Otherwise, we got a fixed array, and we have | 996 // modification check. Otherwise, we got a fixed array, and we have |
| 1001 // to do a slow check. | 997 // to do a slow check. |
| 1002 Label fixed_array; | 998 Label fixed_array; |
| 1003 __ CompareRoot(FieldOperand(rax, HeapObject::kMapOffset), | 999 __ CompareRoot(FieldOperand(rax, HeapObject::kMapOffset), |
| 1004 Heap::kMetaMapRootIndex); | 1000 Heap::kMetaMapRootIndex); |
| 1005 __ j(not_equal, &fixed_array); | 1001 __ j(not_equal, &fixed_array); |
| 1006 | 1002 |
| 1007 // We got a map in register rax. Get the enumeration cache from it. | 1003 // We got a map in register rax. Get the enumeration cache from it. |
| (...skipping 21 matching lines...) Expand all Loading... |
| 1029 __ jmp(&exit); | 1025 __ jmp(&exit); |
| 1030 | 1026 |
| 1031 // We got a fixed array in register rax. Iterate through that. | 1027 // We got a fixed array in register rax. Iterate through that. |
| 1032 __ bind(&fixed_array); | 1028 __ bind(&fixed_array); |
| 1033 | 1029 |
| 1034 __ movp(rcx, Operand(rsp, 0 * kPointerSize)); // Get enumerated object | 1030 __ movp(rcx, Operand(rsp, 0 * kPointerSize)); // Get enumerated object |
| 1035 __ Push(Smi::FromInt(1)); // Smi(1) indicates slow check | 1031 __ Push(Smi::FromInt(1)); // Smi(1) indicates slow check |
| 1036 __ Push(rax); // Array | 1032 __ Push(rax); // Array |
| 1037 __ movp(rax, FieldOperand(rax, FixedArray::kLengthOffset)); | 1033 __ movp(rax, FieldOperand(rax, FixedArray::kLengthOffset)); |
| 1038 __ Push(rax); // Fixed array length (as smi). | 1034 __ Push(rax); // Fixed array length (as smi). |
| 1039 PrepareForBailoutForId(stmt->PrepareId(), BailoutState::NO_REGISTERS); | 1035 PrepareForBailoutForId(stmt->PrepareId(), NO_REGISTERS); |
| 1040 __ Push(Smi::FromInt(0)); // Initial index. | 1036 __ Push(Smi::FromInt(0)); // Initial index. |
| 1041 | 1037 |
| 1042 // Generate code for doing the condition check. | 1038 // Generate code for doing the condition check. |
| 1043 __ bind(&loop); | 1039 __ bind(&loop); |
| 1044 SetExpressionAsStatementPosition(stmt->each()); | 1040 SetExpressionAsStatementPosition(stmt->each()); |
| 1045 | 1041 |
| 1046 __ movp(rax, Operand(rsp, 0 * kPointerSize)); // Get the current index. | 1042 __ movp(rax, Operand(rsp, 0 * kPointerSize)); // Get the current index. |
| 1047 __ cmpp(rax, Operand(rsp, 1 * kPointerSize)); // Compare to the array length. | 1043 __ cmpp(rax, Operand(rsp, 1 * kPointerSize)); // Compare to the array length. |
| 1048 __ j(above_equal, loop_statement.break_label()); | 1044 __ j(above_equal, loop_statement.break_label()); |
| 1049 | 1045 |
| (...skipping 21 matching lines...) Expand all Loading... |
| 1071 __ EmitLoadTypeFeedbackVector(rdx); | 1067 __ EmitLoadTypeFeedbackVector(rdx); |
| 1072 __ Move(FieldOperand(rdx, FixedArray::OffsetOfElementAt(vector_index)), | 1068 __ Move(FieldOperand(rdx, FixedArray::OffsetOfElementAt(vector_index)), |
| 1073 TypeFeedbackVector::MegamorphicSentinel(isolate())); | 1069 TypeFeedbackVector::MegamorphicSentinel(isolate())); |
| 1074 | 1070 |
| 1075 // Convert the entry to a string or null if it isn't a property | 1071 // Convert the entry to a string or null if it isn't a property |
| 1076 // anymore. If the property has been removed while iterating, we | 1072 // anymore. If the property has been removed while iterating, we |
| 1077 // just skip it. | 1073 // just skip it. |
| 1078 __ Push(rcx); // Enumerable. | 1074 __ Push(rcx); // Enumerable. |
| 1079 __ Push(rbx); // Current entry. | 1075 __ Push(rbx); // Current entry. |
| 1080 __ CallRuntime(Runtime::kForInFilter); | 1076 __ CallRuntime(Runtime::kForInFilter); |
| 1081 PrepareForBailoutForId(stmt->FilterId(), BailoutState::TOS_REGISTER); | 1077 PrepareForBailoutForId(stmt->FilterId(), TOS_REG); |
| 1082 __ CompareRoot(rax, Heap::kUndefinedValueRootIndex); | 1078 __ CompareRoot(rax, Heap::kUndefinedValueRootIndex); |
| 1083 __ j(equal, loop_statement.continue_label()); | 1079 __ j(equal, loop_statement.continue_label()); |
| 1084 __ movp(rbx, rax); | 1080 __ movp(rbx, rax); |
| 1085 | 1081 |
| 1086 // Update the 'each' property or variable from the possibly filtered | 1082 // Update the 'each' property or variable from the possibly filtered |
| 1087 // entry in register rbx. | 1083 // entry in register rbx. |
| 1088 __ bind(&update_each); | 1084 __ bind(&update_each); |
| 1089 __ movp(result_register(), rbx); | 1085 __ movp(result_register(), rbx); |
| 1090 // Perform the assignment as if via '='. | 1086 // Perform the assignment as if via '='. |
| 1091 { EffectContext context(this); | 1087 { EffectContext context(this); |
| 1092 EmitAssignment(stmt->each(), stmt->EachFeedbackSlot()); | 1088 EmitAssignment(stmt->each(), stmt->EachFeedbackSlot()); |
| 1093 PrepareForBailoutForId(stmt->AssignmentId(), BailoutState::NO_REGISTERS); | 1089 PrepareForBailoutForId(stmt->AssignmentId(), NO_REGISTERS); |
| 1094 } | 1090 } |
| 1095 | 1091 |
| 1096 // Both Crankshaft and Turbofan expect BodyId to be right before stmt->body(). | 1092 // Both Crankshaft and Turbofan expect BodyId to be right before stmt->body(). |
| 1097 PrepareForBailoutForId(stmt->BodyId(), BailoutState::NO_REGISTERS); | 1093 PrepareForBailoutForId(stmt->BodyId(), NO_REGISTERS); |
| 1098 // Generate code for the body of the loop. | 1094 // Generate code for the body of the loop. |
| 1099 Visit(stmt->body()); | 1095 Visit(stmt->body()); |
| 1100 | 1096 |
| 1101 // Generate code for going to the next element by incrementing the | 1097 // Generate code for going to the next element by incrementing the |
| 1102 // index (smi) stored on top of the stack. | 1098 // index (smi) stored on top of the stack. |
| 1103 __ bind(loop_statement.continue_label()); | 1099 __ bind(loop_statement.continue_label()); |
| 1104 __ SmiAddConstant(Operand(rsp, 0 * kPointerSize), Smi::FromInt(1)); | 1100 __ SmiAddConstant(Operand(rsp, 0 * kPointerSize), Smi::FromInt(1)); |
| 1105 | 1101 |
| 1106 EmitBackEdgeBookkeeping(stmt, &loop); | 1102 EmitBackEdgeBookkeeping(stmt, &loop); |
| 1107 __ jmp(&loop); | 1103 __ jmp(&loop); |
| 1108 | 1104 |
| 1109 // Remove the pointers stored on the stack. | 1105 // Remove the pointers stored on the stack. |
| 1110 __ bind(loop_statement.break_label()); | 1106 __ bind(loop_statement.break_label()); |
| 1111 DropOperands(5); | 1107 DropOperands(5); |
| 1112 | 1108 |
| 1113 // Exit and decrement the loop depth. | 1109 // Exit and decrement the loop depth. |
| 1114 PrepareForBailoutForId(stmt->ExitId(), BailoutState::NO_REGISTERS); | 1110 PrepareForBailoutForId(stmt->ExitId(), NO_REGISTERS); |
| 1115 __ bind(&exit); | 1111 __ bind(&exit); |
| 1116 decrement_loop_depth(); | 1112 decrement_loop_depth(); |
| 1117 } | 1113 } |
| 1118 | 1114 |
| 1119 | 1115 |
| 1120 void FullCodeGenerator::EmitSetHomeObject(Expression* initializer, int offset, | 1116 void FullCodeGenerator::EmitSetHomeObject(Expression* initializer, int offset, |
| 1121 FeedbackVectorSlot slot) { | 1117 FeedbackVectorSlot slot) { |
| 1122 DCHECK(NeedsHomeObject(initializer)); | 1118 DCHECK(NeedsHomeObject(initializer)); |
| 1123 __ movp(StoreDescriptor::ReceiverRegister(), Operand(rsp, 0)); | 1119 __ movp(StoreDescriptor::ReceiverRegister(), Operand(rsp, 0)); |
| 1124 __ Move(StoreDescriptor::NameRegister(), | 1120 __ Move(StoreDescriptor::NameRegister(), |
| (...skipping 138 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1263 __ Move(LoadDescriptor::SlotRegister(), | 1259 __ Move(LoadDescriptor::SlotRegister(), |
| 1264 SmiFromSlot(proxy->VariableFeedbackSlot())); | 1260 SmiFromSlot(proxy->VariableFeedbackSlot())); |
| 1265 CallLoadIC(typeof_mode); | 1261 CallLoadIC(typeof_mode); |
| 1266 } | 1262 } |
| 1267 | 1263 |
| 1268 | 1264 |
| 1269 void FullCodeGenerator::EmitVariableLoad(VariableProxy* proxy, | 1265 void FullCodeGenerator::EmitVariableLoad(VariableProxy* proxy, |
| 1270 TypeofMode typeof_mode) { | 1266 TypeofMode typeof_mode) { |
| 1271 // Record position before possible IC call. | 1267 // Record position before possible IC call. |
| 1272 SetExpressionPosition(proxy); | 1268 SetExpressionPosition(proxy); |
| 1273 PrepareForBailoutForId(proxy->BeforeId(), BailoutState::NO_REGISTERS); | 1269 PrepareForBailoutForId(proxy->BeforeId(), NO_REGISTERS); |
| 1274 Variable* var = proxy->var(); | 1270 Variable* var = proxy->var(); |
| 1275 | 1271 |
| 1276 // Three cases: global variables, lookup variables, and all other types of | 1272 // Three cases: global variables, lookup variables, and all other types of |
| 1277 // variables. | 1273 // variables. |
| 1278 switch (var->location()) { | 1274 switch (var->location()) { |
| 1279 case VariableLocation::GLOBAL: | 1275 case VariableLocation::GLOBAL: |
| 1280 case VariableLocation::UNALLOCATED: { | 1276 case VariableLocation::UNALLOCATED: { |
| 1281 Comment cmnt(masm_, "[ Global variable"); | 1277 Comment cmnt(masm_, "[ Global variable"); |
| 1282 EmitGlobalVariableLoad(proxy, typeof_mode); | 1278 EmitGlobalVariableLoad(proxy, typeof_mode); |
| 1283 context()->Plug(rax); | 1279 context()->Plug(rax); |
| (...skipping 89 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1373 __ CallRuntime(Runtime::kCreateObjectLiteral); | 1369 __ CallRuntime(Runtime::kCreateObjectLiteral); |
| 1374 } else { | 1370 } else { |
| 1375 __ movp(rax, Operand(rbp, JavaScriptFrameConstants::kFunctionOffset)); | 1371 __ movp(rax, Operand(rbp, JavaScriptFrameConstants::kFunctionOffset)); |
| 1376 __ Move(rbx, Smi::FromInt(expr->literal_index())); | 1372 __ Move(rbx, Smi::FromInt(expr->literal_index())); |
| 1377 __ Move(rcx, constant_properties); | 1373 __ Move(rcx, constant_properties); |
| 1378 __ Move(rdx, Smi::FromInt(flags)); | 1374 __ Move(rdx, Smi::FromInt(flags)); |
| 1379 FastCloneShallowObjectStub stub(isolate(), expr->properties_count()); | 1375 FastCloneShallowObjectStub stub(isolate(), expr->properties_count()); |
| 1380 __ CallStub(&stub); | 1376 __ CallStub(&stub); |
| 1381 RestoreContext(); | 1377 RestoreContext(); |
| 1382 } | 1378 } |
| 1383 PrepareForBailoutForId(expr->CreateLiteralId(), BailoutState::TOS_REGISTER); | 1379 PrepareForBailoutForId(expr->CreateLiteralId(), TOS_REG); |
| 1384 | 1380 |
| 1385 // If result_saved is true the result is on top of the stack. If | 1381 // If result_saved is true the result is on top of the stack. If |
| 1386 // result_saved is false the result is in rax. | 1382 // result_saved is false the result is in rax. |
| 1387 bool result_saved = false; | 1383 bool result_saved = false; |
| 1388 | 1384 |
| 1389 AccessorTable accessor_table(zone()); | 1385 AccessorTable accessor_table(zone()); |
| 1390 int property_index = 0; | 1386 int property_index = 0; |
| 1391 for (; property_index < expr->properties()->length(); property_index++) { | 1387 for (; property_index < expr->properties()->length(); property_index++) { |
| 1392 ObjectLiteral::Property* property = expr->properties()->at(property_index); | 1388 ObjectLiteral::Property* property = expr->properties()->at(property_index); |
| 1393 if (property->is_computed_name()) break; | 1389 if (property->is_computed_name()) break; |
| (...skipping 15 matching lines...) Expand all Loading... |
| 1409 // It is safe to use [[Put]] here because the boilerplate already | 1405 // It is safe to use [[Put]] here because the boilerplate already |
| 1410 // contains computed properties with an uninitialized value. | 1406 // contains computed properties with an uninitialized value. |
| 1411 if (key->value()->IsInternalizedString()) { | 1407 if (key->value()->IsInternalizedString()) { |
| 1412 if (property->emit_store()) { | 1408 if (property->emit_store()) { |
| 1413 VisitForAccumulatorValue(value); | 1409 VisitForAccumulatorValue(value); |
| 1414 DCHECK(StoreDescriptor::ValueRegister().is(rax)); | 1410 DCHECK(StoreDescriptor::ValueRegister().is(rax)); |
| 1415 __ Move(StoreDescriptor::NameRegister(), key->value()); | 1411 __ Move(StoreDescriptor::NameRegister(), key->value()); |
| 1416 __ movp(StoreDescriptor::ReceiverRegister(), Operand(rsp, 0)); | 1412 __ movp(StoreDescriptor::ReceiverRegister(), Operand(rsp, 0)); |
| 1417 EmitLoadStoreICSlot(property->GetSlot(0)); | 1413 EmitLoadStoreICSlot(property->GetSlot(0)); |
| 1418 CallStoreIC(); | 1414 CallStoreIC(); |
| 1419 PrepareForBailoutForId(key->id(), BailoutState::NO_REGISTERS); | 1415 PrepareForBailoutForId(key->id(), NO_REGISTERS); |
| 1420 | 1416 |
| 1421 if (NeedsHomeObject(value)) { | 1417 if (NeedsHomeObject(value)) { |
| 1422 EmitSetHomeObjectAccumulator(value, 0, property->GetSlot(1)); | 1418 EmitSetHomeObjectAccumulator(value, 0, property->GetSlot(1)); |
| 1423 } | 1419 } |
| 1424 } else { | 1420 } else { |
| 1425 VisitForEffect(value); | 1421 VisitForEffect(value); |
| 1426 } | 1422 } |
| 1427 break; | 1423 break; |
| 1428 } | 1424 } |
| 1429 PushOperand(Operand(rsp, 0)); // Duplicate receiver. | 1425 PushOperand(Operand(rsp, 0)); // Duplicate receiver. |
| 1430 VisitForStackValue(key); | 1426 VisitForStackValue(key); |
| 1431 VisitForStackValue(value); | 1427 VisitForStackValue(value); |
| 1432 if (property->emit_store()) { | 1428 if (property->emit_store()) { |
| 1433 if (NeedsHomeObject(value)) { | 1429 if (NeedsHomeObject(value)) { |
| 1434 EmitSetHomeObject(value, 2, property->GetSlot()); | 1430 EmitSetHomeObject(value, 2, property->GetSlot()); |
| 1435 } | 1431 } |
| 1436 PushOperand(Smi::FromInt(SLOPPY)); // Language mode | 1432 PushOperand(Smi::FromInt(SLOPPY)); // Language mode |
| 1437 CallRuntimeWithOperands(Runtime::kSetProperty); | 1433 CallRuntimeWithOperands(Runtime::kSetProperty); |
| 1438 } else { | 1434 } else { |
| 1439 DropOperands(3); | 1435 DropOperands(3); |
| 1440 } | 1436 } |
| 1441 break; | 1437 break; |
| 1442 case ObjectLiteral::Property::PROTOTYPE: | 1438 case ObjectLiteral::Property::PROTOTYPE: |
| 1443 PushOperand(Operand(rsp, 0)); // Duplicate receiver. | 1439 PushOperand(Operand(rsp, 0)); // Duplicate receiver. |
| 1444 VisitForStackValue(value); | 1440 VisitForStackValue(value); |
| 1445 DCHECK(property->emit_store()); | 1441 DCHECK(property->emit_store()); |
| 1446 CallRuntimeWithOperands(Runtime::kInternalSetPrototype); | 1442 CallRuntimeWithOperands(Runtime::kInternalSetPrototype); |
| 1447 PrepareForBailoutForId(expr->GetIdForPropertySet(property_index), | 1443 PrepareForBailoutForId(expr->GetIdForPropertySet(property_index), |
| 1448 BailoutState::NO_REGISTERS); | 1444 NO_REGISTERS); |
| 1449 break; | 1445 break; |
| 1450 case ObjectLiteral::Property::GETTER: | 1446 case ObjectLiteral::Property::GETTER: |
| 1451 if (property->emit_store()) { | 1447 if (property->emit_store()) { |
| 1452 accessor_table.lookup(key)->second->getter = property; | 1448 accessor_table.lookup(key)->second->getter = property; |
| 1453 } | 1449 } |
| 1454 break; | 1450 break; |
| 1455 case ObjectLiteral::Property::SETTER: | 1451 case ObjectLiteral::Property::SETTER: |
| 1456 if (property->emit_store()) { | 1452 if (property->emit_store()) { |
| 1457 accessor_table.lookup(key)->second->setter = property; | 1453 accessor_table.lookup(key)->second->setter = property; |
| 1458 } | 1454 } |
| (...skipping 33 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1492 } | 1488 } |
| 1493 | 1489 |
| 1494 PushOperand(Operand(rsp, 0)); // Duplicate receiver. | 1490 PushOperand(Operand(rsp, 0)); // Duplicate receiver. |
| 1495 | 1491 |
| 1496 if (property->kind() == ObjectLiteral::Property::PROTOTYPE) { | 1492 if (property->kind() == ObjectLiteral::Property::PROTOTYPE) { |
| 1497 DCHECK(!property->is_computed_name()); | 1493 DCHECK(!property->is_computed_name()); |
| 1498 VisitForStackValue(value); | 1494 VisitForStackValue(value); |
| 1499 DCHECK(property->emit_store()); | 1495 DCHECK(property->emit_store()); |
| 1500 CallRuntimeWithOperands(Runtime::kInternalSetPrototype); | 1496 CallRuntimeWithOperands(Runtime::kInternalSetPrototype); |
| 1501 PrepareForBailoutForId(expr->GetIdForPropertySet(property_index), | 1497 PrepareForBailoutForId(expr->GetIdForPropertySet(property_index), |
| 1502 BailoutState::NO_REGISTERS); | 1498 NO_REGISTERS); |
| 1503 } else { | 1499 } else { |
| 1504 EmitPropertyKey(property, expr->GetIdForPropertyName(property_index)); | 1500 EmitPropertyKey(property, expr->GetIdForPropertyName(property_index)); |
| 1505 VisitForStackValue(value); | 1501 VisitForStackValue(value); |
| 1506 if (NeedsHomeObject(value)) { | 1502 if (NeedsHomeObject(value)) { |
| 1507 EmitSetHomeObject(value, 2, property->GetSlot()); | 1503 EmitSetHomeObject(value, 2, property->GetSlot()); |
| 1508 } | 1504 } |
| 1509 | 1505 |
| 1510 switch (property->kind()) { | 1506 switch (property->kind()) { |
| 1511 case ObjectLiteral::Property::CONSTANT: | 1507 case ObjectLiteral::Property::CONSTANT: |
| 1512 case ObjectLiteral::Property::MATERIALIZED_LITERAL: | 1508 case ObjectLiteral::Property::MATERIALIZED_LITERAL: |
| (...skipping 52 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1565 __ Push(constant_elements); | 1561 __ Push(constant_elements); |
| 1566 __ Push(Smi::FromInt(expr->ComputeFlags())); | 1562 __ Push(Smi::FromInt(expr->ComputeFlags())); |
| 1567 __ CallRuntime(Runtime::kCreateArrayLiteral); | 1563 __ CallRuntime(Runtime::kCreateArrayLiteral); |
| 1568 } else { | 1564 } else { |
| 1569 __ movp(rax, Operand(rbp, JavaScriptFrameConstants::kFunctionOffset)); | 1565 __ movp(rax, Operand(rbp, JavaScriptFrameConstants::kFunctionOffset)); |
| 1570 __ Move(rbx, Smi::FromInt(expr->literal_index())); | 1566 __ Move(rbx, Smi::FromInt(expr->literal_index())); |
| 1571 __ Move(rcx, constant_elements); | 1567 __ Move(rcx, constant_elements); |
| 1572 FastCloneShallowArrayStub stub(isolate(), allocation_site_mode); | 1568 FastCloneShallowArrayStub stub(isolate(), allocation_site_mode); |
| 1573 __ CallStub(&stub); | 1569 __ CallStub(&stub); |
| 1574 } | 1570 } |
| 1575 PrepareForBailoutForId(expr->CreateLiteralId(), BailoutState::TOS_REGISTER); | 1571 PrepareForBailoutForId(expr->CreateLiteralId(), TOS_REG); |
| 1576 | 1572 |
| 1577 bool result_saved = false; // Is the result saved to the stack? | 1573 bool result_saved = false; // Is the result saved to the stack? |
| 1578 ZoneList<Expression*>* subexprs = expr->values(); | 1574 ZoneList<Expression*>* subexprs = expr->values(); |
| 1579 int length = subexprs->length(); | 1575 int length = subexprs->length(); |
| 1580 | 1576 |
| 1581 // Emit code to evaluate all the non-constant subexpressions and to store | 1577 // Emit code to evaluate all the non-constant subexpressions and to store |
| 1582 // them into the newly cloned array. | 1578 // them into the newly cloned array. |
| 1583 int array_index = 0; | 1579 int array_index = 0; |
| 1584 for (; array_index < length; array_index++) { | 1580 for (; array_index < length; array_index++) { |
| 1585 Expression* subexpr = subexprs->at(array_index); | 1581 Expression* subexpr = subexprs->at(array_index); |
| 1586 DCHECK(!subexpr->IsSpread()); | 1582 DCHECK(!subexpr->IsSpread()); |
| 1587 | 1583 |
| 1588 // If the subexpression is a literal or a simple materialized literal it | 1584 // If the subexpression is a literal or a simple materialized literal it |
| 1589 // is already set in the cloned array. | 1585 // is already set in the cloned array. |
| 1590 if (CompileTimeValue::IsCompileTimeValue(subexpr)) continue; | 1586 if (CompileTimeValue::IsCompileTimeValue(subexpr)) continue; |
| 1591 | 1587 |
| 1592 if (!result_saved) { | 1588 if (!result_saved) { |
| 1593 PushOperand(rax); // array literal | 1589 PushOperand(rax); // array literal |
| 1594 result_saved = true; | 1590 result_saved = true; |
| 1595 } | 1591 } |
| 1596 VisitForAccumulatorValue(subexpr); | 1592 VisitForAccumulatorValue(subexpr); |
| 1597 | 1593 |
| 1598 __ Move(StoreDescriptor::NameRegister(), Smi::FromInt(array_index)); | 1594 __ Move(StoreDescriptor::NameRegister(), Smi::FromInt(array_index)); |
| 1599 __ movp(StoreDescriptor::ReceiverRegister(), Operand(rsp, 0)); | 1595 __ movp(StoreDescriptor::ReceiverRegister(), Operand(rsp, 0)); |
| 1600 EmitLoadStoreICSlot(expr->LiteralFeedbackSlot()); | 1596 EmitLoadStoreICSlot(expr->LiteralFeedbackSlot()); |
| 1601 Handle<Code> ic = | 1597 Handle<Code> ic = |
| 1602 CodeFactory::KeyedStoreIC(isolate(), language_mode()).code(); | 1598 CodeFactory::KeyedStoreIC(isolate(), language_mode()).code(); |
| 1603 CallIC(ic); | 1599 CallIC(ic); |
| 1604 | 1600 |
| 1605 PrepareForBailoutForId(expr->GetIdForElement(array_index), | 1601 PrepareForBailoutForId(expr->GetIdForElement(array_index), NO_REGISTERS); |
| 1606 BailoutState::NO_REGISTERS); | |
| 1607 } | 1602 } |
| 1608 | 1603 |
| 1609 // In case the array literal contains spread expressions it has two parts. The | 1604 // In case the array literal contains spread expressions it has two parts. The |
| 1610 // first part is the "static" array which has a literal index is handled | 1605 // first part is the "static" array which has a literal index is handled |
| 1611 // above. The second part is the part after the first spread expression | 1606 // above. The second part is the part after the first spread expression |
| 1612 // (inclusive) and these elements gets appended to the array. Note that the | 1607 // (inclusive) and these elements gets appended to the array. Note that the |
| 1613 // number elements an iterable produces is unknown ahead of time. | 1608 // number elements an iterable produces is unknown ahead of time. |
| 1614 if (array_index < length && result_saved) { | 1609 if (array_index < length && result_saved) { |
| 1615 PopOperand(rax); | 1610 PopOperand(rax); |
| 1616 result_saved = false; | 1611 result_saved = false; |
| 1617 } | 1612 } |
| 1618 for (; array_index < length; array_index++) { | 1613 for (; array_index < length; array_index++) { |
| 1619 Expression* subexpr = subexprs->at(array_index); | 1614 Expression* subexpr = subexprs->at(array_index); |
| 1620 | 1615 |
| 1621 PushOperand(rax); | 1616 PushOperand(rax); |
| 1622 DCHECK(!subexpr->IsSpread()); | 1617 DCHECK(!subexpr->IsSpread()); |
| 1623 VisitForStackValue(subexpr); | 1618 VisitForStackValue(subexpr); |
| 1624 CallRuntimeWithOperands(Runtime::kAppendElement); | 1619 CallRuntimeWithOperands(Runtime::kAppendElement); |
| 1625 | 1620 |
| 1626 PrepareForBailoutForId(expr->GetIdForElement(array_index), | 1621 PrepareForBailoutForId(expr->GetIdForElement(array_index), NO_REGISTERS); |
| 1627 BailoutState::NO_REGISTERS); | |
| 1628 } | 1622 } |
| 1629 | 1623 |
| 1630 if (result_saved) { | 1624 if (result_saved) { |
| 1631 context()->PlugTOS(); | 1625 context()->PlugTOS(); |
| 1632 } else { | 1626 } else { |
| 1633 context()->Plug(rax); | 1627 context()->Plug(rax); |
| 1634 } | 1628 } |
| 1635 } | 1629 } |
| 1636 | 1630 |
| 1637 | 1631 |
| (...skipping 57 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 1695 } | 1689 } |
| 1696 } | 1690 } |
| 1697 | 1691 |
| 1698 // For compound assignments we need another deoptimization point after the | 1692 // For compound assignments we need another deoptimization point after the |
| 1699 // variable/property load. | 1693 // variable/property load. |
| 1700 if (expr->is_compound()) { | 1694 if (expr->is_compound()) { |
| 1701 { AccumulatorValueContext context(this); | 1695 { AccumulatorValueContext context(this); |
| 1702 switch (assign_type) { | 1696 switch (assign_type) { |
| 1703 case VARIABLE: | 1697 case VARIABLE: |
| 1704 EmitVariableLoad(expr->target()->AsVariableProxy()); | 1698 EmitVariableLoad(expr->target()->AsVariableProxy()); |
| 1705 PrepareForBailout(expr->target(), BailoutState::TOS_REGISTER); | 1699 PrepareForBailout(expr->target(), TOS_REG); |
| 1706 break; | 1700 break; |
| 1707 case NAMED_PROPERTY: | 1701 case NAMED_PROPERTY: |
| 1708 EmitNamedPropertyLoad(property); | 1702 EmitNamedPropertyLoad(property); |
| 1709 PrepareForBailoutForId(property->LoadId(), | 1703 PrepareForBailoutForId(property->LoadId(), TOS_REG); |
| 1710 BailoutState::TOS_REGISTER); | |
| 1711 break; | 1704 break; |
| 1712 case NAMED_SUPER_PROPERTY: | 1705 case NAMED_SUPER_PROPERTY: |
| 1713 EmitNamedSuperPropertyLoad(property); | 1706 EmitNamedSuperPropertyLoad(property); |
| 1714 PrepareForBailoutForId(property->LoadId(), | 1707 PrepareForBailoutForId(property->LoadId(), TOS_REG); |
| 1715 BailoutState::TOS_REGISTER); | |
| 1716 break; | 1708 break; |
| 1717 case KEYED_SUPER_PROPERTY: | 1709 case KEYED_SUPER_PROPERTY: |
| 1718 EmitKeyedSuperPropertyLoad(property); | 1710 EmitKeyedSuperPropertyLoad(property); |
| 1719 PrepareForBailoutForId(property->LoadId(), | 1711 PrepareForBailoutForId(property->LoadId(), TOS_REG); |
| 1720 BailoutState::TOS_REGISTER); | |
| 1721 break; | 1712 break; |
| 1722 case KEYED_PROPERTY: | 1713 case KEYED_PROPERTY: |
| 1723 EmitKeyedPropertyLoad(property); | 1714 EmitKeyedPropertyLoad(property); |
| 1724 PrepareForBailoutForId(property->LoadId(), | 1715 PrepareForBailoutForId(property->LoadId(), TOS_REG); |
| 1725 BailoutState::TOS_REGISTER); | |
| 1726 break; | 1716 break; |
| 1727 } | 1717 } |
| 1728 } | 1718 } |
| 1729 | 1719 |
| 1730 Token::Value op = expr->binary_op(); | 1720 Token::Value op = expr->binary_op(); |
| 1731 PushOperand(rax); // Left operand goes on the stack. | 1721 PushOperand(rax); // Left operand goes on the stack. |
| 1732 VisitForAccumulatorValue(expr->value()); | 1722 VisitForAccumulatorValue(expr->value()); |
| 1733 | 1723 |
| 1734 AccumulatorValueContext context(this); | 1724 AccumulatorValueContext context(this); |
| 1735 if (ShouldInlineSmiCase(op)) { | 1725 if (ShouldInlineSmiCase(op)) { |
| 1736 EmitInlineSmiBinaryOp(expr->binary_operation(), | 1726 EmitInlineSmiBinaryOp(expr->binary_operation(), |
| 1737 op, | 1727 op, |
| 1738 expr->target(), | 1728 expr->target(), |
| 1739 expr->value()); | 1729 expr->value()); |
| 1740 } else { | 1730 } else { |
| 1741 EmitBinaryOp(expr->binary_operation(), op); | 1731 EmitBinaryOp(expr->binary_operation(), op); |
| 1742 } | 1732 } |
| 1743 // Deoptimization point in case the binary operation may have side effects. | 1733 // Deoptimization point in case the binary operation may have side effects. |
| 1744 PrepareForBailout(expr->binary_operation(), BailoutState::TOS_REGISTER); | 1734 PrepareForBailout(expr->binary_operation(), TOS_REG); |
| 1745 } else { | 1735 } else { |
| 1746 VisitForAccumulatorValue(expr->value()); | 1736 VisitForAccumulatorValue(expr->value()); |
| 1747 } | 1737 } |
| 1748 | 1738 |
| 1749 SetExpressionPosition(expr); | 1739 SetExpressionPosition(expr); |
| 1750 | 1740 |
| 1751 // Store the value. | 1741 // Store the value. |
| 1752 switch (assign_type) { | 1742 switch (assign_type) { |
| 1753 case VARIABLE: | 1743 case VARIABLE: |
| 1754 EmitVariableAssignment(expr->target()->AsVariableProxy()->var(), | 1744 EmitVariableAssignment(expr->target()->AsVariableProxy()->var(), |
| 1755 expr->op(), expr->AssignmentSlot()); | 1745 expr->op(), expr->AssignmentSlot()); |
| 1756 PrepareForBailoutForId(expr->AssignmentId(), BailoutState::TOS_REGISTER); | 1746 PrepareForBailoutForId(expr->AssignmentId(), TOS_REG); |
| 1757 context()->Plug(rax); | 1747 context()->Plug(rax); |
| 1758 break; | 1748 break; |
| 1759 case NAMED_PROPERTY: | 1749 case NAMED_PROPERTY: |
| 1760 EmitNamedPropertyAssignment(expr); | 1750 EmitNamedPropertyAssignment(expr); |
| 1761 break; | 1751 break; |
| 1762 case NAMED_SUPER_PROPERTY: | 1752 case NAMED_SUPER_PROPERTY: |
| 1763 EmitNamedSuperPropertyStore(property); | 1753 EmitNamedSuperPropertyStore(property); |
| 1764 context()->Plug(rax); | 1754 context()->Plug(rax); |
| 1765 break; | 1755 break; |
| 1766 case KEYED_SUPER_PROPERTY: | 1756 case KEYED_SUPER_PROPERTY: |
| (...skipping 402 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2169 // Assignment to a property, using a named store IC. | 2159 // Assignment to a property, using a named store IC. |
| 2170 Property* prop = expr->target()->AsProperty(); | 2160 Property* prop = expr->target()->AsProperty(); |
| 2171 DCHECK(prop != NULL); | 2161 DCHECK(prop != NULL); |
| 2172 DCHECK(prop->key()->IsLiteral()); | 2162 DCHECK(prop->key()->IsLiteral()); |
| 2173 | 2163 |
| 2174 __ Move(StoreDescriptor::NameRegister(), prop->key()->AsLiteral()->value()); | 2164 __ Move(StoreDescriptor::NameRegister(), prop->key()->AsLiteral()->value()); |
| 2175 PopOperand(StoreDescriptor::ReceiverRegister()); | 2165 PopOperand(StoreDescriptor::ReceiverRegister()); |
| 2176 EmitLoadStoreICSlot(expr->AssignmentSlot()); | 2166 EmitLoadStoreICSlot(expr->AssignmentSlot()); |
| 2177 CallStoreIC(); | 2167 CallStoreIC(); |
| 2178 | 2168 |
| 2179 PrepareForBailoutForId(expr->AssignmentId(), BailoutState::TOS_REGISTER); | 2169 PrepareForBailoutForId(expr->AssignmentId(), TOS_REG); |
| 2180 context()->Plug(rax); | 2170 context()->Plug(rax); |
| 2181 } | 2171 } |
| 2182 | 2172 |
| 2183 | 2173 |
| 2184 void FullCodeGenerator::EmitNamedSuperPropertyStore(Property* prop) { | 2174 void FullCodeGenerator::EmitNamedSuperPropertyStore(Property* prop) { |
| 2185 // Assignment to named property of super. | 2175 // Assignment to named property of super. |
| 2186 // rax : value | 2176 // rax : value |
| 2187 // stack : receiver ('this'), home_object | 2177 // stack : receiver ('this'), home_object |
| 2188 DCHECK(prop != NULL); | 2178 DCHECK(prop != NULL); |
| 2189 Literal* key = prop->key()->AsLiteral(); | 2179 Literal* key = prop->key()->AsLiteral(); |
| (...skipping 23 matching lines...) Expand all Loading... |
| 2213 void FullCodeGenerator::EmitKeyedPropertyAssignment(Assignment* expr) { | 2203 void FullCodeGenerator::EmitKeyedPropertyAssignment(Assignment* expr) { |
| 2214 // Assignment to a property, using a keyed store IC. | 2204 // Assignment to a property, using a keyed store IC. |
| 2215 PopOperand(StoreDescriptor::NameRegister()); // Key. | 2205 PopOperand(StoreDescriptor::NameRegister()); // Key. |
| 2216 PopOperand(StoreDescriptor::ReceiverRegister()); | 2206 PopOperand(StoreDescriptor::ReceiverRegister()); |
| 2217 DCHECK(StoreDescriptor::ValueRegister().is(rax)); | 2207 DCHECK(StoreDescriptor::ValueRegister().is(rax)); |
| 2218 Handle<Code> ic = | 2208 Handle<Code> ic = |
| 2219 CodeFactory::KeyedStoreIC(isolate(), language_mode()).code(); | 2209 CodeFactory::KeyedStoreIC(isolate(), language_mode()).code(); |
| 2220 EmitLoadStoreICSlot(expr->AssignmentSlot()); | 2210 EmitLoadStoreICSlot(expr->AssignmentSlot()); |
| 2221 CallIC(ic); | 2211 CallIC(ic); |
| 2222 | 2212 |
| 2223 PrepareForBailoutForId(expr->AssignmentId(), BailoutState::TOS_REGISTER); | 2213 PrepareForBailoutForId(expr->AssignmentId(), TOS_REG); |
| 2224 context()->Plug(rax); | 2214 context()->Plug(rax); |
| 2225 } | 2215 } |
| 2226 | 2216 |
| 2227 | 2217 |
| 2228 void FullCodeGenerator::CallIC(Handle<Code> code, | 2218 void FullCodeGenerator::CallIC(Handle<Code> code, |
| 2229 TypeFeedbackId ast_id) { | 2219 TypeFeedbackId ast_id) { |
| 2230 ic_total_count_++; | 2220 ic_total_count_++; |
| 2231 __ call(code, RelocInfo::CODE_TARGET, ast_id); | 2221 __ call(code, RelocInfo::CODE_TARGET, ast_id); |
| 2232 } | 2222 } |
| 2233 | 2223 |
| 2234 | 2224 |
| 2235 // Code common for calls using the IC. | 2225 // Code common for calls using the IC. |
| 2236 void FullCodeGenerator::EmitCallWithLoadIC(Call* expr) { | 2226 void FullCodeGenerator::EmitCallWithLoadIC(Call* expr) { |
| 2237 Expression* callee = expr->expression(); | 2227 Expression* callee = expr->expression(); |
| 2238 | 2228 |
| 2239 // Get the target function. | 2229 // Get the target function. |
| 2240 ConvertReceiverMode convert_mode; | 2230 ConvertReceiverMode convert_mode; |
| 2241 if (callee->IsVariableProxy()) { | 2231 if (callee->IsVariableProxy()) { |
| 2242 { StackValueContext context(this); | 2232 { StackValueContext context(this); |
| 2243 EmitVariableLoad(callee->AsVariableProxy()); | 2233 EmitVariableLoad(callee->AsVariableProxy()); |
| 2244 PrepareForBailout(callee, BailoutState::NO_REGISTERS); | 2234 PrepareForBailout(callee, NO_REGISTERS); |
| 2245 } | 2235 } |
| 2246 // Push undefined as receiver. This is patched in the Call builtin if it | 2236 // Push undefined as receiver. This is patched in the Call builtin if it |
| 2247 // is a sloppy mode method. | 2237 // is a sloppy mode method. |
| 2248 PushOperand(isolate()->factory()->undefined_value()); | 2238 PushOperand(isolate()->factory()->undefined_value()); |
| 2249 convert_mode = ConvertReceiverMode::kNullOrUndefined; | 2239 convert_mode = ConvertReceiverMode::kNullOrUndefined; |
| 2250 } else { | 2240 } else { |
| 2251 // Load the function from the receiver. | 2241 // Load the function from the receiver. |
| 2252 DCHECK(callee->IsProperty()); | 2242 DCHECK(callee->IsProperty()); |
| 2253 DCHECK(!callee->AsProperty()->IsSuperAccess()); | 2243 DCHECK(!callee->AsProperty()->IsSuperAccess()); |
| 2254 __ movp(LoadDescriptor::ReceiverRegister(), Operand(rsp, 0)); | 2244 __ movp(LoadDescriptor::ReceiverRegister(), Operand(rsp, 0)); |
| 2255 EmitNamedPropertyLoad(callee->AsProperty()); | 2245 EmitNamedPropertyLoad(callee->AsProperty()); |
| 2256 PrepareForBailoutForId(callee->AsProperty()->LoadId(), | 2246 PrepareForBailoutForId(callee->AsProperty()->LoadId(), TOS_REG); |
| 2257 BailoutState::TOS_REGISTER); | |
| 2258 // Push the target function under the receiver. | 2247 // Push the target function under the receiver. |
| 2259 PushOperand(Operand(rsp, 0)); | 2248 PushOperand(Operand(rsp, 0)); |
| 2260 __ movp(Operand(rsp, kPointerSize), rax); | 2249 __ movp(Operand(rsp, kPointerSize), rax); |
| 2261 convert_mode = ConvertReceiverMode::kNotNullOrUndefined; | 2250 convert_mode = ConvertReceiverMode::kNotNullOrUndefined; |
| 2262 } | 2251 } |
| 2263 | 2252 |
| 2264 EmitCall(expr, convert_mode); | 2253 EmitCall(expr, convert_mode); |
| 2265 } | 2254 } |
| 2266 | 2255 |
| 2267 | 2256 |
| (...skipping 15 matching lines...) Expand all Loading... |
| 2283 PushOperand(Operand(rsp, kPointerSize * 2)); | 2272 PushOperand(Operand(rsp, kPointerSize * 2)); |
| 2284 PushOperand(key->value()); | 2273 PushOperand(key->value()); |
| 2285 | 2274 |
| 2286 // Stack here: | 2275 // Stack here: |
| 2287 // - home_object | 2276 // - home_object |
| 2288 // - this (receiver) | 2277 // - this (receiver) |
| 2289 // - this (receiver) <-- LoadFromSuper will pop here and below. | 2278 // - this (receiver) <-- LoadFromSuper will pop here and below. |
| 2290 // - home_object | 2279 // - home_object |
| 2291 // - key | 2280 // - key |
| 2292 CallRuntimeWithOperands(Runtime::kLoadFromSuper); | 2281 CallRuntimeWithOperands(Runtime::kLoadFromSuper); |
| 2293 PrepareForBailoutForId(prop->LoadId(), BailoutState::TOS_REGISTER); | 2282 PrepareForBailoutForId(prop->LoadId(), TOS_REG); |
| 2294 | 2283 |
| 2295 // Replace home_object with target function. | 2284 // Replace home_object with target function. |
| 2296 __ movp(Operand(rsp, kPointerSize), rax); | 2285 __ movp(Operand(rsp, kPointerSize), rax); |
| 2297 | 2286 |
| 2298 // Stack here: | 2287 // Stack here: |
| 2299 // - target function | 2288 // - target function |
| 2300 // - this (receiver) | 2289 // - this (receiver) |
| 2301 EmitCall(expr); | 2290 EmitCall(expr); |
| 2302 } | 2291 } |
| 2303 | 2292 |
| 2304 | 2293 |
| 2305 // Common code for calls using the IC. | 2294 // Common code for calls using the IC. |
| 2306 void FullCodeGenerator::EmitKeyedCallWithLoadIC(Call* expr, | 2295 void FullCodeGenerator::EmitKeyedCallWithLoadIC(Call* expr, |
| 2307 Expression* key) { | 2296 Expression* key) { |
| 2308 // Load the key. | 2297 // Load the key. |
| 2309 VisitForAccumulatorValue(key); | 2298 VisitForAccumulatorValue(key); |
| 2310 | 2299 |
| 2311 Expression* callee = expr->expression(); | 2300 Expression* callee = expr->expression(); |
| 2312 | 2301 |
| 2313 // Load the function from the receiver. | 2302 // Load the function from the receiver. |
| 2314 DCHECK(callee->IsProperty()); | 2303 DCHECK(callee->IsProperty()); |
| 2315 __ movp(LoadDescriptor::ReceiverRegister(), Operand(rsp, 0)); | 2304 __ movp(LoadDescriptor::ReceiverRegister(), Operand(rsp, 0)); |
| 2316 __ Move(LoadDescriptor::NameRegister(), rax); | 2305 __ Move(LoadDescriptor::NameRegister(), rax); |
| 2317 EmitKeyedPropertyLoad(callee->AsProperty()); | 2306 EmitKeyedPropertyLoad(callee->AsProperty()); |
| 2318 PrepareForBailoutForId(callee->AsProperty()->LoadId(), | 2307 PrepareForBailoutForId(callee->AsProperty()->LoadId(), TOS_REG); |
| 2319 BailoutState::TOS_REGISTER); | |
| 2320 | 2308 |
| 2321 // Push the target function under the receiver. | 2309 // Push the target function under the receiver. |
| 2322 PushOperand(Operand(rsp, 0)); | 2310 PushOperand(Operand(rsp, 0)); |
| 2323 __ movp(Operand(rsp, kPointerSize), rax); | 2311 __ movp(Operand(rsp, kPointerSize), rax); |
| 2324 | 2312 |
| 2325 EmitCall(expr, ConvertReceiverMode::kNotNullOrUndefined); | 2313 EmitCall(expr, ConvertReceiverMode::kNotNullOrUndefined); |
| 2326 } | 2314 } |
| 2327 | 2315 |
| 2328 | 2316 |
| 2329 void FullCodeGenerator::EmitKeyedSuperCallWithLoadIC(Call* expr) { | 2317 void FullCodeGenerator::EmitKeyedSuperCallWithLoadIC(Call* expr) { |
| (...skipping 12 matching lines...) Expand all Loading... |
| 2342 PushOperand(Operand(rsp, kPointerSize * 2)); | 2330 PushOperand(Operand(rsp, kPointerSize * 2)); |
| 2343 VisitForStackValue(prop->key()); | 2331 VisitForStackValue(prop->key()); |
| 2344 | 2332 |
| 2345 // Stack here: | 2333 // Stack here: |
| 2346 // - home_object | 2334 // - home_object |
| 2347 // - this (receiver) | 2335 // - this (receiver) |
| 2348 // - this (receiver) <-- LoadKeyedFromSuper will pop here and below. | 2336 // - this (receiver) <-- LoadKeyedFromSuper will pop here and below. |
| 2349 // - home_object | 2337 // - home_object |
| 2350 // - key | 2338 // - key |
| 2351 CallRuntimeWithOperands(Runtime::kLoadKeyedFromSuper); | 2339 CallRuntimeWithOperands(Runtime::kLoadKeyedFromSuper); |
| 2352 PrepareForBailoutForId(prop->LoadId(), BailoutState::TOS_REGISTER); | 2340 PrepareForBailoutForId(prop->LoadId(), TOS_REG); |
| 2353 | 2341 |
| 2354 // Replace home_object with target function. | 2342 // Replace home_object with target function. |
| 2355 __ movp(Operand(rsp, kPointerSize), rax); | 2343 __ movp(Operand(rsp, kPointerSize), rax); |
| 2356 | 2344 |
| 2357 // Stack here: | 2345 // Stack here: |
| 2358 // - target function | 2346 // - target function |
| 2359 // - this (receiver) | 2347 // - this (receiver) |
| 2360 EmitCall(expr); | 2348 EmitCall(expr); |
| 2361 } | 2349 } |
| 2362 | 2350 |
| 2363 | 2351 |
| 2364 void FullCodeGenerator::EmitCall(Call* expr, ConvertReceiverMode mode) { | 2352 void FullCodeGenerator::EmitCall(Call* expr, ConvertReceiverMode mode) { |
| 2365 // Load the arguments. | 2353 // Load the arguments. |
| 2366 ZoneList<Expression*>* args = expr->arguments(); | 2354 ZoneList<Expression*>* args = expr->arguments(); |
| 2367 int arg_count = args->length(); | 2355 int arg_count = args->length(); |
| 2368 for (int i = 0; i < arg_count; i++) { | 2356 for (int i = 0; i < arg_count; i++) { |
| 2369 VisitForStackValue(args->at(i)); | 2357 VisitForStackValue(args->at(i)); |
| 2370 } | 2358 } |
| 2371 | 2359 |
| 2372 PrepareForBailoutForId(expr->CallId(), BailoutState::NO_REGISTERS); | 2360 PrepareForBailoutForId(expr->CallId(), NO_REGISTERS); |
| 2373 SetCallPosition(expr, expr->tail_call_mode()); | 2361 SetCallPosition(expr, expr->tail_call_mode()); |
| 2374 if (expr->tail_call_mode() == TailCallMode::kAllow) { | 2362 if (expr->tail_call_mode() == TailCallMode::kAllow) { |
| 2375 if (FLAG_trace) { | 2363 if (FLAG_trace) { |
| 2376 __ CallRuntime(Runtime::kTraceTailCall); | 2364 __ CallRuntime(Runtime::kTraceTailCall); |
| 2377 } | 2365 } |
| 2378 // Update profiling counters before the tail call since we will | 2366 // Update profiling counters before the tail call since we will |
| 2379 // not return to this function. | 2367 // not return to this function. |
| 2380 EmitProfilingCounterHandlingForReturnSequence(true); | 2368 EmitProfilingCounterHandlingForReturnSequence(true); |
| 2381 } | 2369 } |
| 2382 Handle<Code> ic = | 2370 Handle<Code> ic = |
| (...skipping 47 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2430 // Generate code for loading from variables potentially shadowed by | 2418 // Generate code for loading from variables potentially shadowed by |
| 2431 // eval-introduced variables. | 2419 // eval-introduced variables. |
| 2432 EmitDynamicLookupFastCase(callee, NOT_INSIDE_TYPEOF, &slow, &done); | 2420 EmitDynamicLookupFastCase(callee, NOT_INSIDE_TYPEOF, &slow, &done); |
| 2433 __ bind(&slow); | 2421 __ bind(&slow); |
| 2434 // Call the runtime to find the function to call (returned in rax) and | 2422 // Call the runtime to find the function to call (returned in rax) and |
| 2435 // the object holding it (returned in rdx). | 2423 // the object holding it (returned in rdx). |
| 2436 __ Push(callee->name()); | 2424 __ Push(callee->name()); |
| 2437 __ CallRuntime(Runtime::kLoadLookupSlotForCall); | 2425 __ CallRuntime(Runtime::kLoadLookupSlotForCall); |
| 2438 PushOperand(rax); // Function. | 2426 PushOperand(rax); // Function. |
| 2439 PushOperand(rdx); // Receiver. | 2427 PushOperand(rdx); // Receiver. |
| 2440 PrepareForBailoutForId(expr->LookupId(), BailoutState::NO_REGISTERS); | 2428 PrepareForBailoutForId(expr->LookupId(), NO_REGISTERS); |
| 2441 | 2429 |
| 2442 // If fast case code has been generated, emit code to push the function | 2430 // If fast case code has been generated, emit code to push the function |
| 2443 // and receiver and have the slow path jump around this code. | 2431 // and receiver and have the slow path jump around this code. |
| 2444 if (done.is_linked()) { | 2432 if (done.is_linked()) { |
| 2445 Label call; | 2433 Label call; |
| 2446 __ jmp(&call, Label::kNear); | 2434 __ jmp(&call, Label::kNear); |
| 2447 __ bind(&done); | 2435 __ bind(&done); |
| 2448 // Push function. | 2436 // Push function. |
| 2449 __ Push(rax); | 2437 __ Push(rax); |
| 2450 // Pass undefined as the receiver, which is the WithBaseObject of a | 2438 // Pass undefined as the receiver, which is the WithBaseObject of a |
| (...skipping 25 matching lines...) Expand all Loading... |
| 2476 } | 2464 } |
| 2477 | 2465 |
| 2478 // Push a copy of the function (found below the arguments) and resolve | 2466 // Push a copy of the function (found below the arguments) and resolve |
| 2479 // eval. | 2467 // eval. |
| 2480 __ Push(Operand(rsp, (arg_count + 1) * kPointerSize)); | 2468 __ Push(Operand(rsp, (arg_count + 1) * kPointerSize)); |
| 2481 EmitResolvePossiblyDirectEval(expr); | 2469 EmitResolvePossiblyDirectEval(expr); |
| 2482 | 2470 |
| 2483 // Touch up the callee. | 2471 // Touch up the callee. |
| 2484 __ movp(Operand(rsp, (arg_count + 1) * kPointerSize), rax); | 2472 __ movp(Operand(rsp, (arg_count + 1) * kPointerSize), rax); |
| 2485 | 2473 |
| 2486 PrepareForBailoutForId(expr->EvalId(), BailoutState::NO_REGISTERS); | 2474 PrepareForBailoutForId(expr->EvalId(), NO_REGISTERS); |
| 2487 | 2475 |
| 2488 SetCallPosition(expr); | 2476 SetCallPosition(expr); |
| 2489 __ movp(rdi, Operand(rsp, (arg_count + 1) * kPointerSize)); | 2477 __ movp(rdi, Operand(rsp, (arg_count + 1) * kPointerSize)); |
| 2490 __ Set(rax, arg_count); | 2478 __ Set(rax, arg_count); |
| 2491 __ Call(isolate()->builtins()->Call(ConvertReceiverMode::kAny, | 2479 __ Call(isolate()->builtins()->Call(ConvertReceiverMode::kAny, |
| 2492 expr->tail_call_mode()), | 2480 expr->tail_call_mode()), |
| 2493 RelocInfo::CODE_TARGET); | 2481 RelocInfo::CODE_TARGET); |
| 2494 OperandStackDepthDecrement(arg_count + 1); | 2482 OperandStackDepthDecrement(arg_count + 1); |
| 2495 RecordJSReturnSite(expr); | 2483 RecordJSReturnSite(expr); |
| 2496 RestoreContext(); | 2484 RestoreContext(); |
| (...skipping 28 matching lines...) Expand all Loading... |
| 2525 __ Set(rax, arg_count); | 2513 __ Set(rax, arg_count); |
| 2526 __ movp(rdi, Operand(rsp, arg_count * kPointerSize)); | 2514 __ movp(rdi, Operand(rsp, arg_count * kPointerSize)); |
| 2527 | 2515 |
| 2528 // Record call targets in unoptimized code, but not in the snapshot. | 2516 // Record call targets in unoptimized code, but not in the snapshot. |
| 2529 __ EmitLoadTypeFeedbackVector(rbx); | 2517 __ EmitLoadTypeFeedbackVector(rbx); |
| 2530 __ Move(rdx, SmiFromSlot(expr->CallNewFeedbackSlot())); | 2518 __ Move(rdx, SmiFromSlot(expr->CallNewFeedbackSlot())); |
| 2531 | 2519 |
| 2532 CallConstructStub stub(isolate()); | 2520 CallConstructStub stub(isolate()); |
| 2533 __ Call(stub.GetCode(), RelocInfo::CODE_TARGET); | 2521 __ Call(stub.GetCode(), RelocInfo::CODE_TARGET); |
| 2534 OperandStackDepthDecrement(arg_count + 1); | 2522 OperandStackDepthDecrement(arg_count + 1); |
| 2535 PrepareForBailoutForId(expr->ReturnId(), BailoutState::TOS_REGISTER); | 2523 PrepareForBailoutForId(expr->ReturnId(), TOS_REG); |
| 2536 RestoreContext(); | 2524 RestoreContext(); |
| 2537 context()->Plug(rax); | 2525 context()->Plug(rax); |
| 2538 } | 2526 } |
| 2539 | 2527 |
| 2540 | 2528 |
| 2541 void FullCodeGenerator::EmitSuperConstructorCall(Call* expr) { | 2529 void FullCodeGenerator::EmitSuperConstructorCall(Call* expr) { |
| 2542 SuperCallReference* super_call_ref = | 2530 SuperCallReference* super_call_ref = |
| 2543 expr->expression()->AsSuperCallReference(); | 2531 expr->expression()->AsSuperCallReference(); |
| 2544 DCHECK_NOT_NULL(super_call_ref); | 2532 DCHECK_NOT_NULL(super_call_ref); |
| 2545 | 2533 |
| (...skipping 412 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2958 } | 2946 } |
| 2959 | 2947 |
| 2960 | 2948 |
| 2961 void FullCodeGenerator::EmitCall(CallRuntime* expr) { | 2949 void FullCodeGenerator::EmitCall(CallRuntime* expr) { |
| 2962 ZoneList<Expression*>* args = expr->arguments(); | 2950 ZoneList<Expression*>* args = expr->arguments(); |
| 2963 DCHECK_LE(2, args->length()); | 2951 DCHECK_LE(2, args->length()); |
| 2964 // Push target, receiver and arguments onto the stack. | 2952 // Push target, receiver and arguments onto the stack. |
| 2965 for (Expression* const arg : *args) { | 2953 for (Expression* const arg : *args) { |
| 2966 VisitForStackValue(arg); | 2954 VisitForStackValue(arg); |
| 2967 } | 2955 } |
| 2968 PrepareForBailoutForId(expr->CallId(), BailoutState::NO_REGISTERS); | 2956 PrepareForBailoutForId(expr->CallId(), NO_REGISTERS); |
| 2969 // Move target to rdi. | 2957 // Move target to rdi. |
| 2970 int const argc = args->length() - 2; | 2958 int const argc = args->length() - 2; |
| 2971 __ movp(rdi, Operand(rsp, (argc + 1) * kPointerSize)); | 2959 __ movp(rdi, Operand(rsp, (argc + 1) * kPointerSize)); |
| 2972 // Call the target. | 2960 // Call the target. |
| 2973 __ Set(rax, argc); | 2961 __ Set(rax, argc); |
| 2974 __ Call(isolate()->builtins()->Call(), RelocInfo::CODE_TARGET); | 2962 __ Call(isolate()->builtins()->Call(), RelocInfo::CODE_TARGET); |
| 2975 OperandStackDepthDecrement(argc + 1); | 2963 OperandStackDepthDecrement(argc + 1); |
| 2976 RestoreContext(); | 2964 RestoreContext(); |
| 2977 // Discard the function left on TOS. | 2965 // Discard the function left on TOS. |
| 2978 context()->DropAndPlug(1, rax); | 2966 context()->DropAndPlug(1, rax); |
| (...skipping 192 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3171 // because we need to prepare a pair of extra administrative AST ids | 3159 // because we need to prepare a pair of extra administrative AST ids |
| 3172 // for the optimizing compiler. | 3160 // for the optimizing compiler. |
| 3173 DCHECK(context()->IsAccumulatorValue() || context()->IsStackValue()); | 3161 DCHECK(context()->IsAccumulatorValue() || context()->IsStackValue()); |
| 3174 Label materialize_true, materialize_false, done; | 3162 Label materialize_true, materialize_false, done; |
| 3175 VisitForControl(expr->expression(), | 3163 VisitForControl(expr->expression(), |
| 3176 &materialize_false, | 3164 &materialize_false, |
| 3177 &materialize_true, | 3165 &materialize_true, |
| 3178 &materialize_true); | 3166 &materialize_true); |
| 3179 if (!context()->IsAccumulatorValue()) OperandStackDepthIncrement(1); | 3167 if (!context()->IsAccumulatorValue()) OperandStackDepthIncrement(1); |
| 3180 __ bind(&materialize_true); | 3168 __ bind(&materialize_true); |
| 3181 PrepareForBailoutForId(expr->MaterializeTrueId(), | 3169 PrepareForBailoutForId(expr->MaterializeTrueId(), NO_REGISTERS); |
| 3182 BailoutState::NO_REGISTERS); | |
| 3183 if (context()->IsAccumulatorValue()) { | 3170 if (context()->IsAccumulatorValue()) { |
| 3184 __ LoadRoot(rax, Heap::kTrueValueRootIndex); | 3171 __ LoadRoot(rax, Heap::kTrueValueRootIndex); |
| 3185 } else { | 3172 } else { |
| 3186 __ PushRoot(Heap::kTrueValueRootIndex); | 3173 __ PushRoot(Heap::kTrueValueRootIndex); |
| 3187 } | 3174 } |
| 3188 __ jmp(&done, Label::kNear); | 3175 __ jmp(&done, Label::kNear); |
| 3189 __ bind(&materialize_false); | 3176 __ bind(&materialize_false); |
| 3190 PrepareForBailoutForId(expr->MaterializeFalseId(), | 3177 PrepareForBailoutForId(expr->MaterializeFalseId(), NO_REGISTERS); |
| 3191 BailoutState::NO_REGISTERS); | |
| 3192 if (context()->IsAccumulatorValue()) { | 3178 if (context()->IsAccumulatorValue()) { |
| 3193 __ LoadRoot(rax, Heap::kFalseValueRootIndex); | 3179 __ LoadRoot(rax, Heap::kFalseValueRootIndex); |
| 3194 } else { | 3180 } else { |
| 3195 __ PushRoot(Heap::kFalseValueRootIndex); | 3181 __ PushRoot(Heap::kFalseValueRootIndex); |
| 3196 } | 3182 } |
| 3197 __ bind(&done); | 3183 __ bind(&done); |
| 3198 } | 3184 } |
| 3199 break; | 3185 break; |
| 3200 } | 3186 } |
| 3201 | 3187 |
| (...skipping 78 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3280 } | 3266 } |
| 3281 | 3267 |
| 3282 case VARIABLE: | 3268 case VARIABLE: |
| 3283 UNREACHABLE(); | 3269 UNREACHABLE(); |
| 3284 } | 3270 } |
| 3285 } | 3271 } |
| 3286 | 3272 |
| 3287 // We need a second deoptimization point after loading the value | 3273 // We need a second deoptimization point after loading the value |
| 3288 // in case evaluating the property load my have a side effect. | 3274 // in case evaluating the property load my have a side effect. |
| 3289 if (assign_type == VARIABLE) { | 3275 if (assign_type == VARIABLE) { |
| 3290 PrepareForBailout(expr->expression(), BailoutState::TOS_REGISTER); | 3276 PrepareForBailout(expr->expression(), TOS_REG); |
| 3291 } else { | 3277 } else { |
| 3292 PrepareForBailoutForId(prop->LoadId(), BailoutState::TOS_REGISTER); | 3278 PrepareForBailoutForId(prop->LoadId(), TOS_REG); |
| 3293 } | 3279 } |
| 3294 | 3280 |
| 3295 // Inline smi case if we are in a loop. | 3281 // Inline smi case if we are in a loop. |
| 3296 Label done, stub_call; | 3282 Label done, stub_call; |
| 3297 JumpPatchSite patch_site(masm_); | 3283 JumpPatchSite patch_site(masm_); |
| 3298 if (ShouldInlineSmiCase(expr->op())) { | 3284 if (ShouldInlineSmiCase(expr->op())) { |
| 3299 Label slow; | 3285 Label slow; |
| 3300 patch_site.EmitJumpIfNotSmi(rax, &slow, Label::kNear); | 3286 patch_site.EmitJumpIfNotSmi(rax, &slow, Label::kNear); |
| 3301 | 3287 |
| 3302 // Save result for postfix expressions. | 3288 // Save result for postfix expressions. |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3335 __ SmiSubConstant(rax, rax, Smi::FromInt(1), constraints, &done, | 3321 __ SmiSubConstant(rax, rax, Smi::FromInt(1), constraints, &done, |
| 3336 Label::kNear); | 3322 Label::kNear); |
| 3337 } | 3323 } |
| 3338 __ jmp(&stub_call, Label::kNear); | 3324 __ jmp(&stub_call, Label::kNear); |
| 3339 __ bind(&slow); | 3325 __ bind(&slow); |
| 3340 } | 3326 } |
| 3341 | 3327 |
| 3342 // Convert old value into a number. | 3328 // Convert old value into a number. |
| 3343 ToNumberStub convert_stub(isolate()); | 3329 ToNumberStub convert_stub(isolate()); |
| 3344 __ CallStub(&convert_stub); | 3330 __ CallStub(&convert_stub); |
| 3345 PrepareForBailoutForId(expr->ToNumberId(), BailoutState::TOS_REGISTER); | 3331 PrepareForBailoutForId(expr->ToNumberId(), TOS_REG); |
| 3346 | 3332 |
| 3347 // Save result for postfix expressions. | 3333 // Save result for postfix expressions. |
| 3348 if (expr->is_postfix()) { | 3334 if (expr->is_postfix()) { |
| 3349 if (!context()->IsEffect()) { | 3335 if (!context()->IsEffect()) { |
| 3350 // Save the result on the stack. If we have a named or keyed property | 3336 // Save the result on the stack. If we have a named or keyed property |
| 3351 // we store the result under the receiver that is currently on top | 3337 // we store the result under the receiver that is currently on top |
| 3352 // of the stack. | 3338 // of the stack. |
| 3353 switch (assign_type) { | 3339 switch (assign_type) { |
| 3354 case VARIABLE: | 3340 case VARIABLE: |
| 3355 PushOperand(rax); | 3341 PushOperand(rax); |
| (...skipping 27 matching lines...) Expand all Loading... |
| 3383 __ bind(&done); | 3369 __ bind(&done); |
| 3384 | 3370 |
| 3385 // Store the value returned in rax. | 3371 // Store the value returned in rax. |
| 3386 switch (assign_type) { | 3372 switch (assign_type) { |
| 3387 case VARIABLE: | 3373 case VARIABLE: |
| 3388 if (expr->is_postfix()) { | 3374 if (expr->is_postfix()) { |
| 3389 // Perform the assignment as if via '='. | 3375 // Perform the assignment as if via '='. |
| 3390 { EffectContext context(this); | 3376 { EffectContext context(this); |
| 3391 EmitVariableAssignment(expr->expression()->AsVariableProxy()->var(), | 3377 EmitVariableAssignment(expr->expression()->AsVariableProxy()->var(), |
| 3392 Token::ASSIGN, expr->CountSlot()); | 3378 Token::ASSIGN, expr->CountSlot()); |
| 3393 PrepareForBailoutForId(expr->AssignmentId(), | 3379 PrepareForBailoutForId(expr->AssignmentId(), TOS_REG); |
| 3394 BailoutState::TOS_REGISTER); | |
| 3395 context.Plug(rax); | 3380 context.Plug(rax); |
| 3396 } | 3381 } |
| 3397 // For all contexts except kEffect: We have the result on | 3382 // For all contexts except kEffect: We have the result on |
| 3398 // top of the stack. | 3383 // top of the stack. |
| 3399 if (!context()->IsEffect()) { | 3384 if (!context()->IsEffect()) { |
| 3400 context()->PlugTOS(); | 3385 context()->PlugTOS(); |
| 3401 } | 3386 } |
| 3402 } else { | 3387 } else { |
| 3403 // Perform the assignment as if via '='. | 3388 // Perform the assignment as if via '='. |
| 3404 EmitVariableAssignment(expr->expression()->AsVariableProxy()->var(), | 3389 EmitVariableAssignment(expr->expression()->AsVariableProxy()->var(), |
| 3405 Token::ASSIGN, expr->CountSlot()); | 3390 Token::ASSIGN, expr->CountSlot()); |
| 3406 PrepareForBailoutForId(expr->AssignmentId(), | 3391 PrepareForBailoutForId(expr->AssignmentId(), TOS_REG); |
| 3407 BailoutState::TOS_REGISTER); | |
| 3408 context()->Plug(rax); | 3392 context()->Plug(rax); |
| 3409 } | 3393 } |
| 3410 break; | 3394 break; |
| 3411 case NAMED_PROPERTY: { | 3395 case NAMED_PROPERTY: { |
| 3412 __ Move(StoreDescriptor::NameRegister(), | 3396 __ Move(StoreDescriptor::NameRegister(), |
| 3413 prop->key()->AsLiteral()->value()); | 3397 prop->key()->AsLiteral()->value()); |
| 3414 PopOperand(StoreDescriptor::ReceiverRegister()); | 3398 PopOperand(StoreDescriptor::ReceiverRegister()); |
| 3415 EmitLoadStoreICSlot(expr->CountSlot()); | 3399 EmitLoadStoreICSlot(expr->CountSlot()); |
| 3416 CallStoreIC(); | 3400 CallStoreIC(); |
| 3417 PrepareForBailoutForId(expr->AssignmentId(), BailoutState::TOS_REGISTER); | 3401 PrepareForBailoutForId(expr->AssignmentId(), TOS_REG); |
| 3418 if (expr->is_postfix()) { | 3402 if (expr->is_postfix()) { |
| 3419 if (!context()->IsEffect()) { | 3403 if (!context()->IsEffect()) { |
| 3420 context()->PlugTOS(); | 3404 context()->PlugTOS(); |
| 3421 } | 3405 } |
| 3422 } else { | 3406 } else { |
| 3423 context()->Plug(rax); | 3407 context()->Plug(rax); |
| 3424 } | 3408 } |
| 3425 break; | 3409 break; |
| 3426 } | 3410 } |
| 3427 case NAMED_SUPER_PROPERTY: { | 3411 case NAMED_SUPER_PROPERTY: { |
| (...skipping 18 matching lines...) Expand all Loading... |
| 3446 } | 3430 } |
| 3447 break; | 3431 break; |
| 3448 } | 3432 } |
| 3449 case KEYED_PROPERTY: { | 3433 case KEYED_PROPERTY: { |
| 3450 PopOperand(StoreDescriptor::NameRegister()); | 3434 PopOperand(StoreDescriptor::NameRegister()); |
| 3451 PopOperand(StoreDescriptor::ReceiverRegister()); | 3435 PopOperand(StoreDescriptor::ReceiverRegister()); |
| 3452 Handle<Code> ic = | 3436 Handle<Code> ic = |
| 3453 CodeFactory::KeyedStoreIC(isolate(), language_mode()).code(); | 3437 CodeFactory::KeyedStoreIC(isolate(), language_mode()).code(); |
| 3454 EmitLoadStoreICSlot(expr->CountSlot()); | 3438 EmitLoadStoreICSlot(expr->CountSlot()); |
| 3455 CallIC(ic); | 3439 CallIC(ic); |
| 3456 PrepareForBailoutForId(expr->AssignmentId(), BailoutState::TOS_REGISTER); | 3440 PrepareForBailoutForId(expr->AssignmentId(), TOS_REG); |
| 3457 if (expr->is_postfix()) { | 3441 if (expr->is_postfix()) { |
| 3458 if (!context()->IsEffect()) { | 3442 if (!context()->IsEffect()) { |
| 3459 context()->PlugTOS(); | 3443 context()->PlugTOS(); |
| 3460 } | 3444 } |
| 3461 } else { | 3445 } else { |
| 3462 context()->Plug(rax); | 3446 context()->Plug(rax); |
| 3463 } | 3447 } |
| 3464 break; | 3448 break; |
| 3465 } | 3449 } |
| 3466 } | 3450 } |
| (...skipping 360 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 3827 DCHECK_EQ( | 3811 DCHECK_EQ( |
| 3828 isolate->builtins()->OnStackReplacement()->entry(), | 3812 isolate->builtins()->OnStackReplacement()->entry(), |
| 3829 Assembler::target_address_at(call_target_address, unoptimized_code)); | 3813 Assembler::target_address_at(call_target_address, unoptimized_code)); |
| 3830 return ON_STACK_REPLACEMENT; | 3814 return ON_STACK_REPLACEMENT; |
| 3831 } | 3815 } |
| 3832 | 3816 |
| 3833 } // namespace internal | 3817 } // namespace internal |
| 3834 } // namespace v8 | 3818 } // namespace v8 |
| 3835 | 3819 |
| 3836 #endif // V8_TARGET_ARCH_X64 | 3820 #endif // V8_TARGET_ARCH_X64 |
| OLD | NEW |