This trai indicates that pointer-like objects (such as memrefs) returned from this operation will never alias with each other. More...
#include "mlir/Interfaces/ViewLikeInterface.h"
Inheritance diagram for mlir::OpTrait::DistinctObjectsTrait< ConcreteType >:Additional Inherited Members | |
| Protected Member Functions inherited from mlir::OpTrait::TraitBase< ConcreteType, DistinctObjectsTrait > | |
| Operation * | getOperation () |
| Return the ultimate Operation being worked on. More... | |
Detailed Description
template<typename ConcreteType>
class mlir::OpTrait::DistinctObjectsTrait< ConcreteType >
This trai indicates that pointer-like objects (such as memrefs) returned from this operation will never alias with each other.
This provides a guarantee to optimization passes that accesses through different results of this operation can be safely reordered, as they will never reference overlapping memory locations.
Operations with this trait take multiple pointer-like operands and return the same operands with additional non-aliasing guarantees. If the access to the results of this operation aliases at runtime, the behavior of such access is undefined.
Definition at line 245 of file ViewLikeInterface.h.
The documentation for this class was generated from the following file:
- include/mlir/Interfaces/ViewLikeInterface.h
