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.

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.
static void	ensureTerminator (Region &region, OpBuilder &builder, Location loc)

Additional Inherited Members
Protected Member Functions inherited from mlir::OpTrait::TraitBase< ConcreteType, SingleBlockImplicitTerminator< TerminatorOpType >::Impl >
Operation *	getOperation ()
	Return the ultimate Operation being worked on.

Detailed Description

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

Definition at line 965 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 978 of file OpDefinition.h.

Member Function Documentation

ensureTerminator() [1/2]

template<typename TerminatorOpType>

template<typename ConcreteType>

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

References mlir::impl::ensureRegionTerminator().

ensureTerminator() [2/2]

template<typename TerminatorOpType>

template<typename ConcreteType>

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

inlinestatic

Definition at line 1013 of file OpDefinition.h.

References mlir::impl::ensureRegionTerminator().

verifyRegionTrait()

template<typename TerminatorOpType>

template<typename ConcreteType>

LogicalResult mlir::OpTrait::SingleBlockImplicitTerminator< TerminatorOpType >::Impl< ConcreteType >::verifyRegionTrait ( Operation * op )

inlinestatic

Definition at line 980 of file OpDefinition.h.

References mlir::InFlightDiagnostic::attachNote(), mlir::Block::back(), mlir::Operation::emitOpError(), mlir::Region::empty(), mlir::Region::front(), mlir::Operation::getName(), mlir::Operation::getNumRegions(), mlir::Operation::getRegion(), mlir::OperationName::getStringRef(), and success().

---

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

• include/mlir/IR/OpDefinition.h