[llvm] [polly] [delinearize] Extract array dimensions from alloca and global declarations (PR #156342)

[Michael Kruse via llvm-commits]

https://github.com/Meinersbur commented:

I think the type of a global is a valid source of information for heuristics, but:
1. Only few actual programs store their data in `.bss` sections, so application of this heuristic is quite limited
2. I think the general direction of "de-typification" is to also see globals as a sequence of bytes of predefined length, there just is no reason (yet) to change the declaration syntax. Long-term, that may change.

Both means we cannot exclusively rely on global types for a source of information, but I think it is OK for an additional souce of information.

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