[all-commits] [llvm/llvm-project] 6edfb6: [mlir] Extend AffineForEmptyLoopFolder

[Amy Zhuang via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6edfb628f9cc1008d6d0dd7719483458a324daa8
      https://github.com/llvm/llvm-project/commit/6edfb628f9cc1008d6d0dd7719483458a324daa8
  Author: Amy Zhuang <amy.zhuang at intel.com>
  Date:   2022-03-08 (Tue, 08 Mar 2022)

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

  Log Message:
  -----------
  [mlir] Extend AffineForEmptyLoopFolder

Currently when we fold an empty loop, we assume that any loop
with iterArgs returns its iterArgs in order, which is not always
the case. It may return values defined outside of the loop or
return its iterArgs out of order. This patch adds support to
those cases.

Reviewed By: dcaballe

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