Skip to content

Commit 7444b19

Browse files
kasuga-fjkasuga-fj
committed
use --check-prefixes
1 parent 16601d9 commit 7444b19

File tree

5 files changed

+75
-67
lines changed

5 files changed

+75
-67
lines changed

‎llvm/test/Analysis/DependenceAnalysis/gcd-miv-overflow.ll‎

Lines changed: 12 additions & 9 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,8 @@
11
; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 6
2-
; RUN: opt < %s -disable-output "-passes=print<da>" 2>&1 | FileCheck %s
2+
; RUN: opt < %s -disable-output "-passes=print<da>" 2>&1 \
3+
; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-ALL
34
; RUN: opt < %s -disable-output "-passes=print<da>" -da-enable-dependence-test=gcd-miv 2>&1 \
4-
; RUN: | FileCheck %s --check-prefix=CHECK-GCD-MIV
5+
; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-GCD-MIV
56

67
; offset0 = 4;
78
; offset1 = 0;
@@ -24,13 +25,13 @@
2425
; sense, which isn't necessarily true due to overflow.
2526
;
2627
define void @gcdmiv_coef_ovfl(ptr %A, i64 %m) {
27-
; CHECK-LABEL: 'gcdmiv_coef_ovfl'
28-
; CHECK-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
29-
; CHECK-NEXT: da analyze - none!
30-
; CHECK-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
31-
; CHECK-NEXT: da analyze - none!
32-
; CHECK-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
33-
; CHECK-NEXT: da analyze - none!
28+
; CHECK-ALL-LABEL: 'gcdmiv_coef_ovfl'
29+
; CHECK-ALL-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
30+
; CHECK-ALL-NEXT: da analyze - none!
31+
; CHECK-ALL-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
32+
; CHECK-ALL-NEXT: da analyze - none!
33+
; CHECK-ALL-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
34+
; CHECK-ALL-NEXT: da analyze - none!
3435
;
3536
; CHECK-GCD-MIV-LABEL: 'gcdmiv_coef_ovfl'
3637
; CHECK-GCD-MIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
@@ -61,3 +62,5 @@ loop:
6162
exit:
6263
ret void
6364
}
65+
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
66+
; CHECK: {{.*}}

‎llvm/test/Analysis/DependenceAnalysis/strong-siv-overflow.ll‎

Lines changed: 6 additions & 10 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,8 @@
11
; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 6
2-
; RUN: opt < %s -disable-output "-passes=print<da>" 2>&1 | FileCheck %s
2+
; RUN: opt < %s -disable-output "-passes=print<da>" 2>&1 \
3+
; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-ALL
34
; RUN: opt < %s -disable-output "-passes=print<da>" -da-enable-dependence-test=strong-siv 2>&1 \
4-
; RUN: | FileCheck %s --check-prefix=CHECK-STRONG-SIV
5+
; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-STRONG-SIV
56

67
; offset0 = -2;
78
; offset1 = -4;
@@ -25,14 +26,6 @@ define void @strongsiv_const_ovfl(ptr %A) {
2526
; CHECK-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
2627
; CHECK-NEXT: da analyze - none!
2728
;
28-
; CHECK-STRONG-SIV-LABEL: 'strongsiv_const_ovfl'
29-
; CHECK-STRONG-SIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
30-
; CHECK-STRONG-SIV-NEXT: da analyze - none!
31-
; CHECK-STRONG-SIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
32-
; CHECK-STRONG-SIV-NEXT: da analyze - none!
33-
; CHECK-STRONG-SIV-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
34-
; CHECK-STRONG-SIV-NEXT: da analyze - none!
35-
;
3629
entry:
3730
br label %loop.header
3831

@@ -70,3 +63,6 @@ loop.latch:
7063
exit:
7164
ret void
7265
}
66+
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
67+
; CHECK-ALL: {{.*}}
68+
; CHECK-STRONG-SIV: {{.*}}

‎llvm/test/Analysis/DependenceAnalysis/symbolic-rdiv-overflow.ll‎

Lines changed: 19 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,8 @@
11
; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 6
2-
; RUN: opt < %s -disable-output "-passes=print<da>" 2>&1 | FileCheck %s
2+
; RUN: opt < %s -disable-output "-passes=print<da>" 2>&1 \
3+
; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-ALL
34
; RUN: opt < %s -disable-output "-passes=print<da>" -da-enable-dependence-test=symbolic-rdiv 2>&1 \
4-
; RUN: | FileCheck %s --check-prefix=CHECK-SYMBOLIC-RDIV
5+
; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-SYMBOLIC-RDIV
56

