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

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

Issue 137403009: Adding a type vector to replace type cells. (Closed) Base URL: https://v8.googlecode.com/svn/branches/bleeding_edge
Patch Set: Addressed feedback. Created 6 years, 10 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
« no previous file with comments | « src/x64/debug-x64.cc ('k') | test/cctest/test-heap.cc » ('j') | no next file with comments »
Toggle Intra-line Diffs ('i') | Expand Comments ('e') | Collapse Comments ('c') | Show Comments Hide Comments ('s')
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 rsi: our context 111 // o rsi: our context
112 // o rbp: our caller's frame pointer 112 // o rbp: our caller's frame pointer
113 // o rsp: stack pointer (pointing to return address) 113 // o rsp: 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-x64.h for its layout. 116 // frames-x64.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
122 InitializeFeedbackVector();
123
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 897 matching lines...) Expand 10 before | Expand all | Expand 10 after
1028 VisitStatements(clause->statements()); 1031 VisitStatements(clause->statements());
1029 } 1032 }
1030 1033
1031 __ bind(nested_statement.break_label()); 1034 __ bind(nested_statement.break_label());
1032 PrepareForBailoutForId(stmt->ExitId(), NO_REGISTERS); 1035 PrepareForBailoutForId(stmt->ExitId(), NO_REGISTERS);
1033 } 1036 }
1034 1037
1035 1038
1036 void FullCodeGenerator::VisitForInStatement(ForInStatement* stmt) { 1039 void FullCodeGenerator::VisitForInStatement(ForInStatement* stmt) {
1037 Comment cmnt(masm_, "[ ForInStatement"); 1040 Comment cmnt(masm_, "[ ForInStatement");
1041 int slot = stmt->ForInFeedbackSlot();
1038 SetStatementPosition(stmt); 1042 SetStatementPosition(stmt);
1039 1043
1040 Label loop, exit; 1044 Label loop, exit;
1041 ForIn loop_statement(this, stmt); 1045 ForIn loop_statement(this, stmt);
1042 increment_loop_depth(); 1046 increment_loop_depth();
1043 1047
1044 // Get the object to enumerate over. If the object is null or undefined, skip 1048 // Get the object to enumerate over. If the object is null or undefined, skip
1045 // over the loop. See ECMA-262 version 5, section 12.6.4. 1049 // over the loop. See ECMA-262 version 5, section 12.6.4.
1046 VisitForAccumulatorValue(stmt->enumerable()); 1050 VisitForAccumulatorValue(stmt->enumerable());
1047 __ CompareRoot(rax, Heap::kUndefinedValueRootIndex); 1051 __ CompareRoot(rax, Heap::kUndefinedValueRootIndex);
(...skipping 68 matching lines...) Expand 10 before | Expand all | Expand 10 after
1116 __ jmp(&loop); 1120 __ jmp(&loop);
1117 1121
1118 __ bind(&no_descriptors); 1122 __ bind(&no_descriptors);
1119 __ addq(rsp, Immediate(kPointerSize)); 1123 __ addq(rsp, Immediate(kPointerSize));
1120 __ jmp(&exit); 1124 __ jmp(&exit);
1121 1125
1122 // We got a fixed array in register rax. Iterate through that. 1126 // We got a fixed array in register rax. Iterate through that.
1123 Label non_proxy; 1127 Label non_proxy;
1124 __ bind(&fixed_array); 1128 __ bind(&fixed_array);
1125 1129
1126 Handle<Cell> cell = isolate()->factory()->NewCell( 1130 Handle<Object> feedback = Handle<Object>(
1127 Handle<Object>(Smi::FromInt(TypeFeedbackCells::kForInFastCaseMarker), 1131 Smi::FromInt(TypeFeedbackInfo::kForInFastCaseMarker),
1128 isolate())); 1132 isolate());
1129 RecordTypeFeedbackCell(stmt->ForInFeedbackId(), cell); 1133 StoreFeedbackVectorSlot(slot, feedback);
1130 __ Move(rbx, cell);
1131 __ Move(FieldOperand(rbx, Cell::kValueOffset),
1132 Smi::FromInt(TypeFeedbackCells::kForInSlowCaseMarker));
1133 1134
1135 // No need for a write barrier, we are storing a Smi in the feedback vector.
1136 __ Move(rbx, FeedbackVector());
1137 __ Move(FieldOperand(rbx, FixedArray::OffsetOfElementAt(slot)),
1138 Smi::FromInt(TypeFeedbackInfo::kForInSlowCaseMarker));
1134 __ Move(rbx, Smi::FromInt(1)); // Smi indicates slow check 1139 __ Move(rbx, Smi::FromInt(1)); // Smi indicates slow check
1135 __ movp(rcx, Operand(rsp, 0 * kPointerSize)); // Get enumerated object 1140 __ movp(rcx, Operand(rsp, 0 * kPointerSize)); // Get enumerated object
1136 STATIC_ASSERT(FIRST_JS_PROXY_TYPE == FIRST_SPEC_OBJECT_TYPE); 1141 STATIC_ASSERT(FIRST_JS_PROXY_TYPE == FIRST_SPEC_OBJECT_TYPE);
1137 __ CmpObjectType(rcx, LAST_JS_PROXY_TYPE, rcx); 1142 __ CmpObjectType(rcx, LAST_JS_PROXY_TYPE, rcx);
1138 __ j(above, &non_proxy); 1143 __ j(above, &non_proxy);
1139 __ Move(rbx, Smi::FromInt(0)); // Zero indicates proxy 1144 __ Move(rbx, Smi::FromInt(0)); // Zero indicates proxy
1140 __ bind(&non_proxy); 1145 __ bind(&non_proxy);
1141 __ push(rbx); // Smi 1146 __ push(rbx); // Smi
1142 __ push(rax); // Array 1147 __ push(rax); // Array
1143 __ movp(rax, FieldOperand(rax, FixedArray::kLengthOffset)); 1148 __ movp(rax, FieldOperand(rax, FixedArray::kLengthOffset));
(...skipping 1499 matching lines...) Expand 10 before | Expand all | Expand 10 after
2643 int arg_count = args->length(); 2648 int arg_count = args->length();
2644 { PreservePositionScope scope(masm()->positions_recorder()); 2649 { PreservePositionScope scope(masm()->positions_recorder());
2645 for (int i = 0; i < arg_count; i++) { 2650 for (int i = 0; i < arg_count; i++) {
2646 VisitForStackValue(args->at(i)); 2651 VisitForStackValue(args->at(i));
2647 } 2652 }
2648 } 2653 }
2649 // Record source position for debugger. 2654 // Record source position for debugger.
2650 SetSourcePosition(expr->position()); 2655 SetSourcePosition(expr->position());
2651 2656
2652 Handle<Object> uninitialized = 2657 Handle<Object> uninitialized =
2653 TypeFeedbackCells::UninitializedSentinel(isolate()); 2658 TypeFeedbackInfo::UninitializedSentinel(isolate());
2654 Handle<Cell> cell = isolate()->factory()->NewCell(uninitialized); 2659 StoreFeedbackVectorSlot(expr->CallFeedbackSlot(), uninitialized);
2655 RecordTypeFeedbackCell(expr->CallFeedbackId(), cell); 2660 __ Move(rbx, FeedbackVector());
2656 __ Move(rbx, cell); 2661 __ Move(rdx, Smi::FromInt(expr->CallFeedbackSlot()));
2657 2662
2658 // Record call targets in unoptimized code. 2663 // Record call targets in unoptimized code.
2659 CallFunctionStub stub(arg_count, RECORD_CALL_TARGET); 2664 CallFunctionStub stub(arg_count, RECORD_CALL_TARGET);
2660 __ movp(rdi, Operand(rsp, (arg_count + 1) * kPointerSize)); 2665 __ movp(rdi, Operand(rsp, (arg_count + 1) * kPointerSize));
2661 __ CallStub(&stub, expr->CallFeedbackId()); 2666 __ CallStub(&stub);
2662 RecordJSReturnSite(expr); 2667 RecordJSReturnSite(expr);
2663 // Restore context register. 2668 // Restore context register.
2664 __ movp(rsi, Operand(rbp, StandardFrameConstants::kContextOffset)); 2669 __ movp(rsi, Operand(rbp, StandardFrameConstants::kContextOffset));
2665 // Discard the function left on TOS. 2670 // Discard the function left on TOS.
2666 context()->DropAndPlug(1, rax); 2671 context()->DropAndPlug(1, rax);
2667 } 2672 }
2668 2673
2669 2674
2670 void FullCodeGenerator::EmitResolvePossiblyDirectEval(int arg_count) { 2675 void FullCodeGenerator::EmitResolvePossiblyDirectEval(int arg_count) {
2671 // Push copy of the first argument or undefined if it doesn't exist. 2676 // Push copy of the first argument or undefined if it doesn't exist.
(...skipping 151 matching lines...) Expand 10 before | Expand all | Expand 10 after
2823 // Call the construct call builtin that handles allocation and 2828 // Call the construct call builtin that handles allocation and
2824 // constructor invocation. 2829 // constructor invocation.
2825 SetSourcePosition(expr->position()); 2830 SetSourcePosition(expr->position());
2826 2831
2827 // Load function and argument count into rdi and rax. 2832 // Load function and argument count into rdi and rax.
2828 __ Set(rax, arg_count); 2833 __ Set(rax, arg_count);
2829 __ movp(rdi, Operand(rsp, arg_count * kPointerSize)); 2834 __ movp(rdi, Operand(rsp, arg_count * kPointerSize));
2830 2835
2831 // Record call targets in unoptimized code, but not in the snapshot. 2836 // Record call targets in unoptimized code, but not in the snapshot.
2832 Handle<Object> uninitialized = 2837 Handle<Object> uninitialized =
2833 TypeFeedbackCells::UninitializedSentinel(isolate()); 2838 TypeFeedbackInfo::UninitializedSentinel(isolate());
2834 Handle<Cell> cell = isolate()->factory()->NewCell(uninitialized); 2839 StoreFeedbackVectorSlot(expr->CallNewFeedbackSlot(), uninitialized);
2835 RecordTypeFeedbackCell(expr->CallNewFeedbackId(), cell); 2840 __ Move(rbx, FeedbackVector());
2836 __ Move(rbx, cell); 2841 __ Move(rdx, Smi::FromInt(expr->CallNewFeedbackSlot()));
2837 2842
2838 CallConstructStub stub(RECORD_CALL_TARGET); 2843 CallConstructStub stub(RECORD_CALL_TARGET);
2839 __ Call(stub.GetCode(isolate()), RelocInfo::CONSTRUCT_CALL); 2844 __ Call(stub.GetCode(isolate()), RelocInfo::CONSTRUCT_CALL);
2840 PrepareForBailoutForId(expr->ReturnId(), TOS_REG); 2845 PrepareForBailoutForId(expr->ReturnId(), TOS_REG);
2841 context()->Plug(rax); 2846 context()->Plug(rax);
2842 } 2847 }
2843 2848
2844 2849
2845 void FullCodeGenerator::EmitIsSmi(CallRuntime* expr) { 2850 void FullCodeGenerator::EmitIsSmi(CallRuntime* expr) {
2846 ZoneList<Expression*>* args = expr->arguments(); 2851 ZoneList<Expression*>* args = expr->arguments();
(...skipping 2060 matching lines...) Expand 10 before | Expand all | Expand 10 after
4907 4912
4908 ASSERT_EQ(isolate->builtins()->OsrAfterStackCheck()->entry(), 4913 ASSERT_EQ(isolate->builtins()->OsrAfterStackCheck()->entry(),
4909 Assembler::target_address_at(call_target_address)); 4914 Assembler::target_address_at(call_target_address));
4910 return OSR_AFTER_STACK_CHECK; 4915 return OSR_AFTER_STACK_CHECK;
4911 } 4916 }
4912 4917
4913 4918
4914 } } // namespace v8::internal 4919 } } // namespace v8::internal
4915 4920
4916 #endif // V8_TARGET_ARCH_X64 4921 #endif // V8_TARGET_ARCH_X64
OLDNEW
« no previous file with comments | « src/x64/debug-x64.cc ('k') | test/cctest/test-heap.cc » ('j') | no next file with comments »

Powered by Google App Engine
This is Rietveld 408576698