Remove DIRTY/CLEAN distinction for SMALL_MUT_ARR_PTRS

Authored by osa1 on Jun 5 2018, 3:30 AM.


  • A SMALL_MUT_ARR_PTRS, like MUT_ARR_PTRS, always lives on a mut_list
  • But unlike MUT_ARR_PTRS, we don't care if it points to a younger object or not because we always scavenge it when scavenging mut_lists

So we can just remove the CLEAN/DIRTY distinction for
SMALL_MUT_ARR_PTRS. This simplifies the scavenge code and removes a
closure type.

Test Plan

this validates

osa1 created this revision.Jun 5 2018, 3:30 AM
simonmar requested changes to this revision.Jun 5 2018, 3:54 AM

Instead of this I think we should respect the CLEAN/DIRTY distinction in scavenge_mutable_list. It's really a bug that we don't do that.

This revision now requires changes to proceed.Jun 5 2018, 3:54 AM
osa1 abandoned this revision.Jun 5 2018, 3:59 AM

Makes sense. I'll submit another diff for that.