Lines Matching full:div

11 ; CHECK-NEXT:  Loop %header: backedge-taken count is (-1 + %n.div.2)<nsw>
13 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (-1 + %n.div.2)<nsw>
18   %n.div.2 = sdiv i32 %n, 2
25   %exitcond = icmp sgt i32 %n.div.2, %indvar.next
36 ; CHECK-NEXT:  Loop %header: backedge-taken count is (-1 + (1 smax %n.div.2))<nsw>
38 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (-1 + (1 smax %n.div.2))<nsw>
43   %n.div.2 = sdiv i32 %n, 2
50   %exitcond = icmp sgt i32 %n.div.2, %indvar.next
61 ; CHECK-NEXT:  Loop %header: backedge-taken count is (-1 + %n.div.2)<nsw>
63 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (-1 + %n.div.2)<nsw>
68   %n.div.2 = sdiv i32 %n, 2
75   %exitcond = icmp sgt i32 %n.div.2, %indvar.next
86 ; CHECK-NEXT:  Loop %header: backedge-taken count is (-1 + (1 smax %n.div.2))<nsw>
88 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (-1 + (1 smax %n.div.2))<nsw>
93   %n.div.2 = sdiv i32 %n, 2
100   %exitcond = icmp sgt i32 %n.div.2, %indvar.next
111 ; CHECK-NEXT:  Loop %header: backedge-taken count is (1 + %n.div.2)<nsw>
113 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (1 + %n.div.2)<nsw>
118   %n.div.2 = sdiv i32 %n, 2
125   %exitcond = icmp sge i32 %n.div.2, %indvar
136 ; CHECK-NEXT:  Loop %header: backedge-taken count is (0 smax (1 + %n.div.2)<nsw>)
138 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (0 smax (1 + %n.div.2)<nsw>)
143   %n.div.2 = sdiv i32 %n, 2
150   %exitcond = icmp sge i32 %n.div.2, %indvar
161 ; CHECK-NEXT:  Loop %header: backedge-taken count is (1 + %n.div.2)<nsw>
163 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (1 + %n.div.2)<nsw>
168   %n.div.2 = sdiv i32 %n, 2
175   %exitcond = icmp sge i32 %n.div.2, %indvar
186 ; CHECK-NEXT:  Loop %header: backedge-taken count is (0 smax (1 + %n.div.2)<nsw>)
188 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (0 smax (1 + %n.div.2)<nsw>)
193   %n.div.2 = sdiv i32 %n, 2
200   %exitcond = icmp sge i32 %n.div.2, %indvar
211 ; CHECK-NEXT:  Loop %header: backedge-taken count is (-1 + (sext i32 %n.div.2 to i64))<nsw>
213 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (-1 + (sext i32 %n.div.2 to i64))<nsw>
218   %n.div.2 = sdiv i32 %n, 2
219   %n.div.2.ext = sext i32 %n.div.2 to i64
226   %exitcond = icmp sgt i64 %n.div.2.ext, %indvar.next
237 ; CHECK-NEXT:  Loop %header: backedge-taken count is (-1 + (1 smax (sext i32 %n.div.2 to i64)))<nsw>
239 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (-1 + (1 smax (sext i32 %n.div.2 to i64)))<nsw>
244   %n.div.2 = sdiv i32 %n, 2
245   %n.div.2.ext = sext i32 %n.div.2 to i64
252   %exitcond = icmp sgt i64 %n.div.2.ext, %indvar.next
263 ; CHECK-NEXT:  Loop %header: backedge-taken count is (-1 + (sext i32 %n.div.2 to i64))<nsw>
265 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (-1 + (sext i32 %n.div.2 to i64))<nsw>
270   %n.div.2 = sdiv i32 %n, 2
271   %n.div.2.ext = sext i32 %n.div.2 to i64
278   %exitcond = icmp sgt i64 %n.div.2.ext, %indvar.next
289 ; CHECK-NEXT:  Loop %header: backedge-taken count is (-1 + (1 smax (sext i32 %n.div.2 to i64)))<nsw>
291 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (-1 + (1 smax (sext i32 %n.div.2 to i64)))<nsw>
296   %n.div.2 = sdiv i32 %n, 2
297   %n.div.2.ext = sext i32 %n.div.2 to i64
304   %exitcond = icmp sgt i64 %n.div.2.ext, %indvar.next
315 ; CHECK-NEXT:  Loop %header: backedge-taken count is (1 + (sext i32 %n.div.2 to i64))<nsw>
317 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (1 + (sext i32 %n.div.2 to i64))<nsw>
322   %n.div.2 = sdiv i32 %n, 2
323   %n.div.2.ext = sext i32 %n.div.2 to i64
330   %exitcond = icmp sge i64 %n.div.2.ext, %indvar
341 ; CHECK-NEXT:  Loop %header: backedge-taken count is (0 smax (1 + (sext i32 %n.div.2 to i64))<nsw>)
343 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (0 smax (1 + (sext i32 %n.div.2 to i64))<nsw>)
348   %n.div.2 = sdiv i32 %n, 2
349   %n.div.2.ext = sext i32 %n.div.2 to i64
356   %exitcond = icmp sge i64 %n.div.2.ext, %indvar
367 ; CHECK-NEXT:  Loop %header: backedge-taken count is (1 + (sext i32 %n.div.2 to i64))<nsw>
369 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (1 + (sext i32 %n.div.2 to i64))<nsw>
374   %n.div.2 = sdiv i32 %n, 2
375   %n.div.2.ext = sext i32 %n.div.2 to i64
382   %exitcond = icmp sge i64 %n.div.2.ext, %indvar
393 ; CHECK-NEXT:  Loop %header: backedge-taken count is (0 smax (1 + (sext i32 %n.div.2 to i64))<nsw>)
395 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (0 smax (1 + (sext i32 %n.div.2 to i64))<nsw>)
400   %n.div.2 = sdiv i32 %n, 2
401   %n.div.2.ext = sext i32 %n.div.2 to i64
408   %exitcond = icmp sge i64 %n.div.2.ext, %indvar
419 ; CHECK-NEXT:  Loop %header: backedge-taken count is (1 + %n.div.2)<nuw><nsw>
421 ; CHECK-NEXT:  Loop %header: symbolic max backedge-taken count is (1 + %n.div.2)<nuw><nsw>
426   %n.div.2 = sdiv i32 %n, 2
434   %minus.n.div.2 = sub nsw i32 0, %n.div.2
435   %exitcond = icmp sge i32 %minus.indvar, %minus.n.div.2
452   %n.div.2 = sdiv i32 %n, 2
460   %minus.n.div.2 = sub nsw i32 0, %n.div.2
461   %exitcond = icmp sge i32 %minus.n.div.2, %minus.indvar