Skip to content

Commit b9fa35f

Browse files
Mel-ChenMel-Chen
authored
[LV][EVL] Pre-commit test cases for preventing to transform plans with scalar VF. NFC (#125499)
Pre-commit for #125497.
1 parent 6f32d5e commit b9fa35f

File tree

5 files changed

+70
-2
lines changed

5 files changed

+70
-2
lines changed

‎llvm/test/Transforms/LoopVectorize/RISCV/vplan-vp-call-intrinsics.ll

Lines changed: 27 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,9 @@
66
; RUN: -mtriple=riscv64 -mattr=+v -riscv-v-vector-bits-max=128 -disable-output < %s 2>&1 | FileCheck --check-prefix=IF-EVL %s
77

88
define void @vp_smax(ptr %a, ptr %b, ptr %c, i64 %N) {
9+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
10+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
11+
;
912
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
1013
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
1114
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -59,6 +62,9 @@ exit:
5962
}
6063

6164
define void @vp_smin(ptr %a, ptr %b, ptr %c, i64 %N) {
65+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
66+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
67+
;
6268
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
6369
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
6470
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -112,6 +118,9 @@ exit:
112118
}
113119

114120
define void @vp_umax(ptr %a, ptr %b, ptr %c, i64 %N) {
121+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
122+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
123+
;
115124
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
116125
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
117126
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -165,6 +174,9 @@ exit:
165174
}
166175

167176
define void @vp_umin(ptr %a, ptr %b, ptr %c, i64 %N) {
177+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
178+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
179+
;
168180
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
169181
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
170182
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -218,6 +230,9 @@ exit:
218230
}
219231

220232
define void @vp_ctlz(ptr %a, ptr %b, i64 %N) {
233+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
234+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
235+
;
221236
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
222237
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
223238
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -266,6 +281,9 @@ exit:
266281
}
267282

268283
define void @vp_cttz(ptr %a, ptr %b, i64 %N) {
284+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
285+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
286+
;
269287
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
270288
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
271289
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -314,6 +332,9 @@ exit:
314332
}
315333

316334
define void @vp_lrint(ptr %a, ptr %b, i64 %N) {
335+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
336+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
337+
;
317338
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
318339
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
319340
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -366,6 +387,9 @@ exit:
366387
}
367388

368389
define void @vp_llrint(ptr %a, ptr %b, i64 %N) {
390+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
391+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
392+
;
369393
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
370394
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
371395
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -418,6 +442,9 @@ exit:
418442
}
419443

420444
define void @vp_abs(ptr %a, ptr %b, i64 %N) {
445+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
446+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
447+
;
421448
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
422449
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
423450
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count

‎llvm/test/Transforms/LoopVectorize/RISCV/vplan-vp-cast-intrinsics.ll

Lines changed: 30 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -5,6 +5,9 @@
55
; RUN: -mtriple=riscv64 -mattr=+v -riscv-v-vector-bits-max=128 -disable-output < %s 2>&1 | FileCheck --check-prefix=IF-EVL %s
66

77
define void @vp_sext(ptr %a, ptr %b, i64 %N) {
8+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
9+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
10+
;
811
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2},UF={1}' {
912
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
1013
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -55,6 +58,9 @@ exit:
5558
}
5659

5760
define void @vp_zext(ptr %a, ptr %b, i64 %N) {
61+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
62+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
63+
;
5864
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2},UF={1}' {
5965
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
6066
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -103,6 +109,9 @@ exit:
103109
}
104110

105111
define void @vp_trunc(ptr %a, ptr %b, i64 %N) {
112+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
113+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
114+
;
106115
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
107116
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
108117
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -151,6 +160,9 @@ exit:
151160
}
152161

153162
define void @vp_fpext(ptr %a, ptr %b, i64 %N) {
163+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
164+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
165+
;
154166
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2},UF={1}' {
155167
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
156168
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -199,6 +211,9 @@ exit:
199211
}
200212

201213
define void @vp_fptrunc(ptr %a, ptr %b, i64 %N) {
214+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
215+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
216+
;
202217
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2},UF={1}' {
203218
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
204219
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -247,6 +262,9 @@ exit:
247262
}
248263

249264
define void @vp_sitofp(ptr %a, ptr %b, i64 %N) {
265+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
266+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
267+
;
250268
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
251269
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
252270
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -295,6 +313,9 @@ exit:
295313
}
296314

297315
define void @vp_uitofp(ptr %a, ptr %b, i64 %N) {
316+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
317+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
318+
;
298319
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
299320
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
300321
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -343,6 +364,9 @@ exit:
343364
}
344365

