MLIR  19.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 >:

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 431 of file OpDefinition.h.

Member Function Documentation

◆ verifyTrait()

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

Definition at line 433 of file OpDefinition.h.

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