Trait orzir::verifiers::SameOperandAndResultTys

pub trait SameOperandAndResultTys: SameOperandTys + SameResultTys {
    // Provided method
    fn verify(&self, ctx: &Context) -> VerifyResult<()> { ... }
}

Verifier SameOperandAndResultTys for Op.

This verifier indicates that the results and the operands all share the same type. Note that the numbers of results and operands are not necessarily the same.

Provided Methods

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

Implementors

impl SameOperandAndResultTys for AddOp

impl SameOperandAndResultTys for AddiOp

impl SameOperandAndResultTys for AddiwOp

impl SameOperandAndResultTys for AddwOp

impl SameOperandAndResultTys for AndOp

impl SameOperandAndResultTys for AndiOp

impl SameOperandAndResultTys for LoadOp

impl SameOperandAndResultTys for LoadSymbolAddrOp

impl SameOperandAndResultTys for LoadSymbolOp

impl SameOperandAndResultTys for OrOp

impl SameOperandAndResultTys for OriOp

impl SameOperandAndResultTys for SllOp

impl SameOperandAndResultTys for SlliOp

impl SameOperandAndResultTys for SlliwOp

impl SameOperandAndResultTys for SllwOp

impl SameOperandAndResultTys for SltOp

impl SameOperandAndResultTys for SltiOp

impl SameOperandAndResultTys for SltiuOp

impl SameOperandAndResultTys for SltuOp

impl SameOperandAndResultTys for SraOp

impl SameOperandAndResultTys for SraiOp

impl SameOperandAndResultTys for SraiwOp

impl SameOperandAndResultTys for SrawOp

impl SameOperandAndResultTys for SrlOp

impl SameOperandAndResultTys for SrliOp

impl SameOperandAndResultTys for SrliwOp

impl SameOperandAndResultTys for SrlwOp

impl SameOperandAndResultTys for SubOp

impl SameOperandAndResultTys for SubwOp

impl SameOperandAndResultTys for XorOp

impl SameOperandAndResultTys for XoriOp

impl SameOperandAndResultTys for orzir::dialects::riscv::rv_f::FAddOp

impl SameOperandAndResultTys for orzir::dialects::riscv::rv_f::FDivOp

impl SameOperandAndResultTys for FMaxOp

impl SameOperandAndResultTys for FMinOp

impl SameOperandAndResultTys for orzir::dialects::riscv::rv_f::FMulOp

impl SameOperandAndResultTys for FSgnjOp

impl SameOperandAndResultTys for FSgnjnOp

impl SameOperandAndResultTys for FSgnjxOp

impl SameOperandAndResultTys for FSqrtOp

impl SameOperandAndResultTys for orzir::dialects::riscv::rv_f::FSubOp

impl SameOperandAndResultTys for MAddOp

impl SameOperandAndResultTys for MSubOp

impl SameOperandAndResultTys for NMAddOp

impl SameOperandAndResultTys for NMSubOp

impl SameOperandAndResultTys for DivOp

impl SameOperandAndResultTys for DivuOp

impl SameOperandAndResultTys for DivuwOp

impl SameOperandAndResultTys for DivwOp

impl SameOperandAndResultTys for MulOp

impl SameOperandAndResultTys for MulhOp

impl SameOperandAndResultTys for MulhsuOp

impl SameOperandAndResultTys for MulhuOp

impl SameOperandAndResultTys for MulwOp

impl SameOperandAndResultTys for RemOp

impl SameOperandAndResultTys for RemuOp

impl SameOperandAndResultTys for RemuwOp

impl SameOperandAndResultTys for RemwOp

impl SameOperandAndResultTys for orzir::dialects::std::arith::FAddOp

impl SameOperandAndResultTys for orzir::dialects::std::arith::FDivOp

impl SameOperandAndResultTys for orzir::dialects::std::arith::FMulOp

impl SameOperandAndResultTys for orzir::dialects::std::arith::FSubOp

impl SameOperandAndResultTys for IAddOp

impl SameOperandAndResultTys for IAndOp

impl SameOperandAndResultTys for IMulOp

impl SameOperandAndResultTys for IOrOp

impl SameOperandAndResultTys for ISubOp

impl SameOperandAndResultTys for IXorOp

impl SameOperandAndResultTys for SDivOp

impl SameOperandAndResultTys for UDivOp