[all-commits] [llvm/llvm-project] 0602e8: [MLIR][Affine] Add parametric tile size support fo...

[Navdeep Kumar via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 0602e8f77f8662c85155b8cf02937a2e71c01e12
      https://github.com/llvm/llvm-project/commit/0602e8f77f8662c85155b8cf02937a2e71c01e12
  Author: Navdeep Kumar <navdeep.navdeep37 at gmail.com>
  Date:   2020-09-17 (Thu, 17 Sep 2020)

  Changed paths:
    M mlir/include/mlir/Transforms/LoopUtils.h
    M mlir/lib/Dialect/Affine/Transforms/LoopTiling.cpp
    M mlir/lib/Transforms/Utils/LoopUtils.cpp
    A mlir/test/Dialect/Affine/loop-tiling-parametric.mlir
    M mlir/test/lib/Transforms/CMakeLists.txt
    A mlir/test/lib/Transforms/TestAffineLoopParametricTiling.cpp
    M mlir/tools/mlir-opt/mlir-opt.cpp

  Log Message:
  -----------
  [MLIR][Affine] Add parametric tile size support for affine.for tiling

Add support to tile affine.for ops with parametric sizes (i.e., SSA
values). Currently supports hyper-rectangular loop nests with constant
lower bounds only. Move methods

  - moveLoopBody(*)
  - getTileableBands(*)
  - checkTilingLegality(*)
  - tilePerfectlyNested(*)
  - constructTiledIndexSetHyperRect(*)

to allow reuse with constant tile size API. Add a test pass -test-affine
-parametric-tile to test parametric tiling.

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