Index: src/heap/heap.cc |
diff --git a/src/heap/heap.cc b/src/heap/heap.cc |
index 19cbe88b6e2e2e7580948f35777198fed4e3faa5..4ef4c900b955b52ae03f425eda508d598785a9e6 100644 |
--- a/src/heap/heap.cc |
+++ b/src/heap/heap.cc |
@@ -4779,134 +4779,6 @@ |
mark_compact_collector()->VerifyOmittedMapChecks(); |
} |
} |
- |
-class SlotVerifyingVisitor : public ObjectVisitor { |
- public: |
- SlotVerifyingVisitor(std::set<Address>* untyped, |
- std::set<std::pair<SlotType, Address> >* typed) |
- : untyped_(untyped), typed_(typed) {} |
- |
- virtual bool ShouldHaveBeenRecorded(HeapObject* host, Object* target) = 0; |
- |
- void VisitPointers(HeapObject* host, Object** start, Object** end) override { |
- for (Object** slot = start; slot < end; slot++) { |
- if (ShouldHaveBeenRecorded(host, *slot)) { |
- CHECK_GT(untyped_->count(reinterpret_cast<Address>(slot)), 0); |
- } |
- } |
- } |
- |
- void VisitCodeTarget(Code* host, RelocInfo* rinfo) override { |
- Object* target = Code::GetCodeFromTargetAddress(rinfo->target_address()); |
- if (ShouldHaveBeenRecorded(host, target)) { |
- CHECK(InTypedSet(CODE_TARGET_SLOT, rinfo->pc()) || |
- (rinfo->IsInConstantPool() && |
- InTypedSet(CODE_ENTRY_SLOT, rinfo->pc()))); |
- } |
- } |
- |
- void VisitCodeAgeSequence(Code* host, RelocInfo* rinfo) override { |
- Object* target = rinfo->code_age_stub(); |
- if (ShouldHaveBeenRecorded(host, target)) { |
- CHECK(InTypedSet(CODE_TARGET_SLOT, rinfo->pc()) || |
- (rinfo->IsInConstantPool() && |
- InTypedSet(CODE_ENTRY_SLOT, rinfo->pc()))); |
- } |
- } |
- |
- void VisitCodeEntry(JSFunction* host, Address entry_address) override { |
- Object* target = Code::GetObjectFromEntryAddress(entry_address); |
- if (ShouldHaveBeenRecorded(host, target)) { |
- CHECK(InTypedSet(CODE_ENTRY_SLOT, entry_address)); |
- } |
- } |
- |
- void VisitCellPointer(Code* host, RelocInfo* rinfo) override { |
- Object* target = rinfo->target_cell(); |
- if (ShouldHaveBeenRecorded(host, target)) { |
- CHECK( |
- InTypedSet(CELL_TARGET_SLOT, rinfo->pc()) || |
- (rinfo->IsInConstantPool() && InTypedSet(OBJECT_SLOT, rinfo->pc()))); |
- } |
- } |
- |
- void VisitDebugTarget(Code* host, RelocInfo* rinfo) override { |
- Object* target = |
- Code::GetCodeFromTargetAddress(rinfo->debug_call_address()); |
- if (ShouldHaveBeenRecorded(host, target)) { |
- CHECK(InTypedSet(DEBUG_TARGET_SLOT, rinfo->pc()) || |
- (rinfo->IsInConstantPool() && |
- InTypedSet(CODE_ENTRY_SLOT, rinfo->pc()))); |
- } |
- } |
- |
- void VisitEmbeddedPointer(Code* host, RelocInfo* rinfo) override { |
- Object* target = rinfo->target_object(); |
- if (ShouldHaveBeenRecorded(host, target)) { |
- CHECK( |
- InTypedSet(EMBEDDED_OBJECT_SLOT, rinfo->pc()) || |
- (rinfo->IsInConstantPool() && InTypedSet(OBJECT_SLOT, rinfo->pc()))); |
- } |
- } |
- |
- private: |
- bool InTypedSet(SlotType type, Address slot) { |
- return typed_->count(std::make_pair(type, slot)) > 0; |
- } |
- std::set<Address>* untyped_; |
- std::set<std::pair<SlotType, Address> >* typed_; |
-}; |
- |
-class OldToNewSlotVerifyingVisitor : public SlotVerifyingVisitor { |
- public: |
- OldToNewSlotVerifyingVisitor(Heap* heap, std::set<Address>* untyped, |
- std::set<std::pair<SlotType, Address> >* typed) |
- : SlotVerifyingVisitor(untyped, typed), heap_(heap) {} |
- |
- bool ShouldHaveBeenRecorded(HeapObject* host, Object* target) override { |
- return target->IsHeapObject() && heap_->InNewSpace(target) && |
- !heap_->InNewSpace(host); |
- } |
- |
- private: |
- Heap* heap_; |
-}; |
- |
-template <RememberedSetType direction> |
-void CollectSlots(MemoryChunk* chunk, Address start, Address end, |
- std::set<Address>* untyped, |
- std::set<std::pair<SlotType, Address> >* typed) { |
- RememberedSet<direction>::Iterate(chunk, [start, end, untyped](Address slot) { |
- if (start <= slot && slot < end) { |
- untyped->insert(slot); |
- } |
- return KEEP_SLOT; |
- }); |
- RememberedSet<direction>::IterateTyped( |
- chunk, [start, end, typed](SlotType type, Address host, Address slot) { |
- if (start <= slot && slot < end) { |
- typed->insert(std::make_pair(type, slot)); |
- } |
- return KEEP_SLOT; |
- }); |
-} |
- |
-void Heap::VerifyRememberedSetFor(HeapObject* object) { |
- MemoryChunk* chunk = MemoryChunk::FromAddress(object->address()); |
- base::LockGuard<base::RecursiveMutex> lock_guard(chunk->mutex()); |
- Address start = object->address(); |
- Address end = start + object->Size(); |
- std::set<Address> old_to_new; |
- std::set<std::pair<SlotType, Address> > typed_old_to_new; |
- if (!InNewSpace(object)) { |
- store_buffer()->MoveAllEntriesToRememberedSet(); |
- CollectSlots<OLD_TO_NEW>(chunk, start, end, &old_to_new, &typed_old_to_new); |
- OldToNewSlotVerifyingVisitor visitor(this, &old_to_new, &typed_old_to_new); |
- object->IterateBody(&visitor); |
- } |
- // TODO(ulan): Add old to old slot set verification once all weak objects |
- // have their own instance types and slots are recorded for all weal fields. |
-} |
#endif |