2 // Use of this source code is governed by a BSD-style license that can be
5 #include "src/compiler/js-heap-broker.h"
11 #include "src/codegen/code-factory.h"
12 #include "src/codegen/optimized-compilation-info.h"
13 #include "src/handles/handles-inl.h"
14 #include "src/heap/heap-inl.h"
15 #include "src/ic/handler-configuration-inl.h"
17 #include "src/objects/allocation-site-inl.h"
18 #include "src/objects/data-handler-inl.h"
19 #include "src/objects/feedback-cell.h"
20 #include "src/objects/js-array-inl.h"
21 #include "src/objects/literal-objects-inl.h"
22 #include "src/objects/map-updater.h"
23 #include "src/objects/objects-inl.h"
25 #include "src/objects/property-cell.h"
35 // sometimes requires static constants to be defined in .cc files.
43 void JSHeapBroker::DecrementTracingIndentation() { --trace_indentation_; }  in DecrementTracingIndentation()
55       // replaced immediately with a larger-capacity one.  It doesn't seem to  in JSHeapBroker()
57       refs_(zone()->New<RefsMap>(kMinimalRefsBucketCount, AddressMatcher(),  in JSHeapBroker()
81       isolate_->heap(), ZoneAllocationPolicy(zone()));  in CopyCanonicalHandlesForTesting()
87     canonical_handles_->Insert(key, entry);  in CopyCanonicalHandlesForTesting()
100   set_canonical_handles(info->DetachCanonicalHandles());  in AttachLocalIsolate()
104   local_isolate_->heap()->AttachPersistentHandles(  in AttachLocalIsolate()
105       info->DetachPersistentHandles());  in AttachLocalIsolate()
112       local_isolate_->heap()->DetachPersistentHandles();  in DetachLocalIsolate()
114   info->set_canonical_handles(DetachCanonicalHandles());  in DetachLocalIsolate()
115   info->set_persistent_handles(std::move(ph));  in DetachLocalIsolate()
134           target_native_context_->object().is_identical_to(native_context)));  in SetTargetNativeContextRef()
143   Object maybe_context = isolate()->heap()->native_contexts_list();  in CollectArrayAndObjectPrototypes()
162     return MakeRef(this, isolate()->factory()->Type##Array_string());  in GetTypedArrayStringTag()
176     return isolate()->IsInAnyContext(*object,  in IsArrayOrObjectPrototype()
178            isolate()->IsInAnyContext(*object,  in IsArrayOrObjectPrototype()
205                  ThreadId::Current() == isolate_->thread_id());  in StackHasOverflowed()
221   return !IsMainThread() && isolate()->heap()->IsPendingAllocation(object);  in ObjectMayBeUninitialized()
239       *broker->zone()->New<ElementAccessFeedback>(broker->zone(), keyed_mode(),  in Refine()
243   ZoneRefUnorderedSet<MapRef> inferred(broker->zone());  in Refine()
248     TransitionGroup new_group(broker->zone());  in Refine()
262       std::swap(new_group[0], new_group[new_group.size() - 1]);  in Refine()
298   DCHECK_EQ(this->slot_index(), slot_index);  in GlobalAccessFeedback()
299   DCHECK_EQ(this->immutable(), immutable);  in GlobalAccessFeedback()
307   return cell_or_context_.has_value() && cell_or_context_->IsPropertyCell();  in IsPropertyCell()
310   return cell_or_context_.has_value() && cell_or_context_->IsContext();  in IsScriptContextSlot()
314   return cell_or_context_->AsPropertyCell();  in property_cell()
318   return cell_or_context_->AsContext();  in script_context()
457   return *it->second;  in GetFeedback()
475   return *zone()->New<InsufficientFeedback>(kind);  in NewInsufficientFeedback()
492       // May change concurrently at any time - must be guarded by a dependency  in ReadFeedbackForPropertyAccess()
493       // if non-deprecation is important.  in ReadFeedbackForPropertyAccess()
513   // If no maps were found for a non-megamorphic access, then our maps died  in ReadFeedbackForPropertyAccess()
514   // and we should soft-deopt.  in ReadFeedbackForPropertyAccess()
523     return *zone()->New<NamedAccessFeedback>(*name, maps, kind);  in ReadFeedbackForPropertyAccess()
532     return *zone()->New<ElementAccessFeedback>(  in ReadFeedbackForPropertyAccess()
546       nexus.GetFeedback()->IsCleared()) {  in ReadFeedbackForGlobalAccess()
547     return *zone()->New<GlobalAccessFeedback>(nexus.kind());  in ReadFeedbackForGlobalAccess()
551       CanonicalPersistentHandle(nexus.GetFeedback()->GetHeapObjectOrSmi());  in ReadFeedbackForGlobalAccess()
553   if (feedback_value->IsSmi()) {  in ReadFeedbackForGlobalAccess()
554     // The wanted name belongs to a script-scope variable and the feedback  in ReadFeedbackForGlobalAccess()
556     int const number = feedback_value->Number();  in ReadFeedbackForGlobalAccess()
562         target_native_context().script_context_table().object()->get_context(  in ReadFeedbackForGlobalAccess()
566     if (contents.has_value()) CHECK(!contents->IsTheHole());  in ReadFeedbackForGlobalAccess()
568     return *zone()->New<GlobalAccessFeedback>(  in ReadFeedbackForGlobalAccess()
573   CHECK(feedback_value->IsPropertyCell());  in ReadFeedbackForGlobalAccess()
576   return *zone()->New<GlobalAccessFeedback>(  in ReadFeedbackForGlobalAccess()
587   DCHECK_NE(hint, BinaryOperationHint::kNone);  // Not uninitialized.  in ReadFeedbackForBinaryOperation()
588   return *zone()->New<BinaryOperationFeedback>(hint, nexus.kind());  in ReadFeedbackForBinaryOperation()
596   DCHECK_NE(hint, CompareOperationHint::kNone);  // Not uninitialized.  in ReadFeedbackForCompareOperation()
597   return *zone()->New<CompareOperationFeedback>(hint, nexus.kind());  in ReadFeedbackForCompareOperation()
605   DCHECK_NE(hint, ForInHint::kNone);  // Not uninitialized.  in ReadFeedbackForForIn()
606   return *zone()->New<ForInFeedback>(hint, nexus.kind());  in ReadFeedbackForForIn()
622   return *zone()->New<InstanceOfFeedback>(optional_constructor, nexus.kind());  in ReadFeedbackForInstanceOf()
631   if (!nexus.GetFeedback()->GetHeapObject(&object)) {  in ReadFeedbackForArrayOrObjectLiteral()
637   return *zone()->New<LiteralFeedback>(site, nexus.kind());  in ReadFeedbackForArrayOrObjectLiteral()
646   if (!nexus.GetFeedback()->GetHeapObject(&object)) {  in ReadFeedbackForRegExpLiteral()
652   return *zone()->New<RegExpLiteralFeedback>(boilerplate, nexus.kind());  in ReadFeedbackForRegExpLiteral()
661   if (!nexus.GetFeedback()->GetHeapObject(&object)) {  in ReadFeedbackForTemplateObject()
666   return *zone()->New<TemplateObjectFeedback>(array, nexus.kind());  in ReadFeedbackForTemplateObject()
678     if (maybe_target->GetHeapObject(&target_object)) {  in ReadFeedbackForCall()
686   return *zone()->New<CallFeedback>(target_ref, frequency, mode, content,  in ReadFeedbackForCall()
828       transition_target = map.object()->FindElementsKindTransitionedMap(  in ProcessFeedbackMapsForElementAccess()
839           transition_groups.insert({target, new_group}).first->second;  in ProcessFeedbackMapsForElementAccess()
845       zone()->New<ElementAccessFeedback>(zone(), keyed_mode, slot_kind);  in ProcessFeedbackMapsForElementAccess()
847     result->AddGroup(std::move(entry.second));  in ProcessFeedbackMapsForElementAccess()
850   CHECK(!result->transition_groups().empty());  in ProcessFeedbackMapsForElementAccess()
887   if (it != property_access_infos_.end()) return it->second;  in GetPropertyAccessInfo()