[all-commits] [llvm/llvm-project] 01ad70: [mlir][Vector] Fold ShuffleOp if result is identic...

[Jianjian Guan via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 01ad70fd1db3449dc3641b78f8d4680ae77f9b8a
      https://github.com/llvm/llvm-project/commit/01ad70fd1db3449dc3641b78f8d4680ae77f9b8a
  Author: jacquesguan <Jianjian.Guan at streamcomputing.com>
  Date:   2022-03-31 (Thu, 31 Mar 2022)

  Changed paths:
    M mlir/lib/Dialect/Vector/IR/VectorOps.cpp
    M mlir/test/Conversion/VectorToLLVM/vector-to-llvm.mlir
    M mlir/test/Dialect/Vector/canonicalize.mlir

  Log Message:
  -----------
  [mlir][Vector] Fold ShuffleOp if result is identical to one of source vectors.

For example, we could do the following eliminations:
  fold vector.shuffle V1, V2, [0, 1, 2, 3] : <4xi32>, <2xi32> -> V1
  fold vector.shuffle V1, V2, [4, 5] : <4xi32>, <2xi32> -> V2

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