[llvm] [DA] Fix the check between Subscript and Size after delinearization (PR #151326)

[Michael Kruse via llvm-commits]

================
@@ -630,3 +631,78 @@ for.latch:
 exit:
   ret void
 }
+
+; i = 0;
+; do {
+;   a[k * i] = 42;
+;   a[k * (i + 1)] = 42;
+;   i++;
+; } while (i < k);
----------------
Meinersbur wrote:

I sse. Could you add a note that the missing loop guard is intended?

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