[Mlir-commits] [mlir] [mlir][mem2reg] Promote memory slots through transparent view operations (PR #196924)

[Tobias Gysi]

gysit wrote:

> When I was thinking about how to implement this I was considering making memory slots also store a reference to their currently live aliases as this could be relevant to interface implementers 

I actually would like this since interface functions such as storesTo could use the same memory slot they use today, and there could be a member function on the slot to check if an address aliases the slot and possibly at which offset. As an extra benefit, we could then cache the aliases rather than walking the backward slice repeatedly - assuming mem2reg does not invalidate aliases during execution. 

However, that is just my high-level view without being deep in mem2reg and sroa.

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