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.

Function Documentation

◆ foldCommutative()

LogicalResult mlir::OpTrait::impl::foldCommutative	(	Operation *	op,
		ArrayRef< Attribute >	operands,
		SmallVectorImpl< OpFoldResult > &	results )

Definition at line 853 of file Operation.cpp.

References mlir::Operation::getNumOperands(), mlir::Operation::getOpOperands(), and success().

Referenced by mlir::OpTrait::IsCommutative< ConcreteType >::foldTrait().

◆ foldIdempotent()

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

Definition at line 870 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().

◆ foldInvolution()

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

Definition at line 884 of file Operation.cpp.

References mlir::Value::getDefiningOp(), mlir::Operation::getName(), and mlir::Operation::getOperand().

Referenced by mlir::OpTrait::IsInvolution< ConcreteType >::foldTrait().

◆ verifyAtLeastNOperands()

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

Definition at line 915 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumOperands(), and success().

Referenced by verifySameOperandsAndResultElementType(), verifySameOperandsAndResultRank(), verifySameOperandsAndResultShape(), verifySameOperandsAndResultType(), verifySameOperandsElementType(), verifySameOperandsShape(), mlir::OpTrait::tosa::verifyTosaShapeOperatorWithSameRanks(), mlir::OpTrait::AtLeastNOperands< N >::Impl< ConcreteType >::verifyTrait(), and mlir::OpTrait::tosa::MulOperandsAndResultElementType< ConcreteType >::verifyTrait().

◆ verifyAtLeastNRegions()

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

Definition at line 1003 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumRegions(), and success().

Referenced by mlir::OpTrait::AtLeastNRegions< N >::Impl< ConcreteType >::verifyTrait().

◆ verifyAtLeastNResults()

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

Definition at line 1029 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumResults(), and success().

Referenced by verifySameOperandsAndResultElementType(), verifySameOperandsAndResultShape(), verifySameOperandsAndResultType(), and mlir::OpTrait::AtLeastNResults< N >::Impl< ConcreteType >::verifyTrait().

◆ verifyAtLeastNSuccessors()

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

Definition at line 1222 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumSuccessors(), and verifyTerminatorSuccessors().

Referenced by mlir::OpTrait::AtLeastNSuccessors< N >::Impl< ConcreteType >::verifyTrait().

◆ verifyCompatibleOperandBroadcast()

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(), isCompatibleInferredReturnShape(), and success().

Referenced by mlir::OpTrait::ResultsBroadcastableShape< ConcreteType >::verifyTrait().

◆ verifyElementwise()

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

Definition at line 1307 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumResults(), mlir::Operation::getOperandTypes(), mlir::Operation::getResultTypes(), mlir::Type::getTypeID(), success(), and mlir::verifyCompatibleShapes().

◆ verifyIsIdempotent()

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

Definition at line 936 of file Operation.cpp.

References success().

Referenced by mlir::OpTrait::IsIdempotent< ConcreteType >::verifyTrait().

◆ verifyIsInvolution()

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

Definition at line 944 of file Operation.cpp.

References success().

Referenced by mlir::OpTrait::IsInvolution< ConcreteType >::verifyTrait().

◆ verifyIsIsolatedFromAbove()

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 1348 of file Operation.cpp.

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

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

◆ verifyIsTerminator()

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

Definition at line 1180 of file Operation.cpp.

References mlir::Block::back(), mlir::Operation::emitOpError(), mlir::Operation::getBlock(), and success().

Referenced by mlir::OpTrait::IsTerminator< ConcreteType >::verifyTrait().

◆ verifyNOperands()

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

Definition at line 906 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumOperands(), and success().

Referenced by mlir::OpTrait::NOperands< N >::Impl< ConcreteType >::verifyTrait(), and mlir::OpTrait::tosa::MulOperandsAndResultElementType< ConcreteType >::verifyTrait().

◆ verifyNoRegionArguments()

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

Definition at line 1292 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumRegions(), mlir::Operation::getRegions(), and success().

◆ verifyNRegions()

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

Definition at line 996 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumRegions(), and success().

Referenced by mlir::OpTrait::NRegions< N >::Impl< ConcreteType >::verifyTrait().

