Home | History | Annotate | Download | only in ScalarEvolution
      1 ; RUN: opt < %s -analyze -scalar-evolution |& grep {/u 5}
      2 ; XFAIL: *
      3 
      4 define i8 @foo0(i8 %i0) nounwind {
      5 entry:
      6 	br label %bb1
      7 
      8 bb:		; preds = %bb1
      9 	%0 = add i8 %j.0, 1		; <i8> [#uses=1]
     10 	%1 = add i8 %i.0, 5		; <i8> [#uses=1]
     11 	br label %bb1
     12 
     13 bb1:		; preds = %bb, %entry
     14 	%j.0 = phi i8 [ 0, %entry ], [ %0, %bb ]		; <i8> [#uses=2]
     15 	%i.0 = phi i8 [ %i0, %entry ], [ %1, %bb ]		; <i8> [#uses=2]
     16 	%2 = icmp sgt i8 %i.0, 100		; <i1> [#uses=1]
     17 	br i1 %2, label %return, label %bb
     18 
     19 return:		; preds = %bb1
     20 	ret i8 %j.0
     21 }
     22