1*7eea55fdSRamkumar Ramachandra; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 2*7eea55fdSRamkumar Ramachandra; RUN: opt -passes=loop-versioning -S %s | FileCheck %s 3*7eea55fdSRamkumar Ramachandra 4*7eea55fdSRamkumar Ramachandra; Callers should not call LoopVersioning on single-iteration loops, as it 5*7eea55fdSRamkumar Ramachandra; is very likely not profitable. 6*7eea55fdSRamkumar Ramachandra; LoopVersioning faithfully versions single-iteration loops when the stride 7*7eea55fdSRamkumar Ramachandra; is unknown. 8*7eea55fdSRamkumar Ramachandra 9*7eea55fdSRamkumar Ramachandradefine double @single_iteration_unknown_stride(i32 %x, ptr %y, i1 %cond) { 10*7eea55fdSRamkumar Ramachandra; CHECK-LABEL: define double @single_iteration_unknown_stride( 11*7eea55fdSRamkumar Ramachandra; CHECK-SAME: i32 [[X:%.*]], ptr [[Y:%.*]], i1 [[COND:%.*]]) { 12*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[ENTRY:.*:]] 13*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: br i1 [[COND]], label %[[NOLOOP_EXIT:.*]], label %[[LOOP_BODY_LVER_CHECK:.*]] 14*7eea55fdSRamkumar Ramachandra; CHECK: [[LOOP_BODY_LVER_CHECK]]: 15*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[SEXT7:%.*]] = sext i32 [[X]] to i64 16*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[GEP8:%.*]] = getelementptr i8, ptr [[Y]], i64 8 17*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[IDENT_CHECK:%.*]] = icmp ne i32 [[X]], 1 18*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: br i1 [[IDENT_CHECK]], label %[[LOOP_BODY_PH_LVER_ORIG:.*]], label %[[LOOP_BODY_PH:.*]] 19*7eea55fdSRamkumar Ramachandra; CHECK: [[LOOP_BODY_PH_LVER_ORIG]]: 20*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: br label %[[LOOP_BODY_LVER_ORIG:.*]] 21*7eea55fdSRamkumar Ramachandra; CHECK: [[LOOP_BODY_LVER_ORIG]]: 22*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[PHI_LVER_ORIG:%.*]] = phi i64 [ 0, %[[LOOP_BODY_PH_LVER_ORIG]] ], [ [[ADD_LVER_ORIG:%.*]], %[[LOOP_BODY_LVER_ORIG]] ] 23*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[MUL_LVER_ORIG:%.*]] = mul i64 [[PHI_LVER_ORIG]], [[SEXT7]] 24*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[GEP10_LVER_ORIG:%.*]] = getelementptr double, ptr [[GEP8]], i64 [[MUL_LVER_ORIG]] 25*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[LOAD11_LVER_ORIG:%.*]] = load double, ptr [[GEP10_LVER_ORIG]], align 8 26*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: store double [[LOAD11_LVER_ORIG]], ptr [[Y]], align 8 27*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[ADD_LVER_ORIG]] = add i64 [[PHI_LVER_ORIG]], 1 28*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[ICMP_LVER_ORIG:%.*]] = icmp eq i64 [[PHI_LVER_ORIG]], 0 29*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: br i1 [[ICMP_LVER_ORIG]], label %[[LOOP_EXIT_LOOPEXIT:.*]], label %[[LOOP_BODY_LVER_ORIG]] 30*7eea55fdSRamkumar Ramachandra; CHECK: [[LOOP_BODY_PH]]: 31*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: br label %[[LOOP_BODY:.*]] 32*7eea55fdSRamkumar Ramachandra; CHECK: [[LOOP_BODY]]: 33*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[PHI:%.*]] = phi i64 [ 0, %[[LOOP_BODY_PH]] ], [ [[ADD:%.*]], %[[LOOP_BODY]] ] 34*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[MUL:%.*]] = mul i64 [[PHI]], [[SEXT7]] 35*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[GEP10:%.*]] = getelementptr double, ptr [[GEP8]], i64 [[MUL]] 36*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[LOAD11:%.*]] = load double, ptr [[GEP10]], align 8 37*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: store double [[LOAD11]], ptr [[Y]], align 8 38*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[ADD]] = add i64 [[PHI]], 1 39*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[ICMP:%.*]] = icmp eq i64 [[PHI]], 0 40*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: br i1 [[ICMP]], label %[[LOOP_EXIT_LOOPEXIT1:.*]], label %[[LOOP_BODY]] 41*7eea55fdSRamkumar Ramachandra; CHECK: [[NOLOOP_EXIT]]: 42*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[SEXT:%.*]] = sext i32 [[X]] to i64 43*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[GEP:%.*]] = getelementptr double, ptr [[Y]], i64 [[SEXT]] 44*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[LOAD5:%.*]] = load double, ptr [[GEP]], align 8 45*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: ret double [[LOAD5]] 46*7eea55fdSRamkumar Ramachandra; CHECK: [[LOOP_EXIT_LOOPEXIT]]: 47*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: br label %[[LOOP_EXIT:.*]] 48*7eea55fdSRamkumar Ramachandra; CHECK: [[LOOP_EXIT_LOOPEXIT1]]: 49*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: br label %[[LOOP_EXIT]] 50*7eea55fdSRamkumar Ramachandra; CHECK: [[LOOP_EXIT]]: 51*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[SEXT2:%.*]] = sext i32 [[X]] to i64 52*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[GEP2:%.*]] = getelementptr double, ptr [[Y]], i64 [[SEXT2]] 53*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: [[LOAD6:%.*]] = load double, ptr [[GEP2]], align 8 54*7eea55fdSRamkumar Ramachandra; CHECK-NEXT: ret double [[LOAD6]] 55*7eea55fdSRamkumar Ramachandra; 56*7eea55fdSRamkumar Ramachandraentry: 57*7eea55fdSRamkumar Ramachandra br i1 %cond, label %noloop.exit, label %loop.ph 58*7eea55fdSRamkumar Ramachandra 59*7eea55fdSRamkumar Ramachandraloop.ph: ; preds = %entry 60*7eea55fdSRamkumar Ramachandra %sext7 = sext i32 %x to i64 61*7eea55fdSRamkumar Ramachandra %gep8 = getelementptr i8, ptr %y, i64 8 62*7eea55fdSRamkumar Ramachandra br label %loop.body 63*7eea55fdSRamkumar Ramachandra 64*7eea55fdSRamkumar Ramachandraloop.body: ; preds = %loop.body, %loop.ph 65*7eea55fdSRamkumar Ramachandra %iv = phi i64 [ 0, %loop.ph ], [ %iv.next, %loop.body ] 66*7eea55fdSRamkumar Ramachandra %mul = mul i64 %iv, %sext7 67*7eea55fdSRamkumar Ramachandra %gep10 = getelementptr double, ptr %gep8, i64 %mul 68*7eea55fdSRamkumar Ramachandra %load11 = load double, ptr %gep10, align 8 69*7eea55fdSRamkumar Ramachandra store double %load11, ptr %y, align 8 70*7eea55fdSRamkumar Ramachandra %iv.next = add i64 %iv, 1 71*7eea55fdSRamkumar Ramachandra %icmp = icmp eq i64 %iv, 0 72*7eea55fdSRamkumar Ramachandra br i1 %icmp, label %loop.exit, label %loop.body 73*7eea55fdSRamkumar Ramachandra 74*7eea55fdSRamkumar Ramachandranoloop.exit: ; preds = %entry 75*7eea55fdSRamkumar Ramachandra %sext = sext i32 %x to i64 76*7eea55fdSRamkumar Ramachandra %gep = getelementptr double, ptr %y, i64 %sext 77*7eea55fdSRamkumar Ramachandra %load5 = load double, ptr %gep, align 8 78*7eea55fdSRamkumar Ramachandra ret double %load5 79*7eea55fdSRamkumar Ramachandra 80*7eea55fdSRamkumar Ramachandraloop.exit: ; preds = %loop.body 81*7eea55fdSRamkumar Ramachandra %sext2 = sext i32 %x to i64 82*7eea55fdSRamkumar Ramachandra %gep2 = getelementptr double, ptr %y, i64 %sext2 83*7eea55fdSRamkumar Ramachandra %load6 = load double, ptr %gep2, align 8 84*7eea55fdSRamkumar Ramachandra ret double %load6 85*7eea55fdSRamkumar Ramachandra} 86