MLIR  15.0.0git
Static Public Member Functions | List of all members
mlir::OpTrait::ReturnLike< ConcreteType > Struct Template Reference

This trait indicates that a terminator operation is "return-like". More...

#include "mlir/Interfaces/ControlFlowInterfaces.h"

+ Inheritance diagram for mlir::OpTrait::ReturnLike< ConcreteType >:
+ Collaboration diagram for mlir::OpTrait::ReturnLike< ConcreteType >:

Static Public Member Functions

static LogicalResult verifyTrait (Operation *op)
 

Additional Inherited Members

- Protected Member Functions inherited from mlir::OpTrait::TraitBase< ConcreteType, ReturnLike >
OperationgetOperation ()
 Return the ultimate Operation being worked on. More...
 

Detailed Description

template<typename ConcreteType>
struct mlir::OpTrait::ReturnLike< ConcreteType >

This trait indicates that a terminator operation is "return-like".

This means that it exits its current region and forwards its operands as "exit" values to the parent region. Operations with this trait are not permitted to contain successors or produce results.

Definition at line 265 of file ControlFlowInterfaces.h.

Member Function Documentation

◆ verifyTrait()

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

Definition at line 266 of file ControlFlowInterfaces.h.

References mlir::success().


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