[all-commits] [llvm/llvm-project] 1d541b: [mlir][affine] Support affine.parallel in the inde...

[Kai Sasaki via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1d541bd92044432e98c58e2d291c9776516b42f9
      https://github.com/llvm/llvm-project/commit/1d541bd92044432e98c58e2d291c9776516b42f9
  Author: Kai Sasaki <lewuathe at gmail.com>
  Date:   2022-12-04 (Sun, 04 Dec 2022)

  Changed paths:
    M mlir/include/mlir/Dialect/Affine/Analysis/AffineStructures.h
    M mlir/include/mlir/Dialect/Affine/IR/AffineOps.h
    M mlir/lib/Dialect/Affine/Analysis/AffineAnalysis.cpp
    M mlir/lib/Dialect/Affine/Analysis/AffineStructures.cpp
    M mlir/lib/Dialect/Affine/IR/AffineOps.cpp
    M mlir/test/Dialect/Affine/scalrep.mlir
    M mlir/test/Transforms/memref-dependence-check.mlir
    M mlir/test/lib/Analysis/TestMemRefDependenceCheck.cpp

  Log Message:
  -----------
  [mlir][affine] Support affine.parallel in the index set analysis

Support affine.parallel in the index set analysis. It allows us to do dependence analysis containing affine.parallel in addition to affine.for and affine.if. This change only supports the constant lower/upper bound in affine.parallel. Other complicated affine map bounds will be supported in further commits.

See https://github.com/llvm/llvm-project/issues/57327

Reviewed By: bondhugula

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