Record equivalences for spill registers