Method check_entity

src/debug_utils/validate_func.rs:119–128

Check that an entity refers to a valid object.

(&self, entity: Entity)

impl<F: Function, R: RegInfo> Context<'_, F, R> {
    /// Check that an entity refers to a valid object.
    fn check_entity(&self, entity: Entity) -> Result<()> {
        let (index, len) = match entity {
            Entity::Block(x) => (x.index(), self.func.num_blocks()),
            Entity::Value(x) => (x.index(), self.func.num_values()),
            Entity::ValueGroup(x) => (x.index(), self.func.num_value_groups()),
            Entity::Inst(x) => (x.index(), self.func.num_insts()),
        };
        ensure!(index < len, "{entity}: Invalid entity reference");
        Ok(())
    }

    /// Checks a range of instructions.
    fn check_inst_range(&mut self, range: InstRange) -> Result<()> {