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

foldIdempotent()

OpFoldResult mlir::OpTrait::impl::foldIdempotent

(

Operation *

op

)

Definition at line 870 of file Operation.cpp.

foldInvolution()

OpFoldResult mlir::OpTrait::impl::foldInvolution

(

Operation *

op

)

Definition at line 884 of file Operation.cpp.

verifyAtLeastNOperands()

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

Definition at line 915 of file Operation.cpp.

verifyAtLeastNRegions()

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

Definition at line 1003 of file Operation.cpp.

verifyAtLeastNResults()

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

Definition at line 1029 of file Operation.cpp.

verifyAtLeastNSuccessors()

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

Definition at line 1222 of file Operation.cpp.

verifyCompatibleOperandBroadcast()

LogicalResult mlir::OpTrait::impl::verifyCompatibleOperandBroadcast

(

Operation *

op

)

Definition at line 229 of file Traits.cpp.

verifyElementwise()

LogicalResult mlir::OpTrait::impl::verifyElementwise

(

Operation *

op

)

Definition at line 1310 of file Operation.cpp.

verifyIsIdempotent()

LogicalResult mlir::OpTrait::impl::verifyIsIdempotent

(

Operation *

op

)

Definition at line 936 of file Operation.cpp.

verifyIsInvolution()

LogicalResult mlir::OpTrait::impl::verifyIsInvolution

(

Operation *

op

)

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

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

verifyIsTerminator()

LogicalResult mlir::OpTrait::impl::verifyIsTerminator

(

Operation *

op

)

Definition at line 1180 of file Operation.cpp.

verifyNOperands()

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

Definition at line 906 of file Operation.cpp.

verifyNoRegionArguments()

LogicalResult mlir::OpTrait::impl::verifyNoRegionArguments

(

Operation *

op

)

Definition at line 1295 of file Operation.cpp.

verifyNRegions()

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

Definition at line 996 of file Operation.cpp.

verifyNResults()

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

Definition at line 1022 of file Operation.cpp.

verifyNSuccessors()

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

Definition at line 1213 of file Operation.cpp.

verifyOneOperand()

LogicalResult mlir::OpTrait::impl::verifyOneOperand

(

Operation *

op

)

Definition at line 900 of file Operation.cpp.

verifyOneRegion()

LogicalResult mlir::OpTrait::impl::verifyOneRegion

(

Operation *

op

)

Definition at line 990 of file Operation.cpp.

verifyOneResult()

LogicalResult mlir::OpTrait::impl::verifyOneResult

(

Operation *

op

)

Definition at line 1016 of file Operation.cpp.

verifyOneSuccessor()

LogicalResult mlir::OpTrait::impl::verifyOneSuccessor

(

Operation *

op

)

Definition at line 1206 of file Operation.cpp.

verifyOperandsAreFloatLike()

LogicalResult mlir::OpTrait::impl::verifyOperandsAreFloatLike

(

Operation *

op

)

Definition at line 962 of file Operation.cpp.

verifyOperandsAreSignlessIntegerLike()

LogicalResult mlir::OpTrait::impl::verifyOperandsAreSignlessIntegerLike

(

Operation *

op

)

Definition at line 953 of file Operation.cpp.

verifyOperandSizeAttr()

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

Definition at line 1285 of file Operation.cpp.

verifyResultsAreBoolLike()

LogicalResult mlir::OpTrait::impl::verifyResultsAreBoolLike

(

Operation *

op

)

Definition at line 1232 of file Operation.cpp.

verifyResultsAreFloatLike()

LogicalResult mlir::OpTrait::impl::verifyResultsAreFloatLike

(

Operation *

op

)

Definition at line 1243 of file Operation.cpp.

verifyResultsAreSignlessIntegerLike()

LogicalResult mlir::OpTrait::impl::verifyResultsAreSignlessIntegerLike

(

Operation *

op

)

Definition at line 1252 of file Operation.cpp.

verifyResultSizeAttr()

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

Definition at line 1290 of file Operation.cpp.

verifySameOperandsAndResultElementType()

LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultElementType

(

Operation *

op

)

Definition at line 1076 of file Operation.cpp.

verifySameOperandsAndResultRank()

LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultRank

(

Operation *

op

)

Definition at line 1135 of file Operation.cpp.

verifySameOperandsAndResultShape()

LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultShape

(

Operation *

op

)

Definition at line 1047 of file Operation.cpp.

verifySameOperandsAndResultType()

LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultType

(

Operation *

op

)

Definition at line 1100 of file Operation.cpp.

verifySameOperandsElementType()

LogicalResult mlir::OpTrait::impl::verifySameOperandsElementType

(

Operation *

op

)

Definition at line 1062 of file Operation.cpp.

verifySameOperandsShape()

LogicalResult mlir::OpTrait::impl::verifySameOperandsShape

(

Operation *

op

)

Definition at line 1037 of file Operation.cpp.

verifySameTypeOperands()

LogicalResult mlir::OpTrait::impl::verifySameTypeOperands

(

Operation *

op

)

Definition at line 971 of file Operation.cpp.

verifyValueSizeAttr()

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

Definition at line 1259 of file Operation.cpp.

verifyZeroOperands()

LogicalResult mlir::OpTrait::impl::verifyZeroOperands

(

Operation *

op

)

Definition at line 894 of file Operation.cpp.

verifyZeroRegions()

LogicalResult mlir::OpTrait::impl::verifyZeroRegions

(

Operation *

op

)

Definition at line 984 of file Operation.cpp.

verifyZeroResults()

LogicalResult mlir::OpTrait::impl::verifyZeroResults

(

Operation *

op

)

Definition at line 1010 of file Operation.cpp.

verifyZeroSuccessors()

LogicalResult mlir::OpTrait::impl::verifyZeroSuccessors

(

Operation *

op

)

Definition at line 1198 of file Operation.cpp.