[all-commits] [llvm/llvm-project] 9f6ba4: [mlir][vector] Extend transfer_write to read propa...

[Thomas via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 9f6ba4be26858a8c581b212efebe993e3c22e8d7
      https://github.com/llvm/llvm-project/commit/9f6ba4be26858a8c581b212efebe993e3c22e8d7
  Author: Thomas Raoux <thomasraoux at google.com>
  Date:   2022-07-22 (Fri, 22 Jul 2022)

  Changed paths:
    M mlir/include/mlir/Interfaces/VectorInterfaces.td
    M mlir/lib/Dialect/Vector/IR/VectorOps.cpp
    M mlir/test/Dialect/Vector/canonicalize.mlir

  Log Message:
  -----------
  [mlir][vector] Extend transfer_write to read propagation

Folding of transfer_write into transfer_read is already supported but
this requires the read and write to have the same permuation map.
After linalg vectorization it is common to have different ppermuation
map for write followed by read even though the cases could be
propagated.
This canonicalization handle cases where the permuation maps are
different but the data read and written match and replace the transfer
ops with broadcast and permuation

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