Skip to content

Commit 8173ad7

Browse files
nikicnikic
committed
[InstCombine] Regenerate test checks (NFC)
1 parent 3e5a4ac commit 8173ad7

File tree

1 file changed

+36
-36
lines changed

1 file changed

+36
-36
lines changed

‎llvm/test/Transforms/InstCombine/and-or-icmp-const-icmp.ll

Lines changed: 36 additions & 36 deletions
Original file line numberDiff line numberDiff line change
@@ -13,8 +13,8 @@
1313
; Basic tests
1414
; ==============================================================================
1515
define i1 @eq_basic(i8 %x, i8 %y) {
16-
; CHECK-LABEL: define i1 @eq_basic
17-
; CHECK-SAME: (i8 [[X:%.*]], i8 [[Y:%.*]]) {
16+
; CHECK-LABEL: define i1 @eq_basic(
17+
; CHECK-SAME: i8 [[X:%.*]], i8 [[Y:%.*]]) {
1818
; CHECK-NEXT: [[TMP1:%.*]] = add i8 [[X]], -1
1919
; CHECK-NEXT: [[OR:%.*]] = icmp uge i8 [[TMP1]], [[Y]]
2020
; CHECK-NEXT: ret i1 [[OR]]
@@ -26,8 +26,8 @@ define i1 @eq_basic(i8 %x, i8 %y) {
2626
}
2727

2828
define i1 @ne_basic_equal_5(i8 %x, i8 %y) {
29-
; CHECK-LABEL: define i1 @ne_basic_equal_5
30-
; CHECK-SAME: (i8 [[X:%.*]], i8 [[Y:%.*]]) {
29+
; CHECK-LABEL: define i1 @ne_basic_equal_5(
30+
; CHECK-SAME: i8 [[X:%.*]], i8 [[Y:%.*]]) {
3131
; CHECK-NEXT: [[TMP1:%.*]] = add i8 [[X]], -6
3232
; CHECK-NEXT: [[AND:%.*]] = icmp ult i8 [[TMP1]], [[Y]]
3333
; CHECK-NEXT: ret i1 [[AND]]
@@ -40,8 +40,8 @@ define i1 @ne_basic_equal_5(i8 %x, i8 %y) {
4040
}
4141

4242
define i1 @eq_basic_equal_minus_1(i8 %x, i8 %y) {
43-
; CHECK-LABEL: define i1 @eq_basic_equal_minus_1
44-
; CHECK-SAME: (i8 [[X:%.*]], i8 [[Y:%.*]]) {
43+
; CHECK-LABEL: define i1 @eq_basic_equal_minus_1(
44+
; CHECK-SAME: i8 [[X:%.*]], i8 [[Y:%.*]]) {
4545
; CHECK-NEXT: [[OR:%.*]] = icmp uge i8 [[X]], [[Y]]
4646
; CHECK-NEXT: ret i1 [[OR]]
4747
;
@@ -53,8 +53,8 @@ define i1 @eq_basic_equal_minus_1(i8 %x, i8 %y) {
5353
}
5454

5555
define i1 @ne_basic_equal_minus_7(i8 %x, i8 %y) {
56-
; CHECK-LABEL: define i1 @ne_basic_equal_minus_7
57-
; CHECK-SAME: (i8 [[X:%.*]], i8 [[Y:%.*]]) {
56+
; CHECK-LABEL: define i1 @ne_basic_equal_minus_7(
57+
; CHECK-SAME: i8 [[X:%.*]], i8 [[Y:%.*]]) {
5858
; CHECK-NEXT: [[TMP1:%.*]] = add i8 [[X]], 6
5959
; CHECK-NEXT: [[AND:%.*]] = icmp ult i8 [[TMP1]], [[Y]]
6060
; CHECK-NEXT: ret i1 [[AND]]
@@ -67,8 +67,8 @@ define i1 @ne_basic_equal_minus_7(i8 %x, i8 %y) {
6767
}
6868

6969
define i1 @eq_basic_unequal(i8 %x, i8 %y) {
70-
; CHECK-LABEL: define i1 @eq_basic_unequal
71-
; CHECK-SAME: (i8 [[X:%.*]], i8 [[Y:%.*]]) {
70+
; CHECK-LABEL: define i1 @eq_basic_unequal(
71+
; CHECK-SAME: i8 [[X:%.*]], i8 [[Y:%.*]]) {
7272
; CHECK-NEXT: [[SUB:%.*]] = add i8 [[X]], -5
7373
; CHECK-NEXT: [[C1:%.*]] = icmp eq i8 [[X]], 6
7474
; CHECK-NEXT: [[C2:%.*]] = icmp ugt i8 [[SUB]], [[Y]]
@@ -83,8 +83,8 @@ define i1 @eq_basic_unequal(i8 %x, i8 %y) {
8383
}
8484

8585
define i1 @ne_basic_unequal(i8 %x, i8 %y) {
86-
; CHECK-LABEL: define i1 @ne_basic_unequal
87-
; CHECK-SAME: (i8 [[X:%.*]], i8 [[Y:%.*]]) {
86+
; CHECK-LABEL: define i1 @ne_basic_unequal(
87+
; CHECK-SAME: i8 [[X:%.*]], i8 [[Y:%.*]]) {
8888
; CHECK-NEXT: [[ADD:%.*]] = add i8 [[X]], 7
8989
; CHECK-NEXT: [[C1:%.*]] = icmp ne i8 [[X]], -4
9090
; CHECK-NEXT: [[C2:%.*]] = icmp ule i8 [[ADD]], [[Y]]
@@ -102,8 +102,8 @@ define i1 @ne_basic_unequal(i8 %x, i8 %y) {
102102
; Tests with multiple uses
103103
; ==============================================================================
104104
define i1 @eq_multi_c1(i8 %x, i8 %y) {
105-
; CHECK-LABEL: define i1 @eq_multi_c1
106-
; CHECK-SAME: (i8 [[X:%.*]], i8 [[Y:%.*]]) {
105+
; CHECK-LABEL: define i1 @eq_multi_c1(
106+
; CHECK-SAME: i8 [[X:%.*]], i8 [[Y:%.*]]) {
107107
; CHECK-NEXT: [[C1:%.*]] = icmp eq i8 [[X]], 0
108108
; CHECK-NEXT: [[TMP1:%.*]] = add i8 [[X]], -1
109109
; CHECK-NEXT: [[OR:%.*]] = icmp uge i8 [[TMP1]], [[Y]]
@@ -118,8 +118,8 @@ define i1 @eq_multi_c1(i8 %x, i8 %y) {
118118
}
119119

120120
define i1 @ne_multi_c2(i8 %x, i8 %y) {
121-
; CHECK-LABEL: define i1 @ne_multi_c2
122-
; CHECK-SAME: (i8 [[X:%.*]], i8 [[Y:%.*]]) {
121+
; CHECK-LABEL: define i1 @ne_multi_c2(
122+
; CHECK-SAME: i8 [[X:%.*]], i8 [[Y:%.*]]) {
123123
; CHECK-NEXT: [[C2:%.*]] = icmp ule i8 [[X]], [[Y]]
124124
; CHECK-NEXT: [[TMP1:%.*]] = add i8 [[X]], -1
125125
; CHECK-NEXT: [[AND:%.*]] = icmp ult i8 [[TMP1]], [[Y]]
@@ -137,8 +137,8 @@ define i1 @ne_multi_c2(i8 %x, i8 %y) {
137137
; Tests with vector types
138138
; ==============================================================================
139139
define <2 x i1> @eq_vector(<2 x i8> %x, <2 x i8> %y) {
140-
; CHECK-LABEL: define <2 x i1> @eq_vector
141-
; CHECK-SAME: (<2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
140+
; CHECK-LABEL: define <2 x i1> @eq_vector(
141+
; CHECK-SAME: <2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
142142
; CHECK-NEXT: [[TMP1:%.*]] = add <2 x i8> [[X]], <i8 -1, i8 -1>
143143
; CHECK-NEXT: [[OR:%.*]] = icmp uge <2 x i8> [[TMP1]], [[Y]]
144144
; CHECK-NEXT: ret <2 x i1> [[OR]]
@@ -150,8 +150,8 @@ define <2 x i1> @eq_vector(<2 x i8> %x, <2 x i8> %y) {
150150
}
151151

152152
define <2 x i1> @ne_vector_equal_5(<2 x i8> %x, <2 x i8> %y) {
153-
; CHECK-LABEL: define <2 x i1> @ne_vector_equal_5
154-
; CHECK-SAME: (<2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
153+
; CHECK-LABEL: define <2 x i1> @ne_vector_equal_5(
154+
; CHECK-SAME: <2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
155155
; CHECK-NEXT: [[TMP1:%.*]] = add <2 x i8> [[X]], <i8 -6, i8 -6>
156156
; CHECK-NEXT: [[AND:%.*]] = icmp ult <2 x i8> [[TMP1]], [[Y]]
157157
; CHECK-NEXT: ret <2 x i1> [[AND]]
@@ -164,8 +164,8 @@ define <2 x i1> @ne_vector_equal_5(<2 x i8> %x, <2 x i8> %y) {
164164
}
165165

166166
define <2 x i1> @eq_vector_equal_minus_1(<2 x i8> %x, <2 x i8> %y) {
167-
; CHECK-LABEL: define <2 x i1> @eq_vector_equal_minus_1
168-
; CHECK-SAME: (<2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
167+
; CHECK-LABEL: define <2 x i1> @eq_vector_equal_minus_1(
168+
; CHECK-SAME: <2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
169169
; CHECK-NEXT: [[OR:%.*]] = icmp uge <2 x i8> [[X]], [[Y]]
170170
; CHECK-NEXT: ret <2 x i1> [[OR]]
171171
;
@@ -177,8 +177,8 @@ define <2 x i1> @eq_vector_equal_minus_1(<2 x i8> %x, <2 x i8> %y) {
177177
}
178178

179179
define <2 x i1> @ne_vector_equal_minus_7(<2 x i8> %x, <2 x i8> %y) {
180-
; CHECK-LABEL: define <2 x i1> @ne_vector_equal_minus_7
181-
; CHECK-SAME: (<2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
180+
; CHECK-LABEL: define <2 x i1> @ne_vector_equal_minus_7(
181+
; CHECK-SAME: <2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
182182
; CHECK-NEXT: [[TMP1:%.*]] = add <2 x i8> [[X]], <i8 6, i8 6>
183183
; CHECK-NEXT: [[AND:%.*]] = icmp ult <2 x i8> [[TMP1]], [[Y]]
184184
; CHECK-NEXT: ret <2 x i1> [[AND]]
@@ -191,8 +191,8 @@ define <2 x i1> @ne_vector_equal_minus_7(<2 x i8> %x, <2 x i8> %y) {
191191
}
192192

193193
define <2 x i1> @eq_vector_unequal1(<2 x i8> %x, <2 x i8> %y) {
194-
; CHECK-LABEL: define <2 x i1> @eq_vector_unequal1
195-
; CHECK-SAME: (<2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
194+
; CHECK-LABEL: define <2 x i1> @eq_vector_unequal1(
195+
; CHECK-SAME: <2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
196196
; CHECK-NEXT: [[SUB:%.*]] = add <2 x i8> [[X]], <i8 -5, i8 -5>
197197
; CHECK-NEXT: [[C1:%.*]] = icmp eq <2 x i8> [[X]], <i8 2, i8 2>
198198
; CHECK-NEXT: [[C2:%.*]] = icmp ugt <2 x i8> [[SUB]], [[Y]]
@@ -207,8 +207,8 @@ define <2 x i1> @eq_vector_unequal1(<2 x i8> %x, <2 x i8> %y) {
207207
}
208208

209209
define <2 x i1> @ne_vector_unequal2(<2 x i8> %x, <2 x i8> %y) {
210-
; CHECK-LABEL: define <2 x i1> @ne_vector_unequal2
211-
; CHECK-SAME: (<2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
210+
; CHECK-LABEL: define <2 x i1> @ne_vector_unequal2(
211+
; CHECK-SAME: <2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
212212
; CHECK-NEXT: [[ADD:%.*]] = add <2 x i8> [[X]], <i8 7, i8 7>
213213
; CHECK-NEXT: [[C1:%.*]] = icmp ne <2 x i8> [[X]], <i8 -3, i8 -3>
214214
; CHECK-NEXT: [[C2:%.*]] = icmp ule <2 x i8> [[ADD]], [[Y]]
@@ -226,8 +226,8 @@ define <2 x i1> @ne_vector_unequal2(<2 x i8> %x, <2 x i8> %y) {
226226
; Tests with poison
227227
; ==============================================================================
228228
define <2 x i1> @eq_vector_poison_icmp(<2 x i8> %x, <2 x i8> %y) {
229-
; CHECK-LABEL: define <2 x i1> @eq_vector_poison_icmp
230-
; CHECK-SAME: (<2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
229+
; CHECK-LABEL: define <2 x i1> @eq_vector_poison_icmp(
230+
; CHECK-SAME: <2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
231231
; CHECK-NEXT: [[TMP1:%.*]] = add <2 x i8> [[X]], <i8 -6, i8 -6>
232232
; CHECK-NEXT: [[OR:%.*]] = icmp uge <2 x i8> [[TMP1]], [[Y]]
233233
; CHECK-NEXT: ret <2 x i1> [[OR]]
@@ -240,8 +240,8 @@ define <2 x i1> @eq_vector_poison_icmp(<2 x i8> %x, <2 x i8> %y) {
240240
}
241241

242242
define <2 x i1> @eq_vector_poison_add(<2 x i8> %x, <2 x i8> %y) {
243-
; CHECK-LABEL: define <2 x i1> @eq_vector_poison_add
244-
; CHECK-SAME: (<2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
243+
; CHECK-LABEL: define <2 x i1> @eq_vector_poison_add(
244+
; CHECK-SAME: <2 x i8> [[X:%.*]], <2 x i8> [[Y:%.*]]) {
245245
; CHECK-NEXT: [[TMP1:%.*]] = add <2 x i8> [[X]], <i8 -6, i8 -6>
246246
; CHECK-NEXT: [[OR:%.*]] = icmp uge <2 x i8> [[TMP1]], [[Y]]
247247
; CHECK-NEXT: ret <2 x i1> [[OR]]
@@ -257,8 +257,8 @@ define <2 x i1> @eq_vector_poison_add(<2 x i8> %x, <2 x i8> %y) {
257257
; Tests with values commuted
258258
; ==============================================================================
259259
define i1 @eq_commuted(i8 %x, i8 %py) {
260-
; CHECK-LABEL: define i1 @eq_commuted
261-
; CHECK-SAME: (i8 [[X:%.*]], i8 [[PY:%.*]]) {
260+
; CHECK-LABEL: define i1 @eq_commuted(
261+
; CHECK-SAME: i8 [[X:%.*]], i8 [[PY:%.*]]) {
262262
; CHECK-NEXT: [[Y:%.*]] = sdiv i8 43, [[PY]]
263263
; CHECK-NEXT: [[TMP1:%.*]] = add i8 [[X]], -1
264264
; CHECK-NEXT: [[OR:%.*]] = icmp uge i8 [[TMP1]], [[Y]]
@@ -272,8 +272,8 @@ define i1 @eq_commuted(i8 %x, i8 %py) {
272272
}
273273

274274
define i1 @ne_commuted_equal_minus_1(i8 %x, i8 %py) {
275-
; CHECK-LABEL: define i1 @ne_commuted_equal_minus_1
276-
; CHECK-SAME: (i8 [[X:%.*]], i8 [[PY:%.*]]) {
275+
; CHECK-LABEL: define i1 @ne_commuted_equal_minus_1(
276+
; CHECK-SAME: i8 [[X:%.*]], i8 [[PY:%.*]]) {
277277
; CHECK-NEXT: [[Y:%.*]] = sdiv i8 42, [[PY]]
278278
; CHECK-NEXT: [[AND:%.*]] = icmp ugt i8 [[Y]], [[X]]
279279
; CHECK-NEXT: ret i1 [[AND]]

0 commit comments

Comments
 (0)