[all-commits] [llvm/llvm-project] 94438c: [mlir] Add a MemRefCastOp canonicalization pattern.

[Nicolas Vasilache via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 94438c86adef0a0f50bc3737253e8c98b4e3dd3e
      https://github.com/llvm/llvm-project/commit/94438c86adef0a0f50bc3737253e8c98b4e3dd3e
  Author: Nicolas Vasilache <ntv at google.com>
  Date:   2020-05-06 (Wed, 06 May 2020)

  Changed paths:
    M mlir/include/mlir/Dialect/StandardOps/IR/Ops.h
    M mlir/include/mlir/Dialect/StandardOps/IR/Ops.td
    M mlir/lib/Dialect/Linalg/IR/LinalgOps.cpp
    M mlir/lib/Dialect/StandardOps/IR/Ops.cpp
    M mlir/test/Transforms/canonicalize.mlir

  Log Message:
  -----------
  [mlir] Add a MemRefCastOp canonicalization pattern.

Summary:
This revision adds a conservative canonicalization pattern for MemRefCastOp that are typically inserted during ViewOp and SubViewOp canonicalization.
Ideally such canonicalizations would propagate the type to consumers but this is not a local behavior. As a consequence MemRefCastOp are introduced to keep type compatibility but need to be cleaned up later, in the case where more dynamic behavior than necessary is introduced.

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