| OLD | NEW |
| 1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
| 2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
| 3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
| 4 | 4 |
| 5 #include "src/ic/ic.h" | 5 #include "src/ic/ic.h" |
| 6 | 6 |
| 7 #include "src/accessors.h" | 7 #include "src/accessors.h" |
| 8 #include "src/api-arguments-inl.h" | 8 #include "src/api-arguments-inl.h" |
| 9 #include "src/api.h" | 9 #include "src/api.h" |
| 10 #include "src/arguments.h" | 10 #include "src/arguments.h" |
| (...skipping 27 matching lines...) Expand all Loading... |
| 38 case MONOMORPHIC: | 38 case MONOMORPHIC: |
| 39 return '1'; | 39 return '1'; |
| 40 case RECOMPUTE_HANDLER: | 40 case RECOMPUTE_HANDLER: |
| 41 return '^'; | 41 return '^'; |
| 42 case POLYMORPHIC: | 42 case POLYMORPHIC: |
| 43 return 'P'; | 43 return 'P'; |
| 44 case MEGAMORPHIC: | 44 case MEGAMORPHIC: |
| 45 return 'N'; | 45 return 'N'; |
| 46 case GENERIC: | 46 case GENERIC: |
| 47 return 'G'; | 47 return 'G'; |
| 48 | |
| 49 // We never see the debugger states here, because the state is | |
| 50 // computed from the original code - not the patched code. Let | |
| 51 // these cases fall through to the unreachable code below. | |
| 52 case DEBUG_STUB: | |
| 53 break; | |
| 54 } | 48 } |
| 55 UNREACHABLE(); | 49 UNREACHABLE(); |
| 56 return 0; | 50 return 0; |
| 57 } | 51 } |
| 58 | 52 |
| 59 | 53 |
| 60 const char* GetTransitionMarkModifier(KeyedAccessStoreMode mode) { | 54 const char* GetTransitionMarkModifier(KeyedAccessStoreMode mode) { |
| 61 if (mode == STORE_NO_TRANSITION_HANDLE_COW) return ".COW"; | 55 if (mode == STORE_NO_TRANSITION_HANDLE_COW) return ".COW"; |
| 62 if (mode == STORE_NO_TRANSITION_IGNORE_OUT_OF_BOUNDS) { | 56 if (mode == STORE_NO_TRANSITION_IGNORE_OUT_OF_BOUNDS) { |
| 63 return ".IGNORE_OOB"; | 57 return ".IGNORE_OOB"; |
| (...skipping 112 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 176 StackFrame* frame = it.frame(); | 170 StackFrame* frame = it.frame(); |
| 177 DCHECK(fp == frame->fp() && pc_address == frame->pc_address()); | 171 DCHECK(fp == frame->fp() && pc_address == frame->pc_address()); |
| 178 #endif | 172 #endif |
| 179 fp_ = fp; | 173 fp_ = fp; |
| 180 if (FLAG_enable_embedded_constant_pool) { | 174 if (FLAG_enable_embedded_constant_pool) { |
| 181 constant_pool_address_ = constant_pool; | 175 constant_pool_address_ = constant_pool; |
| 182 } | 176 } |
| 183 pc_address_ = StackFrame::ResolveReturnAddressLocation(pc_address); | 177 pc_address_ = StackFrame::ResolveReturnAddressLocation(pc_address); |
| 184 Code* target = this->target(); | 178 Code* target = this->target(); |
| 185 kind_ = target->kind(); | 179 kind_ = target->kind(); |
| 186 state_ = UseVector() ? nexus->StateFromFeedback() : target->ic_state(); | 180 state_ = UseVector() ? nexus->StateFromFeedback() : StateFromCode(target); |
| 187 old_state_ = state_; | 181 old_state_ = state_; |
| 188 extra_ic_state_ = target->extra_ic_state(); | 182 extra_ic_state_ = target->extra_ic_state(); |
| 189 } | 183 } |
| 190 | 184 |
| 185 InlineCacheState IC::StateFromCode(Code* code) { |
| 186 Isolate* isolate = code->GetIsolate(); |
| 187 switch (code->kind()) { |
| 188 case Code::BINARY_OP_IC: { |
| 189 BinaryOpICState state(isolate, code->extra_ic_state()); |
| 190 return state.GetICState(); |
| 191 } |
| 192 case Code::COMPARE_IC: { |
| 193 CompareICStub stub(isolate, code->extra_ic_state()); |
| 194 return stub.GetICState(); |
| 195 } |
| 196 case Code::TO_BOOLEAN_IC: { |
| 197 ToBooleanICStub stub(isolate, code->extra_ic_state()); |
| 198 return stub.GetICState(); |
| 199 } |
| 200 default: |
| 201 if (code->is_debug_stub()) return UNINITIALIZED; |
| 202 UNREACHABLE(); |
| 203 return UNINITIALIZED; |
| 204 } |
| 205 } |
| 191 | 206 |
| 192 SharedFunctionInfo* IC::GetSharedFunctionInfo() const { | 207 SharedFunctionInfo* IC::GetSharedFunctionInfo() const { |
| 193 // Compute the JavaScript frame for the frame pointer of this IC | 208 // Compute the JavaScript frame for the frame pointer of this IC |
| 194 // structure. We need this to be able to find the function | 209 // structure. We need this to be able to find the function |
| 195 // corresponding to the frame. | 210 // corresponding to the frame. |
| 196 StackFrameIterator it(isolate()); | 211 StackFrameIterator it(isolate()); |
| 197 while (it.frame()->fp() != this->fp()) it.Advance(); | 212 while (it.frame()->fp() != this->fp()) it.Advance(); |
| 198 if (FLAG_ignition && it.frame()->type() == StackFrame::STUB) { | 213 if (FLAG_ignition && it.frame()->type() == StackFrame::STUB) { |
| 199 // Advance over bytecode handler frame. | 214 // Advance over bytecode handler frame. |
| 200 // TODO(rmcilroy): Remove this once bytecode handlers don't need a frame. | 215 // TODO(rmcilroy): Remove this once bytecode handlers don't need a frame. |
| (...skipping 146 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 347 break; | 362 break; |
| 348 case MEGAMORPHIC: | 363 case MEGAMORPHIC: |
| 349 case GENERIC: | 364 case GENERIC: |
| 350 if (new_state == MEGAMORPHIC || new_state == GENERIC) break; | 365 if (new_state == MEGAMORPHIC || new_state == GENERIC) break; |
| 351 *generic_delta = -1; | 366 *generic_delta = -1; |
| 352 if (new_state == MONOMORPHIC || new_state == POLYMORPHIC) { | 367 if (new_state == MONOMORPHIC || new_state == POLYMORPHIC) { |
| 353 *polymorphic_delta = 1; | 368 *polymorphic_delta = 1; |
| 354 } | 369 } |
| 355 break; | 370 break; |
| 356 case RECOMPUTE_HANDLER: | 371 case RECOMPUTE_HANDLER: |
| 357 case DEBUG_STUB: | |
| 358 UNREACHABLE(); | 372 UNREACHABLE(); |
| 359 } | 373 } |
| 360 } | 374 } |
| 361 | 375 |
| 362 // static | 376 // static |
| 363 void IC::OnTypeFeedbackChanged(Isolate* isolate, Code* host) { | 377 void IC::OnTypeFeedbackChanged(Isolate* isolate, Code* host) { |
| 364 if (host->kind() != Code::FUNCTION) return; | 378 if (host->kind() != Code::FUNCTION) return; |
| 365 | 379 |
| 366 TypeFeedbackInfo* info = TypeFeedbackInfo::cast(host->type_feedback_info()); | 380 TypeFeedbackInfo* info = TypeFeedbackInfo::cast(host->type_feedback_info()); |
| 367 info->change_own_type_change_checksum(); | 381 info->change_own_type_change_checksum(); |
| 368 host->set_profiler_ticks(0); | 382 host->set_profiler_ticks(0); |
| 369 isolate->runtime_profiler()->NotifyICChanged(); | 383 isolate->runtime_profiler()->NotifyICChanged(); |
| 370 // TODO(2029): When an optimized function is patched, it would | 384 // TODO(2029): When an optimized function is patched, it would |
| 371 // be nice to propagate the corresponding type information to its | 385 // be nice to propagate the corresponding type information to its |
| 372 // unoptimized version for the benefit of later inlining. | 386 // unoptimized version for the benefit of later inlining. |
| 373 } | 387 } |
| 374 | 388 |
| 375 void IC::PostPatching(Address address, Code* target, Code* old_target) { | 389 void IC::PostPatching(Address address, Code* target, Code* old_target) { |
| 376 // Type vector based ICs update these statistics at a different time because | 390 // Type vector based ICs update these statistics at a different time because |
| 377 // they don't always patch on state change. | 391 // they don't always patch on state change. |
| 378 if (ICUseVector(target->kind())) return; | 392 if (ICUseVector(target->kind())) return; |
| 379 | 393 |
| 380 DCHECK(old_target->is_inline_cache_stub()); | 394 DCHECK(old_target->is_inline_cache_stub()); |
| 381 DCHECK(target->is_inline_cache_stub()); | 395 DCHECK(target->is_inline_cache_stub()); |
| 382 State old_state = old_target->ic_state(); | 396 State old_state = StateFromCode(old_target); |
| 383 State new_state = target->ic_state(); | 397 State new_state = StateFromCode(target); |
| 384 | 398 |
| 385 Isolate* isolate = target->GetIsolate(); | 399 Isolate* isolate = target->GetIsolate(); |
| 386 Code* host = | 400 Code* host = |
| 387 isolate->inner_pointer_to_code_cache()->GetCacheEntry(address)->code; | 401 isolate->inner_pointer_to_code_cache()->GetCacheEntry(address)->code; |
| 388 if (host->kind() != Code::FUNCTION) return; | 402 if (host->kind() != Code::FUNCTION) return; |
| 389 | 403 |
| 390 // Not all Code objects have TypeFeedbackInfo. | 404 // Not all Code objects have TypeFeedbackInfo. |
| 391 if (host->type_feedback_info()->IsTypeFeedbackInfo()) { | 405 if (host->type_feedback_info()->IsTypeFeedbackInfo()) { |
| 392 if (FLAG_type_info_threshold > 0) { | 406 if (FLAG_type_info_threshold > 0) { |
| 393 int polymorphic_delta = 0; // "Polymorphic" here includes monomorphic. | 407 int polymorphic_delta = 0; // "Polymorphic" here includes monomorphic. |
| (...skipping 393 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 787 } | 801 } |
| 788 DCHECK(UseVector()); | 802 DCHECK(UseVector()); |
| 789 ConfigureVectorState(MEGAMORPHIC, name); | 803 ConfigureVectorState(MEGAMORPHIC, name); |
| 790 // Fall through. | 804 // Fall through. |
| 791 case MEGAMORPHIC: | 805 case MEGAMORPHIC: |
| 792 UpdateMegamorphicCache(*receiver_map(), *name, *code); | 806 UpdateMegamorphicCache(*receiver_map(), *name, *code); |
| 793 // Indicate that we've handled this case. | 807 // Indicate that we've handled this case. |
| 794 DCHECK(UseVector()); | 808 DCHECK(UseVector()); |
| 795 vector_set_ = true; | 809 vector_set_ = true; |
| 796 break; | 810 break; |
| 797 case DEBUG_STUB: | |
| 798 break; | |
| 799 case GENERIC: | 811 case GENERIC: |
| 800 UNREACHABLE(); | 812 UNREACHABLE(); |
| 801 break; | 813 break; |
| 802 } | 814 } |
| 803 } | 815 } |
| 804 | 816 |
| 805 Handle<Code> LoadIC::initialize_stub_in_optimized_code( | 817 Handle<Code> LoadIC::initialize_stub_in_optimized_code( |
| 806 Isolate* isolate, ExtraICState extra_state) { | 818 Isolate* isolate, ExtraICState extra_state) { |
| 807 if (FLAG_tf_load_ic_stub) { | 819 if (FLAG_tf_load_ic_stub) { |
| 808 return LoadICTFStub(isolate, LoadICState(extra_state)).GetCode(); | 820 return LoadICTFStub(isolate, LoadICState(extra_state)).GetCode(); |
| (...skipping 2129 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 2938 DCHECK_EQ(FeedbackVectorSlotKind::KEYED_LOAD_IC, | 2950 DCHECK_EQ(FeedbackVectorSlotKind::KEYED_LOAD_IC, |
| 2939 vector->GetKind(vector_slot)); | 2951 vector->GetKind(vector_slot)); |
| 2940 KeyedLoadICNexus nexus(vector, vector_slot); | 2952 KeyedLoadICNexus nexus(vector, vector_slot); |
| 2941 KeyedLoadIC ic(IC::EXTRA_CALL_FRAME, isolate, &nexus); | 2953 KeyedLoadIC ic(IC::EXTRA_CALL_FRAME, isolate, &nexus); |
| 2942 ic.UpdateState(receiver, key); | 2954 ic.UpdateState(receiver, key); |
| 2943 RETURN_RESULT_OR_FAILURE(isolate, ic.Load(receiver, key)); | 2955 RETURN_RESULT_OR_FAILURE(isolate, ic.Load(receiver, key)); |
| 2944 } | 2956 } |
| 2945 } | 2957 } |
| 2946 } // namespace internal | 2958 } // namespace internal |
| 2947 } // namespace v8 | 2959 } // namespace v8 |
| OLD | NEW |