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 >:
Static Public Member Functions | |
| static LogicalResult | verifyTrait (Operation *op) |
Additional Inherited Members | |
| Protected Member Functions inherited from mlir::OpTrait::TraitBase< ConcreteType, AffineScope > | |
| Operation * | getOperation () |
| 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 1262 of file OpDefinition.h.
Member Function Documentation
◆ verifyTrait()
template<typename ConcreteType >
|
inlinestatic |
Definition at line 1264 of file OpDefinition.h.
The documentation for this class was generated from the following file:
- include/mlir/IR/OpDefinition.h
