MLIR  15.0.0git
Functions
mlir::OpTrait::impl Namespace Reference

Functions

LogicalResult verifyCompatibleOperandBroadcast (Operation *op)
 
OpFoldResult foldIdempotent (Operation *op)
 
OpFoldResult foldInvolution (Operation *op)
 
LogicalResult verifyZeroOperands (Operation *op)
 
LogicalResult verifyOneOperand (Operation *op)
 
LogicalResult verifyNOperands (Operation *op, unsigned numOperands)
 
LogicalResult verifyIsIdempotent (Operation *op)
 
LogicalResult verifyIsInvolution (Operation *op)
 
LogicalResult verifyAtLeastNOperands (Operation *op, unsigned numOperands)
 
LogicalResult verifyOperandsAreFloatLike (Operation *op)
 
LogicalResult verifyOperandsAreSignlessIntegerLike (Operation *op)
 
LogicalResult verifySameTypeOperands (Operation *op)
 
LogicalResult verifyZeroRegions (Operation *op)
 
LogicalResult verifyOneRegion (Operation *op)
 
LogicalResult verifyNRegions (Operation *op, unsigned numRegions)
 
LogicalResult verifyAtLeastNRegions (Operation *op, unsigned numRegions)
 
LogicalResult verifyZeroResults (Operation *op)
 
LogicalResult verifyOneResult (Operation *op)
 
LogicalResult verifyNResults (Operation *op, unsigned numOperands)
 
LogicalResult verifyAtLeastNResults (Operation *op, unsigned numOperands)
 
LogicalResult verifySameOperandsShape (Operation *op)
 
LogicalResult verifySameOperandsAndResultShape (Operation *op)
 
LogicalResult verifySameOperandsElementType (Operation *op)
 
LogicalResult verifySameOperandsAndResultElementType (Operation *op)
 
LogicalResult verifySameOperandsAndResultType (Operation *op)
 
LogicalResult verifyResultsAreBoolLike (Operation *op)
 
LogicalResult verifyResultsAreFloatLike (Operation *op)
 
LogicalResult verifyResultsAreSignlessIntegerLike (Operation *op)
 
LogicalResult verifyIsTerminator (Operation *op)
 
LogicalResult verifyZeroSuccessors (Operation *op)
 
LogicalResult verifyOneSuccessor (Operation *op)
 
LogicalResult verifyNSuccessors (Operation *op, unsigned numSuccessors)
 
LogicalResult verifyAtLeastNSuccessors (Operation *op, unsigned numSuccessors)
 
LogicalResult verifyValueSizeAttr (Operation *op, StringRef attrName, StringRef valueGroupName, size_t expectedCount)
 
LogicalResult verifyOperandSizeAttr (Operation *op, StringRef sizeAttrName)
 
LogicalResult verifyResultSizeAttr (Operation *op, StringRef sizeAttrName)
 
LogicalResult verifyNoRegionArguments (Operation *op)
 
LogicalResult verifyElementwise (Operation *op)
 
LogicalResult verifyIsIsolatedFromAbove (Operation *op)
 Check for any values used by operations regions attached to the specified "IsIsolatedFromAbove" operation defined outside of it. More...
 

Function Documentation

◆ foldIdempotent()

OpFoldResult mlir::OpTrait::impl::foldIdempotent ( Operation op)

◆ foldInvolution()

OpFoldResult mlir::OpTrait::impl::foldInvolution ( Operation op)

◆ verifyAtLeastNOperands()

LogicalResult mlir::OpTrait::impl::verifyAtLeastNOperands ( Operation op,
unsigned  numOperands 
)

◆ verifyAtLeastNRegions()

LogicalResult mlir::OpTrait::impl::verifyAtLeastNRegions ( Operation op,
unsigned  numRegions 
)

◆ verifyAtLeastNResults()

LogicalResult mlir::OpTrait::impl::verifyAtLeastNResults ( Operation op,
unsigned  numOperands 
)

◆ verifyAtLeastNSuccessors()

LogicalResult mlir::OpTrait::impl::verifyAtLeastNSuccessors ( Operation op,
unsigned  numSuccessors 
)

◆ verifyCompatibleOperandBroadcast()

LogicalResult mlir::OpTrait::impl::verifyCompatibleOperandBroadcast ( Operation op)

◆ verifyElementwise()

LogicalResult mlir::OpTrait::impl::verifyElementwise ( Operation op)

◆ verifyIsIdempotent()

LogicalResult mlir::OpTrait::impl::verifyIsIdempotent ( Operation op)

◆ verifyIsInvolution()

