Method check_entity

src/debug_utils/validate_reginfo.rs:58–68

Check that an entity refers to a valid object.

(&self, entity: Entity)

impl<R: RegInfo> Context<'_, R> {
    /// Check that an entity refers to a valid object.
    fn check_entity(&self, entity: Entity) -> Result<()> {
        let (index, len) = match entity {
            Entity::RegUnit(x) => (x.index(), MAX_REG_UNITS),
            Entity::PhysReg(x) => (x.index(), self.reginfo.num_regs()),
            Entity::RegGroup(x) => (x.index(), self.reginfo.num_reg_groups()),
            Entity::RegClass(x) => (x.index(), self.reginfo.num_classes()),
            Entity::RegBank(x) => (x.index(), self.reginfo.num_banks()),
        };
        ensure!(index < len, "{entity}: Invalid entity reference");
        Ok(())
    }

    /// Check the limits on the number of entities.
    fn check_limits(&self) -> Result<()> {