[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Analysis / ScalarEvolution / 2008-12-15-DontUseSDiv.ll
blob70588bc0574e890f1a1b7bd3603391808972a7b0
1 ; RUN: opt < %s -analyze -scalar-evolution 2>&1 | FileCheck %s
3 ; CHECK: /u 5
5 define i8 @foo0(i8 %i0) nounwind {
6 entry:
7         br label %bb1
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
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
20 return:         ; preds = %bb1
21         ret i8 %j.0