Method check_class

src/debug_utils/checker.rs:675–702

Checks that the allocation is compatible with the given register class.

(&self, alloc: Allocation, class: RegClass)

    /// Checks that the allocation is compatible with the given register class.
    fn check_class(&self, alloc: Allocation, class: RegClass) -> Result<()> {
        let reginfo = self.output.reginfo();
        match alloc.kind() {
            AllocationKind::PhysReg(reg) => ensure!(
                reginfo.class_members(class).contains(reg),
                "{class} doesn't contain {reg}"
            ),
            AllocationKind::SpillSlot(slot) => {
                ensure!(
                    reginfo.class_includes_spillslots(class),
                    "{class} doesn't allow spillslots"
                );
                let bank = reginfo.bank_for_class(class);
                let Some((_offset, spillslot_size)) =
                    self.output.stack_layout().spillslot_layout(slot)
                else {
                    bail!("{slot} has no stack layout");
                };
                ensure!(
                    reginfo.spillslot_size(bank) == spillslot_size,
                    "{slot} has wrong size for {bank}: expected {}, got {}",
                    reginfo.spillslot_size(bank),
                    spillslot_size
                );
            }
        }
        Ok(())
    }

    /// Checks that the allocation is the first member of a group in the given
    /// register class, and returns the register group it is part of.