67
; offset = -2;
78
; for (i = 0; i < (1LL << 62); i++, offset += 2) {
@@ -15,13 +16,13 @@
1516
; The root cause is that the product of the BTC and the coefficient triggers an
1617
; overflow.
1718
define void @symbolicrdiv_prod_ovfl(ptr %A) {
18-
; CHECK-LABEL: 'symbolicrdiv_prod_ovfl'
19-
; CHECK-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
20-
; CHECK-NEXT: da analyze - none!
21-
; CHECK-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
22-
; CHECK-NEXT: da analyze - none!
23-
; CHECK-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
24-
; CHECK-NEXT: da analyze - none!
19+
; CHECK-ALL-LABEL: 'symbolicrdiv_prod_ovfl'
20+
; CHECK-ALL-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
21+
; CHECK-ALL-NEXT: da analyze - none!
22+
; CHECK-ALL-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
23+
; CHECK-ALL-NEXT: da analyze - none!
24+
; CHECK-ALL-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
25+
; CHECK-ALL-NEXT: da analyze - none!
2526
;
2627
; CHECK-SYMBOLIC-RDIV-LABEL: 'symbolicrdiv_prod_ovfl'
2728
; CHECK-SYMBOLIC-RDIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
@@ -76,13 +77,13 @@ exit:
7677
; The root cause is that the calculation of the differenct between the two
7778
; constants (-2^62 and 2^62) triggers an overflow.
7879
define void @symbolicrdiv_delta_ovfl(ptr %A) {
79-
; CHECK-LABEL: 'symbolicrdiv_delta_ovfl'
80-
; CHECK-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
81-
; CHECK-NEXT: da analyze - none!
82-
; CHECK-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
83-
; CHECK-NEXT: da analyze - none!
84-
; CHECK-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
85-
; CHECK-NEXT: da analyze - none!
80+
; CHECK-ALL-LABEL: 'symbolicrdiv_delta_ovfl'
81+
; CHECK-ALL-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
82+
; CHECK-ALL-NEXT: da analyze - none!
83+
; CHECK-ALL-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
84+
; CHECK-ALL-NEXT: da analyze - none!
85+
; CHECK-ALL-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
86+
; CHECK-ALL-NEXT: da analyze - none!
8687
;
8788
; CHECK-SYMBOLIC-RDIV-LABEL: 'symbolicrdiv_delta_ovfl'
8889
; CHECK-SYMBOLIC-RDIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
@@ -126,3 +127,5 @@ loop.latch:
126127
exit:
127128
ret void
128129
}
130+
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
131+
; CHECK: {{.*}}

‎llvm/test/Analysis/DependenceAnalysis/weak-crossing-siv-overflow.ll‎

Lines changed: 19 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,8 @@
11
; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 6
2-
; RUN: opt < %s -disable-output "-passes=print<da>" 2>&1 | FileCheck %s
2+
; RUN: opt < %s -disable-output "-passes=print<da>" 2>&1 \
3+
; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-ALL
34
; RUN: opt < %s -disable-output "-passes=print<da>" -da-enable-dependence-test=weak-crossing-siv 2>&1 \
4-
; RUN: | FileCheck %s --check-prefix=CHECK-WEAK-CROSSING-SIV
5+
; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-WEAK-CROSSING-SIV
56

67
; max_i = INT64_MAX/3 // 3074457345618258602
78
; for (long long i = 0; i <= max_i; i++) {
@@ -22,13 +23,13 @@
2223
; constants (INT64_MAX and -2) triggers an overflow.
2324

2425
define void @weakcorssing_delta_ovfl(ptr %A) {
25-
; CHECK-LABEL: 'weakcorssing_delta_ovfl'
26-
; CHECK-NEXT: Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 0, ptr %idx.0, align 1
27-
; CHECK-NEXT: da analyze - none!
28-
; CHECK-NEXT: Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
29-
; CHECK-NEXT: da analyze - none!
30-
; CHECK-NEXT: Src: store i8 1, ptr %idx.1, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
31-
; CHECK-NEXT: da analyze - none!
26+
; CHECK-ALL-LABEL: 'weakcorssing_delta_ovfl'
27+
; CHECK-ALL-NEXT: Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 0, ptr %idx.0, align 1
28+
; CHECK-ALL-NEXT: da analyze - none!
29+
; CHECK-ALL-NEXT: Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
30+
; CHECK-ALL-NEXT: da analyze - none!
31+
; CHECK-ALL-NEXT: Src: store i8 1, ptr %idx.1, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
32+
; CHECK-ALL-NEXT: da analyze - none!
3233
;
3334
; CHECK-WEAK-CROSSING-SIV-LABEL: 'weakcorssing_delta_ovfl'
3435
; CHECK-WEAK-CROSSING-SIV-NEXT: Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 0, ptr %idx.0, align 1
@@ -84,13 +85,13 @@ exit:
8485
; triggers an overflow.
8586
;
8687
define void @weakcorssing_prod_ovfl(ptr %A) {
87-
; CHECK-LABEL: 'weakcorssing_prod_ovfl'
88-
; CHECK-NEXT: Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 0, ptr %idx.0, align 1
89-
; CHECK-NEXT: da analyze - none!
90-
; CHECK-NEXT: Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
91-
; CHECK-NEXT: da analyze - none!
92-
; CHECK-NEXT: Src: store i8 1, ptr %idx.1, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
93-
; CHECK-NEXT: da analyze - none!
88+
; CHECK-ALL-LABEL: 'weakcorssing_prod_ovfl'
89+
; CHECK-ALL-NEXT: Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 0, ptr %idx.0, align 1
90+
; CHECK-ALL-NEXT: da analyze - none!
91+
; CHECK-ALL-NEXT: Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
92+
; CHECK-ALL-NEXT: da analyze - none!
93+
; CHECK-ALL-NEXT: Src: store i8 1, ptr %idx.1, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
94+
; CHECK-ALL-NEXT: da analyze - none!
9495
;
9596
; CHECK-WEAK-CROSSING-SIV-LABEL: 'weakcorssing_prod_ovfl'
9697
; CHECK-WEAK-CROSSING-SIV-NEXT: Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 0, ptr %idx.0, align 1
@@ -120,3 +121,5 @@ loop:
120121
exit:
121122
ret void
122123
}
124+
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
125+
; CHECK: {{.*}}

‎llvm/test/Analysis/DependenceAnalysis/weak-zero-siv-overflow.ll‎

Lines changed: 19 additions & 16 deletions
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,8 @@
11
; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py UTC_ARGS: --version 6
2-
; RUN: opt < %s -disable-output "-passes=print<da>" 2>&1 | FileCheck %s
2+
; RUN: opt < %s -disable-output "-passes=print<da>" 2>&1 \
3+
; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-ALL
34
; RUN: opt < %s -disable-output "-passes=print<da>" -da-enable-dependence-test=weak-zero-siv 2>&1 \
4-
; RUN: | FileCheck %s --check-prefix=CHECK-WEAK-ZERO-SIV
5+
; RUN: | FileCheck %s --check-prefixes=CHECK,CHECK-WEAK-ZERO-SIV
56

67
; offset = -2;
78
; for (i = 0; i < (1LL << 62); i++, offset += 2) {
@@ -15,13 +16,13 @@
1516
; the coefficient triggers an overflow.
1617
;
1718
define void @weakzero_dst_siv_prod_ovfl(ptr %A) {
18-
; CHECK-LABEL: 'weakzero_dst_siv_prod_ovfl'
19-
; CHECK-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
20-
; CHECK-NEXT: da analyze - none!
21-
; CHECK-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
22-
; CHECK-NEXT: da analyze - none!
23-
; CHECK-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
24-
; CHECK-NEXT: da analyze - consistent output [S]!
19+
; CHECK-ALL-LABEL: 'weakzero_dst_siv_prod_ovfl'
20+
; CHECK-ALL-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
21+
; CHECK-ALL-NEXT: da analyze - none!
22+
; CHECK-ALL-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
23+
; CHECK-ALL-NEXT: da analyze - none!
24+
; CHECK-ALL-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
25+
; CHECK-ALL-NEXT: da analyze - consistent output [S]!
2526
;
2627
; CHECK-WEAK-ZERO-SIV-LABEL: 'weakzero_dst_siv_prod_ovfl'
2728
; CHECK-WEAK-ZERO-SIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
@@ -74,13 +75,13 @@ exit:
7475
; constants (INT64_MAX and -1) triggers an overflow.
7576
;
7677
define void @weakzero_dst_siv_delta_ovfl(ptr %A, i64 %n) {
77-
; CHECK-LABEL: 'weakzero_dst_siv_delta_ovfl'
78-
; CHECK-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
79-
; CHECK-NEXT: da analyze - none!
80-
; CHECK-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
81-
; CHECK-NEXT: da analyze - none!
82-
; CHECK-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
83-
; CHECK-NEXT: da analyze - consistent output [S]!
78+
; CHECK-ALL-LABEL: 'weakzero_dst_siv_delta_ovfl'
79+
; CHECK-ALL-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
80+
; CHECK-ALL-NEXT: da analyze - none!
81+
; CHECK-ALL-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
82+
; CHECK-ALL-NEXT: da analyze - none!
83+
; CHECK-ALL-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
84+
; CHECK-ALL-NEXT: da analyze - consistent output [S]!
8485
;
8586
; CHECK-WEAK-ZERO-SIV-LABEL: 'weakzero_dst_siv_delta_ovfl'
8687
; CHECK-WEAK-ZERO-SIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
@@ -119,3 +120,5 @@ loop.latch:
119120
exit:
120121
ret void
121122
}
123+
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
124+
; CHECK: {{.*}}

0 commit comments

Comments
 (0)