Home | History | Annotate | Download | only in ScalarEvolution
      1 ; RUN: opt < %s -analyze -scalar-evolution \
      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 }
     22