Method invalidate_operand_group_mapping

src/internal/allocator/split.rs:1059–1081

Invalidate any existing operand to group mappings for a vreg: the group they point to will no longer be valid after it is spilled. New mappings will be created when building the new virtual registers for the split product.

(&mut self, vreg: V)

    // will be created when building the new virtual registers for the split
    // product.
    fn invalidate_operand_group_mapping<V: AbstractVirtRegGroup>(&mut self, vreg: V) {
        if V::is_group() {
            let vreg = vreg.first_vreg(self.virt_regs);
            for segment in self.virt_regs.segments(vreg) {
                for &u in &self.uses[segment.use_list] {
                    if let UseKind::GroupClassUse {
                        slot,
                        class: _,
                        group_index: _,
                    }
                    | UseKind::GroupClassDef {
                        slot,
                        class: _,
                        group_index: _,
                    } = u.kind
                    {
                        self.virt_reg_builder
                            .invalidate_value_group_mapping(u.pos, slot);
                    }
                }
            }
        }
    }

    /// Isolates all group uses in the given register group by splitting them
    /// off into minimal segments that only cover a single instruction (or part