MLIR  19.0.0git
Public Types | Static Public Member Functions | List of all members
mlir::OpTrait::SingleBlockImplicitTerminator< TerminatorOpType >::Impl< ConcreteType > Class Template Reference

#include "mlir/IR/OpDefinition.h"

+ Inheritance diagram for mlir::OpTrait::SingleBlockImplicitTerminator< TerminatorOpType >::Impl< ConcreteType >:

Public Types

using ImplicitTerminatorOpT = TerminatorOpType
 The type of the operation used as the implicit terminator type. More...
 

Static Public Member Functions

static LogicalResult verifyRegionTrait (Operation *op)
 
static void ensureTerminator (Region &region, Builder &builder, Location loc)
 Ensure that the given region has the terminator required by this trait. More...
 
static void ensureTerminator (Region &region, OpBuilder &builder, Location loc)
 

Additional Inherited Members

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

Detailed Description

template<typename TerminatorOpType>
template<typename ConcreteType>
class mlir::OpTrait::SingleBlockImplicitTerminator< TerminatorOpType >::Impl< ConcreteType >

Definition at line 954 of file OpDefinition.h.

Member Typedef Documentation

◆ ImplicitTerminatorOpT

template<typename TerminatorOpType >
template<typename ConcreteType >
using mlir::OpTrait::SingleBlockImplicitTerminator< TerminatorOpType >::Impl< ConcreteType >::ImplicitTerminatorOpT = TerminatorOpType

The type of the operation used as the implicit terminator type.

Definition at line 967 of file OpDefinition.h.

Member Function Documentation

◆ ensureTerminator() [1/2]

template<typename TerminatorOpType >
template<typename ConcreteType >
static void mlir::OpTrait::SingleBlockImplicitTerminator< TerminatorOpType >::Impl< ConcreteType >::ensureTerminator ( Region region,
Builder builder,
Location  loc 
)
inlinestatic

Ensure that the given region has the terminator required by this trait.

If OpBuilder is provided, use it to build the terminator and notify the OpBuilder listeners accordingly. If only a Builder is provided, locally construct an OpBuilder with no listeners; this should only be used if no OpBuilder is available at the call site, e.g., in the parser.

Definition at line 997 of file OpDefinition.h.

References mlir::impl::ensureRegionTerminator().

◆ ensureTerminator() [2/2]

template<typename TerminatorOpType >
template<typename ConcreteType >
static void mlir::OpTrait::SingleBlockImplicitTerminator< TerminatorOpType >::Impl< ConcreteType >::ensureTerminator ( Region region,
OpBuilder builder,
Location  loc 
)
inlinestatic

Definition at line 1002 of file OpDefinition.h.

References mlir::impl::ensureRegionTerminator().

◆ verifyRegionTrait()

template<typename TerminatorOpType >
template<typename ConcreteType >
static LogicalResult mlir::OpTrait::SingleBlockImplicitTerminator< TerminatorOpType >::Impl< ConcreteType >::verifyRegionTrait ( Operation op)
inlinestatic

Definition at line 969 of file OpDefinition.h.


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