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

[Ryotaro Kasuga via llvm-commits]

================
@@ -523,7 +525,7 @@ for.body:                                         ; preds = %entry, %for.body
   %conv = trunc i64 %i.02 to i32
   %sub = sub nsw i64 18, %i.02
   %mul = mul nsw i64 %i.02, 3
-  %sub1 = add nsw i64 %mul, -18
+  %sub1 = add nsw i64 %mul, 18
----------------
kasuga-fj wrote:

If this patch degrades test results, I believe that should be considered a regression. In such cases, modifying the input IR doesn't seem like a proper approach to me. Notably, DA should allow the subscript being negative value for the outermost dimension.

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