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

[Razvan Lupusoru]

https://github.com/razvanlupusoru approved this pull request.

With the default conservative behavior of returning false of `isKnownToBeCompleteView`, I worry it is "incomplete" (for my own needs not for Alias Analysis). The missing information that I was hoping to rely on is the property of `isKnownToBePartialView`. I had assumed previously with the addition of `isCompleteView` that returning false would mean I could make that assumption.

FWIW though I am comfortable with the current changes and thus approving to let the maintainers know you have additional support because I believe this is heading in the right direction to hold additional information critical for AA. Thank you!

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