MLIR 22.0.0git
mlir::transform::NavigationTransformOpTrait< OpTy > Class Template Reference

Trait implementing the MemoryEffectOpInterface for operations that use their operands without consuming and without modifying the Payload IR to potentially produce new handles. More...

#include "mlir/Dialect/Transform/Interfaces/TransformInterfaces.h"

Inheritance diagram for mlir::transform::NavigationTransformOpTrait< OpTy >:

Public Member Functions

void getEffects (SmallVectorImpl< MemoryEffects::EffectInstance > &effects)
 This op produces handles to the Payload IR without consuming the original handles and without modifying the IR itself.

Static Public Member Functions

static LogicalResult verifyTrait (Operation *op)
 Checks that the op matches the expectation of this trait.

Additional Inherited Members

Protected Member Functions inherited from mlir::OpTrait::TraitBase< OpTy, NavigationTransformOpTrait >
OperationgetOperation ()
 Return the ultimate Operation being worked on.

Detailed Description

template<typename OpTy>
class mlir::transform::NavigationTransformOpTrait< OpTy >

Trait implementing the MemoryEffectOpInterface for operations that use their operands without consuming and without modifying the Payload IR to potentially produce new handles.

Definition at line 1335 of file TransformInterfaces.h.

Member Function Documentation

◆ getEffects()

template<typename OpTy>
void mlir::transform::NavigationTransformOpTrait< OpTy >::getEffects ( SmallVectorImpl< MemoryEffects::EffectInstance > & effects)
inline

This op produces handles to the Payload IR without consuming the original handles and without modifying the IR itself.

Definition at line 1340 of file TransformInterfaces.h.

References mlir::OpTrait::TraitBase< OpTy, NavigationTransformOpTrait >::getOperation(), mlir::transform::onlyReadsHandle(), mlir::transform::onlyReadsPayload(), and mlir::transform::producesHandle().

◆ verifyTrait()

template<typename OpTy>
LogicalResult mlir::transform::NavigationTransformOpTrait< OpTy >::verifyTrait ( Operation * op)
inlinestatic

Checks that the op matches the expectation of this trait.

Definition at line 1352 of file TransformInterfaces.h.

References mlir::Operation::emitError(), mlir::OperationName::getInterface(), mlir::Operation::getName(), and success().


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