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

[Ryotaro Kasuga 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
----------------
kasuga-fj wrote:

I considered the domain of an array is integers (or its tuples). `&A[i][j/2]` can be interpreted as a composed function of `f: (i, j) -> (i, j/2)` and `g: (x, y) -> &A[x][y]`. Maybe the term "subscript" is confusing? Or is there a more common expression for this property?

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