mlir::OpTrait::SameOperandsAndResultType< ConcreteType > Class Template Reference

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.

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

Member Function Documentation

verifyTrait()

template<typename ConcreteType>

LogicalResult mlir::OpTrait::SameOperandsAndResultType< ConcreteType >::verifyTrait ( Operation * op )

inlinestatic

Definition at line 1102 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