Fill in some holes in ScalarEvolution's loop iteration condition
[oota-llvm.git] / test / Transforms / JumpThreading / 2009-01-19-InfSwitchLoop.ll
1 ; RUN: llvm-as < %s | opt -jump-threading | llvm-dis
2 ; PR3353
3
4 define i32 @test(i8 %X) {
5 entry:
6         %Y = add i8 %X, 1
7         %Z = add i8 %Y, 1
8         br label %bb33.i
9
10 bb33.i:         ; preds = %bb33.i, %bb32.i
11         switch i8 %Y, label %bb32.i [
12                 i8 39, label %bb35.split.i
13                 i8 13, label %bb33.i
14         ]
15
16 bb35.split.i:
17         ret i32 5
18 bb32.i:
19         ret i32 1
20 }
21