Method encodable_as_bb

cranelift/codegen/src/verifier/mod.rs:440–445

Check that the given block can be encoded as a BB, by checking that only branching instructions are ending the block.

(&self, block: Block, errors: &mut VerifierErrors)

    /// Check that the given block can be encoded as a BB, by checking that only
    /// branching instructions are ending the block.
    fn encodable_as_bb(&self, block: Block, errors: &mut VerifierErrors) -> VerifierStepResult {
        match self.func.is_block_basic(block) {
            Ok(()) => Ok(()),
            Err((inst, message)) => errors.fatal((inst, self.context(inst), message)),
        }
    }

    fn block_integrity(
        &self,