MLIR  16.0.0git
Public Types | Public Member Functions | Public Attributes | List of all members
mlir::DependenceResult Struct Reference

Checks whether two accesses to the same memref access the same element. More...

#include "mlir/Dialect/Affine/Analysis/AffineAnalysis.h"

+ Collaboration diagram for mlir::DependenceResult:

Public Types

enum  ResultEnum { HasDependence, NoDependence, Failure }
 

Public Member Functions

 DependenceResult (ResultEnum v)
 

Public Attributes

enum mlir::DependenceResult::ResultEnum value
 

Detailed Description

Checks whether two accesses to the same memref access the same element.

Each access is specified using the MemRefAccess structure, which contains the operation, indices and memref associated with the access. Returns 'NoDependence' if it can be determined conclusively that the accesses do not access the same memref element. If 'allowRAR' is true, will consider read-after-read dependences (typically used by applications trying to optimize input reuse).

Definition at line 159 of file AffineAnalysis.h.

Member Enumeration Documentation

◆ ResultEnum

Enumerator
HasDependence 
NoDependence 
Failure 

Definition at line 160 of file AffineAnalysis.h.

Constructor & Destructor Documentation

◆ DependenceResult()

mlir::DependenceResult::DependenceResult ( ResultEnum  v)
inline

Definition at line 165 of file AffineAnalysis.h.

References mlir::checkMemrefAccessDependence().

Member Data Documentation

◆ value

enum mlir::DependenceResult::ResultEnum mlir::DependenceResult::value

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