[llvm-branch-commits] [llvm] [DA] Add overflow check in ExactSIV (PR #157086)

[Ryotaro Kasuga via llvm-branch-commits]

================
@@ -815,8 +815,8 @@ for.end:                                          ; preds = %for.body
 ;;     A[3*i - 2] = 1;
 ;; }
 ;;
-;; FIXME: DependencyAnalsysis currently detects no dependency between
-;; `A[-6*i + INT64_MAX]` and `A[3*i - 2]`, but it does exist. For example,
+;; There exists dependency between `A[-6*i + INT64_MAX]` and `A[3*i - 2]`.
+;; For example,
----------------
kasuga-fj wrote:

It is intentional. I think it's non-trivial that the dependency exists between them.

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