| OLD | NEW | 
|---|
| 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 44 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 55   } else { | 55   } else { | 
| 56     info = TypeInfo::Unknown(); | 56     info = TypeInfo::Unknown(); | 
| 57   } | 57   } | 
| 58   return info; | 58   return info; | 
| 59 } | 59 } | 
| 60 | 60 | 
| 61 | 61 | 
| 62 TypeFeedbackOracle::TypeFeedbackOracle(Handle<Code> code, | 62 TypeFeedbackOracle::TypeFeedbackOracle(Handle<Code> code, | 
| 63                                        Handle<Context> native_context, | 63                                        Handle<Context> native_context, | 
| 64                                        Isolate* isolate, | 64                                        Isolate* isolate, | 
| 65                                        Zone* zone) { | 65                                        Zone* zone) | 
| 66   native_context_ = native_context; | 66     : native_context_(native_context), | 
| 67   isolate_ = isolate; | 67       isolate_(isolate), | 
| 68   zone_ = zone; | 68       zone_(zone) { | 
| 69   BuildDictionary(code); | 69   BuildDictionary(code); | 
| 70   ASSERT(reinterpret_cast<Address>(*dictionary_.location()) != kHandleZapValue); | 70   ASSERT(reinterpret_cast<Address>(*dictionary_.location()) != kHandleZapValue); | 
| 71 } | 71 } | 
| 72 | 72 | 
| 73 | 73 | 
| 74 static uint32_t IdToKey(TypeFeedbackId ast_id) { | 74 static uint32_t IdToKey(TypeFeedbackId ast_id) { | 
| 75   return static_cast<uint32_t>(ast_id.ToInt()); | 75   return static_cast<uint32_t>(ast_id.ToInt()); | 
| 76 } | 76 } | 
| 77 | 77 | 
| 78 | 78 | 
| (...skipping 81 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 160   Handle<Object> value = GetInfo(expr->CallFeedbackId()); | 160   Handle<Object> value = GetInfo(expr->CallFeedbackId()); | 
| 161   return value->IsMap() || value->IsSmi() || value->IsJSFunction(); | 161   return value->IsMap() || value->IsSmi() || value->IsJSFunction(); | 
| 162 } | 162 } | 
| 163 | 163 | 
| 164 | 164 | 
| 165 bool TypeFeedbackOracle::CallNewIsMonomorphic(CallNew* expr) { | 165 bool TypeFeedbackOracle::CallNewIsMonomorphic(CallNew* expr) { | 
| 166   Handle<Object> info = GetInfo(expr->CallNewFeedbackId()); | 166   Handle<Object> info = GetInfo(expr->CallNewFeedbackId()); | 
| 167   if (info->IsSmi()) { | 167   if (info->IsSmi()) { | 
| 168     ASSERT(static_cast<ElementsKind>(Smi::cast(*info)->value()) <= | 168     ASSERT(static_cast<ElementsKind>(Smi::cast(*info)->value()) <= | 
| 169            LAST_FAST_ELEMENTS_KIND); | 169            LAST_FAST_ELEMENTS_KIND); | 
| 170     return Isolate::Current()->global_context()->array_function(); | 170     return isolate_->global_context()->array_function(); | 
| 171   } | 171   } | 
| 172   return info->IsJSFunction(); | 172   return info->IsJSFunction(); | 
| 173 } | 173 } | 
| 174 | 174 | 
| 175 | 175 | 
| 176 bool TypeFeedbackOracle::ObjectLiteralStoreIsMonomorphic( | 176 bool TypeFeedbackOracle::ObjectLiteralStoreIsMonomorphic( | 
| 177     ObjectLiteral::Property* prop) { | 177     ObjectLiteral::Property* prop) { | 
| 178   Handle<Object> map_or_code = GetInfo(prop->key()->LiteralFeedbackId()); | 178   Handle<Object> map_or_code = GetInfo(prop->key()->LiteralFeedbackId()); | 
| 179   return map_or_code->IsMap(); | 179   return map_or_code->IsMap(); | 
| 180 } | 180 } | 
| (...skipping 122 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 303 Handle<JSFunction> TypeFeedbackOracle::GetCallTarget(Call* expr) { | 303 Handle<JSFunction> TypeFeedbackOracle::GetCallTarget(Call* expr) { | 
| 304   return Handle<JSFunction>::cast(GetInfo(expr->CallFeedbackId())); | 304   return Handle<JSFunction>::cast(GetInfo(expr->CallFeedbackId())); | 
| 305 } | 305 } | 
| 306 | 306 | 
| 307 | 307 | 
| 308 Handle<JSFunction> TypeFeedbackOracle::GetCallNewTarget(CallNew* expr) { | 308 Handle<JSFunction> TypeFeedbackOracle::GetCallNewTarget(CallNew* expr) { | 
| 309   Handle<Object> info = GetInfo(expr->CallNewFeedbackId()); | 309   Handle<Object> info = GetInfo(expr->CallNewFeedbackId()); | 
| 310   if (info->IsSmi()) { | 310   if (info->IsSmi()) { | 
| 311     ASSERT(static_cast<ElementsKind>(Smi::cast(*info)->value()) <= | 311     ASSERT(static_cast<ElementsKind>(Smi::cast(*info)->value()) <= | 
| 312            LAST_FAST_ELEMENTS_KIND); | 312            LAST_FAST_ELEMENTS_KIND); | 
| 313     return Handle<JSFunction>(Isolate::Current()->global_context()-> | 313     return Handle<JSFunction>(isolate_->global_context()->array_function()); | 
| 314                               array_function()); |  | 
| 315   } else { | 314   } else { | 
| 316     return Handle<JSFunction>::cast(info); | 315     return Handle<JSFunction>::cast(info); | 
| 317   } | 316   } | 
| 318 } | 317 } | 
| 319 | 318 | 
| 320 | 319 | 
| 321 ElementsKind TypeFeedbackOracle::GetCallNewElementsKind(CallNew* expr) { | 320 ElementsKind TypeFeedbackOracle::GetCallNewElementsKind(CallNew* expr) { | 
| 322   Handle<Object> info = GetInfo(expr->CallNewFeedbackId()); | 321   Handle<Object> info = GetInfo(expr->CallNewFeedbackId()); | 
| 323   if (info->IsSmi()) { | 322   if (info->IsSmi()) { | 
| 324     return static_cast<ElementsKind>(Smi::cast(*info)->value()); | 323     return static_cast<ElementsKind>(Smi::cast(*info)->value()); | 
| (...skipping 306 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 631 } | 630 } | 
| 632 | 631 | 
| 633 | 632 | 
| 634 // Things are a bit tricky here: The iterator for the RelocInfos and the infos | 633 // Things are a bit tricky here: The iterator for the RelocInfos and the infos | 
| 635 // themselves are not GC-safe, so we first get all infos, then we create the | 634 // themselves are not GC-safe, so we first get all infos, then we create the | 
| 636 // dictionary (possibly triggering GC), and finally we relocate the collected | 635 // dictionary (possibly triggering GC), and finally we relocate the collected | 
| 637 // infos before we process them. | 636 // infos before we process them. | 
| 638 void TypeFeedbackOracle::BuildDictionary(Handle<Code> code) { | 637 void TypeFeedbackOracle::BuildDictionary(Handle<Code> code) { | 
| 639   AssertNoAllocation no_allocation; | 638   AssertNoAllocation no_allocation; | 
| 640   ZoneList<RelocInfo> infos(16, zone()); | 639   ZoneList<RelocInfo> infos(16, zone()); | 
| 641   HandleScope scope(code->GetIsolate()); | 640   HandleScope scope(isolate_); | 
| 642   GetRelocInfos(code, &infos); | 641   GetRelocInfos(code, &infos); | 
| 643   CreateDictionary(code, &infos); | 642   CreateDictionary(code, &infos); | 
| 644   ProcessRelocInfos(&infos); | 643   ProcessRelocInfos(&infos); | 
| 645   ProcessTypeFeedbackCells(code); | 644   ProcessTypeFeedbackCells(code); | 
| 646   // Allocate handle in the parent scope. | 645   // Allocate handle in the parent scope. | 
| 647   dictionary_ = scope.CloseAndEscape(dictionary_); | 646   dictionary_ = scope.CloseAndEscape(dictionary_); | 
| 648 } | 647 } | 
| 649 | 648 | 
| 650 | 649 | 
| 651 void TypeFeedbackOracle::GetRelocInfos(Handle<Code> code, | 650 void TypeFeedbackOracle::GetRelocInfos(Handle<Code> code, | 
| (...skipping 107 matching lines...) Expand 10 before | Expand all | Expand 10 after  Loading... | 
| 759   USE(maybe_result); | 758   USE(maybe_result); | 
| 760 #ifdef DEBUG | 759 #ifdef DEBUG | 
| 761   Object* result = NULL; | 760   Object* result = NULL; | 
| 762   // Dictionary has been allocated with sufficient size for all elements. | 761   // Dictionary has been allocated with sufficient size for all elements. | 
| 763   ASSERT(maybe_result->ToObject(&result)); | 762   ASSERT(maybe_result->ToObject(&result)); | 
| 764   ASSERT(*dictionary_ == result); | 763   ASSERT(*dictionary_ == result); | 
| 765 #endif | 764 #endif | 
| 766 } | 765 } | 
| 767 | 766 | 
| 768 } }  // namespace v8::internal | 767 } }  // namespace v8::internal | 
| OLD | NEW | 
|---|