[llvm] [DA] Check for overflow in strong SIV test (PR #166223)

[Alireza Torabian via llvm-commits]

================
@@ -12,19 +12,24 @@
 ;     A[2*i - 4] = 2;
 ; }
 ;
-; FIXME: DependenceAnalysis currently detects no dependency between the two
-; stores, but it does exist. For example, each store will access A[0] when i
-; is 1 and 2 respectively.
-; The root cause is that the product of the BTC and the coefficient
-; ((1LL << 62) - 1 and 2) overflows in a signed sense.
----------------
1997alireza wrote:

Because now the issue that has been mentioned in the comment regarding the overflow in the product of the BTC and the coefficient is resolved. By this patch, Strong SIV is generating the expected output `consistent output [1]!`. Now the problem is out of the Strong SIV scope that is leading the DA to generate an incorrect result.

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