test/Transforms/LoopVectorize/2012-10-20-infloop.ll

   1 ; RUN: opt < %s  -loop-vectorize -force-vector-width=4 -dce
   2
   3 ; Check that we don't fall into an infinite loop.
   4 define void @test() nounwind {
   5 entry:
   6  br label %for.body
   7
   8 for.body:
   9  %0 = phi i32 [ 1, %entry ], [ 0, %for.body ]
  10  br label %for.body
  11 }
  12
  13
  14
  15 define void @test2() nounwind {
  16 entry:
  17  br label %for.body
  18
  19 for.body:                                         ; preds = %for.body, %entry
  20  %indvars.iv47 = phi i64 [ 0, %entry ], [ %indvars.iv.next48, %for.body ]
  21  %0 = phi i32 [ 1, %entry ], [ 0, %for.body ]
  22  %indvars.iv.next48 = add i64 %indvars.iv47, 1
  23  br i1 undef, label %for.end, label %for.body
  24
  25 for.end:                                          ; preds = %for.body
  26  unreachable
  27 }