[all-commits] [llvm/llvm-project] 593c14: [mlir][Linalg] Add return type filter to the trans...

[Nicolas Vasilache via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 593c14d422e01cd7d6698321c62e3ac266e8cfb3
      https://github.com/llvm/llvm-project/commit/593c14d422e01cd7d6698321c62e3ac266e8cfb3
  Author: Nicolas Vasilache <nicolas.vasilache at gmail.com>
  Date:   2022-09-14 (Wed, 14 Sep 2022)

  Changed paths:
    M mlir/include/mlir/Dialect/Linalg/TransformOps/LinalgTransformOps.td
    M mlir/lib/Dialect/Linalg/TransformOps/LinalgTransformOps.cpp
    M mlir/test/Dialect/Linalg/transform-op-match.mlir

  Log Message:
  -----------
  [mlir][Linalg] Add return type filter to the transform dialect

This allows matching ops by additionally providing an idiomatic spec for a unique return type.

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


  Commit: 54a5f606281d05203dca1d81d135e691b10bc513
      https://github.com/llvm/llvm-project/commit/54a5f606281d05203dca1d81d135e691b10bc513
  Author: Nicolas Vasilache <nicolas.vasilache at gmail.com>
  Date:   2022-09-14 (Wed, 14 Sep 2022)

  Changed paths:
    M mlir/lib/Dialect/Linalg/TransformOps/LinalgTransformOps.cpp

  Log Message:
  -----------
  [mlir][scf][Transform] Refactor transform.fuse_into_containing_op so it is iterative and supports output fusion.

This revision revisits the implementation of `transform.fuse_into_containing_op` so that it iterates on
producers one use at a time.

Support is added to fuse a producer through a foreach_thread shared tensor argument, in which case we
tile and fuse the op inside the containing op and update the shared tensor argument to the unique destination operand.
If one cannot find such a unique destination operand the transform fails.


Compare: https://github.com/llvm/llvm-project/compare/d647312e3f57...54a5f606281d