Skip to content

Commit 3403438

Browse files
fhahnfhahn
committed
[VPlan] Consistently use VTC for vector trip count in vplan-printing.ll.
The inconsistency surfaced in #95305. Split off the reduce the diff.
1 parent 3f22756 commit 3403438

File tree

1 file changed

+43
-43
lines changed

1 file changed

+43
-43
lines changed

‎llvm/test/Transforms/LoopVectorize/vplan-printing.ll

Lines changed: 43 additions & 43 deletions
Original file line numberDiff line numberDiff line change
@@ -10,7 +10,7 @@ define void @print_call_and_memory(i64 %n, ptr noalias %y, ptr noalias %x) nounw
1010
; CHECK-LABEL: Checking a loop in 'print_call_and_memory'
1111
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
1212
; CHECK-NEXT: Live-in vp<[[VFxUF:%.]]> = VF * UF
13-
; CHECK-NEXT: Live-in vp<[[VEC_TC:%.+]]> = vector-trip-count
13+
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
1414
; CHECK-NEXT: Live-in ir<%n> = original trip-count
1515
; CHECK-EMPTY:
1616
; CHECK-NEXT: vector.ph:
@@ -28,13 +28,13 @@ define void @print_call_and_memory(i64 %n, ptr noalias %y, ptr noalias %x) nounw
2828
; CHECK-NEXT: vp<[[VEC_PTR2:%.+]]> = vector-pointer ir<%arrayidx2>
2929
; CHECK-NEXT: WIDEN store vp<[[VEC_PTR2]]>, ir<%call>
3030
; CHECK-NEXT: EMIT vp<[[CAN_IV_NEXT]]> = add nuw vp<[[CAN_IV]]>, vp<[[VFxUF]]>
31-
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VEC_TC]]>
31+
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VTC]]>
3232
; CHECK-NEXT: No successors
3333
; CHECK-NEXT: }
3434
; CHECK-NEXT: Successor(s): middle.block
3535
; CHECK-EMPTY:
3636
; CHECK-NEXT: middle.block:
37-
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VEC_TC]]>
37+
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VTC]]>
3838
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
3939
; CHECK-NEXT: Successor(s): ir-bb<for.end.loopexit>, scalar.ph
4040
; CHECK-EMPTY:
@@ -68,7 +68,7 @@ define void @print_widen_gep_and_select(i64 %n, ptr noalias %y, ptr noalias %x,
6868
; CHECK-LABEL: Checking a loop in 'print_widen_gep_and_select'
6969
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
7070
; CHECK-NEXT: Live-in vp<[[VFxUF:%.]]> = VF * UF
71-
; CHECK-NEXT: Live-in vp<[[VEC_TC:%.+]]> = vector-trip-count
71+
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
7272
; CHECK-NEXT: Live-in ir<%n> = original trip-count
7373
; CHECK-EMPTY:
7474
; CHECK-NEXT: vector.ph:
@@ -89,13 +89,13 @@ define void @print_widen_gep_and_select(i64 %n, ptr noalias %y, ptr noalias %x,
8989
; CHECK-NEXT: vp<[[VEC_PTR2:%.+]]> = vector-pointer ir<%arrayidx2>
9090
; CHECK-NEXT: WIDEN store vp<[[VEC_PTR2]]>, ir<%add>
9191
; CHECK-NEXT: EMIT vp<[[CAN_IV_NEXT]]> = add nuw vp<[[CAN_IV]]>, vp<[[VFxUF]]>
92-
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VEC_TC]]>
92+
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VTC]]>
9393
; CHECK-NEXT: No successors
9494
; CHECK-NEXT: }
9595
; CHECK-NEXT: Successor(s): middle.block
9696
; CHECK-EMPTY:
9797
; CHECK-NEXT: middle.block:
98-
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VEC_TC]]>
98+
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VTC]]>
9999
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
100100
; CHECK-NEXT: Successor(s): ir-bb<for.end.loopexit>, scalar.ph
101101
; CHECK-EMPTY:
@@ -131,7 +131,7 @@ define float @print_reduction(i64 %n, ptr noalias %y) {
131131
; CHECK-LABEL: Checking a loop in 'print_reduction'
132132
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
133133
; CHECK-NEXT: Live-in vp<[[VFxUF:%.]]> = VF * UF
134-
; CHECK-NEXT: Live-in vp<[[VEC_TC:%.+]]> = vector-trip-count
134+
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
135135
; CHECK-NEXT: Live-in ir<%n> = original trip-count
136136
; CHECK-EMPTY:
137137
; CHECK-NEXT: vector.ph:
@@ -147,15 +147,15 @@ define float @print_reduction(i64 %n, ptr noalias %y) {
147147
; CHECK-NEXT: WIDEN ir<%lv> = load vp<[[VEC_PTR]]>
148148
; CHECK-NEXT: REDUCE ir<%red.next> = ir<%red> + fast reduce.fadd (ir<%lv>)
149149
; CHECK-NEXT: EMIT vp<[[CAN_IV_NEXT]]> = add nuw vp<[[CAN_IV]]>, vp<[[VFxUF]]>
150-
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VEC_TC]]>
150+
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VTC]]>
151151
; CHECK-NEXT: No successors
152152
; CHECK-NEXT: }
153153
; CHECK-NEXT: Successor(s): middle.block
154154
; CHECK-EMPTY:
155155
; CHECK-NEXT: middle.block:
156156
; CHECK-NEXT: EMIT vp<[[RED_RES:%.+]]> = compute-reduction-result ir<%red>, ir<%red.next>
157157
; CHECK-NEXT: EMIT vp<[[RED_EX:%.+]]> = extract-from-end vp<[[RED_RES]]>, ir<1>
158-
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VEC_TC]]>
158+
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VTC]]>
159159
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
160160
; CHECK-NEXT: Successor(s): ir-bb<for.end>, scalar.ph
161161
; CHECK-EMPTY:
@@ -189,7 +189,7 @@ define void @print_reduction_with_invariant_store(i64 %n, ptr noalias %y, ptr no
189189
; CHECK-LABEL: Checking a loop in 'print_reduction_with_invariant_store'
190190
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
191191
; CHECK-NEXT: Live-in vp<[[VFxUF:%.]]> = VF * UF
192-
; CHECK-NEXT: Live-in vp<[[VEC_TC:%.+]]> = vector-trip-count
192+
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
193193
; CHECK-NEXT: Live-in ir<%n> = original trip-count
194194
; CHECK-EMPTY:
195195
; CHECK-NEXT: vector.ph:
@@ -205,14 +205,14 @@ define void @print_reduction_with_invariant_store(i64 %n, ptr noalias %y, ptr no
205205
; CHECK-NEXT: WIDEN ir<%lv> = load vp<[[VEC_PTR]]>
206206
; CHECK-NEXT: REDUCE ir<%red.next> = ir<%red> + fast reduce.fadd (ir<%lv>) (with final reduction value stored in invariant address sank outside of loop)
207207
; CHECK-NEXT: EMIT vp<[[CAN_IV_NEXT]]> = add nuw vp<[[CAN_IV]]>, vp<[[VFxUF]]>
208-
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VEC_TC]]>
208+
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VTC]]>
209209
; CHECK-NEXT: No successors
210210
; CHECK-NEXT: }
211211
; CHECK-NEXT: Successor(s): middle.block
212212
; CHECK-EMPTY:
213213
; CHECK-NEXT: middle.block:
214214
; CHECK-NEXT: EMIT vp<[[RED_RES:.+]]> = compute-reduction-result ir<%red>, ir<%red.next>
215-
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VEC_TC]]>
215+
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VTC]]>
216216
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
217217
; CHECK-NEXT: Successor(s): ir-bb<for.end>, scalar.ph
218218
; CHECK-EMPTY:
@@ -245,7 +245,7 @@ define void @print_replicate_predicated_phi(i64 %n, ptr %x) {
245245
; CHECK-LABEL: Checking a loop in 'print_replicate_predicated_phi'
246246
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
247247
; CHECK-NEXT: Live-in vp<[[VFxUF:%.]]> = VF * UF
248-
; CHECK-NEXT: Live-in vp<[[VEC_TC:%.+]]> = vector-trip-count
248+
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
249249
; CHECK-NEXT: vp<[[TC:%.+]]> = original trip-count
250250
; CHECK-EMPTY:
251251
; CHECK-NEXT: ir-bb<entry>:
@@ -284,13 +284,13 @@ define void @print_replicate_predicated_phi(i64 %n, ptr %x) {
284284
; CHECK-NEXT: vp<[[VEC_PTR:%.+]]> = vector-pointer ir<%idx>
285285
; CHECK-NEXT: WIDEN store vp<[[VEC_PTR]]>, ir<%d>
286286
; CHECK-NEXT: EMIT vp<[[CAN_IV_NEXT]]> = add nuw vp<[[CAN_IV]]>, vp<[[VFxUF]]>
287-
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VEC_TC]]>
287+
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VTC]]>
288288
; CHECK-NEXT: No successors
289289
; CHECK-NEXT: }
290290
; CHECK-NEXT: Successor(s): middle.block
291291
; CHECK-EMPTY:
292292
; CHECK-NEXT: middle.block:
293-
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq vp<[[TC]]>, vp<[[VEC_TC]]>
293+
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq vp<[[TC]]>, vp<[[VTC]]>
294294
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
295295
; CHECK-NEXT: Successor(s): ir-bb<for.end>, scalar.ph
296296
; CHECK-EMPTY:
@@ -332,7 +332,7 @@ define void @print_interleave_groups(i32 %C, i32 %D) {
332332
; CHECK-LABEL: Checking a loop in 'print_interleave_groups'
333333
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
334334
; CHECK-NEXT: Live-in vp<[[VFxUF:%.]]> = VF * UF
335-
; CHECK-NEXT: Live-in vp<[[VEC_TC:%.+]]> = vector-trip-count
335+
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
336336
; CHECK-NEXT: Live-in ir<256> = original trip-count
337337
; CHECK-EMPTY:
338338
; CHECK-NEXT: vector.ph:
@@ -357,13 +357,13 @@ define void @print_interleave_groups(i32 %C, i32 %D) {
357357
; CHECK-NEXT: store ir<2> to index 2
358358
; CHECK-NEXT: store ir<%AB.3> to index 3
359359
; CHECK-NEXT: EMIT vp<[[CAN_IV_NEXT]]> = add nuw vp<[[CAN_IV]]>, vp<[[VFxUF]]>
360-
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VEC_TC]]>
360+
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VTC]]>
361361
; CHECK-NEXT: No successors
362362
; CHECK-NEXT: }
363363
; CHECK-NEXT: Successor(s): middle.block
364364
; CHECK-EMPTY:
365365
; CHECK-NEXT: middle.block:
366-
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<256>, vp<[[VEC_TC]]>
366+
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<256>, vp<[[VTC]]>
367367
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
368368
; CHECK-NEXT: Successor(s): ir-bb<for.end>, scalar.ph
369369
; CHECK-EMPTY:
@@ -409,7 +409,7 @@ define float @print_fmuladd_strict(ptr %a, ptr %b, i64 %n) {
409409
; CHECK-LABEL: Checking a loop in 'print_fmuladd_strict'
410410
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
411411
; CHECK-NEXT: Live-in vp<[[VFxUF:%.]]> = VF * UF
412-
; CHECK-NEXT: Live-in vp<[[VEC_TC:%.+]]> = vector-trip-count
412+
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
413413
; CHECK-NEXT: Live-in ir<%n> = original trip-count
414414
; CHECK-EMPTY:
415415
; CHECK-NEXT: vector.ph:
@@ -429,15 +429,15 @@ define float @print_fmuladd_strict(ptr %a, ptr %b, i64 %n) {
429429
; CHECK-NEXT: EMIT vp<[[FMUL:%.+]]> = fmul nnan ninf nsz ir<%l.a>, ir<%l.b>
430430
; CHECK-NEXT: REDUCE ir<[[MULADD:%.+]]> = ir<%sum.07> + nnan ninf nsz reduce.fadd (vp<[[FMUL]]>)
431431
; CHECK-NEXT: EMIT vp<[[CAN_IV_NEXT]]> = add nuw vp<[[CAN_IV]]>, vp<[[VFxUF]]>
432-
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VEC_TC]]>
432+
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VTC]]>
433433
; CHECK-NEXT: No successors
434434
; CHECK-NEXT: }
435435
; CHECK-NEXT: Successor(s): middle.block
436436
; CHECK-EMPTY:
437437
; CHECK-NEXT: middle.block:
438438
; CHECK-NEXT: EMIT vp<[[RED_RES:%.+]]> = compute-reduction-result ir<%sum.07>, ir<[[MULADD]]>
439439
; CHECK-NEXT: EMIT vp<[[RED_EX:%.+]]> = extract-from-end vp<[[RED_RES]]>, ir<1>
440-
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VEC_TC]]>
440+
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VTC]]>
441441
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
442442
; CHECK-NEXT: Successor(s): ir-bb<for.end>, scalar.ph
443443
; CHECK-EMPTY:
@@ -473,7 +473,7 @@ define void @debug_loc_vpinstruction(ptr nocapture %asd, ptr nocapture %bsd) !db
473473
; CHECK-LABEL: Checking a loop in 'debug_loc_vpinstruction'
474474
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
475475
; CHECK-NEXT: Live-in vp<[[VFxUF:%.]]> = VF * UF
476-
; CHECK-NEXT: Live-in vp<[[VEC_TC:%.+]]> = vector-trip-count
476+
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
477477
; CHECK-NEXT: Live-in ir<128> = original trip-count
478478
; CHECK-EMPTY:
479479
; CHECK-NEXT: vector.ph:
@@ -516,13 +516,13 @@ define void @debug_loc_vpinstruction(ptr nocapture %asd, ptr nocapture %bsd) !db
516516
; CHECK-NEXT: vp<[[VEC_PTR2:%.+]]> = vector-pointer ir<%isd>
517517
; CHECK-NEXT: WIDEN store vp<[[VEC_PTR2]]>, ir<%ysd.0>
518518
; CHECK-NEXT: EMIT vp<[[CAN_IV_NEXT]]> = add nuw vp<[[CAN_IV]]>, vp<[[VFxUF]]>
519-
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VEC_TC]]>
519+
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VTC]]>
520520
; CHECK-NEXT: No successors
521521
; CHECK-NEXT:}
522522
; CHECK-NEXT: Successor(s): middle.block
523523
; CHECK-EMPTY:
524524
; CHECK-NEXT: middle.block:
525-
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<128>, vp<[[VEC_TC]]>
525+
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<128>, vp<[[VTC]]>
526526
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
527527
; CHECK-NEXT: Successor(s): ir-bb<exit>, scalar.ph
528528
; CHECK-EMPTY:
@@ -599,7 +599,7 @@ define void @print_expand_scev(i64 %y, ptr %ptr) {
599599
; CHECK-NEXT: Successor(s): middle.block
600600
; CHECK-EMPTY:
601601
; CHECK-NEXT: middle.block:
602-
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq vp<[[TC]]>, vp<[[VEC_TC]]>
602+
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq vp<[[TC]]>, vp<[[VTC]]>
603603
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
604604
; CHECK-NEXT: Successor(s): ir-bb<loop.exit>, scalar.ph
605605
; CHECK-EMPTY:
@@ -634,7 +634,7 @@ define i32 @print_exit_value(ptr %ptr, i32 %off) {
634634
; CHECK-LABEL: Checking a loop in 'print_exit_value'
635635
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
636636
; CHECK-NEXT: Live-in vp<[[VFxUF:%.]]> = VF * UF
637-
; CHECK-NEXT: Live-in vp<[[VEC_TC:%.+]]> = vector-trip-count
637+
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
638638
; CHECK-NEXT: Live-in ir<1000> = original trip-count
639639
; CHECK-EMPTY:
640640
; CHECK-NEXT: vector.ph:
@@ -650,14 +650,14 @@ define i32 @print_exit_value(ptr %ptr, i32 %off) {
650650
; CHECK-NEXT: vp<[[VEC_PTR:%.+]]> = vector-pointer ir<%gep>
651651
; CHECK-NEXT: WIDEN store vp<[[VEC_PTR]]>, ir<0>
652652
; CHECK-NEXT: EMIT vp<[[CAN_IV_NEXT]]> = add nuw vp<[[CAN_IV]]>, vp<[[VFxUF]]>
653-
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VEC_TC]]>
653+
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VTC]]>
654654
; CHECK-NEXT: No successors
655655
; CHECK-NEXT: }
656656
; CHECK-NEXT: Successor(s): middle.block
657657
; CHECK-EMPTY:
658658
; CHECK-NEXT: middle.block:
659659
; CHECK-NEXT: EMIT vp<[[EXIT:%.+]]> = extract-from-end ir<%add>, ir<1>
660-
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<1000>, vp<[[VEC_TC]]>
660+
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<1000>, vp<[[VTC]]>
661661
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
662662
; CHECK-NEXT: Successor(s): ir-bb<exit>, scalar.ph
663663
; CHECK-EMPTY:
@@ -691,7 +691,7 @@ define void @print_fast_math_flags(i64 %n, ptr noalias %y, ptr noalias %x, ptr %
691691
; CHECK-LABEL: Checking a loop in 'print_fast_math_flags'
692692
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
693693
; CHECK-NEXT: Live-in vp<[[VFxUF:%.]]> = VF * UF
694-
; CHECK-NEXT: Live-in vp<[[VEC_TC:%.+]]> = vector-trip-count
694+
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
695695
; CHECK-NEXT: Live-in ir<%n> = original trip-count
696696
; CHECK-EMPTY:
697697
; CHECK-NEXT: vector.ph:
@@ -711,13 +711,13 @@ define void @print_fast_math_flags(i64 %n, ptr noalias %y, ptr noalias %x, ptr %
711711
; CHECK-NEXT: vp<[[VEC_PTR:%.+]]> = vector-pointer ir<%gep.x>
712712
; CHECK-NEXT: WIDEN store vp<[[VEC_PTR]]>, ir<%div>
713713
; CHECK-NEXT: EMIT vp<[[CAN_IV_NEXT]]> = add nuw vp<[[CAN_IV]]>, vp<[[VFxUF]]>
714-
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VEC_TC]]>
714+
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VTC]]>
715715
; CHECK-NEXT: No successors
716716
; CHECK-NEXT: }
717717
; CHECK-NEXT: Successor(s): middle.block
718718
; CHECK-EMPTY:
719719
; CHECK-NEXT: middle.block:
720-
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VEC_TC]]>
720+
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VTC]]>
721721
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
722722
; CHECK-NEXT: Successor(s): ir-bb<exit>, scalar.ph
723723
; CHECK-EMPTY:
@@ -752,7 +752,7 @@ define void @print_exact_flags(i64 %n, ptr noalias %x) {
752752
; CHECK-LABEL: Checking a loop in 'print_exact_flags'
753753
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
754754
; CHECK-NEXT: Live-in vp<[[VFxUF:%.]]> = VF * UF
755-
; CHECK-NEXT: Live-in vp<[[VEC_TC:%.+]]> = vector-trip-count
755+
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
756756
; CHECK-NEXT: Live-in ir<%n> = original trip-count
757757
; CHECK-EMPTY:
758758
; CHECK-NEXT: vector.ph:
@@ -771,13 +771,13 @@ define void @print_exact_flags(i64 %n, ptr noalias %x) {
771771
; CHECK-NEXT: vp<[[VEC_PTR2:%.+]]> = vector-pointer ir<%gep.x>
772772
; CHECK-NEXT: WIDEN store vp<[[VEC_PTR2]]>, ir<%add>
773773
; CHECK-NEXT: EMIT vp<[[CAN_IV_NEXT]]> = add nuw vp<[[CAN_IV]]>, vp<[[VFxUF]]>
774-
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VEC_TC]]>
774+
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VTC]]>
775775
; CHECK-NEXT: No successors
776776
; CHECK-NEXT: }
777777
; CHECK-NEXT: Successor(s): middle.block
778778
; CHECK-EMPTY:
779779
; CHECK-NEXT: middle.block:
780-
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VEC_TC]]>
780+
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VTC]]>
781781
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
782782
; CHECK-NEXT: Successor(s): ir-bb<exit>, scalar.ph
783783
; CHECK-EMPTY:
@@ -811,7 +811,7 @@ define void @print_call_flags(ptr readonly %src, ptr noalias %dest, i64 %n) {
811811
; CHECK-LABEL: Checking a loop in 'print_call_flags'
812812
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
813813
; CHECK-NEXT: Live-in vp<[[VFxUF:%.]]> = VF * UF
814-
; CHECK-NEXT: Live-in vp<[[VEC_TC:%.+]]> = vector-trip-count
814+
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
815815
; CHECK-NEXT: Live-in ir<%n> = original trip-count
816816
; CHECK-EMPTY:
817817
; CHECK-NEXT: vector.ph:
@@ -851,13 +851,13 @@ define void @print_call_flags(ptr readonly %src, ptr noalias %dest, i64 %n) {
851851
; CHECK-NEXT: vp<[[VEC_PTR2:%.+]]> = vector-pointer ir<%st.addr>
852852
; CHECK-NEXT: WIDEN store vp<[[VEC_PTR2]]>, ir<%st.value>
853853
; CHECK-NEXT: EMIT vp<[[CAN_IV_NEXT]]> = add nuw vp<[[CAN_IV]]>, vp<[[VFxUF]]>
854-
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VEC_TC]]>
854+
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VTC]]>
855855
; CHECK-NEXT: No successors
856856
; CHECK-NEXT: }
857857
; CHECK-NEXT: Successor(s): middle.block
858858
; CHECK-EMPTY:
859859
; CHECK-NEXT: middle.block:
860-
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VEC_TC]]>
860+
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VTC]]>
861861
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
862862
; CHECK-NEXT: Successor(s): ir-bb<end>, scalar.ph
863863
; CHECK-EMPTY:
@@ -901,7 +901,7 @@ define void @print_disjoint_flags(i64 %n, ptr noalias %x) {
901901
; CHECK-LABEL: Checking a loop in 'print_disjoint_flags'
902902
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
903903
; CHECK-NEXT: Live-in vp<[[VFxUF:%.]]> = VF * UF
904-
; CHECK-NEXT: Live-in vp<[[VEC_TC:%.+]]> = vector-trip-count
904+
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
905905
; CHECK-NEXT: Live-in ir<%n> = original trip-count
906906
; CHECK-EMPTY:
907907
; CHECK-NEXT: vector.ph:
@@ -920,13 +920,13 @@ define void @print_disjoint_flags(i64 %n, ptr noalias %x) {
920920
; CHECK-NEXT: vp<[[VEC_PTR:%.+]]> = vector-pointer ir<%gep.x>
921921
; CHECK-NEXT: WIDEN store vp<[[VEC_PTR]]>, ir<%add>
922922
; CHECK-NEXT: EMIT vp<[[CAN_IV_NEXT]]> = add nuw vp<[[CAN_IV]]>, vp<[[VFxUF]]>
923-
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VEC_TC]]>
923+
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VTC]]>
924924
; CHECK-NEXT: No successors
925925
; CHECK-NEXT: }
926926
; CHECK-NEXT: Successor(s): middle.block
927927
; CHECK-EMPTY:
928928
; CHECK-NEXT: middle.block:
929-
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VEC_TC]]>
929+
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<%n>, vp<[[VTC]]>
930930
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
931931
; CHECK-NEXT: Successor(s): ir-bb<exit>, scalar.ph
932932
; CHECK-EMPTY:
@@ -960,7 +960,7 @@ define void @zext_nneg(ptr noalias %p, ptr noalias %p1) {
960960
; CHECK-LABEL: LV: Checking a loop in 'zext_nneg'
961961
; CHECK: VPlan 'Initial VPlan for VF={4},UF>=1' {
962962
; CHECK-NEXT: Live-in vp<[[VFxUF:%.]]> = VF * UF
963-
; CHECK-NEXT: Live-in vp<[[VEC_TC:%.+]]> = vector-trip-count
963+
; CHECK-NEXT: Live-in vp<[[VTC:%.+]]> = vector-trip-count
964964
; CHECK-NEXT: Live-in ir<1000> = original trip-count
965965
; CHECK-EMPTY:
966966
; CHECK-NEXT: vector.ph:
@@ -976,7 +976,7 @@ define void @zext_nneg(ptr noalias %p, ptr noalias %p1) {
976976
; CHECK-NEXT: WIDEN-CAST ir<%zext> = zext nneg ir<%l>
977977
; CHECK-NEXT: REPLICATE store ir<%zext>, ir<%p1>
978978
; CHECK-NEXT: EMIT vp<[[CAN_IV_NEXT]]> = add nuw vp<[[CAN_IV]]>
979-
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VEC_TC]]>
979+
; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_IV_NEXT]]>, vp<[[VTC]]>
980980
; CHECK-NEXT: No successors
981981
; CHECK-NEXT: }
982982
;
@@ -1028,7 +1028,7 @@ define i16 @print_first_order_recurrence_and_result(ptr %ptr) {
10281028
; CHECK-NEXT: middle.block:
10291029
; CHECK-NEXT: EMIT vp<[[RESUME_1:%.+]]> = extract-from-end ir<%for.1.next>, ir<1>
10301030
; CHECK-NEXT: EMIT vp<[[FOR_RESULT:%.+]]> = extract-from-end ir<%for.1.next>, ir<2>
1031-
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<1000>, vp<[[VEC_TC]]>
1031+
; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<1000>, vp<[[VTC]]>
10321032
; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]>
10331033
; CHECK-NEXT: Successor(s): ir-bb<exit>, scalar.ph
10341034
; CHECK-EMPTY:

0 commit comments

Comments
 (0)