Trait orzir::verifiers::SameResultTys

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

Verifier SameResultTys for Op

This verifier indicates that the results are all the same type.

Provided Methods

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

Implementors

impl SameResultTys for AddOp

impl SameResultTys for AddiOp

impl SameResultTys for AddiwOp

impl SameResultTys for AddwOp

impl SameResultTys for AndOp

impl SameResultTys for AndiOp

impl SameResultTys for LiOp

impl SameResultTys for LoadAddrOp

impl SameResultTys for LoadOp

impl SameResultTys for LoadSymbolAddrOp

impl SameResultTys for LoadSymbolOp

impl SameResultTys for OrOp

impl SameResultTys for OriOp

impl SameResultTys for SllOp

impl SameResultTys for SlliOp

impl SameResultTys for SlliwOp

impl SameResultTys for SllwOp

impl SameResultTys for SltOp

impl SameResultTys for SltiOp

impl SameResultTys for SltiuOp

impl SameResultTys for SltuOp

impl SameResultTys for SraOp

impl SameResultTys for SraiOp

impl SameResultTys for SraiwOp

impl SameResultTys for SrawOp

impl SameResultTys for SrlOp

impl SameResultTys for SrliOp

impl SameResultTys for SrliwOp

impl SameResultTys for SrlwOp

impl SameResultTys for SubOp

impl SameResultTys for SubwOp

impl SameResultTys for XorOp

impl SameResultTys for XoriOp

impl SameResultTys for ZeroOp

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

impl SameResultTys for FClassOp

impl SameResultTys for orzir::dialects::riscv::rv_f::FCmpOp

impl SameResultTys for FCvtF2FOp

impl SameResultTys for FCvtF2IOp

impl SameResultTys for FCvtI2FOp

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

impl SameResultTys for FLoadOp

impl SameResultTys for FLoadSymbolOp

impl SameResultTys for FMaxOp

impl SameResultTys for FMinOp

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

impl SameResultTys for FMvF2IOp

impl SameResultTys for FMvI2FOp

impl SameResultTys for FSgnjOp

impl SameResultTys for FSgnjnOp

impl SameResultTys for FSgnjxOp

impl SameResultTys for FSqrtOp

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

impl SameResultTys for MAddOp

impl SameResultTys for MSubOp

impl SameResultTys for NMAddOp

impl SameResultTys for NMSubOp

impl SameResultTys for DivOp

impl SameResultTys for DivuOp

impl SameResultTys for DivuwOp

impl SameResultTys for DivwOp

impl SameResultTys for MulOp

impl SameResultTys for MulhOp

impl SameResultTys for MulhsuOp

impl SameResultTys for MulhuOp

impl SameResultTys for MulwOp

impl SameResultTys for RemOp

impl SameResultTys for RemuOp

impl SameResultTys for RemuwOp

impl SameResultTys for RemwOp

impl SameResultTys for BitcastOp

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

impl SameResultTys for orzir::dialects::std::arith::FCmpOp

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

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

impl SameResultTys for FPToSIOp

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

impl SameResultTys for IAddOp

impl SameResultTys for IAndOp

impl SameResultTys for ICmpOp

impl SameResultTys for IMulOp

impl SameResultTys for IOrOp

impl SameResultTys for ISubOp

impl SameResultTys for IXorOp

impl SameResultTys for SDivOp

impl SameResultTys for SIToFPOp

impl SameResultTys for UDivOp