[llvm] [LoopInterchange] Forbid interchange if load store type wider than element type (PR #77885)

[Michael Kruse via llvm-commits]

Meinersbur wrote:

Yes, I suggest to abandon this approach. Delinearization by use the GEP data type, but would also have to change if the GEP type goes away. Better not add a dependency on it.

However, it is "safe" for delinerization because passes are required to add runtime checks that check that verify that the indices fall into the expected range (e.g. no negative). In worst case when the delinerization heuristic is completely wrong the runtime check would always fail and the fallback (non-optimized) version to be executed.

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