Trait orzir::verifiers::NumResults

source ·

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

Expand description

Verifier IsIsolatedFromBelow for Op.

A verifier indicating that the operation has excatly N results.

Provided Methods§

source

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

Implementors§

source §

Trait orzir::verifiers::NumResultsCopy item path

Provided Methods§

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

Implementors§

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

impl NumResults<0> for JumpOp

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

impl NumResults<0> for StoreSymbolOp

impl NumResults<0> for FStoreOp

impl NumResults<0> for FStoreSymbolOp

impl NumResults<0> for ModuleOp

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

impl NumResults<0> for JumoOp

impl NumResults<0> for FuncOp

impl NumResults<0> for ReturnOp

impl NumResults<0> for GlobalOp

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

impl NumResults<1> for AddOp

impl NumResults<1> for AddiOp

impl NumResults<1> for AddiwOp

impl NumResults<1> for AddwOp

impl NumResults<1> for AndOp

impl NumResults<1> for AndiOp

impl NumResults<1> for LiOp

impl NumResults<1> for LoadAddrOp

impl NumResults<1> for orzir::dialects::riscv::basic::LoadOp

impl NumResults<1> for LoadSymbolAddrOp

impl NumResults<1> for LoadSymbolOp

impl NumResults<1> for OrOp

impl NumResults<1> for OriOp

impl NumResults<1> for SllOp

impl NumResults<1> for SlliOp

impl NumResults<1> for SlliwOp

impl NumResults<1> for SllwOp

impl NumResults<1> for SltOp

impl NumResults<1> for SltiOp

impl NumResults<1> for SltiuOp

impl NumResults<1> for SltuOp

impl NumResults<1> for SraOp

impl NumResults<1> for SraiOp

impl NumResults<1> for SraiwOp

impl NumResults<1> for SrawOp

impl NumResults<1> for SrlOp

impl NumResults<1> for SrliOp

impl NumResults<1> for SrliwOp

impl NumResults<1> for SrlwOp

impl NumResults<1> for SubOp

impl NumResults<1> for SubwOp

impl NumResults<1> for XorOp

impl NumResults<1> for XoriOp

impl NumResults<1> for ZeroOp

impl NumResults<1> for orzir::dialects::riscv::rv_f::FAddOp

impl NumResults<1> for FClassOp

impl NumResults<1> for orzir::dialects::riscv::rv_f::FCmpOp

impl NumResults<1> for FCvtF2FOp

impl NumResults<1> for FCvtF2IOp

impl NumResults<1> for FCvtI2FOp

impl NumResults<1> for orzir::dialects::riscv::rv_f::FDivOp

impl NumResults<1> for FLoadOp

impl NumResults<1> for FLoadSymbolOp

impl NumResults<1> for FMaxOp

impl NumResults<1> for FMinOp

impl NumResults<1> for orzir::dialects::riscv::rv_f::FMulOp

impl NumResults<1> for FMvF2IOp

impl NumResults<1> for FMvI2FOp

impl NumResults<1> for FSgnjOp

impl NumResults<1> for FSgnjnOp

impl NumResults<1> for FSgnjxOp

impl NumResults<1> for FSqrtOp

impl NumResults<1> for orzir::dialects::riscv::rv_f::FSubOp

impl NumResults<1> for MAddOp

impl NumResults<1> for MSubOp

impl NumResults<1> for NMAddOp

impl NumResults<1> for NMSubOp

impl NumResults<1> for DivOp

impl NumResults<1> for DivuOp

impl NumResults<1> for DivuwOp

impl NumResults<1> for DivwOp

impl NumResults<1> for MulOp

impl NumResults<1> for MulhOp

Trait orzir::verifiers::NumResults