[all-commits] [llvm/llvm-project] 0c782c: [mlir] Add folding of memref_cast inside another m...

[ftynse via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 0c782c214b56102161c03ec5657455b7c73a5722
      https://github.com/llvm/llvm-project/commit/0c782c214b56102161c03ec5657455b7c73a5722
  Author: Alex Zinenko <zinenko at google.com>
  Date:   2020-11-06 (Fri, 06 Nov 2020)

  Changed paths:
    M mlir/lib/Dialect/StandardOps/IR/Ops.cpp
    M mlir/test/Transforms/canonicalize.mlir

  Log Message:
  -----------
  [mlir] Add folding of memref_cast inside another memref_cast

There exists a generic folding facility that folds the operand of a memref_cast
into users of memref_cast that support this. However, it was not used for the
memref_cast itself. Fix it to enable elimination of memref_cast chains such as

  %1 = memref_cast %0 : A to B
  %2 = memref_cast %1 : B to A

that is achieved by combining the folding with the existing "A to A" cast
elimination.

Reviewed By: nicolasvasilache

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