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

A trait of region holding operations that defines a new scope for polyhedral optimization purposes. More...

#include "mlir/IR/OpDefinition.h"

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

Static Public Member Functions

static LogicalResult verifyTrait (Operation *op)
 

Additional Inherited Members

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

Detailed Description

template<typename ConcreteType>
class mlir::OpTrait::AffineScope< ConcreteType >

A trait of region holding operations that defines a new scope for polyhedral optimization purposes.

Any SSA values of 'index' type that either dominate such an operation or are used at the top-level of such an operation automatically become valid symbols for the polyhedral scope defined by that operation. For more details, see Traits.md::AffineScope.

Definition at line 1211 of file OpDefinition.h.

Member Function Documentation

◆ verifyTrait()

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

Definition at line 1213 of file OpDefinition.h.

References mlir::success().


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