test/Analysis/ScalarEvolution/2008-11-15-CubicOOM.ll

   1 ; RUN: opt < %s -analyze -scalar-evolution
   2 ; PR2602
   3
   4 define i32 @a() nounwind  {
   5 entry:
   6         br label %bb
   7
   8 bb:             ; preds = %bb, %entry
   9         %w.0 = phi i32 [ 0, %entry ], [ %tmp, %bb ]             ; <i32> [#uses=2]
  10         %e.0 = phi i32 [ 0, %entry ], [ %e.1, %bb ]             ; <i32> [#uses=2]
  11         %w.1 = add i32 0, %w.0          ; <i32>:0 [#uses=1]
  12         %tmp = add i32 %e.0, %w.0               ; <i32>:1 [#uses=1]
  13         %e.1 = add i32 %e.0, 1          ; <i32>:2 [#uses=1]
  14         %cond = icmp eq i32 %w.1, -1            ; <i1>:3 [#uses=1]
  15         br i1 %cond, label %return, label %bb
  16
  17 return:         ; preds = %bb
  18         ret i32 undef
  19 }