Trait orzir::verifiers::IntegerLikeOperands

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

Verifier IsTerminator for Op.

This verifier indicates that the operation has integer-like operands.

Provided Methods§

source

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

Implementors§

source§

impl IntegerLikeOperands for AddOp

source§

impl IntegerLikeOperands for AddiOp

source§

impl IntegerLikeOperands for AddiwOp

source§

impl IntegerLikeOperands for AddwOp

source§

impl IntegerLikeOperands for AndOp

source§

impl IntegerLikeOperands for AndiOp

source§

impl IntegerLikeOperands for LoadOp

source§

impl IntegerLikeOperands for LoadSymbolAddrOp

source§

impl IntegerLikeOperands for LoadSymbolOp

source§

impl IntegerLikeOperands for OrOp

source§

impl IntegerLikeOperands for OriOp

source§

impl IntegerLikeOperands for SllOp

source§

impl IntegerLikeOperands for SlliOp

source§

impl IntegerLikeOperands for SlliwOp

source§

impl IntegerLikeOperands for SllwOp

source§

impl IntegerLikeOperands for SltOp

source§

impl IntegerLikeOperands for SltiOp

source§

impl IntegerLikeOperands for SltiuOp

source§

impl IntegerLikeOperands for SltuOp

source§

impl IntegerLikeOperands for SraOp

source§

impl IntegerLikeOperands for SraiOp

source§

impl IntegerLikeOperands for SraiwOp

source§

impl IntegerLikeOperands for SrawOp

source§

impl IntegerLikeOperands for SrlOp

source§

impl IntegerLikeOperands for SrliOp

source§

impl IntegerLikeOperands for SrliwOp

source§

impl IntegerLikeOperands for SrlwOp

source§

impl IntegerLikeOperands for StoreOp

source§

impl IntegerLikeOperands for StoreSymbolOp

source§

impl IntegerLikeOperands for SubOp

source§

impl IntegerLikeOperands for SubwOp

source§

impl IntegerLikeOperands for XorOp

source§

impl IntegerLikeOperands for XoriOp

source§

impl IntegerLikeOperands for DivOp

source§

impl IntegerLikeOperands for DivuOp

source§

impl IntegerLikeOperands for DivuwOp

source§

impl IntegerLikeOperands for DivwOp

source§

impl IntegerLikeOperands for MulOp

source§

impl IntegerLikeOperands for MulhOp

source§

impl IntegerLikeOperands for MulhsuOp

source§

impl IntegerLikeOperands for MulhuOp

source§

impl IntegerLikeOperands for MulwOp

source§

impl IntegerLikeOperands for RemOp

source§

impl IntegerLikeOperands for RemuOp

source§

impl IntegerLikeOperands for RemuwOp

source§

impl IntegerLikeOperands for RemwOp

source§

impl IntegerLikeOperands for IAddOp

source§

impl IntegerLikeOperands for IAndOp

source§

impl IntegerLikeOperands for ICmpOp

source§

impl IntegerLikeOperands for IMulOp

source§

impl IntegerLikeOperands for IOrOp

source§

impl IntegerLikeOperands for ISubOp

source§

impl IntegerLikeOperands for IXorOp

source§

impl IntegerLikeOperands for SDivOp

source§

impl IntegerLikeOperands for SIToFPOp

source§

impl IntegerLikeOperands for UDivOp