Skip to content

Commit 8f5537b

Browse files
kasuga-fjkasuga-fj
committed
use --check-prefixes
1 parent 16601d9 commit 8f5537b

File tree

5 files changed

+36
-85
lines changed

5 files changed

+36
-85
lines changed

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

Lines changed: 7 additions & 12 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;
@@ -26,19 +27,11 @@
2627
define void @gcdmiv_coef_ovfl(ptr %A, i64 %m) {
2728
; CHECK-LABEL: 'gcdmiv_coef_ovfl'
2829
; 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: da analyze - consistent output [*]!
3031
; CHECK-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
3132
; CHECK-NEXT: da analyze - none!
3233
; 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!
34-
;
35-
; CHECK-GCD-MIV-LABEL: 'gcdmiv_coef_ovfl'
36-
; CHECK-GCD-MIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
37-
; CHECK-GCD-MIV-NEXT: da analyze - consistent output [*]!
38-
; CHECK-GCD-MIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
39-
; CHECK-GCD-MIV-NEXT: da analyze - none!
40-
; CHECK-GCD-MIV-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
41-
; CHECK-GCD-MIV-NEXT: da analyze - consistent output [*]!
34+
; CHECK-NEXT: da analyze - consistent output [*]!
4235
;
4336
entry:
4437
%step = mul i64 3, %m
@@ -61,3 +54,5 @@ loop:
6154
exit:
6255
ret void
6356
}
57+
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
58+
; CHECK-GCD-MIV: {{.*}}

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

Lines changed: 5 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,5 @@ 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-STRONG-SIV: {{.*}}

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

