[all-commits] [llvm/llvm-project] d18ffd: [mlir][SCF] Canonicalize dim(x) where x is an iter...

[Matthias Springer via All-commits]

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

  Changed paths:
    M mlir/include/mlir/Dialect/SCF/Passes.h
    M mlir/include/mlir/Dialect/SCF/Passes.td
    M mlir/include/mlir/Dialect/SCF/SCFOps.td
    M mlir/include/mlir/Dialect/SCF/Transforms.h
    M mlir/lib/Dialect/Linalg/Transforms/CodegenStrategy.cpp
    M mlir/lib/Dialect/Linalg/Transforms/Tiling.cpp
    M mlir/lib/Dialect/SCF/Transforms/CMakeLists.txt
    A mlir/lib/Dialect/SCF/Transforms/LoopCanonicalization.cpp
    M mlir/lib/Dialect/SCF/Transforms/LoopSpecialization.cpp
    M mlir/lib/Dialect/SCF/Transforms/PassDetail.h
    R mlir/test/Dialect/SCF/canonicalize-affine-op.mlir
    A mlir/test/Dialect/SCF/for-loop-canonicalization.mlir
    M mlir/test/lib/Dialect/Linalg/TestConvVectorization.cpp
    M mlir/test/lib/Dialect/Linalg/TestLinalgFusionTransforms.cpp
    M utils/bazel/llvm-project-overlay/mlir/BUILD.bazel

  Log Message:
  -----------
  [mlir][SCF] Canonicalize dim(x) where x is an iter_arg

* Add `DimOfIterArgFolder`.
* Move existing cross-dialect canonicalization patterns to `LoopCanonicalization.cpp`.
* Rename `SCFAffineOpCanonicalization` pass to `SCFForLoopCanonicalization`.
* Expand documentaton of scf.for: The type of loop-carried variables may not change with iterations. (Not even the dynamic type.)

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