Trait orzir::verifiers::VariadicOperands

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

Verifier AtMostNumResults for Op.

This verifier indicates that the operation has variadic operands.

Provided Methods

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

Implementors

impl VariadicOperands for JumoOp

impl VariadicOperands for CallOp

impl VariadicOperands for ReturnOp

impl VariadicOperands for LoadOp

impl VariadicOperands for StoreOp