Collect type profile for DevTools.

src/feedback-vector.cc

 // Copyright 2014 the V8 project authors. All rights reserved.
 // Use of this source code is governed by a BSD-style license that can be
 // found in the LICENSE file.
 
 #include "src/feedback-vector.h"
 #include "src/code-stubs.h"
 #include "src/feedback-vector-inl.h"
 #include "src/ic/ic-inl.h"
 #include "src/ic/ic-state.h"
 #include "src/objects.h"
@@ skipping 131 matching lines @@
     case FeedbackSlotKind::kCompareOp:
       return "INTERPRETER_COMPARE_IC";
     case FeedbackSlotKind::kToBoolean:
       return "TO_BOOLEAN_IC";
     case FeedbackSlotKind::kStoreDataPropertyInLiteral:
       return "STORE_DATA_PROPERTY_IN_LITERAL_IC";
     case FeedbackSlotKind::kCreateClosure:
       return "kCreateClosure";
     case FeedbackSlotKind::kLiteral:
       return "LITERAL";
+    case FeedbackSlotKind::kTypeProfile:
+      return "TYPE_PROFILE";
     case FeedbackSlotKind::kGeneral:
       return "STUB";
     case FeedbackSlotKind::kKindsNumber:
       break;
   }
   UNREACHABLE();
   return "?";
 }
 
 FeedbackSlotKind FeedbackVector::GetKind(FeedbackSlot slot) const {
@@ skipping 50 matching lines @@
         break;
       case FeedbackSlotKind::kLoadProperty:
       case FeedbackSlotKind::kLoadKeyed:
       case FeedbackSlotKind::kStoreNamedSloppy:
       case FeedbackSlotKind::kStoreNamedStrict:
       case FeedbackSlotKind::kStoreOwnNamed:
       case FeedbackSlotKind::kStoreKeyedSloppy:
       case FeedbackSlotKind::kStoreKeyedStrict:
       case FeedbackSlotKind::kStoreDataPropertyInLiteral:
       case FeedbackSlotKind::kGeneral:
+      case FeedbackSlotKind::kTypeProfile:
         array->set(index, *uninitialized_sentinel, SKIP_WRITE_BARRIER);
         break;
 
       case FeedbackSlotKind::kInvalid:
       case FeedbackSlotKind::kKindsNumber:
         UNREACHABLE();
         array->set(index, Smi::kZero, SKIP_WRITE_BARRIER);
         break;
     }
     for (int j = 1; j < entry_size; j++) {
@@ skipping 97 matching lines @@
           break;
         }
         case FeedbackSlotKind::kBinaryOp:
         case FeedbackSlotKind::kCompareOp: {
           DCHECK(Get(slot)->IsSmi());
           // don't clear these smi slots.
           // Set(slot, Smi::kZero);
           break;
         }
         case FeedbackSlotKind::kCreateClosure: {
-          break;
+          case FeedbackSlotKind::kTypeProfile:
+            break;
         }
         case FeedbackSlotKind::kGeneral: {
           if (obj->IsHeapObject()) {
             InstanceType instance_type =
                 HeapObject::cast(obj)->map()->instance_type();
             // AllocationSites are exempt from clearing. They don't store Maps
             // or Code pointers which can cause memory leaks if not cleared
             // regularly.
             if (instance_type != ALLOCATION_SITE_TYPE) {
               Set(slot, uninitialized_sentinel, SKIP_WRITE_BARRIER);
@@ skipping 662 matching lines @@
 }
 
 void StoreDataPropertyInLiteralICNexus::ConfigureMonomorphic(
     Handle<Name> name, Handle<Map> receiver_map) {
   Handle<WeakCell> cell = Map::WeakCellForMap(receiver_map);
 
   SetFeedback(*cell);
   SetFeedbackExtra(*name);
 }
 
+InlineCacheState CollectTypeProfileICNexus::StateFromFeedback() const {
+  Isolate* isolate = GetIsolate();
+  Object* feedback = GetFeedback();
+
+  if (feedback == *FeedbackVector::UninitializedSentinel(isolate)) {
+    return UNINITIALIZED;
+  } else if (feedback == *FeedbackVector::MegamorphicSentinel(isolate)) {
+    return MEGAMORPHIC;
+  } else if (feedback->IsName()) {
+    // Don't check if the map is cleared.
+    return MONOMORPHIC;
+  }
+
+  DCHECK(feedback->IsArrayList());
+  return POLYMORPHIC;
+}
+
+void CollectTypeProfileICNexus::ConfigureMonomorphic(Handle<Name> type) {
+  SetFeedback(*type);
+}
+
+void CollectTypeProfileICNexus::ConfigurePolymorphic(Handle<Name> type) {
+  Isolate* isolate = GetIsolate();
+
+  Object* known_types = GetFeedback();
+  Handle<ArrayList> types;
+  if (known_types->IsName()) {
+    types = ArrayList::New(isolate, kMaxKeyedPolymorphism);
+    ArrayList::Add(types, Handle<Name>(Name::cast(known_types), isolate));
+    ArrayList::Add(types, type);
+  } else {
+    // This should create the union, not a list with double entries.
+    DCHECK(known_types->IsArrayList());
+    types = Handle<ArrayList>(ArrayList::cast(known_types), isolate);
+    ArrayList::Add(types, type);
+
+    // We've reached an arbitrary number of too many different types.
+    if (types->Length() > kMaxKeyedPolymorphism) {
+      SetFeedback(*FeedbackVector::MegamorphicSentinel(isolate));
+      return;
+    }
+  }
+  SetFeedback(*types);
+}
+
 }  // namespace internal
 }  // namespace v8