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