[llvm] [DA] do not handle array accesses of different offsets (PR #123436)

[Sjoerd Meijer via llvm-commits]

sjoerdmeijer wrote:

This patch has grown into doing at least 3 things, I think:
- it adds the concepts of "assumptions" to DA,
- it fixes offset handling in DA,
- and it fixes up interchange, and unroll-and jam.

I guess it would be easier to untangle this and create separate (stacked) patches for this, so that it's easier to review and maintain (in case we would need to partially revert/recommit some of this later). E.g., it looks like the assumptions addition can be tested in isolation as I see support for it being added to dump functions, i.e. we don't need the offset fix for that. 
Does this make sense?

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