345366
define void @vp_fptosi(ptr %a, ptr %b, i64 %N) {
367+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
368+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
369+
;
346370
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
347371
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
348372
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -391,6 +415,9 @@ exit:
391415
}
392416

393417
define void @vp_fptoui(ptr %a, ptr %b, i64 %N) {
418+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
419+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
420+
;
394421
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
395422
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
396423
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count
@@ -439,6 +466,9 @@ exit:
439466
}
440467

441468
define void @vp_inttoptr(ptr %a, ptr %b, i64 %N) {
469+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
470+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
471+
;
442472
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2},UF={1}' {
443473
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
444474
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count

‎llvm/test/Transforms/LoopVectorize/RISCV/vplan-vp-intrinsics-reduction.ll

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,13 +3,13 @@
33
; RUN: opt -passes=loop-vectorize -debug-only=loop-vectorize \
44
; RUN: -force-tail-folding-style=data-with-evl \
55
; RUN: -prefer-predicate-over-epilogue=predicate-dont-vectorize \
6-
; RUN: -mtriple=riscv64 -mattr=+v -riscv-v-vector-bits-max=128 -disable-output < %s 2>&1 | FileCheck --check-prefixes=IF-EVL-OUTLOOP %s
6+
; RUN: -mtriple=riscv64 -mattr=+v -riscv-v-vector-bits-max=128 -disable-output < %s 2>&1 | FileCheck --check-prefixes=IF-EVL-OUTLOOP,IF-EVL %s
77

88
; RUN: opt -passes=loop-vectorize -debug-only=loop-vectorize \
99
; RUN: -prefer-inloop-reductions \
1010
; RUN: -force-tail-folding-style=data-with-evl \
1111
; RUN: -prefer-predicate-over-epilogue=predicate-dont-vectorize \
12-
; RUN: -mtriple=riscv64 -mattr=+v -riscv-v-vector-bits-max=128 -disable-output < %s 2>&1 | FileCheck --check-prefixes=IF-EVL-INLOOP %s
12+
; RUN: -mtriple=riscv64 -mattr=+v -riscv-v-vector-bits-max=128 -disable-output < %s 2>&1 | FileCheck --check-prefixes=IF-EVL-INLOOP,IF-EVL %s
1313

1414
; RUN: opt -passes=loop-vectorize -debug-only=loop-vectorize \
1515
; RUN: -force-tail-folding-style=none \
@@ -24,6 +24,9 @@
2424

2525

2626
define i32 @reduction(ptr %a, i64 %n, i32 %start) {
27+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
28+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
29+
2730
; IF-EVL-OUTLOOP: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
2831
; IF-EVL-OUTLOOP-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
2932
; IF-EVL-OUTLOOP-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count

‎llvm/test/Transforms/LoopVectorize/RISCV/vplan-vp-intrinsics.ll

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -11,6 +11,9 @@
1111
; RUN: -mtriple=riscv64 -mattr=+v -riscv-v-vector-bits-max=128 -disable-output < %s 2>&1 | FileCheck --check-prefixes=NO-VP,CHECK %s
1212

1313
define void @foo(ptr noalias %a, ptr noalias %b, ptr noalias %c, i64 %N) {
14+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
15+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
16+
;
1417
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
1518
; IF-EVL-NEXT: Live-in vp<[[VFUF:%[0-9]+]]> = VF * UF
1619
; IF-EVL-NEXT: Live-in vp<[[VTC:%[0-9]+]]> = vector-trip-count

‎llvm/test/Transforms/LoopVectorize/RISCV/vplan-vp-select-intrinsics.ll

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,11 @@
66
; RUN: -mtriple=riscv64 -mattr=+v -riscv-v-vector-bits-max=128 -disable-output < %s 2>&1 | FileCheck --check-prefix=IF-EVL %s
77

88
define void @vp_select(ptr noalias %a, ptr noalias %b, ptr noalias %c, i64 %N) {
9+
; IF-EVL: VPlan 'Initial VPlan for VF={1},UF={1}'
10+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
11+
; IF-EVL: VPlan 'Initial VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}'
12+
; IF-EVL: EXPLICIT-VECTOR-LENGTH-BASED-IV-PHI
13+
;
914
; IF-EVL: VPlan 'Final VPlan for VF={vscale x 1,vscale x 2,vscale x 4},UF={1}' {
1015
; IF-EVL-NEXT: Live-in ir<[[VFUF:%.+]]> = VF * UF
1116
; IF-EVL-NEXT: Live-in ir<[[VTC:%.+]]> = vector-trip-count

0 commit comments

Comments
 (0)