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

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

I intentionally wrote in do-while-statement since it seems a corner case where `k` is 0. If `i` is unsigned, we have `[*]` dependencies between all stores, but in the latter for-statement, thee loop probably never gets executed.

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