[all-commits] [llvm/llvm-project] 6d4528: [mlir][memref] Add better support for identity lay...

[Stephan Herhut via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 6d45284618f08fa28dc515cab96fa573c4c4479e
      https://github.com/llvm/llvm-project/commit/6d45284618f08fa28dc515cab96fa573c4c4479e
  Author: Stephan Herhut <herhut at google.com>
  Date:   2022-01-20 (Thu, 20 Jan 2022)

  Changed paths:
    M mlir/lib/Dialect/MemRef/IR/MemRefOps.cpp
    M mlir/test/Dialect/MemRef/canonicalize.mlir

  Log Message:
  -----------
  [mlir][memref] Add better support for identity layouts in memref.collapse_shape canonicalizer

When computing the new type of a collapse_shape operation, we need to at least
take into account whether the type has an identity layout, in which case we can
easily support dynamic strides. Otherwise, the canonicalizer creates invalid
IR.

Longer term, both the verifier and the canoncializer need to be extended to
support the general case.

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