Generalize support for analyzing loops to include SLE/SGE loop exit conditions
[oota-llvm.git] / test / Analysis / ScalarEvolution / 2008-12-15-DontUseSDiv.ll
1 ; RUN: llvm-as < %s | opt -analyze -scalar-evolution |& grep {/u 5}
2
3 define i8 @foo0(i8 %i0) nounwind {
4 entry:
5         br label %bb1
6
7 bb:             ; preds = %bb1
8         %0 = add i8 %j.0, 1             ; <i8> [#uses=1]
9         %1 = add i8 %i.0, 5             ; <i8> [#uses=1]
10         br label %bb1
11
12 bb1:            ; preds = %bb, %entry
13         %j.0 = phi i8 [ 0, %entry ], [ %0, %bb ]                ; <i8> [#uses=2]
14         %i.0 = phi i8 [ %i0, %entry ], [ %1, %bb ]              ; <i8> [#uses=2]
15         %2 = icmp sgt i8 %i.0, 100              ; <i1> [#uses=1]
16         br i1 %2, label %return, label %bb
17
18 return:         ; preds = %bb1
19         ret i8 %j.0
20 }