[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Analysis / ScalarEvolution / 2008-07-19-WrappingIV.ll
blob82b9d560425e05a37ead77f323247fe0a5f1be9c
1 ; RUN: opt < %s -analyze -scalar-evolution -scalar-evolution-max-iterations=0 | FileCheck %s
2 ; PR2088
4 ; CHECK: backedge-taken count is 113
6 define void @fun() {
7 entry:
8         br label %loop
9 loop:
10         %i = phi i8 [ 0, %entry ], [ %i.next, %loop ]
11         %i.next = add i8 %i, 18
12         %cond = icmp ne i8 %i.next, 4
13         br i1 %cond, label %loop, label %exit
14 exit:
15         ret void