Collect type profile for DevTools.

test/cctest/test-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/v8.h"
 #include "test/cctest/cctest.h"
 
 #include "src/api.h"
 #include "src/debug/debug.h"
 #include "src/execution.h"
@@ skipping 368 matching lines @@
       "  var y = typeof o;"
       "  return o , typeof o, x , y, o;"
       "}"
       "f();");
   Handle<JSFunction> f = GetFunction("f");
   // There should be two IC slots for {o} references outside and inside
   // typeof operator respectively.
   Handle<FeedbackVector> feedback_vector =
       Handle<FeedbackVector>(f->feedback_vector(), isolate);
   FeedbackVectorHelper helper(feedback_vector);
-  CHECK_EQ(2, helper.slot_count());
+  CHECK_EQ(4, helper.slot_count());
   CHECK_SLOT_KIND(helper, 0, FeedbackSlotKind::kLoadGlobalNotInsideTypeof);
-  CHECK_SLOT_KIND(helper, 1, FeedbackSlotKind::kLoadGlobalInsideTypeof);
+  CHECK_SLOT_KIND(helper, 1, FeedbackSlotKind::kTypeProfile);
+  CHECK_SLOT_KIND(helper, 2, FeedbackSlotKind::kLoadGlobalInsideTypeof);
   FeedbackSlot slot1 = helper.slot(0);
-  FeedbackSlot slot2 = helper.slot(1);
+  FeedbackSlot slot2 = helper.slot(2);
   CHECK_EQ(MONOMORPHIC,
            LoadGlobalICNexus(feedback_vector, slot1).StateFromFeedback());
   CHECK_EQ(MONOMORPHIC,
            LoadGlobalICNexus(feedback_vector, slot2).StateFromFeedback());
 }
 
 
 TEST(VectorLoadICOnSmi) {
   if (i::FLAG_always_opt) return;
   CcTest::InitializeVM();
@@ skipping 69 matching lines @@
         "}"
         "a = 3;"
         "testvar({});");
 
     Handle<JSFunction> f = GetFunction("testvar");
 
     // There should be two LOAD_ICs, one for a and one for y at the end.
     Handle<FeedbackVector> feedback_vector =
         handle(f->feedback_vector(), isolate);
     FeedbackVectorHelper helper(feedback_vector);
-    CHECK_EQ(4, helper.slot_count());
+    CHECK_EQ(6, helper.slot_count());
     CHECK_SLOT_KIND(helper, 0, FeedbackSlotKind::kStoreNamedSloppy);
