[runtime][ic] Constant field tracking support.

test/cctest/test-transitions.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 <stdlib.h>
 #include <utility>
 
 #include "src/v8.h"
 
 #include "src/compilation-cache.h"
@@ skipping 20 matching lines @@
   Isolate* isolate = CcTest::i_isolate();
   Factory* factory = isolate->factory();
 
   Handle<String> name1 = factory->InternalizeUtf8String("foo");
   Handle<String> name2 = factory->InternalizeUtf8String("bar");
   PropertyAttributes attributes = NONE;
 
   Handle<Map> map0 = Map::Create(isolate, 0);
   Handle<Map> map1 =
       Map::CopyWithField(map0, name1, handle(FieldType::Any(), isolate),
-                         attributes, Representation::Tagged(), OMIT_TRANSITION)
+                         attributes, kMutable, Representation::Tagged(),
+                         OMIT_TRANSITION)
           .ToHandleChecked();
   Handle<Map> map2 =
       Map::CopyWithField(map0, name2, handle(FieldType::Any(), isolate),
-                         attributes, Representation::Tagged(), OMIT_TRANSITION)
+                         attributes, kMutable, Representation::Tagged(),
+                         OMIT_TRANSITION)
           .ToHandleChecked();
 
   CHECK(map0->raw_transitions()->IsSmi());
 
   TransitionArray::Insert(map0, name1, map1, SIMPLE_PROPERTY_TRANSITION);
   CHECK(TransitionArray::IsSimpleTransition(map0->raw_transitions()));
   CHECK_EQ(*map1,
            TransitionArray::SearchTransition(*map0, kData, *name1, attributes));
   CHECK_EQ(1, TransitionArray::NumberOfTransitions(map0->raw_transitions()));
   CHECK_EQ(*name1, TransitionArray::GetKey(map0->raw_transitions(), 0));
@@ skipping 26 matching lines @@
   Isolate* isolate = CcTest::i_isolate();
   Factory* factory = isolate->factory();
 
   Handle<String> name1 = factory->InternalizeUtf8String("foo");
   Handle<String> name2 = factory->InternalizeUtf8String("bar");
   PropertyAttributes attributes = NONE;
 
   Handle<Map> map0 = Map::Create(isolate, 0);
   Handle<Map> map1 =
       Map::CopyWithField(map0, name1, handle(FieldType::Any(), isolate),
-                         attributes, Representation::Tagged(), OMIT_TRANSITION)
+                         attributes, kMutable, Representation::Tagged(),
+                         OMIT_TRANSITION)
           .ToHandleChecked();
   Handle<Map> map2 =
       Map::CopyWithField(map0, name2, handle(FieldType::Any(), isolate),
-                         attributes, Representation::Tagged(), OMIT_TRANSITION)
+                         attributes, kMutable, Representation::Tagged(),
+                         OMIT_TRANSITION)
           .ToHandleChecked();
 
   CHECK(map0->raw_transitions()->IsSmi());
 
   TransitionArray::Insert(map0, name1, map1, PROPERTY_TRANSITION);
   CHECK(TransitionArray::IsFullTransitionArray(map0->raw_transitions()));
   CHECK_EQ(*map1,
            TransitionArray::SearchTransition(*map0, kData, *name1, attributes));
   CHECK_EQ(1, TransitionArray::NumberOfTransitions(map0->raw_transitions()));
   CHECK_EQ(*name1, TransitionArray::GetKey(map0->raw_transitions(), 0));
@@ skipping 31 matching lines @@
   Handle<Map> maps[PROPS_COUNT];
   PropertyAttributes attributes = NONE;
 
   Handle<Map> map0 = Map::Create(isolate, 0);
   CHECK(map0->raw_transitions()->IsSmi());
 
   for (int i = 0; i < PROPS_COUNT; i++) {
     EmbeddedVector<char, 64> buffer;
     SNPrintF(buffer, "prop%d", i);
     Handle<String> name = factory->InternalizeUtf8String(buffer.start());
-    Handle<Map> map = Map::CopyWithField(
-                          map0, name, handle(FieldType::Any(), isolate),
-                          attributes, Representation::Tagged(), OMIT_TRANSITION)
-                          .ToHandleChecked();
+    Handle<Map> map =
+        Map::CopyWithField(map0, name, handle(FieldType::Any(), isolate),
+                           attributes, kMutable, Representation::Tagged(),
+                           OMIT_TRANSITION)
+            .ToHandleChecked();
     names[i] = name;
     maps[i] = map;
 
     TransitionArray::Insert(map0, name, map, PROPERTY_TRANSITION);
   }
 
   for (int i = 0; i < PROPS_COUNT; i++) {
     CHECK_EQ(*maps[i], TransitionArray::SearchTransition(
                            *map0, kData, *names[i], attributes));
   }
