mlir::OpTrait::impl Namespace Reference

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

foldIdempotent()

OpFoldResult mlir::OpTrait::impl::foldIdempotent

(

Operation *

op

)

Definition at line 819 of file Operation.cpp.

foldInvolution()

OpFoldResult mlir::OpTrait::impl::foldInvolution

(

Operation *

op

)

Definition at line 833 of file Operation.cpp.

verifyAtLeastNOperands()

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

Definition at line 864 of file Operation.cpp.

verifyAtLeastNRegions()

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

Definition at line 952 of file Operation.cpp.

verifyAtLeastNResults()

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

Definition at line 978 of file Operation.cpp.

verifyAtLeastNSuccessors()

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

Definition at line 1171 of file Operation.cpp.

verifyCompatibleOperandBroadcast()

LogicalResult mlir::OpTrait::impl::verifyCompatibleOperandBroadcast

(

Operation *

op

)

Definition at line 230 of file Traits.cpp.

verifyElementwise()

LogicalResult mlir::OpTrait::impl::verifyElementwise

(

Operation *

op

)

Definition at line 1259 of file Operation.cpp.

verifyIsIdempotent()

LogicalResult mlir::OpTrait::impl::verifyIsIdempotent

(

Operation *

op

)

Definition at line 885 of file Operation.cpp.

verifyIsInvolution()

LogicalResult mlir::OpTrait::impl::verifyIsInvolution

(

Operation *

op

)

Definition at line 893 of file Operation.cpp.

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

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

verifyIsTerminator()

LogicalResult mlir::OpTrait::impl::verifyIsTerminator

(

Operation *

op

)

Definition at line 1129 of file Operation.cpp.

verifyNOperands()

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

Definition at line 855 of file Operation.cpp.

verifyNoRegionArguments()

LogicalResult mlir::OpTrait::impl::verifyNoRegionArguments

(

Operation *

op

)

Definition at line 1244 of file Operation.cpp.

verifyNRegions()

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

Definition at line 945 of file Operation.cpp.

verifyNResults()

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

Definition at line 971 of file Operation.cpp.

verifyNSuccessors()

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

Definition at line 1162 of file Operation.cpp.

verifyOneOperand()

LogicalResult mlir::OpTrait::impl::verifyOneOperand

(

Operation *

op

)

Definition at line 849 of file Operation.cpp.

verifyOneRegion()

LogicalResult mlir::OpTrait::impl::verifyOneRegion

(

Operation *

op

)

Definition at line 939 of file Operation.cpp.

verifyOneResult()

LogicalResult mlir::OpTrait::impl::verifyOneResult

(

Operation *

op

)

Definition at line 965 of file Operation.cpp.

verifyOneSuccessor()

LogicalResult mlir::OpTrait::impl::verifyOneSuccessor

(

Operation *

op

)

Definition at line 1155 of file Operation.cpp.

verifyOperandsAreFloatLike()

LogicalResult mlir::OpTrait::impl::verifyOperandsAreFloatLike

(

Operation *

op

)

Definition at line 911 of file Operation.cpp.

verifyOperandsAreSignlessIntegerLike()

LogicalResult mlir::OpTrait::impl::verifyOperandsAreSignlessIntegerLike

(

Operation *

op

)

Definition at line 902 of file Operation.cpp.

verifyOperandSizeAttr()

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

Definition at line 1234 of file Operation.cpp.

verifyResultsAreBoolLike()

LogicalResult mlir::OpTrait::impl::verifyResultsAreBoolLike

(

Operation *

op

)

Definition at line 1181 of file Operation.cpp.

verifyResultsAreFloatLike()

LogicalResult mlir::OpTrait::impl::verifyResultsAreFloatLike

(

Operation *

op

)

Definition at line 1192 of file Operation.cpp.

verifyResultsAreSignlessIntegerLike()

LogicalResult mlir::OpTrait::impl::verifyResultsAreSignlessIntegerLike

(

Operation *

op

)

Definition at line 1201 of file Operation.cpp.

verifyResultSizeAttr()

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

Definition at line 1239 of file Operation.cpp.

verifySameOperandsAndResultElementType()

LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultElementType

(

Operation *

op

)

Definition at line 1025 of file Operation.cpp.

verifySameOperandsAndResultRank()

LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultRank

(

Operation *

op

)

Definition at line 1084 of file Operation.cpp.

verifySameOperandsAndResultShape()

LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultShape

(

Operation *

op

)

Definition at line 996 of file Operation.cpp.

verifySameOperandsAndResultType()

LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultType

(

Operation *

op

)

Definition at line 1049 of file Operation.cpp.

verifySameOperandsElementType()

LogicalResult mlir::OpTrait::impl::verifySameOperandsElementType

(

Operation *

op

)

Definition at line 1011 of file Operation.cpp.

verifySameOperandsShape()

LogicalResult mlir::OpTrait::impl::verifySameOperandsShape

(

Operation *

op

)

Definition at line 986 of file Operation.cpp.

verifySameTypeOperands()

LogicalResult mlir::OpTrait::impl::verifySameTypeOperands

(

Operation *

op

)

Definition at line 920 of file Operation.cpp.

verifyValueSizeAttr()

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

Definition at line 1208 of file Operation.cpp.

verifyZeroOperands()

LogicalResult mlir::OpTrait::impl::verifyZeroOperands

(

Operation *

op

)

Definition at line 843 of file Operation.cpp.

verifyZeroRegions()

LogicalResult mlir::OpTrait::impl::verifyZeroRegions

(

Operation *

op

)

Definition at line 933 of file Operation.cpp.

verifyZeroResults()

LogicalResult mlir::OpTrait::impl::verifyZeroResults

(

Operation *

op

)

Definition at line 959 of file Operation.cpp.

verifyZeroSuccessors()

LogicalResult mlir::OpTrait::impl::verifyZeroSuccessors

(

Operation *

op

)

Definition at line 1147 of file Operation.cpp.