1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py 2; RUN: opt -passes='loop-vectorize' -force-vector-width=2 -force-vector-interleave=1 -S %s | FileCheck %s 3 4define void @test_pr55100(i32 %N) { 5; CHECK-LABEL: @test_pr55100( 6; CHECK-NEXT: entry: 7; CHECK-NEXT: [[TMP0:%.*]] = sub i32 0, [[N:%.*]] 8; CHECK-NEXT: br label [[LOOP_1_HEADER:%.*]] 9; CHECK: loop.1.header: 10; CHECK-NEXT: [[IV_1:%.*]] = phi i32 [ 0, [[ENTRY:%.*]] ], [ [[IV_1_NEXT:%.*]], [[LOOP_1_LATCH:%.*]] ] 11; CHECK-NEXT: [[TMP1:%.*]] = mul nuw nsw i32 [[IV_1]], -1 12; CHECK-NEXT: [[TMP2:%.*]] = add i32 [[TMP0]], [[TMP1]] 13; CHECK-NEXT: [[UMIN:%.*]] = call i32 @llvm.umin.i32(i32 [[TMP2]], i32 18) 14; CHECK-NEXT: [[TMP3:%.*]] = add nuw nsw i32 [[UMIN]], 1 15; CHECK-NEXT: [[C_2:%.*]] = icmp ugt i32 [[IV_1]], 10 16; CHECK-NEXT: br i1 [[C_2]], label [[LOOP_2_HEADER_PREHEADER:%.*]], label [[EXIT_LOOPEXIT1:%.*]] 17; CHECK: loop.2.header.preheader: 18; CHECK-NEXT: [[MIN_ITERS_CHECK:%.*]] = icmp ule i32 [[TMP3]], 2 19; CHECK-NEXT: br i1 [[MIN_ITERS_CHECK]], label [[SCALAR_PH:%.*]], label [[VECTOR_PH:%.*]] 20; CHECK: vector.ph: 21; CHECK-NEXT: [[N_MOD_VF:%.*]] = urem i32 [[TMP3]], 2 22; CHECK-NEXT: [[TMP4:%.*]] = icmp eq i32 [[N_MOD_VF]], 0 23; CHECK-NEXT: [[TMP5:%.*]] = select i1 [[TMP4]], i32 2, i32 [[N_MOD_VF]] 24; CHECK-NEXT: [[N_VEC:%.*]] = sub i32 [[TMP3]], [[TMP5]] 25; CHECK-NEXT: [[IND_END:%.*]] = trunc i32 [[N_VEC]] to i16 26; CHECK-NEXT: br label [[VECTOR_BODY:%.*]] 27; CHECK: vector.body: 28; CHECK-NEXT: [[INDEX:%.*]] = phi i32 [ 0, [[VECTOR_PH]] ], [ [[INDEX_NEXT:%.*]], [[VECTOR_BODY]] ] 29; CHECK-NEXT: [[INDEX_NEXT]] = add nuw i32 [[INDEX]], 2 30; CHECK-NEXT: [[TMP6:%.*]] = icmp eq i32 [[INDEX_NEXT]], [[N_VEC]] 31; CHECK-NEXT: br i1 [[TMP6]], label [[MIDDLE_BLOCK:%.*]], label [[VECTOR_BODY]], !llvm.loop [[LOOP0:![0-9]+]] 32; CHECK: middle.block: 33; CHECK-NEXT: br label [[SCALAR_PH]] 34; CHECK: scalar.ph: 35; CHECK-NEXT: [[BC_RESUME_VAL:%.*]] = phi i16 [ [[IND_END]], [[MIDDLE_BLOCK]] ], [ 0, [[LOOP_2_HEADER_PREHEADER]] ] 36; CHECK-NEXT: br label [[LOOP_2_HEADER:%.*]] 37; CHECK: loop.2.header: 38; CHECK-NEXT: [[IV_2:%.*]] = phi i16 [ [[IV_2_NEXT:%.*]], [[LOOP_2_LATCH:%.*]] ], [ [[BC_RESUME_VAL]], [[SCALAR_PH]] ] 39; CHECK-NEXT: [[C_3:%.*]] = icmp slt i16 [[IV_2]], 18 40; CHECK-NEXT: br i1 [[C_3]], label [[LOOP_2_LATCH]], label [[LOOP_1_LATCH]] 41; CHECK: loop.2.latch: 42; CHECK-NEXT: [[ADD_1:%.*]] = add i32 [[N]], [[IV_1]] 43; CHECK-NEXT: [[IV_2_EXT:%.*]] = sext i16 [[IV_2]] to i32 44; CHECK-NEXT: [[ADD_2:%.*]] = add i32 [[ADD_1]], [[IV_2_EXT]] 45; CHECK-NEXT: [[C_4:%.*]] = icmp ult i32 [[ADD_2]], 1 46; CHECK-NEXT: [[IV_2_NEXT]] = add i16 [[IV_2]], 1 47; CHECK-NEXT: br i1 [[C_4]], label [[EXIT_LOOPEXIT:%.*]], label [[LOOP_2_HEADER]], !llvm.loop [[LOOP2:![0-9]+]] 48; CHECK: loop.1.latch: 49; CHECK-NEXT: [[IV_1_NEXT]] = add i32 [[IV_1]], 1 50; CHECK-NEXT: br label [[LOOP_1_HEADER]] 51; CHECK: exit.loopexit: 52; CHECK-NEXT: br label [[EXIT:%.*]] 53; CHECK: exit.loopexit1: 54; CHECK-NEXT: br label [[EXIT]] 55; CHECK: exit: 56; CHECK-NEXT: ret void 57; 58entry: 59 br label %loop.1.header 60 61loop.1.header: 62 %iv.1 = phi i32 [ 0, %entry ], [ %iv.1.next, %loop.1.latch ] 63 %c.2 = icmp ugt i32 %iv.1, 10 64 br i1 %c.2, label %loop.2.header, label %exit 65 66loop.2.header: 67 %iv.2 = phi i16 [ 0, %loop.1.header ], [ %iv.2.next, %loop.2.latch ] 68 %c.3 = icmp slt i16 %iv.2, 18 69 br i1 %c.3, label %loop.2.latch, label %loop.1.latch 70 71loop.2.latch: 72 %add.1 = add i32 %N, %iv.1 73 %iv.2.ext = sext i16 %iv.2 to i32 74 %add.2 = add i32 %add.1, %iv.2.ext 75 %c.4 = icmp ult i32 %add.2, 1 76 %iv.2.next = add i16 %iv.2, 1 77 br i1 %c.4, label %exit, label %loop.2.header 78 79loop.1.latch: 80 %iv.1.next = add i32 %iv.1, 1 81 br label %loop.1.header 82 83exit: 84 ret void 85} 86