test/Transforms/LoopIndexSplit/PR3913.ll

   1 ; RUN: opt < %s -loop-index-split -S | not grep "icmp ne"
   2
   3 define i32 @main() {
   4 entry:
   5         br label %header
   6
   7 header:
   8         %r = phi i32 [ 0, %entry ], [ %r3, %skip ]
   9         %i = phi i32 [ 0, %entry ], [ %i1, %skip ]
  10         %cond = icmp eq i32 %i, 99
  11         br i1 %cond, label %body, label %skip
  12
  13 body:
  14         br label %skip
  15
  16 skip:
  17         %r3 = phi i32 [ %r, %header ], [ 3, %body ]
  18         %i1 = add i32 %i, 1
  19         %exitcond = icmp eq i32 %i1, 10
  20         br i1 %exitcond, label %exit, label %header
  21
  22 exit:
  23         ret i32 %r3
  24 }