This class provides verification for ops that are known to have the same operand and result type. More...
#include "mlir/IR/OpDefinition.h"
Inheritance diagram for mlir::OpTrait::SameOperandsAndResultType< ConcreteType >:
Static Public Member Functions | |
| static LogicalResult | verifyTrait (Operation *op) |
Additional Inherited Members | |
| Protected Member Functions inherited from mlir::OpTrait::TraitBase< ConcreteType, SameOperandsAndResultType > | |
| Operation * | getOperation () |
| Return the ultimate Operation being worked on. More... | |
Detailed Description
template<typename ConcreteType>
class mlir::OpTrait::SameOperandsAndResultType< ConcreteType >
This class provides verification for ops that are known to have the same operand and result type.
Note: this trait subsumes the SameOperandsAndResultShape and SameOperandsAndResultElementType traits.
Definition at line 1087 of file OpDefinition.h.
Member Function Documentation
◆ verifyTrait()
template<typename ConcreteType >
|
inlinestatic |
Definition at line 1090 of file OpDefinition.h.
References mlir::OpTrait::impl::verifySameOperandsAndResultType().
The documentation for this class was generated from the following file:
- include/mlir/IR/OpDefinition.h
