@@ -81,7 +81,7 @@ define <vscale x 2 x i1> @whilele_d_xx(i64 %a, i64 %b) {
8181define <vscale x 2 x i1 > @whilele_d_ii_dont_fold_to_ptrue_larger_than_minvec () {
8282; CHECK-LABEL: whilele_d_ii_dont_fold_to_ptrue_larger_than_minvec:
8383; CHECK: // %bb.0:
84- ; CHECK-NEXT: mov w8, #3
84+ ; CHECK-NEXT: mov w8, #3 // =0x3
8585; CHECK-NEXT: whilele p0.d, xzr, x8
8686; CHECK-NEXT: ret
8787 %out = call <vscale x 2 x i1 > @llvm.aarch64.sve.whilele.nxv2i1.i64 (i64 0 , i64 3 )
@@ -90,21 +90,19 @@ define <vscale x 2 x i1> @whilele_d_ii_dont_fold_to_ptrue_larger_than_minvec() {
9090
9191define <vscale x 16 x i1 > @whilele_b_ii () {
9292; CHECK-LABEL: whilele_b_ii:
93- ; CHECK: // %bb.0: // %entry
93+ ; CHECK: // %bb.0:
9494; CHECK-NEXT: ptrue p0.b, vl6
9595; CHECK-NEXT: ret
96- entry:
9796 %out = call <vscale x 16 x i1 > @llvm.aarch64.sve.whilele.nxv16i1.i64 (i64 -2 , i64 3 )
9897 ret <vscale x 16 x i1 > %out
9998}
10099
101100define <vscale x 16 x i1 > @whilele_b_ii_dont_fold_to_ptrue_nonexistent_vl9 () {
102101; CHECK-LABEL: whilele_b_ii_dont_fold_to_ptrue_nonexistent_vl9:
103- ; CHECK: // %bb.0: // %entry
104- ; CHECK-NEXT: mov w8, #9
102+ ; CHECK: // %bb.0:
103+ ; CHECK-NEXT: mov w8, #9 // =0x9
105104; CHECK-NEXT: whilele p0.b, xzr, x8
106105; CHECK-NEXT: ret
107- entry:
108106 %out = call <vscale x 16 x i1 > @llvm.aarch64.sve.whilele.nxv16i1.i64 (i64 0 , i64 9 )
109107 ret <vscale x 16 x i1 > %out
110108}
@@ -120,24 +118,22 @@ define <vscale x 16 x i1> @whilele_b_vl_maximum() vscale_range(16, 16) {
120118
121119define <vscale x 16 x i1 > @whilele_b_ii_dont_fold_to_ptrue_overflow () {
122120; CHECK-LABEL: whilele_b_ii_dont_fold_to_ptrue_overflow:
123- ; CHECK: // %bb.0: // %entry
124- ; CHECK-NEXT: mov w8, #2
125- ; CHECK-NEXT: mov w9, #2147483647
121+ ; CHECK: // %bb.0:
122+ ; CHECK-NEXT: mov w8, #2 // =0x2
123+ ; CHECK-NEXT: mov w9, #2147483647 // =0x7fffffff
126124; CHECK-NEXT: movk w8, #32768, lsl #16
127125; CHECK-NEXT: whilele p0.b, w9, w8
128126; CHECK-NEXT: ret
129- entry:
130127 %out = call <vscale x 16 x i1 > @llvm.aarch64.sve.whilele.nxv16i1.i32 (i32 2147483647 , i32 -2147483646 )
131128 ret <vscale x 16 x i1 > %out
132129}
133130
134131define <vscale x 16 x i1 > @whilele_b_ii_dont_fold_to_ptrue_increment_overflow () {
135132; CHECK-LABEL: whilele_b_ii_dont_fold_to_ptrue_increment_overflow:
136- ; CHECK: // %bb.0: // %entry
137- ; CHECK-NEXT: mov w8, #2147483647
133+ ; CHECK: // %bb.0:
134+ ; CHECK-NEXT: mov w8, #2147483647 // =0x7fffffff
138135; CHECK-NEXT: whilele p0.b, wzr, w8
139136; CHECK-NEXT: ret
140- entry:
141137 %out = call <vscale x 16 x i1 > @llvm.aarch64.sve.whilele.nxv16i1.i32 (i32 0 , i32 2147483647 )
142138 ret <vscale x 16 x i1 > %out
143139}
@@ -221,7 +217,7 @@ define <vscale x 2 x i1> @whilelo_d_xx(i64 %a, i64 %b) {
221217define <vscale x 2 x i1 > @whilelo_d_ii_dont_fold_to_ptrue_larger_than_minvec () {
222218; CHECK-LABEL: whilelo_d_ii_dont_fold_to_ptrue_larger_than_minvec:
223219; CHECK: // %bb.0:
224- ; CHECK-NEXT: mov w8, #3
220+ ; CHECK-NEXT: mov w8, #3 // =0x3
225221; CHECK-NEXT: whilelo p0.d, xzr, x8
226222; CHECK-NEXT: ret
227223 %out = call <vscale x 2 x i1 > @llvm.aarch64.sve.whilelo.nxv2i1.i64 (i64 0 , i64 3 )
@@ -230,21 +226,19 @@ define <vscale x 2 x i1> @whilelo_d_ii_dont_fold_to_ptrue_larger_than_minvec() {
230226
231227define <vscale x 16 x i1 > @whilelo_b_ii () {
232228; CHECK-LABEL: whilelo_b_ii:
233- ; CHECK: // %bb.0: // %entry
229+ ; CHECK: // %bb.0:
234230; CHECK-NEXT: ptrue p0.b, vl6
235231; CHECK-NEXT: ret
236- entry:
237232 %out = call <vscale x 16 x i1 > @llvm.aarch64.sve.whilelo.nxv16i1.i64 (i64 2 , i64 8 )
238233 ret <vscale x 16 x i1 > %out
239234}
240235
241236define <vscale x 16 x i1 > @whilelo_b_ii_dont_fold_to_ptrue_nonexistent_vl9 () {
242237; CHECK-LABEL: whilelo_b_ii_dont_fold_to_ptrue_nonexistent_vl9:
243- ; CHECK: // %bb.0: // %entry
244- ; CHECK-NEXT: mov w8, #9
238+ ; CHECK: // %bb.0:
239+ ; CHECK-NEXT: mov w8, #9 // =0x9
245240; CHECK-NEXT: whilelo p0.b, xzr, x8
246241; CHECK-NEXT: ret
247- entry:
248242 %out = call <vscale x 16 x i1 > @llvm.aarch64.sve.whilelo.nxv16i1.i64 (i64 0 , i64 9 )
249243 ret <vscale x 16 x i1 > %out
250244}
@@ -260,12 +254,11 @@ define <vscale x 16 x i1> @whilelo_b_vl_maximum() vscale_range(16, 16) {
260254
261255define <vscale x 16 x i1 > @whilelo_b_ii_dont_fold_to_ptrue_overflow () {
262256; CHECK-LABEL: whilelo_b_ii_dont_fold_to_ptrue_overflow:
263- ; CHECK: // %bb.0: // %entry
264- ; CHECK-NEXT: mov w8, #6
265- ; CHECK-NEXT: mov w9, #-1
257+ ; CHECK: // %bb.0:
258+ ; CHECK-NEXT: mov w8, #6 // =0x6
259+ ; CHECK-NEXT: mov w9, #-1 // =0xffffffff
266260; CHECK-NEXT: whilelo p0.b, w9, w8
267261; CHECK-NEXT: ret
268- entry:
269262 %out = call <vscale x 16 x i1 > @llvm.aarch64.sve.whilelo.nxv16i1.i32 (i32 4294967295 , i32 6 )
270263 ret <vscale x 16 x i1 > %out
271264}
@@ -349,7 +342,7 @@ define <vscale x 2 x i1> @whilels_d_xx(i64 %a, i64 %b) {
349342define <vscale x 2 x i1 > @whilels_d_ii_dont_fold_to_ptrue_larger_than_minvec () {
350343; CHECK-LABEL: whilels_d_ii_dont_fold_to_ptrue_larger_than_minvec:
351344; CHECK: // %bb.0:
352- ; CHECK-NEXT: mov w8, #3
345+ ; CHECK-NEXT: mov w8, #3 // =0x3
353346; CHECK-NEXT: whilels p0.d, xzr, x8
354347; CHECK-NEXT: ret
355348 %out = call <vscale x 2 x i1 > @llvm.aarch64.sve.whilels.nxv2i1.i64 (i64 0 , i64 3 )
@@ -358,21 +351,19 @@ define <vscale x 2 x i1> @whilels_d_ii_dont_fold_to_ptrue_larger_than_minvec() {
358351
359352define <vscale x 16 x i1 > @whilels_b_ii () {
360353; CHECK-LABEL: whilels_b_ii:
361- ; CHECK: // %bb.0: // %entry
354+ ; CHECK: // %bb.0:
362355; CHECK-NEXT: ptrue p0.b, vl7
363356; CHECK-NEXT: ret
364- entry:
365357 %out = call <vscale x 16 x i1 > @llvm.aarch64.sve.whilels.nxv16i1.i64 (i64 2 , i64 8 )
366358 ret <vscale x 16 x i1 > %out
367359}
368360
369361define <vscale x 16 x i1 > @whilels_b_ii_dont_fold_to_ptrue_nonexistent_vl9 () {
370362; CHECK-LABEL: whilels_b_ii_dont_fold_to_ptrue_nonexistent_vl9:
371- ; CHECK: // %bb.0: // %entry
372- ; CHECK-NEXT: mov w8, #9
363+ ; CHECK: // %bb.0:
364+ ; CHECK-NEXT: mov w8, #9 // =0x9
373365; CHECK-NEXT: whilels p0.b, xzr, x8
374366; CHECK-NEXT: ret
375- entry:
376367 %out = call <vscale x 16 x i1 > @llvm.aarch64.sve.whilels.nxv16i1.i64 (i64 0 , i64 9 )
377368 ret <vscale x 16 x i1 > %out
378369}
@@ -388,23 +379,21 @@ define <vscale x 16 x i1> @whilels_b_ii_vl_maximum() vscale_range(16, 16) {
388379
389380define <vscale x 16 x i1 > @whilels_b_ii_dont_fold_to_ptrue_overflow () {
390381; CHECK-LABEL: whilels_b_ii_dont_fold_to_ptrue_overflow:
391- ; CHECK: // %bb.0: // %entry
392- ; CHECK-NEXT: mov w8, #6
393- ; CHECK-NEXT: mov w9, #-1
382+ ; CHECK: // %bb.0:
383+ ; CHECK-NEXT: mov w8, #6 // =0x6
384+ ; CHECK-NEXT: mov w9, #-1 // =0xffffffff
394385; CHECK-NEXT: whilels p0.b, w9, w8
395386; CHECK-NEXT: ret
396- entry:
397387 %out = call <vscale x 16 x i1 > @llvm.aarch64.sve.whilels.nxv16i1.i32 (i32 4294967295 , i32 6 )
398388 ret <vscale x 16 x i1 > %out
399389}
400390
401391define <vscale x 16 x i1 > @whilels_b_ii_dont_fold_to_ptrue_increment_overflow () {
402392; CHECK-LABEL: whilels_b_ii_dont_fold_to_ptrue_increment_overflow:
403- ; CHECK: // %bb.0: // %entry
404- ; CHECK-NEXT: mov w8, #-1
393+ ; CHECK: // %bb.0:
394+ ; CHECK-NEXT: mov w8, #-1 // =0xffffffff
405395; CHECK-NEXT: whilels p0.b, wzr, w8
406396; CHECK-NEXT: ret
407- entry:
408397 %out = call <vscale x 16 x i1 > @llvm.aarch64.sve.whilels.nxv16i1.i32 (i32 0 , i32 4294967295 )
409398 ret <vscale x 16 x i1 > %out
410399}
@@ -488,7 +477,7 @@ define <vscale x 2 x i1> @whilelt_d_xx(i64 %a, i64 %b) {
488477define <vscale x 2 x i1 > @whilelt_d_ii_dont_fold_to_ptrue_larger_than_minvec () {
489478; CHECK-LABEL: whilelt_d_ii_dont_fold_to_ptrue_larger_than_minvec:
490479; CHECK: // %bb.0:
491- ; CHECK-NEXT: mov w8, #3
480+ ; CHECK-NEXT: mov w8, #3 // =0x3
492481; CHECK-NEXT: whilelt p0.d, xzr, x8
493482; CHECK-NEXT: ret
494483 %out = call <vscale x 2 x i1 > @llvm.aarch64.sve.whilelt.nxv2i1.i64 (i64 0 , i64 3 )
@@ -497,21 +486,19 @@ define <vscale x 2 x i1> @whilelt_d_ii_dont_fold_to_ptrue_larger_than_minvec() {
497486
498487define <vscale x 16 x i1 > @whilelt_b_ii () {
499488; CHECK-LABEL: whilelt_b_ii:
500- ; CHECK: // %bb.0: // %entry
489+ ; CHECK: // %bb.0:
501490; CHECK-NEXT: ptrue p0.b, vl5
502491; CHECK-NEXT: ret
503- entry:
504492 %out = call <vscale x 16 x i1 > @llvm.aarch64.sve.whilelt.nxv16i1.i64 (i64 -2 , i64 3 )
505493 ret <vscale x 16 x i1 > %out
506494}
507495
508496define <vscale x 16 x i1 > @whilelt_b_ii_dont_fold_to_ptrue_nonexistent_vl9 () {
509497; CHECK-LABEL: whilelt_b_ii_dont_fold_to_ptrue_nonexistent_vl9:
510- ; CHECK: // %bb.0: // %entry
511- ; CHECK-NEXT: mov w8, #9
498+ ; CHECK: // %bb.0:
499+ ; CHECK-NEXT: mov w8, #9 // =0x9
512500; CHECK-NEXT: whilelt p0.b, xzr, x8
513501; CHECK-NEXT: ret
514- entry:
515502 %out = call <vscale x 16 x i1 > @llvm.aarch64.sve.whilelt.nxv16i1.i64 (i64 0 , i64 9 )
516503 ret <vscale x 16 x i1 > %out
517504}
@@ -527,13 +514,12 @@ define <vscale x 16 x i1> @whilelt_b_ii_vl_maximum() vscale_range(16, 16) {
527514
528515define <vscale x 16 x i1 > @whilelt_b_ii_dont_fold_to_ptrue_overflow () {
529516; CHECK-LABEL: whilelt_b_ii_dont_fold_to_ptrue_overflow:
530- ; CHECK: // %bb.0: // %entry
531- ; CHECK-NEXT: mov w8, #2
532- ; CHECK-NEXT: mov w9, #2147483647
517+ ; CHECK: // %bb.0:
518+ ; CHECK-NEXT: mov w8, #2 // =0x2
519+ ; CHECK-NEXT: mov w9, #2147483647 // =0x7fffffff
533520; CHECK-NEXT: movk w8, #32768, lsl #16
534521; CHECK-NEXT: whilelt p0.b, w9, w8
535522; CHECK-NEXT: ret
536- entry:
537523 %out = call <vscale x 16 x i1 > @llvm.aarch64.sve.whilelt.nxv16i1.i32 (i32 2147483647 , i32 -2147483646 )
538524 ret <vscale x 16 x i1 > %out
539525}
0 commit comments