[llvm] [DA] Add tests for dependencies are missed due to large BTC (NFC) (PR #179664)
Ryotaro Kasuga via llvm-commits
llvm-commits at lists.llvm.org
Wed Feb 4 07:44:17 PST 2026
https://github.com/kasuga-fj updated https://github.com/llvm/llvm-project/pull/179664
>From 8a22cd78a7366791e1663b6d1b178c437b7b8e4a Mon Sep 17 00:00:00 2001
From: Ryotaro Kasuga <kasuga.ryotaro at fujitsu.com>
Date: Wed, 4 Feb 2026 13:42:57 +0000
Subject: [PATCH] [DA] Add tests for dependencies are missed due to large BTC
(NFC)
---
.../DependenceAnalysis/rdiv-large-btc.ll | 83 ++++++++++++++
.../strong-siv-large-btc.ll | 62 ++++++++++
.../weak-crossing-siv-large-btc.ll | 69 ++++++++++++
.../weak-zero-siv-large-btc.ll | 106 ++++++++++++++++++
4 files changed, 320 insertions(+)
create mode 100644 llvm/test/Analysis/DependenceAnalysis/rdiv-large-btc.ll
create mode 100644 llvm/test/Analysis/DependenceAnalysis/strong-siv-large-btc.ll
create mode 100644 llvm/test/Analysis/DependenceAnalysis/weak-crossing-siv-large-btc.ll
create mode 100644 llvm/test/Analysis/DependenceAnalysis/weak-zero-siv-large-btc.ll
diff --git a/llvm/test/Analysis/DependenceAnalysis/rdiv-large-btc.ll b/llvm/test/Analysis/DependenceAnalysis/rdiv-large-btc.ll
new file mode 100644
index 0000000000000..541f3e0cda014
--- /dev/null
+++ b/llvm/test/Analysis/DependenceAnalysis/rdiv-large-btc.ll
@@ -0,0 +1,83 @@
+; 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 \
+; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-ALL
+; RUN: opt < %s -disable-output "-passes=print<da>" -da-enable-dependence-test=exact-rdiv 2>&1 \
+; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-EXACT-RDIV
+; RUN: opt < %s -disable-output "-passes=print<da>" -da-enable-dependence-test=symbolic-rdiv 2>&1 \
+; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-SYMBOLIC-RDIV
+
+; for (i0 = INT64_MIN; i0 != INT64_MAX; i0++) {
+; if (i0 == 0)
+; A[i0] = 0;
+; }
+; for (i1 = INT64_MIN; i1 != INT64_MAX - 1; i1++) {
+; if (i1 == 0)
+; A[i1] = 0;
+; }
+;
+; FIXME: Both `A[i0] = 0` and `A[i1] = 0` must be executed, so there is a
+; dependency between them.
+;
+define void @rdiv_large_btc(ptr %A) {
+; CHECK-ALL-LABEL: 'rdiv_large_btc'
+; CHECK-ALL-NEXT: Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.0, align 1
+; CHECK-ALL-NEXT: da analyze - none!
+; CHECK-ALL-NEXT: Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.1, align 1
+; CHECK-ALL-NEXT: da analyze - none!
+; CHECK-ALL-NEXT: Src: store i8 0, ptr %gep.1, align 1 --> Dst: store i8 0, ptr %gep.1, align 1
+; CHECK-ALL-NEXT: da analyze - none!
+;
+; CHECK-EXACT-RDIV-LABEL: 'rdiv_large_btc'
+; CHECK-EXACT-RDIV-NEXT: Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.0, align 1
+; CHECK-EXACT-RDIV-NEXT: da analyze - consistent output [*]!
+; CHECK-EXACT-RDIV-NEXT: Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.1, align 1
+; CHECK-EXACT-RDIV-NEXT: da analyze - none!
+; CHECK-EXACT-RDIV-NEXT: Src: store i8 0, ptr %gep.1, align 1 --> Dst: store i8 0, ptr %gep.1, align 1
+; CHECK-EXACT-RDIV-NEXT: da analyze - consistent output [*]!
+;
+; CHECK-SYMBOLIC-RDIV-LABEL: 'rdiv_large_btc'
+; CHECK-SYMBOLIC-RDIV-NEXT: Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.0, align 1
+; CHECK-SYMBOLIC-RDIV-NEXT: da analyze - none!
+; CHECK-SYMBOLIC-RDIV-NEXT: Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.1, align 1
+; CHECK-SYMBOLIC-RDIV-NEXT: da analyze - none!
+; CHECK-SYMBOLIC-RDIV-NEXT: Src: store i8 0, ptr %gep.1, align 1 --> Dst: store i8 0, ptr %gep.1, align 1
+; CHECK-SYMBOLIC-RDIV-NEXT: da analyze - none!
+;
+entry:
+ br label %loop.0.header
+
+loop.0.header:
+ %i.0 = phi i64 [ -9223372036854775808, %entry ], [ %i.0.inc, %loop.0.latch ]
+ %cond.0 = icmp eq i64 %i.0, 0
+ br i1 %cond.0, label %if.then.0, label %loop.0.latch
+
+if.then.0:
+ %gep.0 = getelementptr i8, ptr %A, i64 %i.0
+ store i8 0, ptr %gep.0
+ br label %loop.0.latch
+
+loop.0.latch:
+ %i.0.inc = add i64 %i.0, 1
+ %ec.0 = icmp eq i64 %i.0.inc, 9223372036854775807
+ br i1 %ec.0, label %loop.1.header, label %loop.0.header
+
+loop.1.header:
+ %i.1 = phi i64 [ -9223372036854775808, %loop.0.latch ], [ %i.1.inc, %loop.1.latch ]
+ %cond.1 = icmp eq i64 %i.1, 0
+ br i1 %cond.1, label %if.then.1, label %loop.1.latch
+
+if.then.1:
+ %gep.1 = getelementptr i8, ptr %A, i64 %i.1
+ store i8 0, ptr %gep.1
+ br label %loop.1.latch
+
+loop.1.latch:
+ %i.1.inc = add i64 %i.1, 1
+ %ec.1 = icmp eq i64 %i.1.inc, 9223372036854775806
+ br i1 %ec.1, label %exit, label %loop.1.header
+
+exit:
+ ret void
+}
+;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
+; CHECK: {{.*}}
diff --git a/llvm/test/Analysis/DependenceAnalysis/strong-siv-large-btc.ll b/llvm/test/Analysis/DependenceAnalysis/strong-siv-large-btc.ll
new file mode 100644
index 0000000000000..1b3312419bc62
--- /dev/null
+++ b/llvm/test/Analysis/DependenceAnalysis/strong-siv-large-btc.ll
@@ -0,0 +1,62 @@
+; 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 \
+; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-ALL
+; RUN: opt < %s -disable-output "-passes=print<da>" -da-enable-dependence-test=strong-siv 2>&1 \
+; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-STRONG-SIV
+;
+; i0 = INT64_MIN;
+; i1 = INT64_MIN + 1;
+; for (; i1 != INT64_MAX; i0++, i1++) {
+; if (i0 == 0)
+; A[i0] = 0;
+; if (i1 == 0)
+; A[i1] = 0;
+; }
+;
+; FIXME: Both `A[i0] = 0` and `A[i1] = 0` must be executed, so there is a
+; dependency between them.
+;
+define void @strong_siv_large_btc(ptr %A) {
+; CHECK-LABEL: 'strong_siv_large_btc'
+; CHECK-NEXT: Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.0, align 1
+; CHECK-NEXT: da analyze - none!
+; CHECK-NEXT: Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.1, align 1
+; CHECK-NEXT: da analyze - none!
+; CHECK-NEXT: Src: store i8 0, ptr %gep.1, align 1 --> Dst: store i8 0, ptr %gep.1, align 1
+; CHECK-NEXT: da analyze - none!
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %i.0 = phi i64 [ -9223372036854775808, %entry ], [ %i.0.inc, %loop.latch ]
+ %i.1 = phi i64 [ -9223372036854775807, %entry ], [ %i.1.inc, %loop.latch ]
+ %cond.0 = icmp eq i64 %i.0, 0
+ br i1 %cond.0, label %if.then.0, label %loop.middle
+
+if.then.0:
+ %gep.0 = getelementptr i8, ptr %A, i64 %i.0
+ store i8 0, ptr %gep.0
+ br label %loop.middle
+
+loop.middle:
+ %cond.1 = icmp eq i64 %i.1, 0
+ br i1 %cond.1, label %if.then.1, label %loop.latch
+
+if.then.1:
+ %gep.1 = getelementptr i8, ptr %A, i64 %i.1
+ store i8 0, ptr %gep.1
+ br label %loop.latch
+
+loop.latch:
+ %i.0.inc = add i64 %i.0, 1
+ %i.1.inc = add i64 %i.1, 1
+ %ec = icmp eq i64 %i.1.inc, 9223372036854775807
+ br i1 %ec, label %exit, label %loop.header
+
+exit:
+ ret void
+}
+;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
+; CHECK-ALL: {{.*}}
+; CHECK-STRONG-SIV: {{.*}}
diff --git a/llvm/test/Analysis/DependenceAnalysis/weak-crossing-siv-large-btc.ll b/llvm/test/Analysis/DependenceAnalysis/weak-crossing-siv-large-btc.ll
new file mode 100644
index 0000000000000..b097c06e31202
--- /dev/null
+++ b/llvm/test/Analysis/DependenceAnalysis/weak-crossing-siv-large-btc.ll
@@ -0,0 +1,69 @@
+; 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 \
+; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-ALL
+; RUN: opt < %s -disable-output "-passes=print<da>" -da-enable-dependence-test=weak-crossing-siv 2>&1 \
+; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-WEAK-CROSSING-SIV
+;
+; i0 = INT64_MIN;
+; i1 = INT64_MAX;
+; for (; i0 != INT64_MAX; i0++, i1-) {
+; if (i0 == 0)
+; A[i0] = 0;
+; if (i1 == 0)
+; A[i1] = 0;
+; }
+;
+; FIXME: Both `A[i0] = 0` and `A[i1] = 0` must be executed, so there is a
+; dependency between them.
+;
+define void @weak_crossing_siv_large_btc(ptr %A) {
+; CHECK-ALL-LABEL: 'weak_crossing_siv_large_btc'
+; CHECK-ALL-NEXT: Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.0, align 1
+; CHECK-ALL-NEXT: da analyze - none!
+; CHECK-ALL-NEXT: Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.1, align 1
+; CHECK-ALL-NEXT: da analyze - none!
+; CHECK-ALL-NEXT: Src: store i8 0, ptr %gep.1, align 1 --> Dst: store i8 0, ptr %gep.1, align 1
+; CHECK-ALL-NEXT: da analyze - none!
+;
+; CHECK-WEAK-CROSSING-SIV-LABEL: 'weak_crossing_siv_large_btc'
+; CHECK-WEAK-CROSSING-SIV-NEXT: Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.0, align 1
+; CHECK-WEAK-CROSSING-SIV-NEXT: da analyze - consistent output [*]!
+; CHECK-WEAK-CROSSING-SIV-NEXT: Src: store i8 0, ptr %gep.0, align 1 --> Dst: store i8 0, ptr %gep.1, align 1
+; CHECK-WEAK-CROSSING-SIV-NEXT: da analyze - none!
+; CHECK-WEAK-CROSSING-SIV-NEXT: Src: store i8 0, ptr %gep.1, align 1 --> Dst: store i8 0, ptr %gep.1, align 1
+; CHECK-WEAK-CROSSING-SIV-NEXT: da analyze - consistent output [*]!
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %i.0 = phi i64 [ -9223372036854775808, %entry ], [ %i.0.inc, %loop.latch ]
+ %i.1 = phi i64 [ 9223372036854775807, %entry ], [ %i.1.dec, %loop.latch ]
+ %cond.0 = icmp eq i64 %i.0, 0
+ br i1 %cond.0, label %if.then.0, label %loop.middle
+
+if.then.0:
+ %gep.0 = getelementptr i8, ptr %A, i64 %i.0
+ store i8 0, ptr %gep.0
+ br label %loop.middle
+
+loop.middle:
+ %cond.1 = icmp eq i64 %i.1, 0
+ br i1 %cond.1, label %if.then.1, label %loop.latch
+
+if.then.1:
+ %gep.1 = getelementptr i8, ptr %A, i64 %i.1
+ store i8 0, ptr %gep.1
+ br label %loop.latch
+
+loop.latch:
+ %i.0.inc = add i64 %i.0, 1
+ %i.1.dec = sub i64 %i.1, 1
+ %ec = icmp eq i64 %i.0.inc, 9223372036854775807
+ br i1 %ec, label %exit, label %loop.header
+
+exit:
+ ret void
+}
+;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
+; CHECK: {{.*}}
diff --git a/llvm/test/Analysis/DependenceAnalysis/weak-zero-siv-large-btc.ll b/llvm/test/Analysis/DependenceAnalysis/weak-zero-siv-large-btc.ll
new file mode 100644
index 0000000000000..c06032798c792
--- /dev/null
+++ b/llvm/test/Analysis/DependenceAnalysis/weak-zero-siv-large-btc.ll
@@ -0,0 +1,106 @@
+; 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 \
+; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-ALL
+; RUN: opt < %s -disable-output "-passes=print<da>" -da-enable-dependence-test=weak-zero-siv 2>&1 \
+; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-WEAK-ZERO-SRC-SIV
+;
+; for (i = INT64_MIN + 1; i != INT64_MAX; i++) {
+; if (i == 0)
+; A[i] = 0;
+; A[0] = 1;
+; }
+;
+; FIXME: `A[i] = 0` will be executed (when i == 0), so there is a ; dependency
+; between the ; two stores.
+;
+define void @weak_zero_src_siv_large_btc(ptr %A) {
+; CHECK-ALL-LABEL: 'weak_zero_src_siv_large_btc'
+; CHECK-ALL-NEXT: Src: store i8 0, ptr %gep, align 1 --> Dst: store i8 0, ptr %gep, align 1
+; CHECK-ALL-NEXT: da analyze - none!
+; CHECK-ALL-NEXT: Src: store i8 0, ptr %gep, align 1 --> Dst: store i8 1, ptr %A, align 1
+; CHECK-ALL-NEXT: da analyze - none!
+; CHECK-ALL-NEXT: Src: store i8 1, ptr %A, align 1 --> Dst: store i8 1, ptr %A, align 1
+; CHECK-ALL-NEXT: da analyze - consistent output [S]!
+;
+; CHECK-WEAK-ZERO-SRC-SIV-LABEL: 'weak_zero_src_siv_large_btc'
+; CHECK-WEAK-ZERO-SRC-SIV-NEXT: Src: store i8 0, ptr %gep, align 1 --> Dst: store i8 0, ptr %gep, align 1
+; CHECK-WEAK-ZERO-SRC-SIV-NEXT: da analyze - consistent output [*]!
+; CHECK-WEAK-ZERO-SRC-SIV-NEXT: Src: store i8 0, ptr %gep, align 1 --> Dst: store i8 1, ptr %A, align 1
+; CHECK-WEAK-ZERO-SRC-SIV-NEXT: da analyze - none!
+; CHECK-WEAK-ZERO-SRC-SIV-NEXT: Src: store i8 1, ptr %A, align 1 --> Dst: store i8 1, ptr %A, align 1
+; CHECK-WEAK-ZERO-SRC-SIV-NEXT: da analyze - consistent output [S]!
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %i = phi i64 [ -9223372036854775807, %entry ], [ %i.inc, %loop.latch ]
+ %cond = icmp eq i64 %i, 0
+ br i1 %cond, label %if.then, label %loop.latch
+
+if.then:
+ %gep = getelementptr i8, ptr %A, i64 %i
+ store i8 0, ptr %gep
+ br label %loop.latch
+
+loop.latch:
+ store i8 1, ptr %A
+ %i.inc = add i64 %i, 1
+ %ec = icmp eq i64 %i.inc, 9223372036854775807
+ br i1 %ec, label %exit, label %loop.header
+
+exit:
+ ret void
+}
+
+;
+; for (i = INT64_MIN + 1; i != INT64_MAX; i++) {
+; A[0] = 1;
+; if (i == 0)
+; A[i] = 0;
+; }
+;
+; FIXME: `A[i] = 0` will be executed (when i == 0), so there is a ; dependency
+; between the ; two stores.
+;
+define void @weak_zero_dst_siv_large_btc(ptr %A) {
+; CHECK-ALL-LABEL: 'weak_zero_dst_siv_large_btc'
+; CHECK-ALL-NEXT: Src: store i8 1, ptr %A, align 1 --> Dst: store i8 1, ptr %A, align 1
+; CHECK-ALL-NEXT: da analyze - consistent output [S]!
+; CHECK-ALL-NEXT: Src: store i8 1, ptr %A, align 1 --> Dst: store i8 0, ptr %gep, align 1
+; CHECK-ALL-NEXT: da analyze - none!
+; CHECK-ALL-NEXT: Src: store i8 0, ptr %gep, align 1 --> Dst: store i8 0, ptr %gep, align 1
+; CHECK-ALL-NEXT: da analyze - none!
+;
+; CHECK-WEAK-ZERO-SRC-SIV-LABEL: 'weak_zero_dst_siv_large_btc'
+; CHECK-WEAK-ZERO-SRC-SIV-NEXT: Src: store i8 1, ptr %A, align 1 --> Dst: store i8 1, ptr %A, align 1
+; CHECK-WEAK-ZERO-SRC-SIV-NEXT: da analyze - consistent output [S]!
+; CHECK-WEAK-ZERO-SRC-SIV-NEXT: Src: store i8 1, ptr %A, align 1 --> Dst: store i8 0, ptr %gep, align 1
+; CHECK-WEAK-ZERO-SRC-SIV-NEXT: da analyze - none!
+; CHECK-WEAK-ZERO-SRC-SIV-NEXT: Src: store i8 0, ptr %gep, align 1 --> Dst: store i8 0, ptr %gep, align 1
+; CHECK-WEAK-ZERO-SRC-SIV-NEXT: da analyze - consistent output [*]!
+;
+entry:
+ br label %loop.header
+
+loop.header:
+ %i = phi i64 [ -9223372036854775807, %entry ], [ %i.inc, %loop.latch ]
+ store i8 1, ptr %A
+ %cond = icmp eq i64 %i, 0
+ br i1 %cond, label %if.then, label %loop.latch
+
+if.then:
+ %gep = getelementptr i8, ptr %A, i64 %i
+ store i8 0, ptr %gep
+ br label %loop.latch
+
+loop.latch:
+ %i.inc = add i64 %i, 1
+ %ec = icmp eq i64 %i.inc, 9223372036854775807
+ br i1 %ec, label %exit, label %loop.header
+
+exit:
+ ret void
+}
+;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
+; CHECK: {{.*}}
More information about the llvm-commits
mailing list