62 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 52; RUN: opt -p loop-vectorize -force-vector-width=4 -force-vector-interleave=2 -S %s | FileCheck %s3 4; Test case for https://github.com/llvm/llvm-project/issues/118850.5define void @i65_induction_with_negative_step(ptr %dst) {6; CHECK-LABEL: define void @i65_induction_with_negative_step(7; CHECK-SAME: ptr [[DST:%.*]]) {8; CHECK-NEXT: [[ENTRY:.*:]]9; CHECK-NEXT: br label %[[VECTOR_PH:.*]]10; CHECK: [[VECTOR_PH]]:11; CHECK-NEXT: br label %[[VECTOR_BODY:.*]]12; CHECK: [[VECTOR_BODY]]:13; CHECK-NEXT: [[INDEX:%.*]] = phi i65 [ 0, %[[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], %[[VECTOR_BODY]] ]14; CHECK-NEXT: [[VECTOR_RECUR:%.*]] = phi <4 x i64> [ <i64 poison, i64 poison, i64 poison, i64 0>, %[[VECTOR_PH]] ], [ [[STEP_ADD:%.*]], %[[VECTOR_BODY]] ]15; CHECK-NEXT: [[VEC_IND:%.*]] = phi <4 x i64> [ <i64 0, i64 -1, i64 -2, i64 -3>, %[[VECTOR_PH]] ], [ [[VEC_IND_NEXT:%.*]], %[[VECTOR_BODY]] ]16; CHECK-NEXT: [[STEP_ADD]] = add <4 x i64> [[VEC_IND]], splat (i64 -4)17; CHECK-NEXT: [[OFFSET_IDX:%.*]] = sub i65 0, [[INDEX]]18; CHECK-NEXT: [[TMP0:%.*]] = trunc i65 [[OFFSET_IDX]] to i6419; CHECK-NEXT: [[TMP2:%.*]] = shufflevector <4 x i64> [[VECTOR_RECUR]], <4 x i64> [[VEC_IND]], <4 x i32> <i32 3, i32 4, i32 5, i32 6>20; CHECK-NEXT: [[TMP3:%.*]] = shufflevector <4 x i64> [[VEC_IND]], <4 x i64> [[STEP_ADD]], <4 x i32> <i32 3, i32 4, i32 5, i32 6>21; CHECK-NEXT: [[TMP4:%.*]] = getelementptr inbounds i64, ptr [[DST]], i64 [[TMP0]]22; CHECK-NEXT: [[TMP5:%.*]] = getelementptr inbounds i64, ptr [[TMP4]], i64 023; CHECK-NEXT: [[TMP6:%.*]] = getelementptr inbounds i64, ptr [[TMP5]], i64 -324; CHECK-NEXT: [[TMP7:%.*]] = getelementptr inbounds i64, ptr [[TMP4]], i64 -425; CHECK-NEXT: [[TMP8:%.*]] = getelementptr inbounds i64, ptr [[TMP7]], i64 -326; CHECK-NEXT: [[REVERSE:%.*]] = shufflevector <4 x i64> [[TMP2]], <4 x i64> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>27; CHECK-NEXT: store <4 x i64> [[REVERSE]], ptr [[TMP6]], align 828; CHECK-NEXT: [[REVERSE1:%.*]] = shufflevector <4 x i64> [[TMP3]], <4 x i64> poison, <4 x i32> <i32 3, i32 2, i32 1, i32 0>29; CHECK-NEXT: store <4 x i64> [[REVERSE1]], ptr [[TMP8]], align 830; CHECK-NEXT: [[INDEX_NEXT]] = add nuw i65 [[INDEX]], 831; CHECK-NEXT: [[VEC_IND_NEXT]] = add <4 x i64> [[STEP_ADD]], splat (i64 -4)32; CHECK-NEXT: [[TMP9:%.*]] = icmp eq i65 [[INDEX_NEXT]], 100033; CHECK-NEXT: br i1 [[TMP9]], label %[[MIDDLE_BLOCK:.*]], label %[[VECTOR_BODY]], !llvm.loop [[LOOP0:![0-9]+]]34; CHECK: [[MIDDLE_BLOCK]]:35; CHECK-NEXT: br label %[[EXIT:.*]]36; CHECK: [[EXIT]]:37; CHECK-NEXT: ret void38;39entry:40 br label %loop41 42loop:43 %iv = phi i64 [ 0, %entry ], [ %iv.next, %loop ]44 %iv.i65 = phi i65 [ 0, %entry ], [ %iv.i65.next, %loop ]45 %for = phi i64 [ 0, %entry ], [ %trunc, %loop ]46 %trunc = trunc i65 %iv.i65 to i6447 %gep = getelementptr inbounds i64, ptr %dst, i64 %trunc48 store i64 %for, ptr %gep, align 849 %iv.next = add i64 %iv, 150 %icmp = icmp eq i64 %iv.next, 100051 %iv.i65.next = add i65 %iv.i65, -152 br i1 %icmp, label %exit, label %loop53 54exit:55 ret void56}57;.58; CHECK: [[LOOP0]] = distinct !{[[LOOP0]], [[META1:![0-9]+]], [[META2:![0-9]+]]}59; CHECK: [[META1]] = !{!"llvm.loop.isvectorized", i32 1}60; CHECK: [[META2]] = !{!"llvm.loop.unroll.runtime.disable"}61;.62