test/Analysis/ScalarEvolution/2007-07-15-NegativeStride.ll

   1 ; RUN: opt < %s -analyze -scalar-evolution -disable-output \
   2 ; RUN:   -scalar-evolution-max-iterations=0 | grep {Loop bb: backedge-taken count is 100}
   3 ; PR1533
   4
   5 @array = weak global [101 x i32] zeroinitializer, align 32              ; <[100 x i32]*> [#uses=1]
   6
   7 define void @loop(i32 %x) {
   8 entry:
   9         br label %bb
  10
  11 bb:             ; preds = %bb, %entry
  12         %i.01.0 = phi i32 [ 100, %entry ], [ %tmp4, %bb ]               ; <i32> [#uses=2]
  13         %tmp1 = getelementptr [101 x i32]* @array, i32 0, i32 %i.01.0           ; <i32*> [#uses=1]
  14         store i32 %x, i32* %tmp1
  15         %tmp4 = add i32 %i.01.0, -1             ; <i32> [#uses=2]
  16         %tmp7 = icmp sgt i32 %tmp4, -1          ; <i1> [#uses=1]
  17         br i1 %tmp7, label %bb, label %return
  18
  19 return:         ; preds = %bb
  20         ret void
  21 }