verifyInvariantsImpl verifies the invariants like the types, attrs, .etc.
More...
#include "mlir/IR/OpDefinition.h"
Inheritance diagram for mlir::OpTrait::OpInvariants< ConcreteType >:
Static Public Member Functions | |
| static LogicalResult | verifyTrait (Operation *op) |
Additional Inherited Members | |
| Protected Member Functions inherited from mlir::OpTrait::TraitBase< ConcreteType, OpInvariants > | |
| Operation * | getOperation () |
| Return the ultimate Operation being worked on. More... | |
Detailed Description
template<typename ConcreteType>
class mlir::OpTrait::OpInvariants< ConcreteType >
verifyInvariantsImpl verifies the invariants like the types, attrs, .etc.
It should be run after core traits and before any other user defined traits. In order to run it in the correct order, wrap it with OpInvariants trait so that tblgen will be able to put it in the right order.
Definition at line 431 of file OpDefinition.h.
Member Function Documentation
◆ verifyTrait()
template<typename ConcreteType >
|
inlinestatic |
Definition at line 433 of file OpDefinition.h.
The documentation for this class was generated from the following file:
- include/mlir/IR/OpDefinition.h
