Index: test/cctest/test-slots-buffer.cc |
diff --git a/test/cctest/test-slots-buffer.cc b/test/cctest/test-slots-buffer.cc |
new file mode 100644 |
index 0000000000000000000000000000000000000000..a47c584fff7feb860763b250c7d0a8365efae689 |
--- /dev/null |
+++ b/test/cctest/test-slots-buffer.cc |
@@ -0,0 +1,132 @@ |
+// Copyright 2015 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/slots-buffer.h" |
+#include "test/cctest/cctest.h" |
+ |
+namespace v8 { |
+namespace internal { |
+ |
+TEST(SlotsBufferObjectSlotsRemoval) { |
+ CcTest::InitializeVM(); |
+ v8::HandleScope scope(CcTest::isolate()); |
+ Isolate* isolate = CcTest::i_isolate(); |
+ Heap* heap = isolate->heap(); |
+ Factory* factory = isolate->factory(); |
+ |
+ SlotsBuffer* buffer = new SlotsBuffer(NULL); |
+ void* fake_object[1]; |
+ |
+ Handle<FixedArray> array = factory->NewFixedArray(2, TENURED); |
+ CHECK(heap->old_space()->Contains(*array)); |
+ array->set(0, reinterpret_cast<Object*>(fake_object), SKIP_WRITE_BARRIER); |
+ |
+ // Firstly, let's test the regular slots buffer entry. |
+ buffer->Add(HeapObject::RawField(*array, FixedArray::kHeaderSize)); |
+ CHECK(reinterpret_cast<void*>(buffer->Get(0)) == |
+ HeapObject::RawField(*array, FixedArray::kHeaderSize)); |
+ SlotsBuffer::RemoveObjectSlots(CcTest::i_isolate()->heap(), buffer, |
+ array->address(), |
+ array->address() + array->Size()); |
+ CHECK(reinterpret_cast<void*>(buffer->Get(0)) == |
+ HeapObject::RawField(heap->empty_fixed_array(), |
+ FixedArrayBase::kLengthOffset)); |
+ |
+ // Secondly, let's test the typed slots buffer entry. |
+ SlotsBuffer::AddTo(NULL, &buffer, SlotsBuffer::EMBEDDED_OBJECT_SLOT, |
+ array->address() + FixedArray::kHeaderSize, |
+ SlotsBuffer::FAIL_ON_OVERFLOW); |
+ CHECK(reinterpret_cast<void*>(buffer->Get(1)) == |
+ reinterpret_cast<Object**>(SlotsBuffer::EMBEDDED_OBJECT_SLOT)); |
+ CHECK(reinterpret_cast<void*>(buffer->Get(2)) == |
+ HeapObject::RawField(*array, FixedArray::kHeaderSize)); |
+ SlotsBuffer::RemoveObjectSlots(CcTest::i_isolate()->heap(), buffer, |
+ array->address(), |
+ array->address() + array->Size()); |
+ CHECK(reinterpret_cast<void*>(buffer->Get(1)) == |
+ HeapObject::RawField(heap->empty_fixed_array(), |
+ FixedArrayBase::kLengthOffset)); |
+ CHECK(reinterpret_cast<void*>(buffer->Get(2)) == |
+ HeapObject::RawField(heap->empty_fixed_array(), |
+ FixedArrayBase::kLengthOffset)); |
+ delete buffer; |
+} |
+ |
+ |
+TEST(FilterInvalidSlotsBufferEntries) { |
+ FLAG_manual_evacuation_candidates_selection = true; |
+ CcTest::InitializeVM(); |
+ v8::HandleScope scope(CcTest::isolate()); |
+ Isolate* isolate = CcTest::i_isolate(); |
+ Heap* heap = isolate->heap(); |
+ Factory* factory = isolate->factory(); |
+ SlotsBuffer* buffer = new SlotsBuffer(NULL); |
+ |
+ // Set up a fake black object that will contain a recorded SMI, a recorded |
+ // pointer to a new space object, and a recorded pointer to a non-evacuation |
+ // candidate object. These object should be filtered out. Additionally, |
+ // we point to an evacuation candidate object which should not be filtered |
+ // out. |
+ |
+ // Create fake object and mark it black. |
+ Handle<FixedArray> fake_object = factory->NewFixedArray(23, TENURED); |
+ MarkBit mark_bit = Marking::MarkBitFrom(*fake_object); |
+ Marking::MarkBlack(mark_bit); |
+ |
+ // Write a SMI into field one and record its address; |
+ Object** field_smi = fake_object->RawFieldOfElementAt(0); |
+ *field_smi = Smi::FromInt(100); |
+ buffer->Add(field_smi); |
+ |
+ // Write a new space reference into field 2 and record its address; |
+ Handle<FixedArray> new_space_object = factory->NewFixedArray(23); |
+ mark_bit = Marking::MarkBitFrom(*new_space_object); |
+ Marking::MarkBlack(mark_bit); |
+ Object** field_new_space = fake_object->RawFieldOfElementAt(1); |
+ *field_new_space = *new_space_object; |
+ buffer->Add(field_new_space); |
+ |
+ // Write an old space reference into field 3 which points to an object not on |
+ // an evacuation candidate. |
+ Handle<FixedArray> old_space_object_non_evacuation = |
+ factory->NewFixedArray(23, TENURED); |
+ mark_bit = Marking::MarkBitFrom(*old_space_object_non_evacuation); |
+ Marking::MarkBlack(mark_bit); |
+ Object** field_old_space_object_non_evacuation = |
+ fake_object->RawFieldOfElementAt(2); |
+ *field_old_space_object_non_evacuation = *old_space_object_non_evacuation; |
+ buffer->Add(field_old_space_object_non_evacuation); |
+ |
+ // Write an old space reference into field 4 which points to an object on an |
+ // evacuation candidate. |
+ SimulateFullSpace(heap->old_space()); |
+ Handle<FixedArray> valid_object = |
+ isolate->factory()->NewFixedArray(23, TENURED); |
+ Page* page = Page::FromAddress(valid_object->address()); |
+ page->SetFlag(MemoryChunk::EVACUATION_CANDIDATE); |
+ Object** valid_field = fake_object->RawFieldOfElementAt(3); |
+ *valid_field = *valid_object; |
+ buffer->Add(valid_field); |
+ |
+ SlotsBuffer::RemoveInvalidSlots(heap, buffer); |
+ Object** kRemovedEntry = HeapObject::RawField(heap->empty_fixed_array(), |
+ FixedArrayBase::kLengthOffset); |
+ CHECK_EQ(buffer->Get(0), kRemovedEntry); |
+ CHECK_EQ(buffer->Get(1), kRemovedEntry); |
+ CHECK_EQ(buffer->Get(2), kRemovedEntry); |
+ CHECK_EQ(buffer->Get(3), valid_field); |
+ |
+ // Clean-up to make verify heap happy. |
+ mark_bit = Marking::MarkBitFrom(*fake_object); |
+ Marking::MarkWhite(mark_bit); |
+ mark_bit = Marking::MarkBitFrom(*new_space_object); |
+ Marking::MarkWhite(mark_bit); |
+ mark_bit = Marking::MarkBitFrom(*old_space_object_non_evacuation); |
+ Marking::MarkWhite(mark_bit); |
+ |
+ delete buffer; |
+} |
+ |
+} // namespace internal |
+} // namespace v8 |