[all-commits] [llvm/llvm-project] 3e497a: [MLIR] Update/fix memref region computation for af...

[Uday Bondhugula via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 3e497a114730cebdf96f3556af081d876b6ac8b3
      https://github.com/llvm/llvm-project/commit/3e497a114730cebdf96f3556af081d876b6ac8b3
  Author: Uday Bondhugula <uday at polymagelabs.com>
  Date:   2023-03-15 (Wed, 15 Mar 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Affine/Analysis/Utils.h
    M mlir/include/mlir/Dialect/Affine/IR/AffineOps.h
    M mlir/lib/Dialect/Affine/Analysis/AffineAnalysis.cpp
    M mlir/lib/Dialect/Affine/Analysis/Utils.cpp
    M mlir/lib/Dialect/Affine/IR/AffineOps.cpp
    M mlir/test/Transforms/memref-bound-check.mlir
    M mlir/test/lib/Dialect/Affine/TestAffineDataCopy.cpp

  Log Message:
  -----------
  [MLIR] Update/fix memref region computation for affine.parallel ops

When the affine.parallel op was introduced, affine utilities weren't
extended to handle it. Extending these is straightforward and natural
given that addAffineParallelOpDomain has also been added.
Update/complete memref region compute to account for affine.parallel
ops. Handle failure cleanly.

Add and expose utilities missing for affine.parallel to be consistent
with affine.for.

All of these allow various affine passes to work with a combination of
affine.parallel and affine.for ops.

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