MLIR  20.0.0git
Classes | Namespaces | Functions
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...