[all-commits] [llvm/llvm-project] 4c4ab6: [mlir][Analysis][NFC] Split FlatAffineConstraints ...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4c4ab673f10f558fa55ec97ece95ddfe109b2212
      https://github.com/llvm/llvm-project/commit/4c4ab673f10f558fa55ec97ece95ddfe109b2212
  Author: Matthias Springer <springerm at google.com>
  Date:   2021-08-17 (Tue, 17 Aug 2021)

  Changed paths:
    M mlir/include/mlir/Analysis/AffineAnalysis.h
    M mlir/include/mlir/Analysis/AffineStructures.h
    M mlir/include/mlir/Analysis/Utils.h
    M mlir/include/mlir/Dialect/Linalg/Analysis/ConstraintsSet.h
    M mlir/lib/Analysis/AffineAnalysis.cpp
    M mlir/lib/Analysis/AffineStructures.cpp
    M mlir/lib/Analysis/Utils.cpp
    M mlir/lib/Dialect/Affine/Transforms/AffineScalarReplacement.cpp
    M mlir/lib/Transforms/LoopFusion.cpp
    M mlir/lib/Transforms/Utils/LoopFusionUtils.cpp
    M mlir/lib/Transforms/Utils/LoopUtils.cpp
    M mlir/test/lib/Analysis/TestMemRefDependenceCheck.cpp

  Log Message:
  -----------
  [mlir][Analysis][NFC] Split FlatAffineConstraints class

* Extract "value" functionality of `FlatAffineConstraints` into a new derived `FlatAffineValueConstraints` class. Current users of `FlatAffineConstraints` can use `FlatAffineValueConstraints` without additional code changes, thus NFC.
* `FlatAffineConstraints` no longer associates dimensions with SSA Values. All functionality that requires this, is moved to `FlatAffineValueConstraints`.
* `FlatAffineConstraints` no longer makes assumptions about where Values associated with dimensions are coming from.

Differential Revision: https://reviews.llvm.org/D107725