mlir::OpTrait::hasSingleBlockImplicitTerminator< Op, hasTerminator > Struct Template Reference

Support to check if an operation has the SingleBlockImplicitTerminator trait. More...

#include "mlir/IR/OpDefinition.h"

Inheritance diagram for mlir::OpTrait::hasSingleBlockImplicitTerminator< Op, hasTerminator >:

Static Public Attributes
static constexpr bool	value

Detailed Description

template<class Op, bool hasTerminator = llvm::is_detected<has_implicit_terminator_t, Op>::value>
struct mlir::OpTrait::hasSingleBlockImplicitTerminator< Op, hasTerminator >

Support to check if an operation has the SingleBlockImplicitTerminator trait.

We can't just use hasTrait because this class is templated on a specific terminator op.

Definition at line 1031 of file OpDefinition.h.

Member Data Documentation

value

template<class Op, bool hasTerminator = llvm::is_detected<has_implicit_terminator_t, Op>::value>

bool mlir::OpTrait::hasSingleBlockImplicitTerminator< Op, hasTerminator >::value

staticconstexpr

Initial value:

= std::is_base_of<
      typename OpTrait::SingleBlockImplicitTerminator<
          typename Op::ImplicitTerminatorOpT>::template Impl<Op>,
      Op>::value

Definition at line 1032 of file OpDefinition.h.

---

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

• include/mlir/IR/OpDefinition.h