Expose Module::dump via C and Ocaml.
[oota-llvm.git] / test / Transforms / LoopStrengthReduce / 2005-09-12-UsesOutOutsideOfLoop.ll
1 ; RUN: llvm-upgrade < %s | llvm-as | opt -loop-reduce -disable-output
2
3 void %main() {
4 entry:
5         br label %loopentry.0
6
7 loopentry.0:            ; preds = %then.5, %entry
8         %arg_index.1.ph = phi int [ 1, %entry ], [ %arg_index.1.ph.be, %then.5 ]                ; <int> [#uses=1]
9         br bool false, label %no_exit.0, label %loopexit.0
10
11 no_exit.0:              ; preds = %loopentry.0
12         %arg_index.1.1 = add int 0, %arg_index.1.ph             ; <int> [#uses=2]
13         br bool false, label %then.i55, label %endif.i61
14
15 then.i55:               ; preds = %no_exit.0
16         br bool false, label %then.4, label %else.1
17
18 endif.i61:              ; preds = %no_exit.0
19         ret void
20
21 then.4:         ; preds = %then.i55
22         %tmp.19993 = add int %arg_index.1.1, 2          ; <int> [#uses=0]
23         ret void
24
25 else.1:         ; preds = %then.i55
26         br bool false, label %then.i86, label %loopexit.i97
27
28 then.i86:               ; preds = %else.1
29         ret void
30
31 loopexit.i97:           ; preds = %else.1
32         br bool false, label %then.5, label %else.2
33
34 then.5:         ; preds = %loopexit.i97
35         %arg_index.1.ph.be = add int %arg_index.1.1, 2          ; <int> [#uses=1]
36         br label %loopentry.0
37
38 else.2:         ; preds = %loopexit.i97
39         ret void
40
41 loopexit.0:             ; preds = %loopentry.0
42         ret void
43 }