test/Transforms/LoopStrengthReduce/exit_compare_live_range.ll

   1 ; Make sure that the compare instruction occurs after the increment to avoid
   2 ; having overlapping live ranges that result in copies.  We want the setcc
   3 ; instruction immediately before the conditional branch.
   4 ;
   5 ; RUN: llvm-as < %s | opt -loop-reduce | llvm-dis | \
   6 ; RUN:    %prcontext {br i1} 1 | grep icmp
   7
   8 define void @foo(float* %D, i32 %E) {
   9 entry:
  10         br label %no_exit
  11 no_exit:                ; preds = %no_exit, %entry
  12         %indvar = phi i32 [ 0, %entry ], [ %indvar.next, %no_exit ]             ; <i32> [#uses=1]
  13         volatile store float 0.000000e+00, float* %D
  14         %indvar.next = add i32 %indvar, 1               ; <i32> [#uses=2]
  15         %exitcond = icmp eq i32 %indvar.next, %E                ; <i1> [#uses=1]
  16         br i1 %exitcond, label %loopexit, label %no_exit
  17 loopexit:               ; preds = %no_exit
  18         ret void
  19 }
  20