Collect type profile for DevTools.

src/feedback-vector.h

 // 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.
 
 #ifndef V8_FEEDBACK_VECTOR_H_
 #define V8_FEEDBACK_VECTOR_H_
 
 #include <vector>
 
 #include "src/base/logging.h"
@@ skipping 18 matching lines @@
   kLoadKeyed,
   kStoreNamedSloppy,
   kStoreNamedStrict,
   kStoreOwnNamed,
   kStoreKeyedSloppy,
   kStoreKeyedStrict,
   kBinaryOp,
   kCompareOp,
   kToBoolean,
   kStoreDataPropertyInLiteral,
+  kTypeProfile,
   kCreateClosure,
   kLiteral,
   // This is a general purpose slot that occupies one feedback vector element.
   kGeneral,
 
   kKindsNumber  // Last value indicating number of kinds.
 };
 
 inline bool IsCallICKind(FeedbackSlotKind kind) {
   return kind == FeedbackSlotKind::kCall;
@@ skipping 94 matching lines @@
   }
 
   FeedbackSlot AddGeneralSlot() { return AddSlot(FeedbackSlotKind::kGeneral); }
 
   FeedbackSlot AddLiteralSlot() { return AddSlot(FeedbackSlotKind::kLiteral); }
 
   FeedbackSlot AddStoreDataPropertyInLiteralICSlot() {
     return AddSlot(FeedbackSlotKind::kStoreDataPropertyInLiteral);
   }
 
+  FeedbackSlot AddTypeProfileSlot() {
+    DCHECK(FLAG_type_profile);
+    return AddSlot(FeedbackSlotKind::kTypeProfile);
+  }
+
 #ifdef OBJECT_PRINT
   // For gdb debugging.
   void Print();
 #endif  // OBJECT_PRINT
 
   DECLARE_PRINTER(FeedbackVectorSpec)
 
  private:
   inline FeedbackSlot AddSlot(FeedbackSlotKind kind);
 
@@ skipping 80 matching lines @@
 
 #ifdef OBJECT_PRINT
   // For gdb debugging.
   void Print();
 #endif  // OBJECT_PRINT
 
   DECLARE_PRINTER(FeedbackMetadata)
 
   static const char* Kind2String(FeedbackSlotKind kind);
 
+  bool HasTypeProfileSlot();
+
  private:
   static const int kFeedbackSlotKindBits = 5;
   STATIC_ASSERT(static_cast<int>(FeedbackSlotKind::kKindsNumber) <
                 (1 << kFeedbackSlotKindBits));
 
   void SetKind(FeedbackSlot slot, FeedbackSlotKind kind);
 
   typedef BitSetComputer<FeedbackSlotKind, kFeedbackSlotKindBits, kSmiValueSize,
                          uint32_t>
       VectorICComputer;
@@ skipping 472 matching lines @@
       : FeedbackNexus(vector, slot) {
     DCHECK_EQ(FeedbackSlotKind::kStoreDataPropertyInLiteral,
               vector->GetKind(slot));
   }
 
   void ConfigureMonomorphic(Handle<Name> name, Handle<Map> receiver_map);
 
   InlineCacheState StateFromFeedback() const override;
 };
 
+// For each assignment, store the type of the value in the collection of types
+// in the feedback vector.
+class CollectTypeProfileNexus : public FeedbackNexus {
+ public:
+  CollectTypeProfileNexus(Handle<FeedbackVector> vector, FeedbackSlot slot)
+      : FeedbackNexus(vector, slot) {
+    DCHECK_EQ(FeedbackSlotKind::kTypeProfile, vector->GetKind(slot));
+  }
+  CollectTypeProfileNexus(FeedbackVector* vector, FeedbackSlot slot)
+      : FeedbackNexus(vector, slot) {
+    DCHECK_EQ(FeedbackSlotKind::kTypeProfile, vector->GetKind(slot));
+  }
+
+  // Add a type to the list of types.
+  void Collect(Handle<Name> type);
+
+  // Dump the types to stdout.
+  // TODO(franzih): pass this information to the debugger protocol instead of
+  // stdout.
+  void Print() const;
+
+  InlineCacheState StateFromFeedback() const override;
+};
+
 inline BinaryOperationHint BinaryOperationHintFromFeedback(int type_feedback);
 inline CompareOperationHint CompareOperationHintFromFeedback(int type_feedback);
 
 }  // namespace internal
 }  // namespace v8
 
 #endif  // V8_FEEDBACK_VECTOR_H_