[InstCombine] Signed saturation patterns
[llvm-core.git] / test / Transforms / LoopStrengthReduce / 2005-08-15-AddRecIV.ll
blob7ee1e63ced0fb1896051160a2cab16a828946686
1 ; RUN: opt < %s -loop-reduce -disable-output
3 define void @try_swap() {
4 entry:
5         br i1 false, label %cond_continue.0.i, label %cond_false.0.i
6 cond_false.0.i:         ; preds = %entry
7         ret void
8 cond_continue.0.i:              ; preds = %entry
9         br i1 false, label %cond_continue.1.i, label %cond_false.1.i
10 cond_false.1.i:         ; preds = %cond_continue.0.i
11         ret void
12 cond_continue.1.i:              ; preds = %cond_continue.0.i
13         br i1 false, label %endif.3.i, label %else.0.i
14 endif.3.i:              ; preds = %cond_continue.1.i
15         br i1 false, label %my_irand.exit82, label %endif.0.i62
16 else.0.i:               ; preds = %cond_continue.1.i
17         ret void
18 endif.0.i62:            ; preds = %endif.3.i
19         ret void
20 my_irand.exit82:                ; preds = %endif.3.i
21         br i1 false, label %else.2, label %then.4
22 then.4:         ; preds = %my_irand.exit82
23         ret void
24 else.2:         ; preds = %my_irand.exit82
25         br i1 false, label %find_affected_nets.exit, label %loopentry.1.i107.outer.preheader
26 loopentry.1.i107.outer.preheader:               ; preds = %else.2
27         ret void
28 find_affected_nets.exit:                ; preds = %else.2
29         br i1 false, label %save_region_occ.exit, label %loopentry.1
30 save_region_occ.exit:           ; preds = %find_affected_nets.exit
31         br i1 false, label %no_exit.1.preheader, label %loopexit.1
32 loopentry.1:            ; preds = %find_affected_nets.exit
33         ret void
34 no_exit.1.preheader:            ; preds = %save_region_occ.exit
35         ret void
36 loopexit.1:             ; preds = %save_region_occ.exit
37         br i1 false, label %then.10, label %loopentry.3
38 then.10:                ; preds = %loopexit.1
39         ret void
40 loopentry.3:            ; preds = %endif.16, %loopexit.1
41         %indvar342 = phi i32 [ %indvar.next343, %endif.16 ], [ 0, %loopexit.1 ]         ; <i32> [#uses=2]
42         br i1 false, label %loopexit.3, label %endif.16
43 endif.16:               ; preds = %loopentry.3
44         %indvar.next343 = add i32 %indvar342, 1         ; <i32> [#uses=1]
45         br label %loopentry.3
46 loopexit.3:             ; preds = %loopentry.3
47         br label %loopentry.4
48 loopentry.4:            ; preds = %loopentry.4, %loopexit.3
49         %indvar340 = phi i32 [ 0, %loopexit.3 ], [ %indvar.next341, %loopentry.4 ]              ; <i32> [#uses=2]
50         %tmp. = add i32 %indvar340, %indvar342          ; <i32> [#uses=1]
51         %tmp.526 = load i32*, i32** null                ; <i32*> [#uses=1]
52         %gep.upgrd.1 = zext i32 %tmp. to i64            ; <i64> [#uses=1]
53         %tmp.528 = getelementptr i32, i32* %tmp.526, i64 %gep.upgrd.1           ; <i32*> [#uses=1]
54         store i32 0, i32* %tmp.528
55         %indvar.next341 = add i32 %indvar340, 1         ; <i32> [#uses=1]
56         br label %loopentry.4