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

foldIdempotent()

OpFoldResult mlir::OpTrait::impl::foldIdempotent

(

Operation *

op

)

Definition at line 868 of file Operation.cpp.

foldInvolution()

OpFoldResult mlir::OpTrait::impl::foldInvolution

(

Operation *

op

)

Definition at line 882 of file Operation.cpp.

verifyAtLeastNOperands()

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

Definition at line 913 of file Operation.cpp.

verifyAtLeastNRegions()

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

Definition at line 1001 of file Operation.cpp.

verifyAtLeastNResults()

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

Definition at line 1027 of file Operation.cpp.

verifyAtLeastNSuccessors()

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

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

verifyIsIdempotent()

LogicalResult mlir::OpTrait::impl::verifyIsIdempotent

(

Operation *

op

)

Definition at line 934 of file Operation.cpp.

verifyIsInvolution()

LogicalResult mlir::OpTrait::impl::verifyIsInvolution

(

Operation *

op

)

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

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

verifyIsTerminator()

LogicalResult mlir::OpTrait::impl::verifyIsTerminator

(

Operation *

op

)

Definition at line 1178 of file Operation.cpp.

verifyNOperands()

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

Definition at line 904 of file Operation.cpp.

verifyNoRegionArguments()

LogicalResult mlir::OpTrait::impl::verifyNoRegionArguments

(

Operation *

op

)

Definition at line 1293 of file Operation.cpp.

verifyNRegions()

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

Definition at line 994 of file Operation.cpp.

verifyNResults()

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

Definition at line 1020 of file Operation.cpp.

verifyNSuccessors()

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

Definition at line 1211 of file Operation.cpp.

verifyOneOperand()

LogicalResult mlir::OpTrait::impl::verifyOneOperand

(

Operation *

op

)

Definition at line 898 of file Operation.cpp.

verifyOneRegion()

LogicalResult mlir::OpTrait::impl::verifyOneRegion

(

Operation *

op

)

Definition at line 988 of file Operation.cpp.

verifyOneResult()

LogicalResult mlir::OpTrait::impl::verifyOneResult

(

Operation *

op

)

Definition at line 1014 of file Operation.cpp.

verifyOneSuccessor()

LogicalResult mlir::OpTrait::impl::verifyOneSuccessor

(

Operation *

op

)

Definition at line 1204 of file Operation.cpp.

verifyOperandsAreFloatLike()

LogicalResult mlir::OpTrait::impl::verifyOperandsAreFloatLike

(

Operation *

op

)

Definition at line 960 of file Operation.cpp.

verifyOperandsAreSignlessIntegerLike()

LogicalResult mlir::OpTrait::impl::verifyOperandsAreSignlessIntegerLike

(

Operation *

op

)

Definition at line 951 of file Operation.cpp.

verifyOperandSizeAttr()

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

Definition at line 1283 of file Operation.cpp.

verifyResultsAreBoolLike()

LogicalResult mlir::OpTrait::impl::verifyResultsAreBoolLike

(

Operation *

op

)

Definition at line 1230 of file Operation.cpp.

verifyResultsAreFloatLike()

LogicalResult mlir::OpTrait::impl::verifyResultsAreFloatLike

(

Operation *

op

)

Definition at line 1241 of file Operation.cpp.

verifyResultsAreSignlessIntegerLike()

LogicalResult mlir::OpTrait::impl::verifyResultsAreSignlessIntegerLike

(

Operation *

op

)

Definition at line 1250 of file Operation.cpp.

verifyResultSizeAttr()

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

Definition at line 1288 of file Operation.cpp.

verifySameOperandsAndResultElementType()

LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultElementType

(

Operation *

op

)

Definition at line 1074 of file Operation.cpp.

verifySameOperandsAndResultRank()

LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultRank

(

Operation *

op

)

Definition at line 1133 of file Operation.cpp.

verifySameOperandsAndResultShape()

LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultShape

(

Operation *

op

)

Definition at line 1045 of file Operation.cpp.

verifySameOperandsAndResultType()

LogicalResult mlir::OpTrait::impl::verifySameOperandsAndResultType

(

Operation *

op

)

Definition at line 1098 of file Operation.cpp.

verifySameOperandsElementType()

LogicalResult mlir::OpTrait::impl::verifySameOperandsElementType

(

Operation *

op

)

Definition at line 1060 of file Operation.cpp.

verifySameOperandsShape()

LogicalResult mlir::OpTrait::impl::verifySameOperandsShape

(

Operation *

op

)

Definition at line 1035 of file Operation.cpp.

verifySameTypeOperands()

LogicalResult mlir::OpTrait::impl::verifySameTypeOperands

(

Operation *

op

)

Definition at line 969 of file Operation.cpp.

verifyValueSizeAttr()

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

Definition at line 1257 of file Operation.cpp.

verifyZeroOperands()

LogicalResult mlir::OpTrait::impl::verifyZeroOperands

(

Operation *

op

)

Definition at line 892 of file Operation.cpp.

verifyZeroRegions()

LogicalResult mlir::OpTrait::impl::verifyZeroRegions

(

Operation *

op

)

Definition at line 982 of file Operation.cpp.

verifyZeroResults()

LogicalResult mlir::OpTrait::impl::verifyZeroResults

(

Operation *

op

)

Definition at line 1008 of file Operation.cpp.

verifyZeroSuccessors()

LogicalResult mlir::OpTrait::impl::verifyZeroSuccessors

(

Operation *

op

)

Definition at line 1196 of file Operation.cpp.