[all-commits] [llvm/llvm-project] 874ce9: [mlir][vector] Add patterns to cast away leading 1...

[Lei Zhang via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 874ce9b80f87ba6eb880aff38ba2a359e3cf12b2
      https://github.com/llvm/llvm-project/commit/874ce9b80f87ba6eb880aff38ba2a359e3cf12b2
  Author: Lei Zhang <antiagainst at google.com>
  Date:   2021-02-05 (Fri, 05 Feb 2021)

  Changed paths:
    M mlir/include/mlir/Dialect/Vector/VectorOps.h
    M mlir/lib/Dialect/Vector/VectorTransforms.cpp
    M mlir/test/Dialect/Vector/vector-transforms.mlir
    M mlir/test/lib/Transforms/TestVectorTransforms.cpp

  Log Message:
  -----------
  [mlir][vector] Add patterns to cast away leading 1-dim

This patch adds patterns to use vector.shape_cast to cast
away leading 1-dimensions from a few vector operations.
It allows exposing more canonical forms of vector.transfer_read,
vector.transfer_write, vector_extract_strided_slice, and
vector.insert_strided_slice. With this, we can have more
opportunity to cancelling extract/insert ops or forwarding
write/read ops.

Reviewed By: ThomasRaoux

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