@@ skipping 25 matching lines @@
 
   const int ATTRS_COUNT = (READ_ONLY | DONT_ENUM | DONT_DELETE) + 1;
   STATIC_ASSERT(ATTRS_COUNT == 8);
   Handle<Map> attr_maps[ATTRS_COUNT];
   Handle<String> name = factory->InternalizeUtf8String("foo");
 
   // Add transitions for same field name but different attributes.
   for (int i = 0; i < ATTRS_COUNT; i++) {
     PropertyAttributes attributes = static_cast<PropertyAttributes>(i);
 
-    Handle<Map> map = Map::CopyWithField(
-                          map0, name, handle(FieldType::Any(), isolate),
-                          attributes, Representation::Tagged(), OMIT_TRANSITION)
-                          .ToHandleChecked();
+    Handle<Map> map =
+        Map::CopyWithField(map0, name, FieldType::Any(isolate), attributes,
+                           kMutable, Representation::Tagged(), OMIT_TRANSITION)
+            .ToHandleChecked();
     attr_maps[i] = map;
 
     TransitionArray::Insert(map0, name, map, PROPERTY_TRANSITION);
   }
 
   // Ensure that transitions for |name| field are valid.
   for (int i = 0; i < ATTRS_COUNT; i++) {
     PropertyAttributes attributes = static_cast<PropertyAttributes>(i);
     CHECK_EQ(*attr_maps[i], TransitionArray::SearchTransition(
                                 *map0, kData, *name, attributes));
@@ skipping 21 matching lines @@
   Handle<Map> map0 = Map::Create(isolate, 0);
   CHECK(map0->raw_transitions()->IsSmi());
 
   // Some number of fields.
   for (int i = 0; i < PROPS_COUNT; i++) {
     EmbeddedVector<char, 64> buffer;
     SNPrintF(buffer, "prop%d", i);
     Handle<String> name = factory->InternalizeUtf8String(buffer.start());
     Handle<Map> map =
         Map::CopyWithField(map0, name, handle(FieldType::Any(), isolate), NONE,
-                           Representation::Tagged(), OMIT_TRANSITION)
+                           kMutable, Representation::Tagged(), OMIT_TRANSITION)
             .ToHandleChecked();
     names[i] = name;
     maps[i] = map;
 
     TransitionArray::Insert(map0, name, map, PROPERTY_TRANSITION);
   }
 
   const int ATTRS_COUNT = (READ_ONLY | DONT_ENUM | DONT_DELETE) + 1;
   STATIC_ASSERT(ATTRS_COUNT == 8);
   Handle<Map> attr_maps[ATTRS_COUNT];
   Handle<String> name = factory->InternalizeUtf8String("foo");
 
   // Add transitions for same field name but different attributes.
   for (int i = 0; i < ATTRS_COUNT; i++) {
     PropertyAttributes attributes = static_cast<PropertyAttributes>(i);
 
-    Handle<Map> map = Map::CopyWithField(
-                          map0, name, handle(FieldType::Any(), isolate),
-                          attributes, Representation::Tagged(), OMIT_TRANSITION)
-                          .ToHandleChecked();
+    Handle<Map> map =
+        Map::CopyWithField(map0, name, handle(FieldType::Any(), isolate),
+                           attributes, kMutable, Representation::Tagged(),
+                           OMIT_TRANSITION)
+            .ToHandleChecked();
     attr_maps[i] = map;
 
     TransitionArray::Insert(map0, name, map, PROPERTY_TRANSITION);
   }
 
   // Ensure that transitions for |name| field are valid.
   for (int i = 0; i < ATTRS_COUNT; i++) {
     PropertyAttributes attr = static_cast<PropertyAttributes>(i);
     CHECK_EQ(*attr_maps[i],
              TransitionArray::SearchTransition(*map0, kData, *name, attr));
@@ skipping 17 matching lines @@
           break;
         }
       }
     }
   }
 
 #ifdef DEBUG
   CHECK(TransitionArray::IsSortedNoDuplicates(*map0));
 #endif
 }