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

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

Public Types
enum	ResultEnum { HasDependence , NoDependence , Failure }

Public Member Functions
	DependenceResult (ResultEnum v)

Public Attributes
enum mlir::affine::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 161 of file AffineAnalysis.h.

Member Enumeration Documentation

◆ ResultEnum

enum mlir::affine::DependenceResult::ResultEnum

Enumerator
HasDependence
NoDependence
Failure

Definition at line 162 of file AffineAnalysis.h.

Constructor & Destructor Documentation

◆ DependenceResult()

mlir::affine::DependenceResult::DependenceResult ( ResultEnum v )

inline

Definition at line 167 of file AffineAnalysis.h.

Member Data Documentation

◆ value

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

Referenced by mlir::affine::computeSliceUnion(), mlir::affine::hasDependence(), and mlir::affine::noDependence().

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

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

Public Types

Public Member Functions