◆ verifyNResults()

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

Definition at line 1022 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumResults(), and success().

Referenced by mlir::OpTrait::NResults< N >::Impl< ConcreteType >::verifyTrait().

◆ verifyNSuccessors()

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

Definition at line 1213 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumSuccessors(), and verifyTerminatorSuccessors().

Referenced by mlir::OpTrait::NSuccessors< N >::Impl< ConcreteType >::verifyTrait().

◆ verifyOneOperand()

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

Definition at line 900 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumOperands(), and success().

Referenced by mlir::OpTrait::OneOperand< ConcreteType >::verifyTrait().

◆ verifyOneRegion()

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

Definition at line 990 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumRegions(), and success().

Referenced by mlir::OpTrait::HasParallelRegion< ConcreteType >::verifyTrait(), and mlir::OpTrait::OneRegion< ConcreteType >::verifyTrait().

◆ verifyOneResult()

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

Definition at line 1016 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumResults(), and success().

Referenced by mlir::OpTrait::OneResult< ConcreteType >::verifyTrait(), and mlir::OpTrait::tosa::MulOperandsAndResultElementType< ConcreteType >::verifyTrait().

◆ verifyOneSuccessor()

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

Definition at line 1206 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumSuccessors(), and verifyTerminatorSuccessors().

Referenced by mlir::OpTrait::OneSuccessor< ConcreteType >::verifyTrait().

◆ verifyOperandsAreFloatLike()

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

Definition at line 962 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getOperandTypes(), getTensorOrVectorElementType(), and success().

Referenced by mlir::OpTrait::OperandsAreFloatLike< ConcreteType >::verifyTrait().

◆ verifyOperandsAreSignlessIntegerLike()

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

Definition at line 953 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getOperandTypes(), getTensorOrVectorElementType(), and success().

Referenced by mlir::OpTrait::OperandsAreSignlessIntegerLike< ConcreteType >::verifyTrait().

◆ verifyOperandSizeAttr()

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

Definition at line 1282 of file Operation.cpp.

References mlir::Operation::getNumOperands(), and verifyValueSizeAttr().

◆ verifyResultsAreBoolLike()

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

Definition at line 1232 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getResultTypes(), getTensorOrVectorElementType(), and success().

Referenced by mlir::OpTrait::ResultsAreBoolLike< ConcreteType >::verifyTrait().

◆ verifyResultsAreFloatLike()

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

Definition at line 1243 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getResultTypes(), getTensorOrVectorElementType(), and success().

Referenced by mlir::OpTrait::ResultsAreFloatLike< ConcreteType >::verifyTrait().

◆ verifyResultsAreSignlessIntegerLike()

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

Definition at line 1252 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getResultTypes(), getTensorOrVectorElementType(), and success().

Referenced by mlir::OpTrait::ResultsAreSignlessIntegerLike< ConcreteType >::verifyTrait().

◆ verifyResultSizeAttr()

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

Definition at line 1287 of file Operation.cpp.

References mlir::Operation::getNumResults(), and verifyValueSizeAttr().

◆ verifySameOperandsAndResultElementType()

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

Definition at line 1076 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::getElementTypeOrSelf(), mlir::Operation::getOperands(), mlir::Operation::getResult(), mlir::Operation::getResults(), result, success(), verifyAtLeastNOperands(), and verifyAtLeastNResults().

Referenced by mlir::OpTrait::SameOperandsAndResultElementType< ConcreteType >::verifyTrait().

◆ verifySameOperandsAndResultRank()

LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultRank ( Operation * op )

Definition at line 1135 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getOperandTypes(), mlir::Operation::getResultTypes(), success(), and verifyAtLeastNOperands().

Referenced by mlir::OpTrait::SameOperandsAndResultRank< ConcreteType >::verifyTrait().

◆ verifySameOperandsAndResultShape()

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

Definition at line 1047 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getOperandTypes(), mlir::Operation::getResultTypes(), success(), verifyAtLeastNOperands(), verifyAtLeastNResults(), and mlir::verifyCompatibleShapes().