Lines changed: 8 additions & 21 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) {
@@ -21,15 +22,7 @@ define void @symbolicrdiv_prod_ovfl(ptr %A) {
2122
; CHECK-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
2223
; CHECK-NEXT: da analyze - none!
2324
; 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!
25-
;
26-
; CHECK-SYMBOLIC-RDIV-LABEL: 'symbolicrdiv_prod_ovfl'
27-
; CHECK-SYMBOLIC-RDIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
28-
; CHECK-SYMBOLIC-RDIV-NEXT: da analyze - none!
29-
; CHECK-SYMBOLIC-RDIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
30-
; CHECK-SYMBOLIC-RDIV-NEXT: da analyze - none!
31-
; CHECK-SYMBOLIC-RDIV-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
32-
; CHECK-SYMBOLIC-RDIV-NEXT: da analyze - consistent output [*]!
25+
; CHECK-NEXT: da analyze - consistent output [*]!
3326
;
3427
entry:
3528
br label %loop.header
@@ -78,19 +71,11 @@ exit:
7871
define void @symbolicrdiv_delta_ovfl(ptr %A) {
7972
; CHECK-LABEL: 'symbolicrdiv_delta_ovfl'
8073
; 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!
74+
; CHECK-NEXT: da analyze - consistent output [*]!
8275
; CHECK-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
8376
; CHECK-NEXT: da analyze - none!
8477
; 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!
86-
;
87-
; CHECK-SYMBOLIC-RDIV-LABEL: 'symbolicrdiv_delta_ovfl'
88-
; CHECK-SYMBOLIC-RDIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
89-
; CHECK-SYMBOLIC-RDIV-NEXT: da analyze - consistent output [*]!
90-
; CHECK-SYMBOLIC-RDIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
91-
; CHECK-SYMBOLIC-RDIV-NEXT: da analyze - none!
92-
; CHECK-SYMBOLIC-RDIV-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
93-
; CHECK-SYMBOLIC-RDIV-NEXT: da analyze - consistent output [*]!
78+
; CHECK-NEXT: da analyze - consistent output [*]!
9479
;
9580
entry:
9681
br label %loop.header
@@ -126,3 +111,5 @@ loop.latch:
126111
exit:
127112
ret void
128113
}
114+
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
115+
; CHECK-SYMBOLIC-RDIV: {{.*}}

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

Lines changed: 9 additions & 22 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++) {
@@ -24,19 +25,11 @@
2425
define void @weakcorssing_delta_ovfl(ptr %A) {
2526
; CHECK-LABEL: 'weakcorssing_delta_ovfl'
2627
; 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: da analyze - consistent output [*]!
2829
; CHECK-NEXT: Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
2930
; CHECK-NEXT: da analyze - none!
3031
; 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!
32-
;
33-
; CHECK-WEAK-CROSSING-SIV-LABEL: 'weakcorssing_delta_ovfl'
34-
; CHECK-WEAK-CROSSING-SIV-NEXT: Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 0, ptr %idx.0, align 1
35-
; CHECK-WEAK-CROSSING-SIV-NEXT: da analyze - consistent output [*]!
36-
; CHECK-WEAK-CROSSING-SIV-NEXT: Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
37-
; CHECK-WEAK-CROSSING-SIV-NEXT: da analyze - none!
38-
; CHECK-WEAK-CROSSING-SIV-NEXT: Src: store i8 1, ptr %idx.1, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
39-
; CHECK-WEAK-CROSSING-SIV-NEXT: da analyze - consistent output [*]!
32+
; CHECK-NEXT: da analyze - consistent output [*]!
4033
;
4134
entry:
4235
br label %loop.header
@@ -86,19 +79,11 @@ exit:
8679
define void @weakcorssing_prod_ovfl(ptr %A) {
8780
; CHECK-LABEL: 'weakcorssing_prod_ovfl'
8881
; 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!
82+
; CHECK-NEXT: da analyze - consistent output [*]!
9083
; CHECK-NEXT: Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
9184
; CHECK-NEXT: da analyze - none!
9285
; 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!
94-
;
95-
; CHECK-WEAK-CROSSING-SIV-LABEL: 'weakcorssing_prod_ovfl'
96-
; CHECK-WEAK-CROSSING-SIV-NEXT: Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 0, ptr %idx.0, align 1
97-
; CHECK-WEAK-CROSSING-SIV-NEXT: da analyze - consistent output [*]!
98-
; CHECK-WEAK-CROSSING-SIV-NEXT: Src: store i8 0, ptr %idx.0, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
99-
; CHECK-WEAK-CROSSING-SIV-NEXT: da analyze - none!
100-
; CHECK-WEAK-CROSSING-SIV-NEXT: Src: store i8 1, ptr %idx.1, align 1 --> Dst: store i8 1, ptr %idx.1, align 1
101-
; CHECK-WEAK-CROSSING-SIV-NEXT: da analyze - consistent output [*]!
86+
; CHECK-NEXT: da analyze - consistent output [*]!
10287
;
10388
entry:
10489
br label %loop
@@ -120,3 +105,5 @@ loop:
120105
exit:
121106
ret void
122107
}
108+
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
109+
; CHECK-WEAK-CROSSING-SIV: {{.*}}

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

Lines changed: 7 additions & 20 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) {
@@ -17,20 +18,12 @@
1718
define void @weakzero_dst_siv_prod_ovfl(ptr %A) {
1819
; CHECK-LABEL: 'weakzero_dst_siv_prod_ovfl'
1920
; 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: da analyze - consistent output [*]!
2122
; CHECK-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
2223
; CHECK-NEXT: da analyze - none!
2324
; CHECK-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
2425
; CHECK-NEXT: da analyze - consistent output [S]!
2526
;
26-
; CHECK-WEAK-ZERO-SIV-LABEL: 'weakzero_dst_siv_prod_ovfl'
27-
; CHECK-WEAK-ZERO-SIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
28-
; CHECK-WEAK-ZERO-SIV-NEXT: da analyze - consistent output [*]!
29-
; CHECK-WEAK-ZERO-SIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
30-
; CHECK-WEAK-ZERO-SIV-NEXT: da analyze - none!
31-
; CHECK-WEAK-ZERO-SIV-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
32-
; CHECK-WEAK-ZERO-SIV-NEXT: da analyze - consistent output [S]!
33-
;
3427
entry:
3528
br label %loop.header
3629

@@ -76,20 +69,12 @@ exit:
7669
define void @weakzero_dst_siv_delta_ovfl(ptr %A, i64 %n) {
7770
; CHECK-LABEL: 'weakzero_dst_siv_delta_ovfl'
7871
; 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!
72+
; CHECK-NEXT: da analyze - consistent output [*]!
8073
; CHECK-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
8174
; CHECK-NEXT: da analyze - none!
8275
; CHECK-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
8376
; CHECK-NEXT: da analyze - consistent output [S]!
8477
;
85-
; CHECK-WEAK-ZERO-SIV-LABEL: 'weakzero_dst_siv_delta_ovfl'
86-
; CHECK-WEAK-ZERO-SIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 1, ptr %gep.0, align 1
87-
; CHECK-WEAK-ZERO-SIV-NEXT: da analyze - consistent output [*]!
88-
; CHECK-WEAK-ZERO-SIV-NEXT: Src: store i8 1, ptr %gep.0, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
89-
; CHECK-WEAK-ZERO-SIV-NEXT: da analyze - none!
90-
; CHECK-WEAK-ZERO-SIV-NEXT: Src: store i8 2, ptr %gep.1, align 1 --> Dst: store i8 2, ptr %gep.1, align 1
91-
; CHECK-WEAK-ZERO-SIV-NEXT: da analyze - consistent output [S]!
92-
;
9378
entry:
9479
%guard = icmp sgt i64 %n, 0
9580
br i1 %guard, label %loop.header, label %exit
@@ -119,3 +104,5 @@ loop.latch:
119104
exit:
120105
ret void
121106
}
107+
;; NOTE: These prefixes are unused and the list is autogenerated. Do not add tests below this line:
108+
; CHECK-WEAK-ZERO-SIV: {{.*}}

0 commit comments

Comments
 (0)