Method check_reg_group

src/debug_utils/validate_reginfo.rs:348–377

Check a register group.

(&mut self, group: RegGroup)

    /// Check a register group.
    fn check_reg_group(&mut self, group: RegGroup) -> Result<()> {
        let members = self.reginfo.reg_group_members(group);
        ensure!(
            members.len() >= 2 || members.len() > MAX_GROUP_SIZE,
            "{group}: Invalid group size {}",
            members.len()
        );
        let Some(bank) = self.reginfo.bank_for_reg(members[0]) else {
            bail!(
                "{group}: Register member {} must be in a register bank",
                members[0]
            );
        };

        // Check for overlaps within a group.
        let mut set = PhysRegSet::new();
        for &member in members {
            self.check_entity(Entity::PhysReg(member))?;
            ensure!(
                self.reginfo.bank_for_reg(member) == Some(bank),
                "{group}: Group member {member} expected to be from {bank}"
            );
            ensure!(
                !set.contains(member),
                "{group} contains duplicate member {member}"
            );
            set.insert(member);
        }
        Ok(())
    }

    /// Main entry point for `RegInfo` validation.
    fn check_reginfo(&mut self) -> Result<()> {