Referenced by mlir::OpTrait::SameOperandsAndResultShape< ConcreteType >::verifyTrait().

◆ verifySameOperandsAndResultType()

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

Definition at line 1100 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::getElementTypeOrSelf(), mlir::Operation::getOperandTypes(), mlir::Operation::getResult(), mlir::Operation::getResultTypes(), mlir::Value::getType(), success(), verifyAtLeastNOperands(), verifyAtLeastNResults(), and mlir::verifyCompatibleShape().

Referenced by mlir::OpTrait::SameOperandsAndResultType< ConcreteType >::verifyTrait().

◆ verifySameOperandsElementType()

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

Definition at line 1062 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::getElementTypeOrSelf(), mlir::Operation::getOperand(), mlir::Operation::getOperands(), success(), and verifyAtLeastNOperands().

Referenced by mlir::OpTrait::SameOperandsElementType< ConcreteType >::verifyTrait().

◆ verifySameOperandsShape()

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

Definition at line 1037 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getOperandTypes(), success(), verifyAtLeastNOperands(), and mlir::verifyCompatibleShapes().

Referenced by mlir::OpTrait::SameOperandsShape< ConcreteType >::verifyTrait().

◆ verifySameTypeOperands()

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

Definition at line 971 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumOperands(), mlir::Operation::getOperand(), mlir::Operation::getOperandTypes(), mlir::Value::getType(), and success().

Referenced by mlir::OpTrait::SameTypeOperands< ConcreteType >::verifyTrait().

◆ verifyValueSizeAttr()

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

Definition at line 1259 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getAttrOfType(), and success().

Referenced by verifyOperandSizeAttr(), and verifyResultSizeAttr().

◆ verifyZeroOperands()

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

Definition at line 894 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumOperands(), and success().

Referenced by mlir::OpTrait::ZeroOperands< ConcreteType >::verifyTrait().

◆ verifyZeroRegions()

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

Definition at line 984 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumRegions(), and success().

Referenced by mlir::OpTrait::ZeroRegions< ConcreteType >::verifyTrait().

◆ verifyZeroResults()

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

Definition at line 1010 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumResults(), and success().

Referenced by mlir::OpTrait::ZeroResults< ConcreteType >::verifyTrait().

◆ verifyZeroSuccessors()

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

Definition at line 1198 of file Operation.cpp.

References mlir::Operation::emitOpError(), mlir::Operation::getNumSuccessors(), and success().

Referenced by mlir::OpTrait::ZeroSuccessors< ConcreteType >::verifyTrait().

Functions

Function Documentation

◆ foldCommutative()

◆ foldIdempotent()

◆ foldInvolution()

◆ verifyAtLeastNOperands()

◆ verifyAtLeastNRegions()

◆ verifyAtLeastNResults()

◆ verifyAtLeastNSuccessors()

◆ verifyCompatibleOperandBroadcast()

◆ verifyElementwise()

◆ verifyIsIdempotent()

◆ verifyIsInvolution()

◆ verifyIsIsolatedFromAbove()

◆ verifyIsTerminator()

◆ verifyNOperands()

◆ verifyNoRegionArguments()

◆ verifyNRegions()

◆ verifyNResults()

◆ verifyNSuccessors()

◆ verifyOneOperand()

◆ verifyOneRegion()

◆ verifyOneResult()

◆ verifyOneSuccessor()

◆ verifyOperandsAreFloatLike()

◆ verifyOperandsAreSignlessIntegerLike()

◆ verifyOperandSizeAttr()

◆ verifyResultsAreBoolLike()

◆ verifyResultsAreFloatLike()

◆ verifyResultsAreSignlessIntegerLike()

◆ verifyResultSizeAttr()

◆ verifySameOperandsAndResultElementType()

◆ verifySameOperandsAndResultRank()

◆ verifySameOperandsAndResultShape()

◆ verifySameOperandsAndResultType()

◆ verifySameOperandsElementType()

◆ verifySameOperandsShape()

◆ verifySameTypeOperands()

◆ verifyValueSizeAttr()

◆ verifyZeroOperands()

◆ verifyZeroRegions()

◆ verifyZeroResults()

◆ verifyZeroSuccessors()