1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -S -passes=loop-vectorize -force-vector-width=2 -opaque-pointers < %s | FileCheck %s 3 4; TODO: This still crashes with inbounds on the GEPs. 5define void @test(ptr %p1.start, ptr %p2.start, ptr %p1.end) { 6; CHECK-LABEL: @test( 7; CHECK-NEXT: entry: 8; CHECK-NEXT: br label [[LOOP:%.*]] 9; CHECK: loop: 10; CHECK-NEXT: [[P1:%.*]] = phi ptr [ [[P1_START:%.*]], [[ENTRY:%.*]] ], [ [[P1_NEXT:%.*]], [[LOOP]] ] 11; CHECK-NEXT: [[P2:%.*]] = phi ptr [ [[P2_START:%.*]], [[ENTRY]] ], [ [[P2_NEXT:%.*]], [[LOOP]] ] 12; CHECK-NEXT: [[P1_VAL:%.*]] = load float, ptr [[P1]], align 4 13; CHECK-NEXT: [[P2_VAL:%.*]] = load float, ptr [[P2]], align 4 14; CHECK-NEXT: [[SUM:%.*]] = fadd float [[P1_VAL]], [[P2_VAL]] 15; CHECK-NEXT: store float [[SUM]], ptr [[P1]], align 4 16; CHECK-NEXT: [[P1_NEXT]] = getelementptr float, ptr [[P1]], i64 1 17; CHECK-NEXT: [[P2_NEXT]] = getelementptr float, ptr [[P2]], i64 1 18; CHECK-NEXT: [[C:%.*]] = icmp ne ptr [[P1_NEXT]], [[P1_END:%.*]] 19; CHECK-NEXT: br i1 [[C]], label [[LOOP]], label [[EXIT:%.*]] 20; CHECK: exit: 21; CHECK-NEXT: ret void 22; 23entry: 24 br label %loop 25 26loop: 27 %p1 = phi ptr [ %p1.start, %entry ], [ %p1.next, %loop ] 28 %p2 = phi ptr [ %p2.start, %entry ], [ %p2.next, %loop ] 29 %p1.val = load float, ptr %p1 30 %p2.val = load float, ptr %p2 31 %sum = fadd float %p1.val, %p2.val 32 store float %sum, ptr %p1 33 %p1.next = getelementptr float, ptr %p1, i64 1 34 %p2.next = getelementptr float, ptr %p2, i64 1 35 %c = icmp ne ptr %p1.next, %p1.end 36 br i1 %c, label %loop, label %exit 37 38exit: 39 ret void 40} 41 42define void @store_pointer_induction(ptr %start, ptr %end) { 43; CHECK-LABEL: @store_pointer_induction( 44; CHECK-NEXT: entry: 45; CHECK-NEXT: [[START2:%.*]] = ptrtoint ptr [[START:%.*]] to i64 46; CHECK-NEXT: [[END1:%.*]] = ptrtoint ptr [[END:%.*]] to i64 47; CHECK-NEXT: [[TMP0:%.*]] = add i64 [[END1]], -8 48; CHECK-NEXT: [[TMP1:%.*]] = sub i64 [[TMP0]], [[START2]] 49; CHECK-NEXT: [[TMP2:%.*]] = lshr i64 [[TMP1]], 3 50; CHECK-NEXT: [[TMP3:%.*]] = add nuw nsw i64 [[TMP2]], 1 51; CHECK-NEXT: [[MIN_ITERS_CHECK:%.*]] = icmp ult i64 [[TMP3]], 2 52; CHECK-NEXT: br i1 [[MIN_ITERS_CHECK]], label [[SCALAR_PH:%.*]], label [[VECTOR_PH:%.*]] 53; CHECK: vector.ph: 54; CHECK-NEXT: [[N_MOD_VF:%.*]] = urem i64 [[TMP3]], 2 55; CHECK-NEXT: [[N_VEC:%.*]] = sub i64 [[TMP3]], [[N_MOD_VF]] 56; CHECK-NEXT: [[TMP4:%.*]] = mul i64 [[N_VEC]], 8 57; CHECK-NEXT: [[IND_END:%.*]] = getelementptr i8, ptr [[START]], i64 [[TMP4]] 58; CHECK-NEXT: br label [[VECTOR_BODY:%.*]] 59; CHECK: vector.body: 60; CHECK-NEXT: [[INDEX:%.*]] = phi i64 [ 0, [[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], [[VECTOR_BODY]] ] 61; CHECK-NEXT: [[TMP5:%.*]] = add i64 [[INDEX]], 0 62; CHECK-NEXT: [[TMP6:%.*]] = mul i64 [[TMP5]], 8 63; CHECK-NEXT: [[NEXT_GEP:%.*]] = getelementptr i8, ptr [[START]], i64 [[TMP6]] 64; CHECK-NEXT: [[TMP7:%.*]] = add i64 [[INDEX]], 1 65; CHECK-NEXT: [[TMP8:%.*]] = mul i64 [[TMP7]], 8 66; CHECK-NEXT: [[NEXT_GEP3:%.*]] = getelementptr i8, ptr [[START]], i64 [[TMP8]] 67; CHECK-NEXT: [[TMP9:%.*]] = insertelement <2 x ptr> poison, ptr [[NEXT_GEP]], i32 0 68; CHECK-NEXT: [[TMP10:%.*]] = insertelement <2 x ptr> [[TMP9]], ptr [[NEXT_GEP3]], i32 1 69; CHECK-NEXT: [[TMP11:%.*]] = getelementptr ptr, ptr [[NEXT_GEP]], i32 0 70; CHECK-NEXT: store <2 x ptr> [[TMP10]], ptr [[TMP11]], align 4 71; CHECK-NEXT: [[INDEX_NEXT]] = add nuw i64 [[INDEX]], 2 72; CHECK-NEXT: [[TMP12:%.*]] = icmp eq i64 [[INDEX_NEXT]], [[N_VEC]] 73; CHECK-NEXT: br i1 [[TMP12]], label [[MIDDLE_BLOCK:%.*]], label [[VECTOR_BODY]], !llvm.loop [[LOOP0:![0-9]+]] 74; CHECK: middle.block: 75; CHECK-NEXT: [[CMP_N:%.*]] = icmp eq i64 [[TMP3]], [[N_VEC]] 76; CHECK-NEXT: br i1 [[CMP_N]], label [[EXIT:%.*]], label [[SCALAR_PH]] 77; CHECK: scalar.ph: 78; CHECK-NEXT: [[BC_RESUME_VAL:%.*]] = phi ptr [ [[IND_END]], [[MIDDLE_BLOCK]] ], [ [[START]], [[ENTRY:%.*]] ] 79; CHECK-NEXT: br label [[LOOP:%.*]] 80; CHECK: loop: 81; CHECK-NEXT: [[IV:%.*]] = phi ptr [ [[BC_RESUME_VAL]], [[SCALAR_PH]] ], [ [[IV_NEXT:%.*]], [[LOOP]] ] 82; CHECK-NEXT: store ptr [[IV]], ptr [[IV]], align 4 83; CHECK-NEXT: [[IV_NEXT]] = getelementptr inbounds ptr, ptr [[IV]], i32 1 84; CHECK-NEXT: [[EXITCOND:%.*]] = icmp eq ptr [[IV_NEXT]], [[END]] 85; CHECK-NEXT: br i1 [[EXITCOND]], label [[EXIT]], label [[LOOP]], !llvm.loop [[LOOP2:![0-9]+]] 86; CHECK: exit: 87; CHECK-NEXT: ret void 88; 89entry: 90 br label %loop 91 92loop: 93 %iv = phi ptr [ %start, %entry ], [ %iv.next, %loop ] 94 store ptr %iv, ptr %iv, align 4 95 %iv.next = getelementptr inbounds ptr, ptr %iv, i32 1 96 %exitcond = icmp eq ptr %iv.next, %end 97 br i1 %exitcond, label %exit, label %loop 98 99exit: 100 ret void 101} 102