Trait orzir::verifiers::NumOperands

source ·

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

Expand description

Verifier NumOperands for Op.

A trait indicating that the operation has excatly N operands.

Provided Methods§

source

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

Implementors§

source §

Trait orzir::verifiers::NumOperandsCopy item path

Provided Methods§

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

Implementors§

impl NumOperands<0> for JumpOp

impl NumOperands<0> for LiOp

impl NumOperands<0> for LoadSymbolAddrOp

impl NumOperands<0> for LoadSymbolOp

impl NumOperands<0> for ZeroOp

impl NumOperands<0> for FLoadSymbolOp

impl NumOperands<0> for FConstOp

impl NumOperands<0> for IConstOp

impl NumOperands<0> for AllocaOp

impl NumOperands<0> for GetGlobalOp

impl NumOperands<0> for GlobalOp

impl NumOperands<1> for AddiOp

impl NumOperands<1> for AddiwOp

impl NumOperands<1> for AndiOp

impl NumOperands<1> for LoadAddrOp

impl NumOperands<1> for LoadOp

impl NumOperands<1> for OriOp

impl NumOperands<1> for SlliOp

impl NumOperands<1> for SlliwOp

impl NumOperands<1> for SltiOp

impl NumOperands<1> for SltiuOp

impl NumOperands<1> for SraiOp

impl NumOperands<1> for SraiwOp

impl NumOperands<1> for SrliOp

impl NumOperands<1> for SrliwOp

impl NumOperands<1> for StoreSymbolOp

impl NumOperands<1> for XoriOp

impl NumOperands<1> for FClassOp

impl NumOperands<1> for FCvtF2FOp

impl NumOperands<1> for FCvtF2IOp

impl NumOperands<1> for FCvtI2FOp

impl NumOperands<1> for FLoadOp

impl NumOperands<1> for FMvF2IOp

impl NumOperands<1> for FMvI2FOp

impl NumOperands<1> for FSqrtOp

impl NumOperands<1> for FStoreSymbolOp

impl NumOperands<1> for BitcastOp

impl NumOperands<1> for FNegOp

impl NumOperands<1> for FPToSIOp

impl NumOperands<1> for SIToFPOp

impl NumOperands<1> for orzir::dialects::std::cf::BranchOp

impl NumOperands<1> for CastOp

impl NumOperands<2> for AddOp

impl NumOperands<2> for AddwOp

impl NumOperands<2> for AndOp

impl NumOperands<2> for orzir::dialects::riscv::basic::BranchOp

impl NumOperands<2> for OrOp

impl NumOperands<2> for SllOp

impl NumOperands<2> for SllwOp

impl NumOperands<2> for SltOp

impl NumOperands<2> for SltuOp

impl NumOperands<2> for SraOp

impl NumOperands<2> for SrawOp

impl NumOperands<2> for SrlOp

impl NumOperands<2> for SrlwOp

impl NumOperands<2> for StoreOp

impl NumOperands<2> for SubOp

impl NumOperands<2> for SubwOp

impl NumOperands<2> for XorOp

impl NumOperands<2> for orzir::dialects::riscv::rv_f::FAddOp

impl NumOperands<2> for orzir::dialects::riscv::rv_f::FCmpOp

impl NumOperands<2> for orzir::dialects::riscv::rv_f::FDivOp

impl NumOperands<2> for FMaxOp

impl NumOperands<2> for FMinOp

impl NumOperands<2> for orzir::dialects::riscv::rv_f::FMulOp

impl NumOperands<2> for FSgnjOp

impl NumOperands<2> for FSgnjnOp

impl NumOperands<2> for FSgnjxOp

impl NumOperands<2> for FStoreOp

impl NumOperands<2> for orzir::dialects::riscv::rv_f::FSubOp

impl NumOperands<2> for DivOp

impl NumOperands<2> for DivuOp

impl NumOperands<2> for DivuwOp

impl NumOperands<2> for DivwOp

impl NumOperands<2> for MulOp

impl NumOperands<2> for MulhOp

Trait orzir::verifiers::NumOperands