| OLD | NEW |
| 1 // Copyright 2011 the V8 project authors. All rights reserved. | 1 // Copyright 2011 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 58 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 69 | 69 |
| 70 Handle<Object> TypeFeedbackOracle::GetInfo(unsigned ast_id) { | 70 Handle<Object> TypeFeedbackOracle::GetInfo(unsigned ast_id) { |
| 71 int entry = dictionary_->FindEntry(ast_id); | 71 int entry = dictionary_->FindEntry(ast_id); |
| 72 return entry != NumberDictionary::kNotFound | 72 return entry != NumberDictionary::kNotFound |
| 73 ? Handle<Object>(dictionary_->ValueAt(entry)) | 73 ? Handle<Object>(dictionary_->ValueAt(entry)) |
| 74 : Isolate::Current()->factory()->undefined_value(); | 74 : Isolate::Current()->factory()->undefined_value(); |
| 75 } | 75 } |
| 76 | 76 |
| 77 | 77 |
| 78 bool TypeFeedbackOracle::LoadIsMonomorphicNormal(Property* expr) { | 78 bool TypeFeedbackOracle::LoadIsMonomorphicNormal(Property* expr) { |
| 79 Handle<Object> map_or_code(GetInfo(expr->id())); | 79 Handle<Object> map_or_code = GetInfo(expr->id()); |
| 80 if (map_or_code->IsMap()) return true; | 80 if (map_or_code->IsMap()) return true; |
| 81 if (map_or_code->IsCode()) { | 81 if (map_or_code->IsCode()) { |
| 82 Handle<Code> code = Handle<Code>::cast(map_or_code); | 82 Handle<Code> code = Handle<Code>::cast(map_or_code); |
| 83 return code->is_keyed_load_stub() && | 83 return code->is_keyed_load_stub() && |
| 84 code->ic_state() == MONOMORPHIC && | 84 code->ic_state() == MONOMORPHIC && |
| 85 Code::ExtractTypeFromFlags(code->flags()) == NORMAL && | 85 Code::ExtractTypeFromFlags(code->flags()) == NORMAL && |
| 86 code->FindFirstMap() != NULL; | 86 code->FindFirstMap() != NULL; |
| 87 } | 87 } |
| 88 return false; | 88 return false; |
| 89 } | 89 } |
| 90 | 90 |
| 91 | 91 |
| 92 bool TypeFeedbackOracle::LoadIsMegamorphicWithTypeInfo(Property* expr) { | 92 bool TypeFeedbackOracle::LoadIsMegamorphicWithTypeInfo(Property* expr) { |
| 93 Handle<Object> map_or_code(GetInfo(expr->id())); | 93 Handle<Object> map_or_code = GetInfo(expr->id()); |
| 94 if (map_or_code->IsCode()) { | 94 if (map_or_code->IsCode()) { |
| 95 Handle<Code> code = Handle<Code>::cast(map_or_code); | 95 Handle<Code> code = Handle<Code>::cast(map_or_code); |
| 96 Builtins* builtins = Isolate::Current()->builtins(); | 96 Builtins* builtins = Isolate::Current()->builtins(); |
| 97 return code->is_keyed_load_stub() && | 97 return code->is_keyed_load_stub() && |
| 98 *code != builtins->builtin(Builtins::kKeyedLoadIC_Generic) && | 98 *code != builtins->builtin(Builtins::kKeyedLoadIC_Generic) && |
| 99 code->ic_state() == MEGAMORPHIC; | 99 code->ic_state() == MEGAMORPHIC; |
| 100 } | 100 } |
| 101 return false; | 101 return false; |
| 102 } | 102 } |
| 103 | 103 |
| 104 | 104 |
| 105 bool TypeFeedbackOracle::StoreIsMonomorphicNormal(Expression* expr) { | 105 bool TypeFeedbackOracle::StoreIsMonomorphicNormal(Expression* expr) { |
| 106 Handle<Object> map_or_code(GetInfo(expr->id())); | 106 Handle<Object> map_or_code = GetInfo(expr->id()); |
| 107 if (map_or_code->IsMap()) return true; | 107 if (map_or_code->IsMap()) return true; |
| 108 if (map_or_code->IsCode()) { | 108 if (map_or_code->IsCode()) { |
| 109 Handle<Code> code = Handle<Code>::cast(map_or_code); | 109 Handle<Code> code = Handle<Code>::cast(map_or_code); |
| 110 return code->is_keyed_store_stub() && | 110 return code->is_keyed_store_stub() && |
| 111 code->ic_state() == MONOMORPHIC && | 111 code->ic_state() == MONOMORPHIC && |
| 112 Code::ExtractTypeFromFlags(code->flags()) == NORMAL; | 112 Code::ExtractTypeFromFlags(code->flags()) == NORMAL; |
| 113 } | 113 } |
| 114 return false; | 114 return false; |
| 115 } | 115 } |
| 116 | 116 |
| 117 | 117 |
| 118 bool TypeFeedbackOracle::StoreIsMegamorphicWithTypeInfo(Expression* expr) { | 118 bool TypeFeedbackOracle::StoreIsMegamorphicWithTypeInfo(Expression* expr) { |
| 119 Handle<Object> map_or_code(GetInfo(expr->id())); | 119 Handle<Object> map_or_code = GetInfo(expr->id()); |
| 120 if (map_or_code->IsCode()) { | 120 if (map_or_code->IsCode()) { |
| 121 Handle<Code> code = Handle<Code>::cast(map_or_code); | 121 Handle<Code> code = Handle<Code>::cast(map_or_code); |
| 122 Builtins* builtins = Isolate::Current()->builtins(); | 122 Builtins* builtins = Isolate::Current()->builtins(); |
| 123 return code->is_keyed_store_stub() && | 123 return code->is_keyed_store_stub() && |
| 124 *code != builtins->builtin(Builtins::kKeyedStoreIC_Generic) && | 124 *code != builtins->builtin(Builtins::kKeyedStoreIC_Generic) && |
| 125 *code != builtins->builtin(Builtins::kKeyedStoreIC_Generic_Strict) && | 125 *code != builtins->builtin(Builtins::kKeyedStoreIC_Generic_Strict) && |
| 126 code->ic_state() == MEGAMORPHIC; | 126 code->ic_state() == MEGAMORPHIC; |
| 127 } | 127 } |
| 128 return false; | 128 return false; |
| 129 } | 129 } |
| 130 | 130 |
| 131 | 131 |
| 132 bool TypeFeedbackOracle::CallIsMonomorphic(Call* expr) { | 132 bool TypeFeedbackOracle::CallIsMonomorphic(Call* expr) { |
| 133 Handle<Object> value = GetInfo(expr->id()); | 133 Handle<Object> value = GetInfo(expr->id()); |
| 134 return value->IsMap() || value->IsSmi(); | 134 return value->IsMap() || value->IsSmi() || value->IsJSFunction(); |
| 135 } | 135 } |
| 136 | 136 |
| 137 | 137 |
| 138 Handle<Map> TypeFeedbackOracle::LoadMonomorphicReceiverType(Property* expr) { | 138 Handle<Map> TypeFeedbackOracle::LoadMonomorphicReceiverType(Property* expr) { |
| 139 ASSERT(LoadIsMonomorphicNormal(expr)); | 139 ASSERT(LoadIsMonomorphicNormal(expr)); |
| 140 Handle<Object> map_or_code(GetInfo(expr->id())); | 140 Handle<Object> map_or_code = GetInfo(expr->id()); |
| 141 if (map_or_code->IsCode()) { | 141 if (map_or_code->IsCode()) { |
| 142 Handle<Code> code = Handle<Code>::cast(map_or_code); | 142 Handle<Code> code = Handle<Code>::cast(map_or_code); |
| 143 Map* first_map = code->FindFirstMap(); | 143 Map* first_map = code->FindFirstMap(); |
| 144 ASSERT(first_map != NULL); | 144 ASSERT(first_map != NULL); |
| 145 return Handle<Map>(first_map); | 145 return Handle<Map>(first_map); |
| 146 } | 146 } |
| 147 return Handle<Map>::cast(map_or_code); | 147 return Handle<Map>::cast(map_or_code); |
| 148 } | 148 } |
| 149 | 149 |
| 150 | 150 |
| 151 Handle<Map> TypeFeedbackOracle::StoreMonomorphicReceiverType(Expression* expr) { | 151 Handle<Map> TypeFeedbackOracle::StoreMonomorphicReceiverType(Expression* expr) { |
| 152 ASSERT(StoreIsMonomorphicNormal(expr)); | 152 ASSERT(StoreIsMonomorphicNormal(expr)); |
| 153 Handle<Object> map_or_code(GetInfo(expr->id())); | 153 Handle<Object> map_or_code = GetInfo(expr->id()); |
| 154 if (map_or_code->IsCode()) { | 154 if (map_or_code->IsCode()) { |
| 155 Handle<Code> code = Handle<Code>::cast(map_or_code); | 155 Handle<Code> code = Handle<Code>::cast(map_or_code); |
| 156 return Handle<Map>(code->FindFirstMap()); | 156 return Handle<Map>(code->FindFirstMap()); |
| 157 } | 157 } |
| 158 return Handle<Map>::cast(map_or_code); | 158 return Handle<Map>::cast(map_or_code); |
| 159 } | 159 } |
| 160 | 160 |
| 161 | 161 |
| 162 void TypeFeedbackOracle::LoadReceiverTypes(Property* expr, | 162 void TypeFeedbackOracle::LoadReceiverTypes(Property* expr, |
| 163 Handle<String> name, | 163 Handle<String> name, |
| (...skipping 32 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 196 | 196 |
| 197 | 197 |
| 198 CheckType TypeFeedbackOracle::GetCallCheckType(Call* expr) { | 198 CheckType TypeFeedbackOracle::GetCallCheckType(Call* expr) { |
| 199 Handle<Object> value = GetInfo(expr->id()); | 199 Handle<Object> value = GetInfo(expr->id()); |
| 200 if (!value->IsSmi()) return RECEIVER_MAP_CHECK; | 200 if (!value->IsSmi()) return RECEIVER_MAP_CHECK; |
| 201 CheckType check = static_cast<CheckType>(Smi::cast(*value)->value()); | 201 CheckType check = static_cast<CheckType>(Smi::cast(*value)->value()); |
| 202 ASSERT(check != RECEIVER_MAP_CHECK); | 202 ASSERT(check != RECEIVER_MAP_CHECK); |
| 203 return check; | 203 return check; |
| 204 } | 204 } |
| 205 | 205 |
| 206 |
| 206 Handle<JSObject> TypeFeedbackOracle::GetPrototypeForPrimitiveCheck( | 207 Handle<JSObject> TypeFeedbackOracle::GetPrototypeForPrimitiveCheck( |
| 207 CheckType check) { | 208 CheckType check) { |
| 208 JSFunction* function = NULL; | 209 JSFunction* function = NULL; |
| 209 switch (check) { | 210 switch (check) { |
| 210 case RECEIVER_MAP_CHECK: | 211 case RECEIVER_MAP_CHECK: |
| 211 UNREACHABLE(); | 212 UNREACHABLE(); |
| 212 break; | 213 break; |
| 213 case STRING_CHECK: | 214 case STRING_CHECK: |
| 214 function = global_context_->string_function(); | 215 function = global_context_->string_function(); |
| 215 break; | 216 break; |
| 216 case NUMBER_CHECK: | 217 case NUMBER_CHECK: |
| 217 function = global_context_->number_function(); | 218 function = global_context_->number_function(); |
| 218 break; | 219 break; |
| 219 case BOOLEAN_CHECK: | 220 case BOOLEAN_CHECK: |
| 220 function = global_context_->boolean_function(); | 221 function = global_context_->boolean_function(); |
| 221 break; | 222 break; |
| 222 } | 223 } |
| 223 ASSERT(function != NULL); | 224 ASSERT(function != NULL); |
| 224 return Handle<JSObject>(JSObject::cast(function->instance_prototype())); | 225 return Handle<JSObject>(JSObject::cast(function->instance_prototype())); |
| 225 } | 226 } |
| 226 | 227 |
| 227 | 228 |
| 229 Handle<JSFunction> TypeFeedbackOracle::GetCallTarget(Call* expr) { |
| 230 return Handle<JSFunction>::cast(GetInfo(expr->id())); |
| 231 } |
| 232 |
| 233 |
| 228 bool TypeFeedbackOracle::LoadIsBuiltin(Property* expr, Builtins::Name id) { | 234 bool TypeFeedbackOracle::LoadIsBuiltin(Property* expr, Builtins::Name id) { |
| 229 return *GetInfo(expr->id()) == | 235 return *GetInfo(expr->id()) == |
| 230 Isolate::Current()->builtins()->builtin(id); | 236 Isolate::Current()->builtins()->builtin(id); |
| 231 } | 237 } |
| 232 | 238 |
| 233 | 239 |
| 234 TypeInfo TypeFeedbackOracle::CompareType(CompareOperation* expr) { | 240 TypeInfo TypeFeedbackOracle::CompareType(CompareOperation* expr) { |
| 235 Handle<Object> object = GetInfo(expr->id()); | 241 Handle<Object> object = GetInfo(expr->id()); |
| 236 TypeInfo unknown = TypeInfo::Unknown(); | 242 TypeInfo unknown = TypeInfo::Unknown(); |
| 237 if (!object->IsCode()) return unknown; | 243 if (!object->IsCode()) return unknown; |
| (...skipping 243 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
| 481 byte* new_start) { | 487 byte* new_start) { |
| 482 for (int i = 0; i < infos->length(); i++) { | 488 for (int i = 0; i < infos->length(); i++) { |
| 483 RelocInfo* info = &(*infos)[i]; | 489 RelocInfo* info = &(*infos)[i]; |
| 484 info->set_pc(new_start + (info->pc() - old_start)); | 490 info->set_pc(new_start + (info->pc() - old_start)); |
| 485 } | 491 } |
| 486 } | 492 } |
| 487 | 493 |
| 488 | 494 |
| 489 void TypeFeedbackOracle::ProcessRelocInfos(ZoneList<RelocInfo>* infos) { | 495 void TypeFeedbackOracle::ProcessRelocInfos(ZoneList<RelocInfo>* infos) { |
| 490 for (int i = 0; i < infos->length(); i++) { | 496 for (int i = 0; i < infos->length(); i++) { |
| 497 Address target_address = (*infos)[i].target_address(); |
| 491 unsigned ast_id = static_cast<unsigned>((*infos)[i].data()); | 498 unsigned ast_id = static_cast<unsigned>((*infos)[i].data()); |
| 492 Code* target = Code::GetCodeFromTargetAddress((*infos)[i].target_address()); | 499 ProcessTargetAt(target_address, ast_id); |
| 493 ProcessTarget(ast_id, target); | |
| 494 } | 500 } |
| 495 } | 501 } |
| 496 | 502 |
| 497 | 503 |
| 498 void TypeFeedbackOracle::ProcessTarget(unsigned ast_id, Code* target) { | 504 void TypeFeedbackOracle::ProcessTargetAt(Address target_address, |
| 505 unsigned ast_id) { |
| 506 Code* target = Code::GetCodeFromTargetAddress(target_address); |
| 499 switch (target->kind()) { | 507 switch (target->kind()) { |
| 500 case Code::LOAD_IC: | 508 case Code::LOAD_IC: |
| 501 case Code::STORE_IC: | 509 case Code::STORE_IC: |
| 502 case Code::CALL_IC: | 510 case Code::CALL_IC: |
| 503 case Code::KEYED_CALL_IC: | 511 case Code::KEYED_CALL_IC: |
| 504 if (target->ic_state() == MONOMORPHIC) { | 512 if (target->ic_state() == MONOMORPHIC) { |
| 505 if (target->kind() == Code::CALL_IC && | 513 if (target->kind() == Code::CALL_IC && |
| 506 target->check_type() != RECEIVER_MAP_CHECK) { | 514 target->check_type() != RECEIVER_MAP_CHECK) { |
| 507 SetInfo(ast_id, Smi::FromInt(target->check_type())); | 515 SetInfo(ast_id, Smi::FromInt(target->check_type())); |
| 508 } else { | 516 } else { |
| 509 Object* map = target->FindFirstMap(); | 517 Object* map = target->FindFirstMap(); |
| 510 SetInfo(ast_id, map == NULL ? static_cast<Object*>(target) : map); | 518 SetInfo(ast_id, map == NULL ? static_cast<Object*>(target) : map); |
| 511 } | 519 } |
| 512 } else if (target->ic_state() == MEGAMORPHIC) { | 520 } else if (target->ic_state() == MEGAMORPHIC) { |
| 513 SetInfo(ast_id, target); | 521 SetInfo(ast_id, target); |
| 514 } | 522 } |
| 515 break; | 523 break; |
| 516 | 524 |
| 517 case Code::KEYED_LOAD_IC: | 525 case Code::KEYED_LOAD_IC: |
| 518 case Code::KEYED_STORE_IC: | 526 case Code::KEYED_STORE_IC: |
| 519 if (target->ic_state() == MONOMORPHIC || | 527 if (target->ic_state() == MONOMORPHIC || |
| 520 target->ic_state() == MEGAMORPHIC) { | 528 target->ic_state() == MEGAMORPHIC) { |
| 521 SetInfo(ast_id, target); | 529 SetInfo(ast_id, target); |
| 522 } | 530 } |
| 523 break; | 531 break; |
| 524 | 532 |
| 525 case Code::UNARY_OP_IC: | 533 case Code::UNARY_OP_IC: |
| 526 case Code::BINARY_OP_IC: | 534 case Code::BINARY_OP_IC: |
| 527 case Code::COMPARE_IC: | 535 case Code::COMPARE_IC: |
| 528 case Code::TO_BOOLEAN_IC: | 536 case Code::TO_BOOLEAN_IC: |
| 529 SetInfo(ast_id, target); | 537 SetInfo(ast_id, target); |
| 530 break; | 538 break; |
| 531 | 539 |
| 540 case Code::STUB: |
| 541 if (target->major_key() == CodeStub::CallFunction && |
| 542 target->has_function_cache()) { |
| 543 Object* value = CallFunctionStub::GetCachedValue(target_address); |
| 544 if (value->IsJSFunction()) { |
| 545 SetInfo(ast_id, value); |
| 546 } |
| 547 } |
| 548 break; |
| 549 |
| 532 default: | 550 default: |
| 533 break; | 551 break; |
| 534 } | 552 } |
| 535 } | 553 } |
| 536 | 554 |
| 537 | 555 |
| 538 void TypeFeedbackOracle::SetInfo(unsigned ast_id, Object* target) { | 556 void TypeFeedbackOracle::SetInfo(unsigned ast_id, Object* target) { |
| 539 ASSERT(dictionary_->FindEntry(ast_id) == NumberDictionary::kNotFound); | 557 ASSERT(dictionary_->FindEntry(ast_id) == NumberDictionary::kNotFound); |
| 540 MaybeObject* maybe_result = dictionary_->AtNumberPut(ast_id, target); | 558 MaybeObject* maybe_result = dictionary_->AtNumberPut(ast_id, target); |
| 541 USE(maybe_result); | 559 USE(maybe_result); |
| 542 #ifdef DEBUG | 560 #ifdef DEBUG |
| 543 Object* result = NULL; | 561 Object* result = NULL; |
| 544 // Dictionary has been allocated with sufficient size for all elements. | 562 // Dictionary has been allocated with sufficient size for all elements. |
| 545 ASSERT(maybe_result->ToObject(&result)); | 563 ASSERT(maybe_result->ToObject(&result)); |
| 546 ASSERT(*dictionary_ == result); | 564 ASSERT(*dictionary_ == result); |
| 547 #endif | 565 #endif |
| 548 } | 566 } |
| 549 | 567 |
| 550 } } // namespace v8::internal | 568 } } // namespace v8::internal |
| OLD | NEW |