IRDLVerifiers.h File Reference

#include "mlir/IR/Attributes.h"
#include "mlir/IR/Region.h"
#include "mlir/Support/LLVM.h"
#include "llvm/ADT/ArrayRef.h"
#include "llvm/ADT/SmallVector.h"
#include <optional>

Go to the source code of this file.

Classes
class	mlir::irdl::ConstraintVerifier
	Provides context to the verification of constraints. More...
class	mlir::irdl::Constraint
	Once turned into IRDL verifiers, all constraints are attribute constraints. More...
class	mlir::irdl::IsConstraint
	A constraint that checks that an attribute is equal to a given attribute. More...
class	mlir::irdl::BaseAttrConstraint
	A constraint that checks that an attribute is of a given attribute base (e.g. More...
class	mlir::irdl::BaseTypeConstraint
	A constraint that checks that a type is of a given type base (e.g. More...
class	mlir::irdl::DynParametricAttrConstraint
	A constraint that checks that an attribute is of a specific dynamic attribute definition, and that all of its parameters satisfy the given constraints. More...
class	mlir::irdl::DynParametricTypeConstraint
	A constraint that checks that a type is of a specific dynamic type definition, and that all of its parameters satisfy the given constraints. More...
class	mlir::irdl::AnyOfConstraint
	A constraint checking that one of the given constraints is satisfied. More...
class	mlir::irdl::AllOfConstraint
	A constraint checking that all of the given constraints are satisfied. More...
class	mlir::irdl::AnyAttributeConstraint
	A constraint that is always satisfied. More...
struct	mlir::irdl::RegionConstraint
	A constraint checking that a region satisfies irdl.region requirements. More...

Namespaces
	mlir
	Include the generated interface declarations.
	mlir::irdl

Functions
llvm::unique_function< LogicalResult(Operation *) const >	mlir::irdl::createVerifier (OperationOp operation, const DenseMap< irdl::TypeOp, std::unique_ptr< DynamicTypeDefinition >> &typeDefs, const DenseMap< irdl::AttributeOp, std::unique_ptr< DynamicAttrDefinition >> &attrDefs)
	Generate an op verifier function from the given IRDL operation definition. More...