[Mlir-commits] [flang] [mlir] [RFC][mlir] ViewLikeOpInterface method for detecting partial views. (PR #164020)

[Slava Zakharin]

vzakhari wrote:

> However, I would like to point out that even LLVM's implementations for alias analysis are not strict about this. For example, a quick search revealed at least one spot where the same base address returns PartialAlias if one of the accesses does not cover the whole object:
https://github.com/llvm/llvm-project/blob/main/llvm/lib/Analysis/BasicAliasAnalysis.cpp#L1858

Thanks for the example! I am not sure if the code actually implies "the same base address returns PartialAlias".  I believe in this code, `V1` and `V2` cannot be provent to be the same (otherwise, the alias analysis would have returned earlier), but they do access the same underlying object - in this case, if one access is known to access the whole object, then `PartialAlias` is returned.

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