Module orzir::verifiers

Modules

• control_flow

Structs

• InvalidOperandTyError
• InvalidResultTyError

Traits

• AtLeastNumOperands
  Verifier AtLeastNumOperands for Op.
• AtLeastNumRegions
  Verifier AtLeastNumRegions for Op.
• AtLeastNumResults
  Verifier AtLeastNumResults for Op.
• AtLeastNumSuccessors
  Verifier AtLeastNumSuccessors for Op.
• FloatLikeOperands
  Verifier IsTerminator for Op.
• FloatLikeResults
  Verifier IsTerminator for Op.
• FloatLikeTy
  Verifier IsTerminator for Ty.
• IntegerLikeOperands
  Verifier IsTerminator for Op.
• IntegerLikeResults
  Verifier IsTerminator for Op.
• IntegerLikeTy
  Verifier IsTerminator for Ty.
• IsIsolatedFromAbove
  Verifier IsIsoaltedFromAbove for Op.
• NumOperands
  Verifier NumOperands for Op.
• NumRegions
  Verifier NumRegions for Op.
• NumResults
  Verifier IsIsolatedFromBelow for Op.
• NumSuccessors
  Verifier NumSuccessors for Op
• OperandTysAre
• ResultTysAre
• SameOperandAndResultTys
  Verifier SameOperandAndResultTys for Op.
• SameOperandTys
  Verifier SameOperandTys for Op
• SameOperandsAndResultsNum
  Verifier SameOperandsAndResultsNum for Op.
• SameResultTys
  Verifier SameResultTys for Op
• VariadicOperands
  Verifier AtMostNumResults for Op.
• VariadicRegions
  Verifier VariadicRegions for Op.
• VariadicResults
  Verifier VariadicResults for Op.
• VariadicSuccessors
  Verifier VariadicSuccessors for Op.