Lines Matching refs:be

7 ; Indvars should be able to simplify simple comparisons involving
225   %iv = phi i32 [ 0, %entry ], [ %iv.inc, %be ]
229   br i1 %iv.cmp, label %be, label %leave
230 ; CHECK: br i1 true, label %be, label %leave
232  be:
234   %be.cond = icmp ult i32 %iv, %len.sub.1
235   br i1 %be.cond, label %loop, label %leave
253   %iv = phi i32 [ 0, %entry ], [ %iv.inc, %be ]
257   br i1 %iv.cmp, label %be, label %leave
258 ; CHECK: br i1 true, label %be, label %leave
260  be:
262   %be.cond = icmp slt i32 %iv, %len.sub.1
263   br i1 %be.cond, label %loop, label %leave
279   %iv = phi i32 [ 0, %entry ], [ %iv.inc, %be ]
283   br i1 %iv.cmp, label %be, label %leave
284 ; CHECK: br i1 true, label %be, label %leave
286  be:
288   %be.cond = icmp ult i32 %iv, %len
289   br i1 %be.cond, label %loop, label %leave
307   %iv = phi i32 [ 0, %entry ], [ %iv.inc, %be ]
312   br i1 %iv.cmp, label %be, label %leave
313 ; CHECK: br i1 true, label %be, label %leave
315  be:
317   %be.cond = icmp slt i32 %iv, %len
318   br i1 %be.cond, label %loop, label %leave
336   %iv.2 = phi i32 [ 0, %entry ], [ %iv.2.inc, %be ]
337   %iv = phi i32 [ -6, %entry ], [ %iv.inc, %be ]
346 ; CHECK: br i1 true, label %be, label %leave
347   br i1 %iv.cmp, label %be, label %leave
349  be:
350 ; CHECK: be:
352   %be.cond = icmp slt i32 %iv.2, %len
353   br i1 %be.cond, label %loop, label %leave
406   %iv = phi i32 [ 0, %entry ], [ %iv.inc, %be ]
409   br i1 %range.check, label %be, label %leave
410 ; CHECK:   br i1 true, label %be, label %leave.loopexit
411 ; CHECK: be:
413  be:
415   %be.cond = icmp slt i32 %iv.inc, %length
416   br i1 %be.cond, label %loop, label %leave
424 ; %range.check cannot be proved to be always true.
434   %iv = phi i32 [ 0, %entry ], [ %iv.inc, %be ]
437   br i1 %range.check, label %be, label %leave
438 ; CHECK:   br i1 %range.check, label %be, label %leave.loopexit
439 ; CHECK: be:
441  be:
443   %be.cond = icmp slt i32 %iv.inc, %length
444   br i1 %be.cond, label %loop, label %leave
463   %iv = phi i32 [ 0, %entry ], [ %iv.inc, %be ]
466   br i1 %range.check, label %be, label %leave
467 ; CHECK:   br i1 true, label %be, label %leave.loopexit
468 ; CHECK: be:
470  be:
472   %be.cond = icmp slt i32 %iv.inc, %lim
473   br i1 %be.cond, label %loop, label %leave
492   %iv = phi i32 [ 0, %entry ], [ %iv.inc, %be ]
495   br i1 %range.check, label %be, label %leave
496 ; CHECK:   br i1 true, label %be, label %leave.loopexit
497 ; CHECK: be:
499  be:
501   %be.cond = icmp sle i32 %iv.inc, %lim
502   br i1 %be.cond, label %loop, label %leave
517   %iv = phi i32 [ 4, %entry ], [ %iv.inc, %be ]
520   br i1 %range.check, label %be, label %leave
521 ; CHECK:   br i1 true, label %be, label %leave.loopexit
522 ; CHECK: be:
524  be:
526   %be.cond = icmp slt i32 %iv.inc, %length
527   br i1 %be.cond, label %loop, label %leave
542   %iv = phi i32 [ %init, %entry ], [ %iv.dec, %be ]
545   br i1 %range.check, label %be, label %leave
546 ; CHECK:   br i1 true, label %be, label %leave.loopexit
547 ; CHECK: be:
549  be:
551   %be.cond = icmp sgt i32 %iv.dec, 4
552   br i1 %be.cond, label %loop, label %leave