Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(1)

Side by Side Diff: src/ia32/full-codegen-ia32.cc

Issue 137403009: Adding a type vector to replace type cells. (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: Smarter vector allocation and refactoring. Created 6 years, 11 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View unified diff | Download patch | Annotate | Revision Log
OLDNEW
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 100 matching lines...) Expand 10 before | Expand all | Expand 10 after
111 // o esi: our context 111 // o esi: our context
112 // o ebp: our caller's frame pointer 112 // o ebp: our caller's frame pointer
113 // o esp: stack pointer (pointing to return address) 113 // o esp: stack pointer (pointing to return address)
114 // 114 //
115 // The function builds a JS frame. Please see JavaScriptFrameConstants in 115 // The function builds a JS frame. Please see JavaScriptFrameConstants in
116 // frames-ia32.h for its layout. 116 // frames-ia32.h for its layout.
117 void FullCodeGenerator::Generate() { 117 void FullCodeGenerator::Generate() {
118 CompilationInfo* info = info_; 118 CompilationInfo* info = info_;
119 handler_table_ = 119 handler_table_ =
120 isolate()->factory()->NewFixedArray(function()->handler_count(), TENURED); 120 isolate()->factory()->NewFixedArray(function()->handler_count(), TENURED);
121 feedback_wrapper_.Initialize(isolate(),
122 function()->minimum_feedback_slots(),
123 function()->maximum_feedback_slots());
121 profiling_counter_ = isolate()->factory()->NewCell( 124 profiling_counter_ = isolate()->factory()->NewCell(
122 Handle<Smi>(Smi::FromInt(FLAG_interrupt_budget), isolate())); 125 Handle<Smi>(Smi::FromInt(FLAG_interrupt_budget), isolate()));
123 SetFunctionPosition(function()); 126 SetFunctionPosition(function());
124 Comment cmnt(masm_, "[ function compiled by full code generator"); 127 Comment cmnt(masm_, "[ function compiled by full code generator");
125 128
126 ProfileEntryHookStub::MaybeCallEntryHook(masm_); 129 ProfileEntryHookStub::MaybeCallEntryHook(masm_);
127 130
128 #ifdef DEBUG 131 #ifdef DEBUG
129 if (strlen(FLAG_stop_at) > 0 && 132 if (strlen(FLAG_stop_at) > 0 &&
130 info->function()->name()->IsUtf8EqualTo(CStrVector(FLAG_stop_at))) { 133 info->function()->name()->IsUtf8EqualTo(CStrVector(FLAG_stop_at))) {
(...skipping 164 matching lines...) Expand 10 before | Expand all | Expand 10 after
295 ASSERT(loop_depth() == 0); 298 ASSERT(loop_depth() == 0);
296 } 299 }
297 } 300 }
298 301
299 // Always emit a 'return undefined' in case control fell off the end of 302 // Always emit a 'return undefined' in case control fell off the end of
300 // the body. 303 // the body.
301 { Comment cmnt(masm_, "[ return <undefined>;"); 304 { Comment cmnt(masm_, "[ return <undefined>;");
302 __ mov(eax, isolate()->factory()->undefined_value()); 305 __ mov(eax, isolate()->factory()->undefined_value());
303 EmitReturnSequence(); 306 EmitReturnSequence();
304 } 307 }
308
309 feedback_wrapper_.Finalize(isolate());
305 } 310 }
306 311
307 312
308 void FullCodeGenerator::ClearAccumulator() { 313 void FullCodeGenerator::ClearAccumulator() {
309 __ Set(eax, Immediate(Smi::FromInt(0))); 314 __ Set(eax, Immediate(Smi::FromInt(0)));
310 } 315 }
311 316
312 317
313 void FullCodeGenerator::EmitProfilingCounterDecrement(int delta) { 318 void FullCodeGenerator::EmitProfilingCounterDecrement(int delta) {
314 __ mov(ebx, Immediate(profiling_counter_)); 319 __ mov(ebx, Immediate(profiling_counter_));
(...skipping 697 matching lines...) Expand 10 before | Expand all | Expand 10 after
1012 VisitStatements(clause->statements()); 1017 VisitStatements(clause->statements());
1013 } 1018 }
1014 1019
1015 __ bind(nested_statement.break_label()); 1020 __ bind(nested_statement.break_label());
1016 PrepareForBailoutForId(stmt->ExitId(), NO_REGISTERS); 1021 PrepareForBailoutForId(stmt->ExitId(), NO_REGISTERS);
1017 } 1022 }
1018 1023
1019 1024
1020 void FullCodeGenerator::VisitForInStatement(ForInStatement* stmt) { 1025 void FullCodeGenerator::VisitForInStatement(ForInStatement* stmt) {
1021 Comment cmnt(masm_, "[ ForInStatement"); 1026 Comment cmnt(masm_, "[ ForInStatement");
1027 feedback_wrapper_.Visit(isolate(), stmt);
1028 int slot = stmt->ForInFeedbackSlot();
1029
1022 SetStatementPosition(stmt); 1030 SetStatementPosition(stmt);
1023 1031
1024 Label loop, exit; 1032 Label loop, exit;
1025 ForIn loop_statement(this, stmt); 1033 ForIn loop_statement(this, stmt);
1026 increment_loop_depth(); 1034 increment_loop_depth();
1027 1035
1028 // Get the object to enumerate over. If the object is null or undefined, skip 1036 // Get the object to enumerate over. If the object is null or undefined, skip
1029 // over the loop. See ECMA-262 version 5, section 12.6.4. 1037 // over the loop. See ECMA-262 version 5, section 12.6.4.
1030 VisitForAccumulatorValue(stmt->enumerable()); 1038 VisitForAccumulatorValue(stmt->enumerable());
1031 __ cmp(eax, isolate()->factory()->undefined_value()); 1039 __ cmp(eax, isolate()->factory()->undefined_value());
(...skipping 58 matching lines...) Expand 10 before | Expand all | Expand 10 after
1090 __ jmp(&loop); 1098 __ jmp(&loop);
1091 1099
1092 __ bind(&no_descriptors); 1100 __ bind(&no_descriptors);
1093 __ add(esp, Immediate(kPointerSize)); 1101 __ add(esp, Immediate(kPointerSize));
1094 __ jmp(&exit); 1102 __ jmp(&exit);
1095 1103
1096 // We got a fixed array in register eax. Iterate through that. 1104 // We got a fixed array in register eax. Iterate through that.
1097 Label non_proxy; 1105 Label non_proxy;
1098 __ bind(&fixed_array); 1106 __ bind(&fixed_array);
1099 1107
1100 Handle<Cell> cell = isolate()->factory()->NewCell( 1108 Handle<Object> feedback = Handle<Object>(
1101 Handle<Object>(Smi::FromInt(TypeFeedbackCells::kForInFastCaseMarker), 1109 Smi::FromInt(TypeFeedbackInfo::kForInFastCaseMarker),
1102 isolate())); 1110 isolate());
1103 RecordTypeFeedbackCell(stmt->ForInFeedbackId(), cell); 1111 StoreFeedbackVectorSlot(slot, feedback);
1104 __ LoadHeapObject(ebx, cell); 1112
1105 __ mov(FieldOperand(ebx, Cell::kValueOffset), 1113 // No need for a write barrier, we are storing a Smi in the feedback vector.
1106 Immediate(Smi::FromInt(TypeFeedbackCells::kForInSlowCaseMarker))); 1114 __ LoadHeapObject(ebx, FeedbackVector());
1115 __ mov(FieldOperand(ebx, FixedArray::OffsetOfElementAt(slot)),
1116 Immediate(Smi::FromInt(TypeFeedbackInfo::kForInSlowCaseMarker)));
1107 1117
1108 __ mov(ebx, Immediate(Smi::FromInt(1))); // Smi indicates slow check 1118 __ mov(ebx, Immediate(Smi::FromInt(1))); // Smi indicates slow check
1109 __ mov(ecx, Operand(esp, 0 * kPointerSize)); // Get enumerated object 1119 __ mov(ecx, Operand(esp, 0 * kPointerSize)); // Get enumerated object
1110 STATIC_ASSERT(FIRST_JS_PROXY_TYPE == FIRST_SPEC_OBJECT_TYPE); 1120 STATIC_ASSERT(FIRST_JS_PROXY_TYPE == FIRST_SPEC_OBJECT_TYPE);
1111 __ CmpObjectType(ecx, LAST_JS_PROXY_TYPE, ecx); 1121 __ CmpObjectType(ecx, LAST_JS_PROXY_TYPE, ecx);
1112 __ j(above, &non_proxy); 1122 __ j(above, &non_proxy);
1113 __ Set(ebx, Immediate(Smi::FromInt(0))); // Zero indicates proxy 1123 __ Set(ebx, Immediate(Smi::FromInt(0))); // Zero indicates proxy
1114 __ bind(&non_proxy); 1124 __ bind(&non_proxy);
1115 __ push(ebx); // Smi 1125 __ push(ebx); // Smi
1116 __ push(eax); // Array 1126 __ push(eax); // Array
(...skipping 1502 matching lines...) Expand 10 before | Expand all | Expand 10 after
2619 int arg_count = args->length(); 2629 int arg_count = args->length();
2620 { PreservePositionScope scope(masm()->positions_recorder()); 2630 { PreservePositionScope scope(masm()->positions_recorder());
2621 for (int i = 0; i < arg_count; i++) { 2631 for (int i = 0; i < arg_count; i++) {
2622 VisitForStackValue(args->at(i)); 2632 VisitForStackValue(args->at(i));
2623 } 2633 }
2624 } 2634 }
2625 // Record source position for debugger. 2635 // Record source position for debugger.
2626 SetSourcePosition(expr->position()); 2636 SetSourcePosition(expr->position());
2627 2637
2628 Handle<Object> uninitialized = 2638 Handle<Object> uninitialized =
2629 TypeFeedbackCells::UninitializedSentinel(isolate()); 2639 TypeFeedbackInfo::UninitializedSentinel(isolate());
2630 Handle<Cell> cell = isolate()->factory()->NewCell(uninitialized); 2640 StoreFeedbackVectorSlot(expr->CallFeedbackSlot(), uninitialized);
2631 RecordTypeFeedbackCell(expr->CallFeedbackId(), cell); 2641 __ LoadHeapObject(ebx, FeedbackVector());
2632 __ mov(ebx, cell); 2642 __ mov(edx, Immediate(Smi::FromInt(expr->CallFeedbackSlot())));
2633 2643
2634 // Record call targets in unoptimized code. 2644 // Record call targets in unoptimized code.
2635 CallFunctionStub stub(arg_count, RECORD_CALL_TARGET); 2645 CallFunctionStub stub(arg_count, RECORD_CALL_TARGET);
2636 __ mov(edi, Operand(esp, (arg_count + 1) * kPointerSize)); 2646 __ mov(edi, Operand(esp, (arg_count + 1) * kPointerSize));
2637 __ CallStub(&stub, expr->CallFeedbackId()); 2647 __ CallStub(&stub, expr->CallFeedbackId());
2638 2648
2639 RecordJSReturnSite(expr); 2649 RecordJSReturnSite(expr);
2640 // Restore context register. 2650 // Restore context register.
2641 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset)); 2651 __ mov(esi, Operand(ebp, StandardFrameConstants::kContextOffset));
2642 context()->DropAndPlug(1, eax); 2652 context()->DropAndPlug(1, eax);
(...skipping 22 matching lines...) Expand all
2665 2675
2666 2676
2667 void FullCodeGenerator::VisitCall(Call* expr) { 2677 void FullCodeGenerator::VisitCall(Call* expr) {
2668 #ifdef DEBUG 2678 #ifdef DEBUG
2669 // We want to verify that RecordJSReturnSite gets called on all paths 2679 // We want to verify that RecordJSReturnSite gets called on all paths
2670 // through this function. Avoid early returns. 2680 // through this function. Avoid early returns.
2671 expr->return_is_recorded_ = false; 2681 expr->return_is_recorded_ = false;
2672 #endif 2682 #endif
2673 2683
2674 Comment cmnt(masm_, "[ Call"); 2684 Comment cmnt(masm_, "[ Call");
2685 feedback_wrapper_.Visit(isolate(), expr);
2686
2675 Expression* callee = expr->expression(); 2687 Expression* callee = expr->expression();
2676 Call::CallType call_type = expr->GetCallType(isolate()); 2688 Call::CallType call_type = expr->GetCallType(isolate());
2677 2689
2678 if (call_type == Call::POSSIBLY_EVAL_CALL) { 2690 if (call_type == Call::POSSIBLY_EVAL_CALL) {
2679 // In a call to eval, we first call %ResolvePossiblyDirectEval to 2691 // In a call to eval, we first call %ResolvePossiblyDirectEval to
2680 // resolve the function we need to call and the receiver of the call. 2692 // resolve the function we need to call and the receiver of the call.
2681 // Then we call the resolved function using the given arguments. 2693 // Then we call the resolved function using the given arguments.
2682 ZoneList<Expression*>* args = expr->arguments(); 2694 ZoneList<Expression*>* args = expr->arguments();
2683 int arg_count = args->length(); 2695 int arg_count = args->length();
2684 { PreservePositionScope pos_scope(masm()->positions_recorder()); 2696 { PreservePositionScope pos_scope(masm()->positions_recorder());
(...skipping 92 matching lines...) Expand 10 before | Expand all | Expand 10 after
2777 2789
2778 #ifdef DEBUG 2790 #ifdef DEBUG
2779 // RecordJSReturnSite should have been called. 2791 // RecordJSReturnSite should have been called.
2780 ASSERT(expr->return_is_recorded_); 2792 ASSERT(expr->return_is_recorded_);
2781 #endif 2793 #endif
2782 } 2794 }
2783 2795
2784 2796
2785 void FullCodeGenerator::VisitCallNew(CallNew* expr) { 2797 void FullCodeGenerator::VisitCallNew(CallNew* expr) {
2786 Comment cmnt(masm_, "[ CallNew"); 2798 Comment cmnt(masm_, "[ CallNew");
2799 feedback_wrapper_.Visit(isolate(), expr);
2800
2787 // According to ECMA-262, section 11.2.2, page 44, the function 2801 // According to ECMA-262, section 11.2.2, page 44, the function
2788 // expression in new calls must be evaluated before the 2802 // expression in new calls must be evaluated before the
2789 // arguments. 2803 // arguments.
2790 2804
2791 // Push constructor on the stack. If it's not a function it's used as 2805 // Push constructor on the stack. If it's not a function it's used as
2792 // receiver for CALL_NON_FUNCTION, otherwise the value on the stack is 2806 // receiver for CALL_NON_FUNCTION, otherwise the value on the stack is
2793 // ignored. 2807 // ignored.
2794 VisitForStackValue(expr->expression()); 2808 VisitForStackValue(expr->expression());
2795 2809
2796 // Push the arguments ("left-to-right") on the stack. 2810 // Push the arguments ("left-to-right") on the stack.
2797 ZoneList<Expression*>* args = expr->arguments(); 2811 ZoneList<Expression*>* args = expr->arguments();
2798 int arg_count = args->length(); 2812 int arg_count = args->length();
2799 for (int i = 0; i < arg_count; i++) { 2813 for (int i = 0; i < arg_count; i++) {
2800 VisitForStackValue(args->at(i)); 2814 VisitForStackValue(args->at(i));
2801 } 2815 }
2802 2816
2803 // Call the construct call builtin that handles allocation and 2817 // Call the construct call builtin that handles allocation and
2804 // constructor invocation. 2818 // constructor invocation.
2805 SetSourcePosition(expr->position()); 2819 SetSourcePosition(expr->position());
2806 2820
2807 // Load function and argument count into edi and eax. 2821 // Load function and argument count into edi and eax.
2808 __ Set(eax, Immediate(arg_count)); 2822 __ Set(eax, Immediate(arg_count));
2809 __ mov(edi, Operand(esp, arg_count * kPointerSize)); 2823 __ mov(edi, Operand(esp, arg_count * kPointerSize));
2810 2824
2811 // Record call targets in unoptimized code. 2825 // Record call targets in unoptimized code.
2812 Handle<Object> uninitialized = 2826 Handle<Object> uninitialized =
2813 TypeFeedbackCells::UninitializedSentinel(isolate()); 2827 TypeFeedbackInfo::UninitializedSentinel(isolate());
2814 Handle<Cell> cell = isolate()->factory()->NewCell(uninitialized); 2828 StoreFeedbackVectorSlot(expr->CallNewFeedbackSlot(), uninitialized);
2815 RecordTypeFeedbackCell(expr->CallNewFeedbackId(), cell); 2829 __ LoadHeapObject(ebx, FeedbackVector());
2816 __ mov(ebx, cell); 2830 __ mov(edx, Immediate(Smi::FromInt(expr->CallNewFeedbackSlot())));
2817 2831
2818 CallConstructStub stub(RECORD_CALL_TARGET); 2832 CallConstructStub stub(RECORD_CALL_TARGET);
2819 __ call(stub.GetCode(isolate()), RelocInfo::CONSTRUCT_CALL); 2833 __ call(stub.GetCode(isolate()), RelocInfo::CONSTRUCT_CALL);
2820 PrepareForBailoutForId(expr->ReturnId(), TOS_REG); 2834 PrepareForBailoutForId(expr->ReturnId(), TOS_REG);
2821 context()->Plug(eax); 2835 context()->Plug(eax);
2822 } 2836 }
2823 2837
2824 2838
2825 void FullCodeGenerator::EmitIsSmi(CallRuntime* expr) { 2839 void FullCodeGenerator::EmitIsSmi(CallRuntime* expr) {
2826 ZoneList<Expression*>* args = expr->arguments(); 2840 ZoneList<Expression*>* args = expr->arguments();
(...skipping 2074 matching lines...) Expand 10 before | Expand all | Expand 10 after
4901 4915
4902 ASSERT_EQ(isolate->builtins()->OsrAfterStackCheck()->entry(), 4916 ASSERT_EQ(isolate->builtins()->OsrAfterStackCheck()->entry(),
4903 Assembler::target_address_at(call_target_address)); 4917 Assembler::target_address_at(call_target_address));
4904 return OSR_AFTER_STACK_CHECK; 4918 return OSR_AFTER_STACK_CHECK;
4905 } 4919 }
4906 4920
4907 4921
4908 } } // namespace v8::internal 4922 } } // namespace v8::internal
4909 4923
4910 #endif // V8_TARGET_ARCH_IA32 4924 #endif // V8_TARGET_ARCH_IA32
OLDNEW
« src/ia32/code-stubs-ia32.cc ('K') | « src/ia32/debug-ia32.cc ('k') | src/objects.h » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698