[Mlir-commits] [flang] [mlir] [MLIR] Implement mayHaveNonZeroOffset class method (PR #231285)

[llvmlistbot at llvm.org]

aokblast wrote:

> Note that the `MustAlias` answer for views starting at different offsets might be correct by design. I've made an attempt along the same lines before, and during the discussion it became unclear what the view-like design is intended to be (see note in [#164020 (comment)](https://github.com/llvm/llvm-project/pull/164020#discussion_r2496046454)). So I think this needs to be discussed with a broader public in discourse.

Ho Sorry for the late reply! I have submitted a RFC on discourse and still waiting for approval. Thanks for raising your previous work! It is very clear. But I am not sure what does

> Matthias and I discussed this offline. Matthias raised a valid concern that it is unclear what the aliasing rules are for the memref subviews, as long as the subview actually holds the original base pointer of the view and the offset. Should the aliasing replies be based on the base addresses or their offsetted values - this seems to require a broader discussion in MLIR community.

 means so I might need a more detailed infromation.  Thanks!

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