Method check_reg

src/debug_utils/validate_reginfo.rs:320–345

Check a register.

(&mut self, reg: PhysReg)

    /// Check a register.
    fn check_reg(&mut self, reg: PhysReg) -> Result<()> {
        // Non-allocatable registers have no constraints.
        if let Some(bank) = self.reginfo.bank_for_reg(reg) {
            self.check_entity(Entity::RegBank(bank))?;
            ensure!(
                self.reginfo.reg_units(reg).count() != 0,
                "{reg}: Allocatable register must have at least 1 register unit"
            );

            ensure!(
                self.reginfo.reg_units(reg).count() <= MAX_UNITS_PER_REG,
                "{reg} has too many register units (max is {MAX_UNITS_PER_REG})"
            );

            for unit in self.reginfo.reg_units(reg) {
                self.check_entity(Entity::RegUnit(unit))?;
                ensure!(
                    !self.bank_units[bank].contains(unit),
                    "{unit} in {reg} overlaps with other registers in {bank}"
                );
                self.bank_units[bank].insert(unit);
            }
        }

        Ok(())
    }

    /// Check a register group.
    fn check_reg_group(&mut self, group: RegGroup) -> Result<()> {