Skip to content

Commit 50209e9

Browse files
davemgreendavemgreen
committed
[AArch64][GlobalISel] Move and update freeze.ll test. NFC
This adds a number of extra vector cases, notably the ptr vectors.
1 parent ec67ad5 commit 50209e9

File tree

3 files changed

+444
-171
lines changed

3 files changed

+444
-171
lines changed

‎llvm/test/CodeGen/AArch64/GlobalISel/freeze.ll‎

Lines changed: 0 additions & 149 deletions
This file was deleted.

‎llvm/test/CodeGen/AArch64/GlobalISel/legalize-extract-vector-elt.mir‎

Lines changed: 62 additions & 22 deletions
Original file line numberDiff line numberDiff line change
@@ -7,7 +7,9 @@ body: |
77
bb.0:
88
liveins: $q0
99
; CHECK-LABEL: name: test_eve_1
10-
; CHECK: [[COPY:%[0-9]+]]:_(<2 x s64>) = COPY $q0
10+
; CHECK: liveins: $q0
11+
; CHECK-NEXT: {{ $}}
12+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s64>) = COPY $q0
1113
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
1214
; CHECK-NEXT: [[EVEC:%[0-9]+]]:_(s64) = G_EXTRACT_VECTOR_ELT [[COPY]](<2 x s64>), [[C]](s64)
1315
; CHECK-NEXT: $x0 = COPY [[EVEC]](s64)
@@ -24,7 +26,9 @@ body: |
2426
bb.0:
2527
liveins: $q0, $q1
2628
; CHECK-LABEL: name: test_eve_v2s1
27-
; CHECK: [[COPY:%[0-9]+]]:_(<2 x s64>) = COPY $q0
29+
; CHECK: liveins: $q0, $q1
30+
; CHECK-NEXT: {{ $}}
31+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s64>) = COPY $q0
2832
; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<2 x s64>) = COPY $q1
2933
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
3034
; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(<2 x s64>) = G_ICMP intpred(eq), [[COPY]](<2 x s64>), [[COPY1]]
@@ -46,7 +50,9 @@ body: |
4650
bb.0:
4751
liveins: $q0, $q1
4852
; CHECK-LABEL: name: test_eve_v4s1
49-
; CHECK: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $q0
53+
; CHECK: liveins: $q0, $q1
54+
; CHECK-NEXT: {{ $}}
55+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $q0
5056
; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<4 x s32>) = COPY $q1
5157
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
5258
; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(<4 x s32>) = G_ICMP intpred(eq), [[COPY]](<4 x s32>), [[COPY1]]
@@ -69,7 +75,9 @@ body: |
6975
bb.0:
7076
liveins: $q0, $q1
7177
; CHECK-LABEL: name: test_eve_v8s1
72-
; CHECK: [[COPY:%[0-9]+]]:_(<8 x s16>) = COPY $q0
78+
; CHECK: liveins: $q0, $q1
79+
; CHECK-NEXT: {{ $}}
80+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<8 x s16>) = COPY $q0
7381
; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<8 x s16>) = COPY $q1
7482
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
7583
; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(<8 x s16>) = G_ICMP intpred(eq), [[COPY]](<8 x s16>), [[COPY1]]
@@ -92,7 +100,9 @@ body: |
92100
bb.0:
93101
liveins: $q0, $q1
94102
; CHECK-LABEL: name: test_eve_v16s1
95-
; CHECK: [[COPY:%[0-9]+]]:_(<16 x s8>) = COPY $q0
103+
; CHECK: liveins: $q0, $q1
104+
; CHECK-NEXT: {{ $}}
105+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<16 x s8>) = COPY $q0
96106
; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<16 x s8>) = COPY $q1
97107
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
98108
; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(<16 x s8>) = G_ICMP intpred(eq), [[COPY]](<16 x s8>), [[COPY1]]
@@ -115,7 +125,9 @@ body: |
115125
bb.0:
116126
liveins: $q0, $q1
117127
; CHECK-LABEL: name: test_eve_v2p0
118-
; CHECK: [[COPY:%[0-9]+]]:_(<2 x p0>) = COPY $q0
128+
; CHECK: liveins: $q0, $q1
129+
; CHECK-NEXT: {{ $}}
130+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x p0>) = COPY $q0
119131
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
120132
; CHECK-NEXT: [[EVEC:%[0-9]+]]:_(p0) = G_EXTRACT_VECTOR_ELT [[COPY]](<2 x p0>), [[C]](s64)
121133
; CHECK-NEXT: $x0 = COPY [[EVEC]](p0)
@@ -132,7 +144,9 @@ body: |
132144
bb.0:
133145
liveins: $q0, $q1, $x0
134146
; CHECK-LABEL: name: test_eve_v4s64
135-
; CHECK: [[COPY:%[0-9]+]]:_(<2 x s64>) = COPY $q0
147+
; CHECK: liveins: $q0, $q1, $x0
148+
; CHECK-NEXT: {{ $}}
149+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s64>) = COPY $q0
136150
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
137151
; CHECK-NEXT: [[EVEC:%[0-9]+]]:_(s64) = G_EXTRACT_VECTOR_ELT [[COPY]](<2 x s64>), [[C]](s64)
138152
; CHECK-NEXT: $x0 = COPY [[EVEC]](s64)
@@ -152,7 +166,9 @@ body: |
152166
bb.0:
153167
liveins: $q0, $q1, $x0
154168
; CHECK-LABEL: name: test_eve_v2s1_unknown_idx
155-
; CHECK: [[COPY:%[0-9]+]]:_(<2 x s64>) = COPY $q0
169+
; CHECK: liveins: $q0, $q1, $x0
170+
; CHECK-NEXT: {{ $}}
171+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s64>) = COPY $q0
156172
; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<2 x s64>) = COPY $q1
157173
; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x0
158174
; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(<2 x s64>) = G_ICMP intpred(eq), [[COPY]](<2 x s64>), [[COPY1]]
@@ -181,7 +197,9 @@ body: |
181197
bb.0:
182198
liveins: $q0, $q1, $x0
183199
; CHECK-LABEL: name: test_eve_v4s1_unknown_idx
184-
; CHECK: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $q0
200+
; CHECK: liveins: $q0, $q1, $x0
201+
; CHECK-NEXT: {{ $}}
202+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $q0
185203
; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<4 x s32>) = COPY $q1
186204
; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x0
187205
; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(<4 x s32>) = G_ICMP intpred(eq), [[COPY]](<4 x s32>), [[COPY1]]
@@ -211,7 +229,9 @@ body: |
211229
bb.0:
212230
liveins: $q0, $q1, $x0
213231
; CHECK-LABEL: name: test_eve_v8s1_unknown_idx
214-
; CHECK: [[COPY:%[0-9]+]]:_(<8 x s16>) = COPY $q0
232+
; CHECK: liveins: $q0, $q1, $x0
233+
; CHECK-NEXT: {{ $}}
234+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<8 x s16>) = COPY $q0
215235
; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<8 x s16>) = COPY $q1
216236
; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x0
217237
; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(<8 x s16>) = G_ICMP intpred(eq), [[COPY]](<8 x s16>), [[COPY1]]
@@ -241,7 +261,9 @@ body: |
241261
bb.0:
242262
liveins: $q0, $q1, $x0
243263
; CHECK-LABEL: name: test_eve_v16s1_unknown_idx
244-
; CHECK: [[COPY:%[0-9]+]]:_(<16 x s8>) = COPY $q0
264+
; CHECK: liveins: $q0, $q1, $x0
265+
; CHECK-NEXT: {{ $}}
266+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<16 x s8>) = COPY $q0
245267
; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<16 x s8>) = COPY $q1
246268
; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x0
247269
; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(<16 x s8>) = G_ICMP intpred(eq), [[COPY]](<16 x s8>), [[COPY1]]
@@ -271,7 +293,9 @@ body: |
271293
bb.0:
272294
liveins: $q0, $q1, $x0
273295
; CHECK-LABEL: name: test_eve_v2p0_unknown_idx
274-
; CHECK: [[COPY:%[0-9]+]]:_(<2 x p0>) = COPY $q0
296+
; CHECK: liveins: $q0, $q1, $x0
297+
; CHECK-NEXT: {{ $}}
298+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x p0>) = COPY $q0
275299
; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x0
276300
; CHECK-NEXT: [[FRAME_INDEX:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.0
277301
; CHECK-NEXT: [[BITCAST:%[0-9]+]]:_(<2 x s64>) = G_BITCAST [[COPY]](<2 x p0>)
@@ -296,7 +320,9 @@ body: |
296320
bb.0:
297321
liveins: $q0, $q1, $x0
298322
; CHECK-LABEL: name: test_eve_v4s64_unknown_idx
299-
; CHECK: [[COPY:%[0-9]+]]:_(<2 x s64>) = COPY $q0
323+
; CHECK: liveins: $q0, $q1, $x0
324+
; CHECK-NEXT: {{ $}}
325+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<2 x s64>) = COPY $q0
300326
; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<2 x s64>) = COPY $q1
301327
; CHECK-NEXT: %idx:_(s64) = COPY $x0
302328
; CHECK-NEXT: [[FRAME_INDEX:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.0
@@ -326,7 +352,9 @@ body: |
326352
bb.0:
327353
liveins: $q0, $q1, $x0
328354
; CHECK-LABEL: name: test_eve_v8s32
329-
; CHECK: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $q0
355+
; CHECK: liveins: $q0, $q1, $x0
356+
; CHECK-NEXT: {{ $}}
357+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $q0
330358
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
331359
; CHECK-NEXT: [[EVEC:%[0-9]+]]:_(s32) = G_EXTRACT_VECTOR_ELT [[COPY]](<4 x s32>), [[C]](s64)
332360
; CHECK-NEXT: $w0 = COPY [[EVEC]](s32)
@@ -346,7 +374,9 @@ body: |
346374
bb.0:
347375
liveins: $q0, $q1, $x0
348376
; CHECK-LABEL: name: test_eve_v16s16
349-
; CHECK: [[COPY:%[0-9]+]]:_(<8 x s16>) = COPY $q1
377+
; CHECK: liveins: $q0, $q1, $x0
378+
; CHECK-NEXT: {{ $}}
379+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<8 x s16>) = COPY $q1
350380
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
351381
; CHECK-NEXT: [[EVEC:%[0-9]+]]:_(s16) = G_EXTRACT_VECTOR_ELT [[COPY]](<8 x s16>), [[C]](s64)
352382
; CHECK-NEXT: %ext:_(s32) = G_ANYEXT [[EVEC]](s16)
@@ -368,7 +398,9 @@ body: |
368398
bb.0:
369399
liveins: $x0
370400
; CHECK-LABEL: name: test_eve_v4p0
371-
; CHECK: %vec:_(<4 x p0>) = G_IMPLICIT_DEF
401+
; CHECK: liveins: $x0
402+
; CHECK-NEXT: {{ $}}
403+
; CHECK-NEXT: %vec:_(<4 x p0>) = G_IMPLICIT_DEF
372404
; CHECK-NEXT: %idx:_(s64) = G_CONSTANT i64 1
373405
; CHECK-NEXT: [[UV:%[0-9]+]]:_(<2 x p0>), [[UV1:%[0-9]+]]:_(<2 x p0>) = G_UNMERGE_VALUES %vec(<4 x p0>)
374406
; CHECK-NEXT: %eve:_(p0) = G_EXTRACT_VECTOR_ELT [[UV]](<2 x p0>), %idx(s64)
@@ -386,7 +418,9 @@ body: |
386418
bb.0:
387419
liveins: $q0, $q1, $w0
388420
; CHECK-LABEL: name: test_eve_v8s32_unknown_idx
389-
; CHECK: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $q0
421+
; CHECK: liveins: $q0, $q1, $w0
422+
; CHECK-NEXT: {{ $}}
423+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $q0
390424
; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<4 x s32>) = COPY $q1
391425
; CHECK-NEXT: %idx:_(s32) = COPY $w0
392426
; CHECK-NEXT: %idxprom:_(s64) = G_SEXT %idx(s32)
@@ -418,7 +452,9 @@ body: |
418452
bb.0:
419453
liveins: $q0, $q1, $w0
420454
; CHECK-LABEL: name: test_eve_v16s16_unknown_idx
421-
; CHECK: [[COPY:%[0-9]+]]:_(<8 x s16>) = COPY $q0
455+
; CHECK: liveins: $q0, $q1, $w0
456+
; CHECK-NEXT: {{ $}}
457+
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(<8 x s16>) = COPY $q0
422458
; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(<8 x s16>) = COPY $q1
423459
; CHECK-NEXT: %idx:_(s32) = COPY $w0
424460
; CHECK-NEXT: %idxprom:_(s64) = G_SEXT %idx(s32)
@@ -452,7 +488,9 @@ body: |
452488
bb.0:
453489
liveins: $x0
454490
; CHECK-LABEL: name: test_eve_v4p0_unknown_idx
455-
; CHECK: %vec:_(<4 x p0>) = G_IMPLICIT_DEF
491+
; CHECK: liveins: $x0
492+
; CHECK-NEXT: {{ $}}
493+
; CHECK-NEXT: %vec:_(<4 x p0>) = G_IMPLICIT_DEF
456494
; CHECK-NEXT: %idx:_(s64) = COPY $x0
457495
; CHECK-NEXT: [[FRAME_INDEX:%[0-9]+]]:_(p0) = G_FRAME_INDEX %stack.0
458496
; CHECK-NEXT: [[UV:%[0-9]+]]:_(<2 x p0>), [[UV1:%[0-9]+]]:_(<2 x p0>) = G_UNMERGE_VALUES %vec(<4 x p0>)
@@ -477,15 +515,17 @@ body: |
477515
RET_ReallyLR
478516
...
479517
---
518+
# Make sure that the pointer legalization rules don't apply when we have
519+
# different address spaces.
480520
name: cant_legalize_different_address_spaces
481521
body: |
482522
bb.0:
483523
liveins: $x0
484-
; Make sure that the pointer legalization rules don't apply when we have
485-
; different address spaces.
486524
487525
; CHECK-LABEL: name: cant_legalize_different_address_spaces
488-
; CHECK: %vec:_(<4 x p1>) = G_IMPLICIT_DEF
526+
; CHECK: liveins: $x0
527+
; CHECK-NEXT: {{ $}}
528+
; CHECK-NEXT: %vec:_(<4 x p1>) = G_IMPLICIT_DEF
489529
; CHECK-NEXT: %idx:_(s64) = G_CONSTANT i64 1
490530
; CHECK-NEXT: %eve:_(p0) = G_EXTRACT_VECTOR_ELT %vec(<4 x p1>), %idx(s64)
491531
; CHECK-NEXT: $x0 = COPY %eve(p0)

0 commit comments

Comments
 (0)