LogicalResult mlir::OpTrait::impl::verifyIsInvolution ( Operation op)

◆ verifyIsIsolatedFromAbove()

LogicalResult mlir::OpTrait::impl::verifyIsIsolatedFromAbove ( Operation isolatedOp)

Check for any values used by operations regions attached to the specified "IsIsolatedFromAbove" operation defined outside of it.

Definition at line 1097 of file Operation.cpp.

References mlir::Operation::getLoc(), mlir::Operation::getRegions(), mlir::Operation::hasTrait(), and mlir::success().

Referenced by mlir::operator<<(), and mlir::OpTrait::IsIsolatedFromAbove< ConcreteType >::verifyRegionTrait().

◆ verifyIsTerminator()

LogicalResult mlir::OpTrait::impl::verifyIsTerminator ( Operation op)

◆ verifyNOperands()

LogicalResult mlir::OpTrait::impl::verifyNOperands ( Operation op,
unsigned  numOperands 
)

◆ verifyNoRegionArguments()

LogicalResult mlir::OpTrait::impl::verifyNoRegionArguments ( Operation op)

◆ verifyNRegions()

LogicalResult mlir::OpTrait::impl::verifyNRegions ( Operation op,
unsigned  numRegions 
)

◆ verifyNResults()

LogicalResult mlir::OpTrait::impl::verifyNResults ( Operation op,
unsigned  numOperands 
)

◆ verifyNSuccessors()

LogicalResult mlir::OpTrait::impl::verifyNSuccessors ( Operation op,
unsigned  numSuccessors 
)

◆ verifyOneOperand()

LogicalResult mlir::OpTrait::impl::verifyOneOperand ( Operation op)

◆ verifyOneRegion()

LogicalResult mlir::OpTrait::impl::verifyOneRegion ( Operation op)

◆ verifyOneResult()

LogicalResult mlir::OpTrait::impl::verifyOneResult ( Operation op)

◆ verifyOneSuccessor()

LogicalResult mlir::OpTrait::impl::verifyOneSuccessor ( Operation op)

◆ verifyOperandsAreFloatLike()

LogicalResult mlir::OpTrait::impl::verifyOperandsAreFloatLike ( Operation op)

◆ verifyOperandsAreSignlessIntegerLike()

LogicalResult mlir::OpTrait::impl::verifyOperandsAreSignlessIntegerLike ( Operation op)

◆ verifyOperandSizeAttr()

LogicalResult mlir::OpTrait::impl::verifyOperandSizeAttr ( Operation op,
StringRef  sizeAttrName 
)

◆ verifyResultsAreBoolLike()

LogicalResult mlir::OpTrait::impl::verifyResultsAreBoolLike ( Operation op)

◆ verifyResultsAreFloatLike()

LogicalResult mlir::OpTrait::impl::verifyResultsAreFloatLike ( Operation op)

◆ verifyResultsAreSignlessIntegerLike()

LogicalResult mlir::OpTrait::impl::verifyResultsAreSignlessIntegerLike ( Operation op)

◆ verifyResultSizeAttr()

LogicalResult mlir::OpTrait::impl::verifyResultSizeAttr ( Operation op,
StringRef  sizeAttrName 
)

◆ verifySameOperandsAndResultElementType()

LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultElementType ( Operation op)

◆ verifySameOperandsAndResultShape()

LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultShape ( Operation op)

◆ verifySameOperandsAndResultType()

LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultType ( Operation op)

◆ verifySameOperandsElementType()

LogicalResult mlir::OpTrait::impl::verifySameOperandsElementType ( Operation op)

◆ verifySameOperandsShape()

LogicalResult mlir::OpTrait::impl::verifySameOperandsShape ( Operation op)

◆ verifySameTypeOperands()

LogicalResult mlir::OpTrait::impl::verifySameTypeOperands ( Operation op)

◆ verifyValueSizeAttr()

LogicalResult mlir::OpTrait::impl::verifyValueSizeAttr ( Operation op,
StringRef  attrName,
StringRef  valueGroupName,
size_t  expectedCount 
)

◆ verifyZeroOperands()

LogicalResult mlir::OpTrait::impl::verifyZeroOperands ( Operation op)

◆ verifyZeroRegions()

LogicalResult mlir::OpTrait::impl::verifyZeroRegions ( Operation op)

◆ verifyZeroResults()

LogicalResult mlir::OpTrait::impl::verifyZeroResults ( Operation op)

◆ verifyZeroSuccessors()

LogicalResult mlir::OpTrait::impl::verifyZeroSuccessors ( Operation op)