1; RUN: opt -indvars -S < %s | FileCheck %s 2 3target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64" 4 5@main.flags = internal global [8193 x i8] zeroinitializer, align 1 ; <[8193 x i8]*> [#uses=5] 6@.str = private constant [11 x i8] c"Count: %d\0A\00" ; <[11 x i8]*> [#uses=1] 7 8; Indvars shouldn't emit a udiv here, because there's no udiv in the 9; original code. This comes from SingleSource/Benchmarks/Shootout/sieve.c. 10 11; CHECK-LABEL: @main( 12; CHECK-NOT: div 13 14define i32 @main(i32 %argc, i8** nocapture %argv) nounwind { 15entry: 16 %cmp = icmp eq i32 %argc, 2 ; <i1> [#uses=1] 17 br i1 %cmp, label %cond.true, label %while.cond.preheader 18 19cond.true: ; preds = %entry 20 %arrayidx = getelementptr inbounds i8*, i8** %argv, i64 1 ; <i8**> [#uses=1] 21 %tmp2 = load i8*, i8** %arrayidx ; <i8*> [#uses=1] 22 %call = tail call i32 @atoi(i8* %tmp2) nounwind readonly ; <i32> [#uses=1] 23 br label %while.cond.preheader 24 25while.cond.preheader: ; preds = %entry, %cond.true 26 %NUM.0.ph = phi i32 [ %call, %cond.true ], [ 170000, %entry ] ; <i32> [#uses=2] 27 %tobool18 = icmp eq i32 %NUM.0.ph, 0 ; <i1> [#uses=1] 28 br i1 %tobool18, label %while.end, label %bb.nph30 29 30while.cond.loopexit: ; preds = %for.cond12.while.cond.loopexit_crit_edge, %for.cond12.loopexit 31 %count.2.lcssa = phi i32 [ %count.1.lcssa, %for.cond12.while.cond.loopexit_crit_edge ], [ 0, %for.cond12.loopexit ] ; <i32> [#uses=1] 32 br label %while.cond 33 34while.cond: ; preds = %while.cond.loopexit 35 %tobool = icmp eq i32 %dec19, 0 ; <i1> [#uses=1] 36 br i1 %tobool, label %while.cond.while.end_crit_edge, label %for.cond.preheader 37 38while.cond.while.end_crit_edge: ; preds = %while.cond 39 %count.2.lcssa.lcssa = phi i32 [ %count.2.lcssa, %while.cond ] ; <i32> [#uses=1] 40 br label %while.end 41 42bb.nph30: ; preds = %while.cond.preheader 43 br label %for.cond.preheader 44 45for.cond.preheader: ; preds = %bb.nph30, %while.cond 46 %dec19.in = phi i32 [ %NUM.0.ph, %bb.nph30 ], [ %dec19, %while.cond ] ; <i32> [#uses=1] 47 %dec19 = add i32 %dec19.in, -1 ; <i32> [#uses=2] 48 br i1 true, label %bb.nph, label %for.cond12.loopexit 49 50for.cond: ; preds = %for.body 51 %cmp8 = icmp slt i64 %inc, 8193 ; <i1> [#uses=1] 52 br i1 %cmp8, label %for.body, label %for.cond.for.cond12.loopexit_crit_edge 53 54for.cond.for.cond12.loopexit_crit_edge: ; preds = %for.cond 55 br label %for.cond12.loopexit 56 57bb.nph: ; preds = %for.cond.preheader 58 br label %for.body 59 60for.body: ; preds = %bb.nph, %for.cond 61 %i.02 = phi i64 [ 2, %bb.nph ], [ %inc, %for.cond ] ; <i64> [#uses=2] 62 %arrayidx10 = getelementptr inbounds [8193 x i8], [8193 x i8]* @main.flags, i64 0, i64 %i.02 ; <i8*> [#uses=1] 63 store i8 1, i8* %arrayidx10 64 %inc = add nsw i64 %i.02, 1 ; <i64> [#uses=2] 65 br label %for.cond 66 67for.cond12.loopexit: ; preds = %for.cond.for.cond12.loopexit_crit_edge, %for.cond.preheader 68 br i1 true, label %bb.nph16, label %while.cond.loopexit 69 70for.cond12: ; preds = %for.inc35 71 %cmp14 = icmp slt i64 %inc37, 8193 ; <i1> [#uses=1] 72 br i1 %cmp14, label %for.body15, label %for.cond12.while.cond.loopexit_crit_edge 73 74for.cond12.while.cond.loopexit_crit_edge: ; preds = %for.cond12 75 %count.1.lcssa = phi i32 [ %count.1, %for.cond12 ] ; <i32> [#uses=1] 76 br label %while.cond.loopexit 77 78bb.nph16: ; preds = %for.cond12.loopexit 79 br label %for.body15 80 81for.body15: ; preds = %bb.nph16, %for.cond12 82 %count.212 = phi i32 [ 0, %bb.nph16 ], [ %count.1, %for.cond12 ] ; <i32> [#uses=2] 83 %i.17 = phi i64 [ 2, %bb.nph16 ], [ %inc37, %for.cond12 ] ; <i64> [#uses=4] 84 %arrayidx17 = getelementptr inbounds [8193 x i8], [8193 x i8]* @main.flags, i64 0, i64 %i.17 ; <i8*> [#uses=1] 85 %tmp18 = load i8, i8* %arrayidx17 ; <i8> [#uses=1] 86 %tobool19 = icmp eq i8 %tmp18, 0 ; <i1> [#uses=1] 87 br i1 %tobool19, label %for.inc35, label %if.then 88 89if.then: ; preds = %for.body15 90 %add = shl i64 %i.17, 1 ; <i64> [#uses=2] 91 %cmp243 = icmp slt i64 %add, 8193 ; <i1> [#uses=1] 92 br i1 %cmp243, label %bb.nph5, label %for.end32 93 94for.cond22: ; preds = %for.body25 95 %cmp24 = icmp slt i64 %add31, 8193 ; <i1> [#uses=1] 96 br i1 %cmp24, label %for.body25, label %for.cond22.for.end32_crit_edge 97 98for.cond22.for.end32_crit_edge: ; preds = %for.cond22 99 br label %for.end32 100 101bb.nph5: ; preds = %if.then 102 br label %for.body25 103 104for.body25: ; preds = %bb.nph5, %for.cond22 105 %k.04 = phi i64 [ %add, %bb.nph5 ], [ %add31, %for.cond22 ] ; <i64> [#uses=2] 106 %arrayidx27 = getelementptr inbounds [8193 x i8], [8193 x i8]* @main.flags, i64 0, i64 %k.04 ; <i8*> [#uses=1] 107 store i8 0, i8* %arrayidx27 108 %add31 = add nsw i64 %k.04, %i.17 ; <i64> [#uses=2] 109 br label %for.cond22 110 111for.end32: ; preds = %for.cond22.for.end32_crit_edge, %if.then 112 %inc34 = add nsw i32 %count.212, 1 ; <i32> [#uses=1] 113 br label %for.inc35 114 115for.inc35: ; preds = %for.body15, %for.end32 116 %count.1 = phi i32 [ %inc34, %for.end32 ], [ %count.212, %for.body15 ] ; <i32> [#uses=2] 117 %inc37 = add nsw i64 %i.17, 1 ; <i64> [#uses=2] 118 br label %for.cond12 119 120while.end: ; preds = %while.cond.while.end_crit_edge, %while.cond.preheader 121 %count.0.lcssa = phi i32 [ %count.2.lcssa.lcssa, %while.cond.while.end_crit_edge ], [ 0, %while.cond.preheader ] ; <i32> [#uses=1] 122 %call40 = tail call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([11 x i8], [11 x i8]* @.str, i64 0, i64 0), i32 %count.0.lcssa) nounwind ; <i32> [#uses=0] 123 ret i32 0 124} 125 126declare i32 @atoi(i8* nocapture) nounwind readonly 127 128declare i32 @printf(i8* nocapture, ...) nounwind 129 130; IndVars shouldn't be afraid to emit a udiv here, since there's a udiv in 131; the original code. 132 133; CHECK-LABEL: @foo( 134; CHECK: for.body.preheader: 135; CHECK-NEXT: udiv 136 137define void @foo(double* %p, i64 %n) nounwind { 138entry: 139 %div0 = udiv i64 %n, 7 ; <i64> [#uses=1] 140 %div1 = add i64 %div0, 1 141 %cmp2 = icmp ult i64 0, %div1 ; <i1> [#uses=1] 142 br i1 %cmp2, label %for.body.preheader, label %for.end 143 144for.body.preheader: ; preds = %entry 145 br label %for.body 146 147for.body: ; preds = %for.body.preheader, %for.body 148 %i.03 = phi i64 [ %inc, %for.body ], [ 0, %for.body.preheader ] ; <i64> [#uses=2] 149 %arrayidx = getelementptr inbounds double, double* %p, i64 %i.03 ; <double*> [#uses=1] 150 store double 0.000000e+00, double* %arrayidx 151 %inc = add i64 %i.03, 1 ; <i64> [#uses=2] 152 %divx = udiv i64 %n, 7 ; <i64> [#uses=1] 153 %div = add i64 %divx, 1 154 %cmp = icmp ult i64 %inc, %div ; <i1> [#uses=1] 155 br i1 %cmp, label %for.body, label %for.end.loopexit 156 157for.end.loopexit: ; preds = %for.body 158 br label %for.end 159 160for.end: ; preds = %for.end.loopexit, %entry 161 ret void 162} 163