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...

Function Documentation

◆ foldCommutative()

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

Definition at line 855 of file Operation.cpp.

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

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

◆ foldIdempotent()

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

Definition at line 872 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 886 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 917 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().

◆ verifyAtLeastNRegions()

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

Definition at line 1005 of file Operation.cpp.

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

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

◆ verifyAtLeastNResults()

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

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

◆ verifyAtLeastNSuccessors()

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

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

◆ verifyElementwise()

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

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

◆ verifyIsIdempotent()

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

Definition at line 938 of file Operation.cpp.

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

◆ verifyIsInvolution()

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

Definition at line 946 of file Operation.cpp.

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

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

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

◆ verifyIsTerminator()

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

Definition at line 1182 of file Operation.cpp.

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

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

◆ verifyNOperands()

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

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

◆ verifyNoRegionArguments()

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

Definition at line 1297 of file Operation.cpp.

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

Referenced by mlir::OpTrait::NoRegionArguments< ConcrentType >::verifyTrait().

◆ verifyNRegions()

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

Definition at line 998 of file Operation.cpp.

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

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

◆ verifyNResults()

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

Definition at line 1024 of file Operation.cpp.

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

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

◆ verifyNSuccessors()

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

Definition at line 1215 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 902 of file Operation.cpp.

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

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

◆ verifyOneRegion()

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

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

◆ verifyOneResult()

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

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

◆ verifyOneSuccessor()

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

Definition at line 1208 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 964 of file Operation.cpp.

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

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

◆ verifyOperandsAreSignlessIntegerLike()

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

Definition at line 955 of file Operation.cpp.

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

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

◆ verifyOperandSizeAttr()

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

Definition at line 1287 of file Operation.cpp.

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

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

◆ verifyResultsAreBoolLike()

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

Definition at line 1234 of file Operation.cpp.

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

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

◆ verifyResultsAreFloatLike()

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

Definition at line 1245 of file Operation.cpp.

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

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

◆ verifyResultsAreSignlessIntegerLike()

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

Definition at line 1254 of file Operation.cpp.

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

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

◆ verifyResultSizeAttr()

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

Definition at line 1292 of file Operation.cpp.

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

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

◆ verifySameOperandsAndResultElementType()

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

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

◆ verifySameOperandsAndResultRank()

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

Definition at line 1137 of file Operation.cpp.

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

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

◆ verifySameOperandsAndResultShape()

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

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

◆ verifySameOperandsAndResultType()

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

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

◆ verifySameOperandsElementType()

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

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

◆ verifySameOperandsShape()

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

Definition at line 1039 of file Operation.cpp.

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

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

◆ verifySameTypeOperands()

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

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

◆ verifyValueSizeAttr()

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

Definition at line 1261 of file Operation.cpp.

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

Referenced by verifyOperandSizeAttr(), and verifyResultSizeAttr().

◆ verifyZeroOperands()

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

Definition at line 896 of file Operation.cpp.

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

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

◆ verifyZeroRegions()

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

Definition at line 986 of file Operation.cpp.

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

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

◆ verifyZeroResults()

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

Definition at line 1012 of file Operation.cpp.

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

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

◆ verifyZeroSuccessors()

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

Definition at line 1200 of file Operation.cpp.

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

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()