[llvm] [Delinearization] Add test for inferred array size exceeds integer range (NFC) (PR #169048)

[Michael Kruse via llvm-commits]

================
@@ -0,0 +1,136 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 6
+; RUN: opt < %s -passes='print<delinearization>' --delinearize-use-fixed-size-array-heuristic -disable-output 2>&1 | FileCheck %s
+
+; FIXME: When considering an array as a function from subcripts to addresses,
+; it should be injective. That is, different subscript tuples should map to
----------------
Meinersbur wrote:

I think non-(dynamic-)aliasing. The property that `&A[i] == &B[j]` if, and only if, `&A == &B && i == j` etc.

I understood subscripts as the the function `f` (which is not injective). You can also use array index for `x`, `y` in `g`.

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