MLIR  16.0.0git
Static Public Member Functions | List of all members
mlir::OpTrait::OpInvariants< ConcreteType > Class Template Reference

verifyInvariantsImpl verifies the invariants like the types, attrs, .etc. More...

#include "mlir/IR/OpDefinition.h"

+ Inheritance diagram for mlir::OpTrait::OpInvariants< ConcreteType >:
+ Collaboration 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 >
OperationgetOperation ()
 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 374 of file OpDefinition.h.

Member Function Documentation

◆ verifyTrait()

template<typename ConcreteType >
static LogicalResult mlir::OpTrait::OpInvariants< ConcreteType >::verifyTrait ( Operation op)

Definition at line 376 of file OpDefinition.h.

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