[Mlir-commits] [mlir] [mlir] remove folder on MemRef::ExtractStridedMetadataOp (PR #88043)

[Mehdi Amini]

joker-eph wrote:

> The crux of the issue is you should never decouple the base pointer and the offset when using memrefs. Doing that leads to all sorts of badness. Here is an example, which afaics proves this folding is wrong

I don't follow the logic: my understanding is that you're using the wrong abstractions, you introduce lower-level concepts with extractstridedmetadata and you're losing high-level information, but then you want to do a high-level transformation and complain that it is hard to do. Well that's work-as-intended as far as I can tell.


https://github.com/llvm/llvm-project/pull/88043