1; REQUIRES: asserts 2; RUN: opt -passes=loop-vectorize -force-vector-interleave=1 -force-vector-width=8 -S -debug %s 2>&1 | FileCheck %s 3 4define void @iv_no_binary_op_in_descriptor(i1 %c, ptr %dst) { 5; CHECK-LABEL: LV: Checking a loop in 'iv_no_binary_op_in_descriptor' 6; CHECK: VPlan 'Initial VPlan for VF={8},UF>=1' { 7; CHECK-NEXT: Live-in vp<[[VF:%.+]]> = VF 8; CHECK-NEXT: Live-in vp<[[VFxUF:%.+]]> = VF * UF 9; CHECK-NEXT: Live-in vp<[[VEC_TC:%.+]]> = vector-trip-count 10; CHECK-NEXT: Live-in ir<1000> = original trip-count 11; CHECK-EMPTY: 12; CHECK-NEXT: ir-bb<entry>: 13; CHECK-NEXT: Successor(s): vector.ph 14; CHECK-EMPTY: 15; CHECK-NEXT: vector.ph: 16; CHECK-NEXT: Successor(s): vector loop 17; CHECK-EMPTY: 18; CHECK-NEXT: <x1> vector loop: { 19; CHECK-NEXT: vector.body: 20; CHECK-NEXT: EMIT vp<[[CAN_IV:%.+]]> = CANONICAL-INDUCTION 21; CHECK-NEXT: ir<%iv> = WIDEN-INDUCTION ir<0>, ir<1>, vp<[[VF]]> 22; CHECK-NEXT: vp<[[STEPS:%.+]]> = SCALAR-STEPS vp<[[CAN_IV]]>, ir<1> 23; CHECK-NEXT: CLONE ir<%gep> = getelementptr inbounds ir<%dst>, vp<[[STEPS:%.+]]> 24; CHECK-NEXT: vp<[[VEC_PTR:%.+]]> = vector-pointer ir<%gep> 25; CHECK-NEXT: WIDEN store vp<[[VEC_PTR]]>, ir<%iv> 26; CHECK-NEXT: EMIT vp<[[CAN_INC:%.+]]> = add nuw vp<[[CAN_IV]]>, vp<[[VFxUF]]> 27; CHECK-NEXT: EMIT branch-on-count vp<[[CAN_INC]]>, vp<[[VEC_TC]]> 28; CHECK-NEXT: No successors 29; CHECK-NEXT: } 30; CHECK-NEXT: Successor(s): middle.block 31; CHECK-EMPTY: 32; CHECK-NEXT: middle.block: 33; CHECK-NEXT: EMIT vp<[[CMP:%.+]]> = icmp eq ir<1000>, vp<[[VEC_TC]]> 34; CHECK-NEXT: EMIT branch-on-cond vp<[[CMP]]> 35; CHECK-NEXT: Successor(s): ir-bb<exit>, scalar.ph 36; CHECK-EMPTY: 37; CHECK-NEXT: scalar.ph: 38; CHECK-NEXT: EMIT vp<[[RESUME:%.+]]> = resume-phi vp<[[VEC_TC]]>, ir<0> 39; CHECK-NEXT: Successor(s): ir-bb<loop.header> 40; CHECK-EMPTY: 41; CHECK-NEXT: ir-bb<loop.header>: 42; CHECK-NEXT: IR %iv = phi i64 [ 0, %entry ], [ %iv.next.p, %loop.latch ] (extra operand: vp<[[RESUME]]> from scalar.ph) 43; CHECK: IR %iv.next = add i64 %iv, 1 44; CHECK-NEXT: No successors 45; CHECK-EMPTY: 46; CHECK-NEXT: ir-bb<exit>: 47; CHECK-NEXT: No successors 48; CHECK-NEXT: } 49; 50entry: 51 br label %loop.header 52 53loop.header: 54 %iv = phi i64 [ 0, %entry ], [ %iv.next.p, %loop.latch ] 55 %gep = getelementptr inbounds i64, ptr %dst, i64 %iv 56 store i64 %iv, ptr %gep, align 8 57 %iv.next = add i64 %iv, 1 58 br label %loop.latch 59 60loop.latch: 61 %iv.next.p = phi i64 [ %iv.next, %loop.header ] 62 %exitcond.not = icmp eq i64 %iv.next.p, 1000 63 br i1 %exitcond.not, label %exit, label %loop.header 64 65exit: 66 ret void 67} 68