[mlir][memref] Make result normalization aware of the number symbols
authorKai Sasaki <lewuathe@gmail.com>
Thu, 29 Jun 2023 01:04:35 +0000 (10:04 +0900)
committerKai Sasaki <lewuathe@gmail.com>
Thu, 29 Jun 2023 01:04:53 +0000 (10:04 +0900)
commit1fee821d22252ec946bf730bc1149951eb6281c7
tree46fcc85b867e0f5fd11e9bb21095d18e8a67b97c
parent2f3f7d1206f8d06d5117f2aacc7d716b4ec554b3
[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
mlir/include/mlir/Dialect/Affine/Utils.h
mlir/lib/Dialect/Affine/Utils/Utils.cpp
mlir/lib/Dialect/MemRef/Transforms/NormalizeMemRefs.cpp
mlir/test/Transforms/normalize-memrefs.mlir