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