[all-commits] [llvm/llvm-project] 8b5134: [mlir][Vector][Transforms] Improve the control ove...

[Nicolas Vasilache via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 8b513407407d00dd8eafa1f6c6f37bf715b4c7e8
      https://github.com/llvm/llvm-project/commit/8b513407407d00dd8eafa1f6c6f37bf715b4c7e8
  Author: Nicolas Vasilache <nicolas.vasilache at gmail.com>
  Date:   2023-03-24 (Fri, 24 Mar 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Transform/IR/TransformInterfaces.h
    M mlir/include/mlir/Dialect/Transform/IR/TransformInterfaces.td
    M mlir/include/mlir/Dialect/Vector/TransformOps/VectorTransformOps.td
    M mlir/include/mlir/Dialect/Vector/Transforms/LoweringPatterns.h
    M mlir/lib/Dialect/Transform/IR/CMakeLists.txt
    M mlir/lib/Dialect/Transform/IR/TransformInterfaces.cpp
    M mlir/lib/Dialect/Vector/TransformOps/CMakeLists.txt
    M mlir/lib/Dialect/Vector/TransformOps/VectorTransformOps.cpp
    M mlir/lib/Dialect/Vector/Transforms/LowerVectorContract.cpp
    M mlir/lib/Dialect/Vector/Transforms/LowerVectorTransfer.cpp
    M mlir/test/Dialect/LLVM/transform-e2e.mlir
    M mlir/test/Dialect/Vector/transform-vector.mlir
    A mlir/test/Dialect/Vector/vector-broadcast-lowering-transforms.mlir
    M mlir/test/Dialect/Vector/vector-contract-matvec-transforms.mlir
    A mlir/test/Dialect/Vector/vector-contract-to-dot-transforms.mlir
    A mlir/test/Dialect/Vector/vector-contract-to-matrix-intrinsics-transforms.mlir
    A mlir/test/Dialect/Vector/vector-contract-to-outerproduct-transforms.mlir
    A mlir/test/Dialect/Vector/vector-contract-to-parallel-arith-transforms.mlir
    R mlir/test/Dialect/Vector/vector-contract-transforms.mlir
    A mlir/test/Dialect/Vector/vector-mask-lowering-transforms.mlir
    M mlir/test/Dialect/Vector/vector-multi-reduction-lowering.mlir
    M mlir/test/Dialect/Vector/vector-multi-reduction-outer-lowering.mlir
    A mlir/test/Dialect/Vector/vector-outerproduct-lowering-transforms.mlir
    A mlir/test/Dialect/Vector/vector-shape-cast-lowering-transforms.mlir
    M mlir/test/Dialect/Vector/vector-transfer-drop-unit-dims-patterns.mlir
    A mlir/test/Dialect/Vector/vector-transfer-full-partial-split-copy-transform.mlir
    M mlir/test/Dialect/Vector/vector-transfer-full-partial-split.mlir
    M mlir/test/Dialect/Vector/vector-transfer-to-vector-load-store.mlir
    M mlir/test/Dialect/Vector/vector-transpose-lowering.mlir
    M mlir/test/lib/Dialect/Vector/TestVectorTransforms.cpp
    M utils/bazel/llvm-project-overlay/mlir/BUILD.bazel

  Log Message:
  -----------
  [mlir][Vector][Transforms] Improve the control over individual vector lowerings and transforms

This revision adds vector transform operations that allow us to better inspect the composition
of various lowerings that were previously very opaque.

This commit is NFC in that it does not change patterns beyond adding `rewriter.notifyFailure` messages
and it does not change the tests beyond breaking them into pieces and using transforms instead of
throwaway opaque test passes.

Reviewed By: ftynse, springerm

Co-authored-by: Alex Zinenko <zinenko at google.com>

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