Trait orzir::verifiers::NumRegions

pub trait NumRegions<const N: usize>: Op {
    // Provided method
    fn verify(&self, _: &Context) -> VerifyResult<()> { ... }
}

Verifier NumRegions for Op.

A verifier indicating that the operation has excatly N regions.

Provided Methods

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

Implementors

impl NumRegions<0> for AddOp

impl NumRegions<0> for AddiOp

impl NumRegions<0> for AddiwOp

impl NumRegions<0> for AddwOp

impl NumRegions<0> for AndOp

impl NumRegions<0> for AndiOp

impl NumRegions<0> for orzir::dialects::riscv::basic::BranchOp

impl NumRegions<0> for JumpOp

impl NumRegions<0> for LiOp

impl NumRegions<0> for LoadAddrOp

impl NumRegions<0> for orzir::dialects::riscv::basic::LoadOp

impl NumRegions<0> for LoadSymbolAddrOp

impl NumRegions<0> for LoadSymbolOp

impl NumRegions<0> for OrOp

impl NumRegions<0> for OriOp

impl NumRegions<0> for SllOp

impl NumRegions<0> for SlliOp

impl NumRegions<0> for SlliwOp

impl NumRegions<0> for SllwOp

impl NumRegions<0> for SltOp

impl NumRegions<0> for SltiOp

impl NumRegions<0> for SltiuOp

impl NumRegions<0> for SltuOp

impl NumRegions<0> for SraOp

impl NumRegions<0> for SraiOp

impl NumRegions<0> for SraiwOp

impl NumRegions<0> for SrawOp

impl NumRegions<0> for SrlOp

impl NumRegions<0> for SrliOp

impl NumRegions<0> for SrliwOp

impl NumRegions<0> for SrlwOp

impl NumRegions<0> for orzir::dialects::riscv::basic::StoreOp

impl NumRegions<0> for StoreSymbolOp

impl NumRegions<0> for SubOp

impl NumRegions<0> for SubwOp

impl NumRegions<0> for XorOp

impl NumRegions<0> for XoriOp

impl NumRegions<0> for ZeroOp

impl NumRegions<0> for orzir::dialects::riscv::rv_f::FAddOp

impl NumRegions<0> for FClassOp

impl NumRegions<0> for orzir::dialects::riscv::rv_f::FCmpOp

impl NumRegions<0> for FCvtF2FOp

impl NumRegions<0> for FCvtF2IOp

impl NumRegions<0> for FCvtI2FOp

impl NumRegions<0> for orzir::dialects::riscv::rv_f::FDivOp

impl NumRegions<0> for FLoadOp

impl NumRegions<0> for FLoadSymbolOp

impl NumRegions<0> for FMaxOp

impl NumRegions<0> for FMinOp

impl NumRegions<0> for orzir::dialects::riscv::rv_f::FMulOp

impl NumRegions<0> for FMvF2IOp

impl NumRegions<0> for FMvI2FOp

impl NumRegions<0> for FSgnjOp

impl NumRegions<0> for FSgnjnOp

impl NumRegions<0> for FSgnjxOp

impl NumRegions<0> for FSqrtOp

impl NumRegions<0> for FStoreOp

impl NumRegions<0> for FStoreSymbolOp

impl NumRegions<0> for orzir::dialects::riscv::rv_f::FSubOp

impl NumRegions<0> for MAddOp

impl NumRegions<0> for MSubOp

impl NumRegions<0> for NMAddOp

impl NumRegions<0> for NMSubOp

impl NumRegions<0> for DivOp

impl NumRegions<0> for DivuOp

impl NumRegions<0> for DivuwOp

impl NumRegions<0> for DivwOp

impl NumRegions<0> for MulOp

impl NumRegions<0> for MulhOp

impl NumRegions<0> for MulhsuOp

impl NumRegions<0> for MulhuOp

impl NumRegions<0> for MulwOp

impl NumRegions<0> for RemOp

impl NumRegions<0> for RemuOp

impl NumRegions<0> for RemuwOp

impl NumRegions<0> for RemwOp

impl NumRegions<0> for BitcastOp

impl NumRegions<0> for orzir::dialects::std::arith::FAddOp

impl NumRegions<0> for orzir::dialects::std::arith::FCmpOp

impl NumRegions<0> for FConstOp

impl NumRegions<0> for orzir::dialects::std::arith::FDivOp

impl NumRegions<0> for orzir::dialects::std::arith::FMulOp

impl NumRegions<0> for FNegOp

impl NumRegions<0> for FPToSIOp

impl NumRegions<0> for orzir::dialects::std::arith::FSubOp

impl NumRegions<0> for IAddOp

impl NumRegions<0> for IAndOp

impl NumRegions<0> for ICmpOp

impl NumRegions<0> for IConstOp

impl NumRegions<0> for IMulOp

impl NumRegions<0> for IOrOp

impl NumRegions<0> for ISubOp

impl NumRegions<0> for IXorOp

impl NumRegions<0> for SDivOp

impl NumRegions<0> for SIToFPOp

impl NumRegions<0> for UDivOp

impl NumRegions<0> for orzir::dialects::std::cf::BranchOp

impl NumRegions<0> for JumoOp

impl NumRegions<0> for CallOp

impl NumRegions<0> for ReturnOp

impl NumRegions<0> for AllocaOp

impl NumRegions<0> for CastOp

impl NumRegions<0> for GetGlobalOp

impl NumRegions<0> for GlobalOp

impl NumRegions<0> for orzir::dialects::std::mem::LoadOp

impl NumRegions<0> for orzir::dialects::std::mem::StoreOp

impl NumRegions<1> for ModuleOp

impl NumRegions<1> for FuncOp