MLIR  20.0.0git
Public Member Functions | List of all members
mlir::irdl::IsConstraint Class Reference

A constraint that checks that an attribute is equal to a given attribute. More...

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

+ Inheritance diagram for mlir::irdl::IsConstraint:

Public Member Functions

 IsConstraint (Attribute expectedAttribute)
 
virtual ~IsConstraint ()=default
 
LogicalResult verify (function_ref< InFlightDiagnostic()> emitError, Attribute attr, ConstraintVerifier &context) const override
 Check that an attribute is satisfying the constraint. More...
 
- Public Member Functions inherited from mlir::irdl::Constraint
virtual ~Constraint ()=default
 

Detailed Description

A constraint that checks that an attribute is equal to a given attribute.

Definition at line 89 of file IRDLVerifiers.h.

Constructor & Destructor Documentation

◆ IsConstraint()

mlir::irdl::IsConstraint::IsConstraint ( Attribute  expectedAttribute)
inline

Definition at line 91 of file IRDLVerifiers.h.

◆ ~IsConstraint()

virtual mlir::irdl::IsConstraint::~IsConstraint ( )
virtualdefault

Member Function Documentation

◆ verify()

LogicalResult IsConstraint::verify ( function_ref< InFlightDiagnostic()>  emitError,
Attribute  attr,
ConstraintVerifier context 
) const
overridevirtual

Check that an attribute is satisfying the constraint.

Constraints may call other constraint verifiers. If that is the case, the constraint verifier will check if the variable is already assigned, and if so, check that the attribute is the same as the one assigned. If the variable is not assigned, the constraint verifier will assign the attribute to the variable, and check that the constraint is satisfied.

Implements mlir::irdl::Constraint.

Definition at line 58 of file IRDLVerifiers.cpp.

References mlir::emitError().


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