[all-commits] [llvm/llvm-project] 4fa6c2: [mlir][scf] Allow runtime type of iter_args to change

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 4fa6c2734c484ad7299257b317b75f9bc5482b7c
      https://github.com/llvm/llvm-project/commit/4fa6c2734c484ad7299257b317b75f9bc5482b7c
  Author: Matthias Springer <springerm at google.com>
  Date:   2021-09-03 (Fri, 03 Sep 2021)

  Changed paths:
    M mlir/include/mlir/Dialect/SCF/SCFOps.td
    M mlir/lib/Dialect/SCF/Transforms/LoopCanonicalization.cpp
    M mlir/test/Dialect/SCF/for-loop-canonicalization.mlir

  Log Message:
  -----------
  [mlir][scf] Allow runtime type of iter_args to change

The limitation on iter_args introduced with D108806 is too restricting. Changes of the runtime type should be allowed.

Extends the dim op canonicalization with a simple analysis to determine when it is safe to canonicalize.

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