Trait orzir::verifiers::SameOperandTys

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

Verifier SameOperandTys for Op

This verifier indicates that the operands are all the same types.

Provided Methods

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

Implementors

impl SameOperandTys for AddOp

impl SameOperandTys for AddiOp

impl SameOperandTys for AddiwOp

impl SameOperandTys for AddwOp

impl SameOperandTys for AndOp

impl SameOperandTys for AndiOp

impl SameOperandTys for LoadAddrOp

impl SameOperandTys for LoadOp

impl SameOperandTys for LoadSymbolAddrOp

impl SameOperandTys for LoadSymbolOp

impl SameOperandTys for OrOp

impl SameOperandTys for OriOp

impl SameOperandTys for SllOp

impl SameOperandTys for SlliOp

impl SameOperandTys for SlliwOp

impl SameOperandTys for SllwOp

impl SameOperandTys for SltOp

impl SameOperandTys for SltiOp

impl SameOperandTys for SltiuOp

impl SameOperandTys for SltuOp

impl SameOperandTys for SraOp

impl SameOperandTys for SraiOp

impl SameOperandTys for SraiwOp

impl SameOperandTys for SrawOp

impl SameOperandTys for SrlOp

impl SameOperandTys for SrliOp

impl SameOperandTys for SrliwOp

impl SameOperandTys for SrlwOp

impl SameOperandTys for StoreOp

impl SameOperandTys for StoreSymbolOp

impl SameOperandTys for SubOp

impl SameOperandTys for SubwOp

impl SameOperandTys for XorOp

impl SameOperandTys for XoriOp

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

impl SameOperandTys for FClassOp

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

impl SameOperandTys for FCvtF2FOp

impl SameOperandTys for FCvtF2IOp

impl SameOperandTys for FCvtI2FOp

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

impl SameOperandTys for FLoadOp

impl SameOperandTys for FMaxOp

impl SameOperandTys for FMinOp

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

impl SameOperandTys for FMvF2IOp

impl SameOperandTys for FMvI2FOp

impl SameOperandTys for FSgnjOp

impl SameOperandTys for FSgnjnOp

impl SameOperandTys for FSgnjxOp

impl SameOperandTys for FSqrtOp

impl SameOperandTys for FStoreOp

impl SameOperandTys for FStoreSymbolOp

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

impl SameOperandTys for MAddOp

impl SameOperandTys for MSubOp

impl SameOperandTys for NMAddOp

impl SameOperandTys for NMSubOp

impl SameOperandTys for DivOp

impl SameOperandTys for DivuOp

impl SameOperandTys for DivuwOp

impl SameOperandTys for DivwOp

impl SameOperandTys for MulOp

impl SameOperandTys for MulhOp

impl SameOperandTys for MulhsuOp

impl SameOperandTys for MulhuOp

impl SameOperandTys for MulwOp

impl SameOperandTys for RemOp

impl SameOperandTys for RemuOp

impl SameOperandTys for RemuwOp

impl SameOperandTys for RemwOp

impl SameOperandTys for BitcastOp

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

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

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

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

impl SameOperandTys for FPToSIOp

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

impl SameOperandTys for IAddOp

impl SameOperandTys for IAndOp

impl SameOperandTys for ICmpOp

impl SameOperandTys for IMulOp

impl SameOperandTys for IOrOp

impl SameOperandTys for ISubOp

impl SameOperandTys for IXorOp

impl SameOperandTys for SDivOp

impl SameOperandTys for SIToFPOp

impl SameOperandTys for UDivOp