mlir::irdl::RegionConstraint Struct Reference

A constraint checking that a region satisfies irdl.region requirements. More...

#include "mlir/Dialect/IRDL/IRDLVerifiers.h"

Public Member Functions
	RegionConstraint (std::optional< SmallVector< unsigned >> argumentConstraints, std::optional< size_t > blockCount)
	The constructor accepts constrained entities from the irdl.region operation, such as slots of constraints for the region's arguments and the block count. More...
LogicalResult	verify (mlir::Region &region, ConstraintVerifier &constraintContext)
	Check that the region satisfies the constraint. More...

Detailed Description

A constraint checking that a region satisfies irdl.region requirements.

Definition at line 226 of file IRDLVerifiers.h.

Constructor & Destructor Documentation

RegionConstraint()

mlir::irdl::RegionConstraint::RegionConstraint ( std::optional< SmallVector< unsigned >>  argumentConstraints, std::optional< size_t >  blockCount  )

inline

The constructor accepts constrained entities from the irdl.region operation, such as slots of constraints for the region's arguments and the block count.

Definition at line 233 of file IRDLVerifiers.h.

Member Function Documentation

verify()

LogicalResult RegionConstraint::verify	(	mlir::Region &	region,
		ConstraintVerifier &	constraintContext
	)

Check that the region satisfies the constraint.

constraintContext is needed to verify the region's arguments constraints.

Definition at line 218 of file IRDLVerifiers.cpp.

References diag(), mlir::emitError(), mlir::failed(), mlir::failure(), mlir::get(), mlir::Region::getArguments(), mlir::Region::getBlocks(), mlir::Region::getLoc(), mlir::Region::getParentOp(), mlir::Region::getRegionNumber(), mlir::success(), and mlir::irdl::ConstraintVerifier::verify().

---

The documentation for this struct was generated from the following files:

• include/mlir/Dialect/IRDL/IRDLVerifiers.h
• lib/Dialect/IRDL/IRDLVerifiers.cpp