Trait orzir::verifiers::control_flow::IsTerminator

pub trait IsTerminator: Op {
    // Provided method
    fn verify(&self, ctx: &Context) -> VerifyResult<()> { ... }
}

Verifier IsTerminator for Op.

This verifier indicates that the operation is a terminator.

Provided Methods

fn verify(&self, ctx: &Context) -> VerifyResult<()>

Implementors

impl IsTerminator for orzir::dialects::riscv::basic::BranchOp

impl IsTerminator for JumpOp

impl IsTerminator for orzir::dialects::std::cf::BranchOp

impl IsTerminator for JumoOp

impl IsTerminator for ReturnOp