1 files changed, 121 insertions, 0 deletions
diff --git a/deps/v8/test/cctest/test-roots.cc b/deps/v8/test/cctest/test-roots.cc
new file mode 100644
index 0000000000..e6220be889
--- /dev/null
+++ b/deps/v8/test/cctest/test-roots.cc
@@ -0,0 +1,121 @@
+// Copyright 2018 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/heap/heap.h"
+#include "src/roots-inl.h"
+#include "test/cctest/cctest.h"
+
+namespace v8 {
+namespace internal {
+
+namespace {
+AllocationSpace GetSpaceFromObject(Object* object) {
+  DCHECK(object->IsHeapObject());
+  return MemoryChunk::FromHeapObject(HeapObject::cast(object))
+      ->owner()
+      ->identity();
+}
+}  // namespace
+
+#define CHECK_IN_RO_SPACE(name)    \
+  HeapObject* name = roots.name(); \
+  CHECK_EQ(RO_SPACE, GetSpaceFromObject(name));
+
+// The following tests check that all the roots accessible via ReadOnlyRoots are
+// in RO_SPACE.
+TEST(TestStrongReadOnlyRoots) {
+  ReadOnlyRoots roots(CcTest::i_isolate());
+
+#define TEST_ROOT(type, name, camel_name) CHECK_IN_RO_SPACE(name)
+  STRONG_READ_ONLY_ROOT_LIST(TEST_ROOT)
+#undef TEST_ROOT
+}
+
+TEST(TestInternalizedStrings) {
+  ReadOnlyRoots roots(CcTest::i_isolate());
+
+#define TEST_ROOT(name, str) CHECK_IN_RO_SPACE(name)
+  INTERNALIZED_STRING_LIST(TEST_ROOT)
+#undef TEST_ROOT
+}
+
+TEST(TestPrivateSymbols) {
+  ReadOnlyRoots roots(CcTest::i_isolate());
+
+  PRIVATE_SYMBOL_LIST(CHECK_IN_RO_SPACE)
+}
+
+TEST(TestPublicSymbols) {
+  ReadOnlyRoots roots(CcTest::i_isolate());
+
+#define TEST_ROOT(name, description) CHECK_IN_RO_SPACE(name)
+  PUBLIC_SYMBOL_LIST(TEST_ROOT)
+  WELL_KNOWN_SYMBOL_LIST(TEST_ROOT)
+#undef TEST_ROOT
+}
+
+TEST(TestStructMaps) {
+  ReadOnlyRoots roots(CcTest::i_isolate());
+
+#define TEST_ROOT(NAME, Name, name) CHECK_IN_RO_SPACE(name##_map)
+  STRUCT_LIST(TEST_ROOT)
+#undef TEST_ROOT
+}
+
+TEST(TestAllocationSiteMaps) {
+  ReadOnlyRoots roots(CcTest::i_isolate());
+
+#define TEST_ROOT(NAME, Name, Size, name) CHECK_IN_RO_SPACE(name##_map)
+  ALLOCATION_SITE_LIST(TEST_ROOT)
+#undef TEST_ROOT
+}
+
+#undef CHECK_IN_RO_SPACE
+
+namespace {
+bool IsInitiallyMutable(Heap* heap, Object* object) {
+// Entries in this list are in STRONG_MUTABLE_ROOT_LIST, but may initially point
+// to objects that in RO_SPACE.
+#define INITIALLY_READ_ONLY_ROOT_LIST(V) \
+  V(materialized_objects)                \
+  V(retaining_path_targets)              \
+  V(retained_maps)
+
+#define TEST_CAN_BE_READ_ONLY(name) \
+  if (heap->name() == object) return false;
+  INITIALLY_READ_ONLY_ROOT_LIST(TEST_CAN_BE_READ_ONLY)
+#undef TEST_CAN_BE_READ_ONLY
+#undef INITIALLY_READ_ONLY_ROOT_LIST
+  return true;
+}
+}  // namespace
+
+#define CHECK_NOT_IN_RO_SPACE(name)                           \
+  Object* name = heap->name();                                \
+  if (name->IsHeapObject() && IsInitiallyMutable(heap, name)) \
+    CHECK_NE(RO_SPACE, GetSpaceFromObject(name));
+
+// The following tests check that all the roots accessible via public Heap
+// accessors are not in RO_SPACE with the exception of the objects listed in
+// INITIALLY_READ_ONLY_ROOT_LIST.
+TEST(TestHeapRootsNotReadOnly) {
+  Heap* heap = CcTest::i_isolate()->heap();
+
+#define TEST_ROOT(type, name, camel_name) CHECK_NOT_IN_RO_SPACE(name)
+  MUTABLE_ROOT_LIST(TEST_ROOT)
+#undef TEST_ROOT
+}
+
+TEST(TestAccessorInfosNotReadOnly) {
+  Heap* heap = CcTest::i_isolate()->heap();
+
+#define TEST_ROOT(name, AccessorName) CHECK_NOT_IN_RO_SPACE(name##_accessor)
+  ACCESSOR_INFO_LIST(TEST_ROOT)
+#undef TEST_ROOT
+}
+
+#undef CHECK_NOT_IN_RO_SPACE
+
+}  // namespace internal
+}  // namespace v8