[all-commits] [llvm/llvm-project] 08dbed: [mlir][linalg] Canonicalize dim ops of tiled_loop ...

[Matthias Springer via All-commits]

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

  Changed paths:
    M mlir/lib/Dialect/Linalg/IR/LinalgOps.cpp
    M mlir/test/Dialect/Linalg/canonicalize.mlir
    M mlir/test/Dialect/Linalg/fusion-tensor-pattern.mlir

  Log Message:
  -----------
  [mlir][linalg] Canonicalize dim ops of tiled_loop block args

E.g.:
```
%y = ... : tensor<...>
linalg.tiled_loop ... ins(%x = %y : tensor<...>) {
  tensor.dim %x, %c0 : tensor<...>
}
```

is rewritten to:
```
%y = ... : tensor<...>
linalg.tiled_loop ... ins(%x = %y : tensor<...>) {
  tensor.dim %y, %c0 : tensor<...>
}
```

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