[all-commits] [llvm/llvm-project] 104fad: [MLIR] Add folder for zero trip count affine.for

[Uday Bondhugula via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 104fad99c9e378c09061f2d4c05e9a506b4ad58b
      https://github.com/llvm/llvm-project/commit/104fad99c9e378c09061f2d4c05e9a506b4ad58b
  Author: Uday Bondhugula <uday at polymagelabs.com>
  Date:   2021-07-21 (Wed, 21 Jul 2021)

  Changed paths:
    M mlir/include/mlir/Dialect/Affine/IR/AffineOps.td
    M mlir/lib/Dialect/Affine/IR/AffineOps.cpp
    M mlir/test/Dialect/Affine/canonicalize.mlir

  Log Message:
  -----------
  [MLIR] Add folder for zero trip count affine.for

AffineForOp's folding hook is expected to fold away trivially empty
affine.for.  This allows simplification to happen as part of the
canonicalizer and from wherever the folding hook is used. While more
complex analysis based zero trip count detection is available from other
passes in analysis and transforms, simple and inexpensive folding had
been missing.

Also, update/improve affine.for op documentation clarifying semantics of
the result values for zero trip count loops.

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