[flang-commits] [flang] [flang] Propagate contiguous attribute through HLFIR. (PR #138797)

[Slava Zakharin via flang-commits]

vzakhari wrote:

Note that the contiguous propagation works in a forward manner, so it is a bit different from the backward walking in the alias analysis.  I guess we may need to have different operation interfaces that abstract the walk with the particular property in mind, e.g. MemSourceOpInterface can be used for finding the producer of the memory being accessed through a result of the operation. I do not think this interface works directly for the contiguous propagation, so we will need a different one.  Again, I do not have a good proposal right now :)

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