MLIR
21.0.0git
|
Functions | |
LogicalResult | verifyCompatibleOperandBroadcast (Operation *op) |
LogicalResult | foldCommutative (Operation *op, ArrayRef< Attribute > operands, SmallVectorImpl< OpFoldResult > &results) |
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 | verifySameOperandsAndResultRank (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... | |
LogicalResult mlir::OpTrait::impl::foldCommutative | ( | Operation * | op, |
ArrayRef< Attribute > | operands, | ||
SmallVectorImpl< OpFoldResult > & | results | ||
) |
Definition at line 857 of file Operation.cpp.
References mlir::Operation::getNumOperands(), and mlir::Operation::getOpOperands().
Referenced by mlir::OpTrait::IsCommutative< ConcreteType >::foldTrait().
OpFoldResult mlir::OpTrait::impl::foldIdempotent | ( | Operation * | op | ) |
Definition at line 874 of file Operation.cpp.
References mlir::Value::getDefiningOp(), mlir::Operation::getName(), mlir::Operation::getNumOperands(), and mlir::Operation::getOperand().
Referenced by mlir::OpTrait::IsIdempotent< ConcreteType >::foldTrait().
OpFoldResult mlir::OpTrait::impl::foldInvolution | ( | Operation * | op | ) |
Definition at line 888 of file Operation.cpp.
References mlir::Value::getDefiningOp(), mlir::Operation::getName(), and mlir::Operation::getOperand().
Referenced by mlir::OpTrait::IsInvolution< ConcreteType >::foldTrait().
LogicalResult mlir::OpTrait::impl::verifyAtLeastNOperands | ( | Operation * | op, |
unsigned | numOperands | ||
) |
Definition at line 919 of file Operation.cpp.
References mlir::Operation::emitOpError(), and mlir::Operation::getNumOperands().
Referenced by verifySameOperandsAndResultElementType(), verifySameOperandsAndResultRank(), verifySameOperandsAndResultShape(), verifySameOperandsAndResultType(), verifySameOperandsElementType(), verifySameOperandsShape(), mlir::OpTrait::tosa::verifyTosaShapeOperatorWithSameRanks(), mlir::OpTrait::tosa::MulOperandsAndResultElementType< ConcreteType >::verifyTrait(), and mlir::OpTrait::AtLeastNOperands< N >::Impl< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyAtLeastNRegions | ( | Operation * | op, |
unsigned | numRegions | ||
) |
Definition at line 1007 of file Operation.cpp.
References mlir::Operation::emitOpError(), and mlir::Operation::getNumRegions().
Referenced by mlir::OpTrait::AtLeastNRegions< N >::Impl< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyAtLeastNResults | ( | Operation * | op, |
unsigned | numOperands | ||
) |
Definition at line 1033 of file Operation.cpp.
References mlir::Operation::emitOpError(), and mlir::Operation::getNumResults().
Referenced by verifySameOperandsAndResultElementType(), verifySameOperandsAndResultShape(), verifySameOperandsAndResultType(), and mlir::OpTrait::AtLeastNResults< N >::Impl< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyAtLeastNSuccessors | ( | Operation * | op, |
unsigned | numSuccessors | ||
) |
Definition at line 1226 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::Operation::getNumSuccessors(), and verifyTerminatorSuccessors().
Referenced by mlir::OpTrait::AtLeastNSuccessors< N >::Impl< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyCompatibleOperandBroadcast | ( | Operation * | op | ) |
Definition at line 228 of file Traits.cpp.
References mlir::Operation::emitError(), mlir::Operation::emitOpError(), mlir::OpTrait::util::getBroadcastedShape(), mlir::Operation::getOperandTypes(), mlir::Operation::getResultTypes(), getShape(), getShapeString(), hasTensorOrVectorType(), and isCompatibleInferredReturnShape().
Referenced by mlir::OpTrait::ResultsBroadcastableShape< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyElementwise | ( | Operation * | op | ) |
Definition at line 1314 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::Operation::getNumResults(), mlir::Operation::getOperandTypes(), mlir::Operation::getResultTypes(), mlir::Type::getTypeID(), mlir::acc::isMappableType(), and mlir::verifyCompatibleShapes().
Referenced by mlir::OpTrait::Elementwise< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyIsIdempotent | ( | Operation * | op | ) |
Definition at line 940 of file Operation.cpp.
Referenced by mlir::OpTrait::IsIdempotent< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyIsInvolution | ( | Operation * | op | ) |
Definition at line 948 of file Operation.cpp.
Referenced by mlir::OpTrait::IsInvolution< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyIsIsolatedFromAbove | ( | Operation * | op | ) |
Check for any values used by operations regions attached to the specified "IsIsolatedFromAbove" operation defined outside of it.
Definition at line 1355 of file Operation.cpp.
References mlir::Operation::getLoc(), mlir::Operation::getRegions(), and mlir::Operation::hasTrait().
Referenced by mlir::OpTrait::IsIsolatedFromAbove< ConcreteType >::verifyRegionTrait().
LogicalResult mlir::OpTrait::impl::verifyIsTerminator | ( | Operation * | op | ) |
Definition at line 1184 of file Operation.cpp.
References mlir::Block::back(), mlir::Operation::emitOpError(), and mlir::Operation::getBlock().
Referenced by mlir::OpTrait::IsTerminator< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyNOperands | ( | Operation * | op, |
unsigned | numOperands | ||
) |
Definition at line 910 of file Operation.cpp.
References mlir::Operation::emitOpError(), and mlir::Operation::getNumOperands().
Referenced by mlir::OpTrait::tosa::MulOperandsAndResultElementType< ConcreteType >::verifyTrait(), and mlir::OpTrait::NOperands< N >::Impl< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyNoRegionArguments | ( | Operation * | op | ) |
Definition at line 1299 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::Operation::getNumRegions(), and mlir::Operation::getRegions().
Referenced by mlir::OpTrait::NoRegionArguments< ConcrentType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyNRegions | ( | Operation * | op, |
unsigned | numRegions | ||
) |
Definition at line 1000 of file Operation.cpp.
References mlir::Operation::emitOpError(), and mlir::Operation::getNumRegions().
Referenced by mlir::OpTrait::NRegions< N >::Impl< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyNResults | ( | Operation * | op, |
unsigned | numOperands | ||
) |
Definition at line 1026 of file Operation.cpp.
References mlir::Operation::emitOpError(), and mlir::Operation::getNumResults().
Referenced by mlir::OpTrait::NResults< N >::Impl< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyNSuccessors | ( | Operation * | op, |
unsigned | numSuccessors | ||
) |
Definition at line 1217 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::Operation::getNumSuccessors(), and verifyTerminatorSuccessors().
Referenced by mlir::OpTrait::NSuccessors< N >::Impl< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyOneOperand | ( | Operation * | op | ) |
Definition at line 904 of file Operation.cpp.
References mlir::Operation::emitOpError(), and mlir::Operation::getNumOperands().
Referenced by mlir::OpTrait::OneOperand< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyOneRegion | ( | Operation * | op | ) |
Definition at line 994 of file Operation.cpp.
References mlir::Operation::emitOpError(), and mlir::Operation::getNumRegions().
Referenced by mlir::OpTrait::HasParallelRegion< ConcreteType >::verifyTrait(), and mlir::OpTrait::OneRegion< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyOneResult | ( | Operation * | op | ) |
Definition at line 1020 of file Operation.cpp.
References mlir::Operation::emitOpError(), and mlir::Operation::getNumResults().
Referenced by mlir::OpTrait::tosa::MulOperandsAndResultElementType< ConcreteType >::verifyTrait(), and mlir::OpTrait::OneResult< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyOneSuccessor | ( | Operation * | op | ) |
Definition at line 1210 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::Operation::getNumSuccessors(), and verifyTerminatorSuccessors().
Referenced by mlir::OpTrait::OneSuccessor< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyOperandsAreFloatLike | ( | Operation * | op | ) |
Definition at line 966 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::Operation::getOperandTypes(), and getTensorOrVectorElementType().
Referenced by mlir::OpTrait::OperandsAreFloatLike< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyOperandsAreSignlessIntegerLike | ( | Operation * | op | ) |
Definition at line 957 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::Operation::getOperandTypes(), and getTensorOrVectorElementType().
Referenced by mlir::OpTrait::OperandsAreSignlessIntegerLike< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyOperandSizeAttr | ( | Operation * | op, |
StringRef | sizeAttrName | ||
) |
Definition at line 1289 of file Operation.cpp.
References mlir::Operation::getNumOperands(), and verifyValueSizeAttr().
Referenced by mlir::OpTrait::AttrSizedOperandSegments< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyResultsAreBoolLike | ( | Operation * | op | ) |
Definition at line 1236 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::Operation::getResultTypes(), and getTensorOrVectorElementType().
Referenced by mlir::OpTrait::ResultsAreBoolLike< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyResultsAreFloatLike | ( | Operation * | op | ) |
Definition at line 1247 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::Operation::getResultTypes(), and getTensorOrVectorElementType().
Referenced by mlir::OpTrait::ResultsAreFloatLike< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyResultsAreSignlessIntegerLike | ( | Operation * | op | ) |
Definition at line 1256 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::Operation::getResultTypes(), and getTensorOrVectorElementType().
Referenced by mlir::OpTrait::ResultsAreSignlessIntegerLike< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyResultSizeAttr | ( | Operation * | op, |
StringRef | sizeAttrName | ||
) |
Definition at line 1294 of file Operation.cpp.
References mlir::Operation::getNumResults(), and verifyValueSizeAttr().
Referenced by mlir::OpTrait::AttrSizedResultSegments< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultElementType | ( | Operation * | op | ) |
Definition at line 1080 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::getElementTypeOrSelf(), mlir::Operation::getOperands(), mlir::Operation::getResult(), mlir::Operation::getResults(), verifyAtLeastNOperands(), and verifyAtLeastNResults().
Referenced by mlir::OpTrait::SameOperandsAndResultElementType< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultRank | ( | Operation * | op | ) |
Definition at line 1139 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::Operation::getOperandTypes(), mlir::Operation::getResultTypes(), and verifyAtLeastNOperands().
Referenced by mlir::OpTrait::SameOperandsAndResultRank< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultShape | ( | Operation * | op | ) |
Definition at line 1051 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::Operation::getOperandTypes(), mlir::Operation::getResultTypes(), verifyAtLeastNOperands(), verifyAtLeastNResults(), and mlir::verifyCompatibleShapes().
Referenced by mlir::OpTrait::SameOperandsAndResultShape< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultType | ( | Operation * | op | ) |
Definition at line 1104 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::getElementTypeOrSelf(), mlir::Operation::getOperandTypes(), mlir::Operation::getResult(), mlir::Operation::getResultTypes(), mlir::Value::getType(), verifyAtLeastNOperands(), verifyAtLeastNResults(), and mlir::verifyCompatibleShape().
Referenced by mlir::OpTrait::SameOperandsAndResultType< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifySameOperandsElementType | ( | Operation * | op | ) |
Definition at line 1066 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::getElementTypeOrSelf(), mlir::Operation::getOperand(), mlir::Operation::getOperands(), and verifyAtLeastNOperands().
Referenced by mlir::OpTrait::SameOperandsElementType< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifySameOperandsShape | ( | Operation * | op | ) |
Definition at line 1041 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::Operation::getOperandTypes(), verifyAtLeastNOperands(), and mlir::verifyCompatibleShapes().
Referenced by mlir::OpTrait::SameOperandsShape< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifySameTypeOperands | ( | Operation * | op | ) |
Definition at line 975 of file Operation.cpp.
References mlir::Operation::emitOpError(), mlir::Operation::getNumOperands(), mlir::Operation::getOperand(), mlir::Operation::getOperandTypes(), and mlir::Value::getType().
Referenced by mlir::OpTrait::SameTypeOperands< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyValueSizeAttr | ( | Operation * | op, |
StringRef | attrName, | ||
StringRef | valueGroupName, | ||
size_t | expectedCount | ||
) |
Definition at line 1263 of file Operation.cpp.
References mlir::Operation::emitOpError(), and mlir::Operation::getAttrOfType().
Referenced by verifyOperandSizeAttr(), and verifyResultSizeAttr().
LogicalResult mlir::OpTrait::impl::verifyZeroOperands | ( | Operation * | op | ) |
Definition at line 898 of file Operation.cpp.
References mlir::Operation::emitOpError(), and mlir::Operation::getNumOperands().
Referenced by mlir::OpTrait::ZeroOperands< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyZeroRegions | ( | Operation * | op | ) |
Definition at line 988 of file Operation.cpp.
References mlir::Operation::emitOpError(), and mlir::Operation::getNumRegions().
Referenced by mlir::OpTrait::ZeroRegions< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyZeroResults | ( | Operation * | op | ) |
Definition at line 1014 of file Operation.cpp.
References mlir::Operation::emitOpError(), and mlir::Operation::getNumResults().
Referenced by mlir::OpTrait::ZeroResults< ConcreteType >::verifyTrait().
LogicalResult mlir::OpTrait::impl::verifyZeroSuccessors | ( | Operation * | op | ) |
Definition at line 1202 of file Operation.cpp.
References mlir::Operation::emitOpError(), and mlir::Operation::getNumSuccessors().
Referenced by mlir::OpTrait::ZeroSuccessors< ConcreteType >::verifyTrait().