[llvm] ece53d2 - [DA] Update test `exact-siv-overflow.ll` (NFC) (#189572)

[via llvm-commits]

Author: Ryotaro Kasuga
Date: 2026-03-31T10:20:08Z
New Revision: ece53d2348a4176787a0648737e4b41f9d31b4b4

URL: https://github.com/llvm/llvm-project/commit/ece53d2348a4176787a0648737e4b41f9d31b4b4
DIFF: https://github.com/llvm/llvm-project/commit/ece53d2348a4176787a0648737e4b41f9d31b4b4.diff

LOG: [DA] Update test `exact-siv-overflow.ll` (NFC) (#189572)

Revise the comment and the arguments to `--check-prefixes` in
`Analysis/DependenceAnalysis/exact-siv-overflow.ll` to match the style
of other similar tests in the directory.

Added: 
    

Modified: 
    llvm/test/Analysis/DependenceAnalysis/exact-siv-overflow.ll

Removed: 
    


################################################################################
diff  --git a/llvm/test/Analysis/DependenceAnalysis/exact-siv-overflow.ll b/llvm/test/Analysis/DependenceAnalysis/exact-siv-overflow.ll
index 3a43786691aa3..0cf6e141157ad 100644
--- a/llvm/test/Analysis/DependenceAnalysis/exact-siv-overflow.ll
+++ b/llvm/test/Analysis/DependenceAnalysis/exact-siv-overflow.ll
@@ -1,26 +1,24 @@
 ; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 6
-; RUN: opt < %s -disable-output "-passes=print<da>" 2>&1 | FileCheck %s
+; RUN: opt < %s -disable-output "-passes=print<da>" 2>&1 \
+; RUN:     | FileCheck %s --check-prefixes=CHECK,CHECK-ALL
 ; RUN: opt < %s -disable-output "-passes=print<da>" -da-enable-dependence-test=exact-siv 2>&1 \
-; RUN:     | FileCheck %s --check-prefix=CHECK-EXACT-SIV
+; RUN:     | FileCheck %s --check-prefixes=CHECK,CHECK-EXACT-SIV
 
-;; max_i = INT64_MAX/6  // 1537228672809129301
-;; for (long long i = 0; i <= max_i; i++) {
-;;   A[-6*i + INT64_MAX] = 0;
-;;   if (i)
-;;     A[3*i - 2] = 1;
-;; }
-;; There is a bidirectional dependency between `A[-6*i + INT64_MAX]`
-;; and `A[3*i - 2]`, for example,
-;;
-;; | memory location        | -6*i + INT64_MAX       | 3*i - 2
-;; |------------------------|------------------------|-----------
-;; | A[1]                   | i = max_i              | i = 1
-;; | A[4611686018427387901] | i = 768614336404564651 | i = max_i
-;;
-;; Actually,
-;;  * 1                   = -6*max_i              + INT64_MAX = 3*1     - 2
-;;  * 4611686018427387901 = -6*768614336404564651 + INT64_MAX = 3*max_i - 2
-;;
+; max_i = INT64_MAX/6  // 1537228672809129301
+; for (i = 0; i <= max_i; i++) {
+;   A[-6*i + INT64_MAX] = 0;
+;   if (i)
+;     A[3*i - 2] = 1;
+; }
+;
+; There is a bidirectional dependency between `A[-6*i + INT64_MAX]`
+; and `A[3*i - 2]`, for example,
+;
+;  memory access           | i = 1 | i = 768614336404564651 | i = max_i
+; -------------------------|-------|------------------------|----------------
+;  A[-6*i + INT64_MAX]     |       | A[3*max_i - 2]         | A[1]
+;  A[3*i - 2]              | A[1]  |                        | A[3*max_i - 2]
+;
 
 define void @exactsiv_const_ovfl(ptr %A) {
 ; CHECK-LABEL: 'exactsiv_const_ovfl'
@@ -31,14 +29,6 @@ define void @exactsiv_const_ovfl(ptr %A) {
 ; CHECK-NEXT:  Src: store i8 1, ptr %idx.1, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
 ; CHECK-NEXT:    da analyze - none!
 ;
-; CHECK-EXACT-SIV-LABEL: 'exactsiv_const_ovfl'
-; CHECK-EXACT-SIV-NEXT:  Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 0, ptr %idx.0, align 1
-; CHECK-EXACT-SIV-NEXT:    da analyze - none!
-; CHECK-EXACT-SIV-NEXT:  Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
-; CHECK-EXACT-SIV-NEXT:    da analyze - output [*|<]!
-; CHECK-EXACT-SIV-NEXT:  Src: store i8 1, ptr %idx.1, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
-; CHECK-EXACT-SIV-NEXT:    da analyze - none!
-;
 entry:
   br label %loop.header
 
@@ -67,22 +57,22 @@ exit:
   ret void
 }
 
-;; A generalized version of the above case.
-;;
-;; for (long long i = 0; i <= n / 6; i++) {
-;;   A[-6*i + n] = 0;
-;;   if (i)
-;;     A[3*i - 2] = 1;
-;; }
+; A generalized version of the above case.
+;
+; for (long long i = 0; i <= n / 6; i++) {
+;   A[-6*i + n] = 0;
+;   if (i)
+;     A[3*i - 2] = 1;
+; }
 
 define void @exactsiv_param_ovfl(ptr %A, i64 %n) {
-; CHECK-LABEL: 'exactsiv_param_ovfl'
-; CHECK-NEXT:  Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 0, ptr %idx.0, align 1
-; CHECK-NEXT:    da analyze - none!
-; CHECK-NEXT:  Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
-; CHECK-NEXT:    da analyze - output [*|<]!
-; CHECK-NEXT:  Src: store i8 1, ptr %idx.1, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
-; CHECK-NEXT:    da analyze - none!
+; CHECK-ALL-LABEL: 'exactsiv_param_ovfl'
+; CHECK-ALL-NEXT:  Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 0, ptr %idx.0, align 1
+; CHECK-ALL-NEXT:    da analyze - none!
+; CHECK-ALL-NEXT:  Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
+; CHECK-ALL-NEXT:    da analyze - output [*|<]!
+; CHECK-ALL-NEXT:  Src: store i8 1, ptr %idx.1, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
+; CHECK-ALL-NEXT:    da analyze - none!
 ;
 ; CHECK-EXACT-SIV-LABEL: 'exactsiv_param_ovfl'
 ; CHECK-EXACT-SIV-NEXT:  Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 0, ptr %idx.0, align 1