[all-commits] [llvm/llvm-project] 1fee82: [mlir][memref] Make result normalization aware of ...

[Kai Sasaki via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 1fee821d22252ec946bf730bc1149951eb6281c7
      https://github.com/llvm/llvm-project/commit/1fee821d22252ec946bf730bc1149951eb6281c7
  Author: Kai Sasaki <lewuathe at gmail.com>
  Date:   2023-06-29 (Thu, 29 Jun 2023)

  Changed paths:
    M mlir/include/mlir/Dialect/Affine/Utils.h
    M mlir/lib/Dialect/Affine/Utils/Utils.cpp
    M mlir/lib/Dialect/MemRef/Transforms/NormalizeMemRefs.cpp
    M mlir/test/Transforms/normalize-memrefs.mlir

  Log Message:
  -----------
  [mlir][memref] Make result normalization aware of the number symbols

Memref normalization fails to recognize the non-zero symbols used in the memref type itself with strided, offset information. It causes the crash with the type like `memref<128x512xf32, strided<[?, ?], offset: ?>>`. The original issue is here. https://github.com/llvm/llvm-project/issues/61345

Reviewed By: mehdi_amini

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