[all-commits] [llvm/llvm-project] 1e9bfc: [MLIR][Affine] Fix/complete access index invarianc...

[Uday Bondhugula via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1e9bfcd9a423765a86b2fc807c3bc3a097823deb
      https://github.com/llvm/llvm-project/commit/1e9bfcd9a423765a86b2fc807c3bc3a097823deb
  Author: Uday Bondhugula <uday at polymagelabs.com>
  Date:   2024-03-14 (Thu, 14 Mar 2024)

  Changed paths:
    M mlir/include/mlir/Dialect/Affine/Analysis/LoopAnalysis.h
    M mlir/include/mlir/Dialect/Affine/IR/AffineValueMap.h
    M mlir/lib/Dialect/Affine/Analysis/LoopAnalysis.cpp
    M mlir/lib/Dialect/Affine/IR/AffineValueMap.cpp
    M mlir/test/Dialect/Affine/access-analysis.mlir
    M mlir/test/lib/Dialect/Affine/TestAccessAnalysis.cpp

  Log Message:
  -----------
  [MLIR][Affine] Fix/complete access index invariance, add isInvariantAccess (#84602)

isAccessIndexInvariant had outdated code and didn't handle IR with
multiple
affine.apply ops, which is inconvenient when used as a utility.  This is
addressed by switching to use the proper API on AffineValueMap. Add
mlir::affine::isInvariantAccess exposed for outside use and tested via
the test pass. Add a method on AffineValueMap.  Add test cases to
exercise simplification and composition for invariant access analysis.

A TODO/FIXME has been added but this issue existed before.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications