test/Transforms/LoopIndexSplit/2009-03-30-undef.ll

   1 ; RUN: llvm-as < %s | opt -loop-index-split | llvm-dis | not grep undef
   2 define i32 @main() {
   3 entry:
   4         br label %header
   5
   6 header:
   7         %r = phi i32 [ 0, %entry ], [ %r3, %skip ]
   8         %i = phi i32 [ 0, %entry ], [ %i1, %skip ]
   9         %i99 = add i32 %i, 99
  10         %cond = icmp eq i32 %i99, 3
  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 }