Trait orzir::verifiers::SameOperandTys

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

Verifier SameOperandTys for Op

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

Provided Methods§

source

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

Implementors§

source§

impl SameOperandTys for AddOp

source§

impl SameOperandTys for AddiOp

source§

impl SameOperandTys for AddiwOp

source§

impl SameOperandTys for AddwOp

source§

impl SameOperandTys for AndOp

source§

impl SameOperandTys for AndiOp

source§

impl SameOperandTys for LoadAddrOp

source§

impl SameOperandTys for LoadOp

source§

impl SameOperandTys for LoadSymbolAddrOp

source§

impl SameOperandTys for LoadSymbolOp

source§

impl SameOperandTys for OrOp

source§

impl SameOperandTys for OriOp

source§

impl SameOperandTys for SllOp

source§

impl SameOperandTys for SlliOp

source§

impl SameOperandTys for SlliwOp

source§

impl SameOperandTys for SllwOp

source§

impl SameOperandTys for SltOp

source§

impl SameOperandTys for SltiOp

source§

impl SameOperandTys for SltiuOp

source§

impl SameOperandTys for SltuOp

source§

impl SameOperandTys for SraOp

source§

impl SameOperandTys for SraiOp

source§

impl SameOperandTys for SraiwOp

source§

impl SameOperandTys for SrawOp

source§

impl SameOperandTys for SrlOp

source§

impl SameOperandTys for SrliOp

source§

impl SameOperandTys for SrliwOp

source§

impl SameOperandTys for SrlwOp

source§

impl SameOperandTys for StoreOp

source§

impl SameOperandTys for StoreSymbolOp

source§

impl SameOperandTys for SubOp

source§

impl SameOperandTys for SubwOp

source§

impl SameOperandTys for XorOp

source§

impl SameOperandTys for XoriOp

source§

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

source§

impl SameOperandTys for FClassOp

source§

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

source§

impl SameOperandTys for FCvtF2FOp

source§

impl SameOperandTys for FCvtF2IOp

source§

impl SameOperandTys for FCvtI2FOp

source§

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

source§

impl SameOperandTys for FLoadOp

source§

impl SameOperandTys for FMaxOp

source§

impl SameOperandTys for FMinOp

source§

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

source§

impl SameOperandTys for FMvF2IOp

source§

impl SameOperandTys for FMvI2FOp

source§

impl SameOperandTys for FSgnjOp

source§

impl SameOperandTys for FSgnjnOp

source§

impl SameOperandTys for FSgnjxOp

source§

impl SameOperandTys for FSqrtOp

source§

impl SameOperandTys for FStoreOp

source§

impl SameOperandTys for FStoreSymbolOp

source§

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

source§

impl SameOperandTys for MAddOp

source§

impl SameOperandTys for MSubOp

source§

impl SameOperandTys for NMAddOp

source§

impl SameOperandTys for NMSubOp

source§

impl SameOperandTys for DivOp

source§

impl SameOperandTys for DivuOp

source§

impl SameOperandTys for DivuwOp

source§

impl SameOperandTys for DivwOp

source§

impl SameOperandTys for MulOp

source§

impl SameOperandTys for MulhOp

source§

impl SameOperandTys for MulhsuOp

source§

impl SameOperandTys for MulhuOp

source§

impl SameOperandTys for MulwOp

source§

impl SameOperandTys for RemOp

source§

impl SameOperandTys for RemuOp

source§

impl SameOperandTys for RemuwOp

source§

impl SameOperandTys for RemwOp

source§

impl SameOperandTys for BitcastOp

source§

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

source§

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

source§

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

source§

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

source§

impl SameOperandTys for FPToSIOp

source§

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

source§

impl SameOperandTys for IAddOp

source§

impl SameOperandTys for IAndOp

source§

impl SameOperandTys for ICmpOp

source§

impl SameOperandTys for IMulOp

source§

impl SameOperandTys for IOrOp

source§

impl SameOperandTys for ISubOp

source§

impl SameOperandTys for IXorOp

source§

impl SameOperandTys for SDivOp

source§

impl SameOperandTys for SIToFPOp

source§

impl SameOperandTys for UDivOp