-    CHECK_SLOT_KIND(helper, 1, FeedbackSlotKind::kLoadGlobalNotInsideTypeof);
-    CHECK_SLOT_KIND(helper, 2, FeedbackSlotKind::kStoreNamedSloppy);
-    CHECK_SLOT_KIND(helper, 3, FeedbackSlotKind::kLoadGlobalNotInsideTypeof);
+    CHECK_SLOT_KIND(helper, 1, FeedbackSlotKind::kTypeProfile);
+    CHECK_SLOT_KIND(helper, 2, FeedbackSlotKind::kLoadGlobalNotInsideTypeof);
+    CHECK_SLOT_KIND(helper, 3, FeedbackSlotKind::kStoreNamedSloppy);
+    CHECK_SLOT_KIND(helper, 4, FeedbackSlotKind::kTypeProfile);
+    CHECK_SLOT_KIND(helper, 5, FeedbackSlotKind::kLoadGlobalNotInsideTypeof);
   }
 
   {
     CompileRun(
         "function testprop(x) {"
         "  'use strict';"
         "  x.blue = a;"
         "}"
         "testprop({ blue: 3 });");
 
     Handle<JSFunction> f = GetFunction("testprop");
 
     // There should be one LOAD_IC, for the load of a.
     Handle<FeedbackVector> feedback_vector(f->feedback_vector());
     FeedbackVectorHelper helper(feedback_vector);
-    CHECK_EQ(2, helper.slot_count());
+    CHECK_EQ(3, helper.slot_count());
     CHECK_SLOT_KIND(helper, 0, FeedbackSlotKind::kLoadGlobalNotInsideTypeof);
     CHECK_SLOT_KIND(helper, 1, FeedbackSlotKind::kStoreNamedStrict);
   }
 
   {
     CompileRun(
         "function testpropfunc(x) {"
         "  x().blue = a;"
         "  return x().blue;"
         "}"
         "function makeresult() { return { blue: 3 }; }"
         "testpropfunc(makeresult);");
 
     Handle<JSFunction> f = GetFunction("testpropfunc");
 
     // There should be 1 LOAD_GLOBAL_IC to load x (in both cases), 2 CALL_ICs
     // to call x and a LOAD_IC to load blue.
     Handle<FeedbackVector> feedback_vector(f->feedback_vector());
     FeedbackVectorHelper helper(feedback_vector);
-    CHECK_EQ(5, helper.slot_count());
+    CHECK_EQ(6, helper.slot_count());
     CHECK_SLOT_KIND(helper, 0, FeedbackSlotKind::kCall);
     CHECK_SLOT_KIND(helper, 1, FeedbackSlotKind::kLoadGlobalNotInsideTypeof);
     CHECK_SLOT_KIND(helper, 2, FeedbackSlotKind::kStoreNamedSloppy);
-    CHECK_SLOT_KIND(helper, 3, FeedbackSlotKind::kCall);
-    CHECK_SLOT_KIND(helper, 4, FeedbackSlotKind::kLoadProperty);
+    CHECK_SLOT_KIND(helper, 3, FeedbackSlotKind::kTypeProfile);
+    CHECK_SLOT_KIND(helper, 4, FeedbackSlotKind::kCall);
+    CHECK_SLOT_KIND(helper, 5, FeedbackSlotKind::kLoadProperty);
   }
 
   {
     CompileRun(
         "function testkeyedprop(x) {"
         "  x[0] = a;"
         "  return x[0];"
         "}"
         "testkeyedprop([0, 1, 2]);");
 
     Handle<JSFunction> f = GetFunction("testkeyedprop");
 
     // There should be 1 LOAD_GLOBAL_ICs for the load of a, and one
     // KEYED_LOAD_IC for the load of x[0] in the return statement.
     Handle<FeedbackVector> feedback_vector(f->feedback_vector());
     FeedbackVectorHelper helper(feedback_vector);
-    CHECK_EQ(3, helper.slot_count());
+    CHECK_EQ(4, helper.slot_count());
     CHECK_SLOT_KIND(helper, 0, FeedbackSlotKind::kLoadGlobalNotInsideTypeof);
     CHECK_SLOT_KIND(helper, 1, FeedbackSlotKind::kStoreKeyedSloppy);
-    CHECK_SLOT_KIND(helper, 2, FeedbackSlotKind::kLoadKeyed);
+    CHECK_SLOT_KIND(helper, 2, FeedbackSlotKind::kTypeProfile);
+    CHECK_SLOT_KIND(helper, 3, FeedbackSlotKind::kLoadKeyed);
   }
 
   {
     CompileRun(
         "function testkeyedprop(x) {"
         "  'use strict';"
         "  x[0] = a;"
         "  return x[0];"
         "}"
         "testkeyedprop([0, 1, 2]);");
 
     Handle<JSFunction> f = GetFunction("testkeyedprop");
 
     // There should be 1 LOAD_GLOBAL_ICs for the load of a, and one
     // KEYED_LOAD_IC for the load of x[0] in the return statement.
     Handle<FeedbackVector> feedback_vector(f->feedback_vector());
     FeedbackVectorHelper helper(feedback_vector);
-    CHECK_EQ(3, helper.slot_count());
+    CHECK_EQ(4, helper.slot_count());
     CHECK_SLOT_KIND(helper, 0, FeedbackSlotKind::kLoadGlobalNotInsideTypeof);
     CHECK_SLOT_KIND(helper, 1, FeedbackSlotKind::kStoreKeyedStrict);
-    CHECK_SLOT_KIND(helper, 2, FeedbackSlotKind::kLoadKeyed);
+    CHECK_SLOT_KIND(helper, 2, FeedbackSlotKind::kTypeProfile);
+    CHECK_SLOT_KIND(helper, 3, FeedbackSlotKind::kLoadKeyed);
   }
 
   {
     CompileRun(
         "function testcompound(x) {"
         "  'use strict';"
         "  x.old = x.young = x.in_between = a;"
         "  return x.old + x.young;"
         "}"
         "testcompound({ old: 3, young: 3, in_between: 3 });");
 
     Handle<JSFunction> f = GetFunction("testcompound");
 
     // There should be 1 LOAD_GLOBAL_IC for load of a and 2 LOAD_ICs, for load
     // of x.old and x.young.
     Handle<FeedbackVector> feedback_vector(f->feedback_vector());
     FeedbackVectorHelper helper(feedback_vector);
-    CHECK_EQ(7, helper.slot_count());
+    CHECK_EQ(10, helper.slot_count());
     CHECK_SLOT_KIND(helper, 0, FeedbackSlotKind::kLoadGlobalNotInsideTypeof);
     CHECK_SLOT_KIND(helper, 1, FeedbackSlotKind::kStoreNamedStrict);
-    CHECK_SLOT_KIND(helper, 2, FeedbackSlotKind::kStoreNamedStrict);
+    CHECK_SLOT_KIND(helper, 2, FeedbackSlotKind::kTypeProfile);
     CHECK_SLOT_KIND(helper, 3, FeedbackSlotKind::kStoreNamedStrict);
-    CHECK_SLOT_KIND(helper, 4, FeedbackSlotKind::kLoadProperty);
-    CHECK_SLOT_KIND(helper, 5, FeedbackSlotKind::kLoadProperty);
-    CHECK_SLOT_KIND(helper, 6, FeedbackSlotKind::kBinaryOp);
+    CHECK_SLOT_KIND(helper, 4, FeedbackSlotKind::kTypeProfile);
+    CHECK_SLOT_KIND(helper, 5, FeedbackSlotKind::kStoreNamedStrict);
+    CHECK_SLOT_KIND(helper, 6, FeedbackSlotKind::kTypeProfile);
+    CHECK_SLOT_KIND(helper, 7, FeedbackSlotKind::kLoadProperty);
+    CHECK_SLOT_KIND(helper, 8, FeedbackSlotKind::kLoadProperty);
+    CHECK_SLOT_KIND(helper, 9, FeedbackSlotKind::kBinaryOp);
   }
 }
 
 
 TEST(VectorStoreICBasic) {
   if (i::FLAG_always_opt) return;
 
   CcTest::InitializeVM();
   LocalContext context;
   v8::HandleScope scope(context->GetIsolate());
 
   CompileRun(
       "function f(a) {"
       "  a.foo = 5;"
       "}"
       "var a = { foo: 3 };"
       "f(a);"
       "f(a);"
       "f(a);");
   Handle<JSFunction> f = GetFunction("f");
   // There should be one IC slot.
   Handle<FeedbackVector> feedback_vector(f->feedback_vector());
   FeedbackVectorHelper helper(feedback_vector);
-  CHECK_EQ(1, helper.slot_count());
+  CHECK_EQ(2, helper.slot_count());
   FeedbackSlot slot(0);
   StoreICNexus nexus(feedback_vector, slot);
   CHECK_EQ(MONOMORPHIC, nexus.StateFromFeedback());
 }
 
 TEST(StoreOwnIC) {
   if (i::FLAG_always_opt) return;
 
   CcTest::InitializeVM();
   LocalContext context;
@@ skipping 11 matching lines @@
   Handle<FeedbackVector> feedback_vector(f->feedback_vector());
   FeedbackVectorHelper helper(feedback_vector);
   CHECK_EQ(2, helper.slot_count());
   CHECK_SLOT_KIND(helper, 0, FeedbackSlotKind::kLiteral);
   CHECK_SLOT_KIND(helper, 1, FeedbackSlotKind::kStoreOwnNamed);
   StoreOwnICNexus nexus(feedback_vector, helper.slot(1));
   CHECK_EQ(MONOMORPHIC, nexus.StateFromFeedback());
 }
 
 }  // namespace