[all-commits] [llvm/llvm-project] e3373c: [mlir][memref] Fix crash in SubViewReturnTypeCanon...

[Matthias Springer via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: e3373c6c83d3855adb78f1952a3bf0398baf359e
      https://github.com/llvm/llvm-project/commit/e3373c6c83d3855adb78f1952a3bf0398baf359e
  Author: Matthias Springer <me at m-sp.org>
  Date:   2023-08-25 (Fri, 25 Aug 2023)

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

  Log Message:
  -----------
  [mlir][memref] Fix crash in SubViewReturnTypeCanonicalizer

`SubViewReturnTypeCanonicalizer` is used by `OpWithOffsetSizesAndStridesConstantArgumentFolder`, which folds constant SSA value (dynamic) sizes into static sizes. The previous implementation crashed when a dynamic size was folded into a static `1` dimension, which was then mistaken as a rank reduction.

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