[InstCombine] Signed saturation tests. NFC
[llvm-complete.git] / test / Transforms / CodeExtractor / 2004-03-17-MissedLiveIns.ll
blob01fe54be29ac7dddea17dca5a7820a06eb524ffe
1 ; RUN: opt < %s -loop-extract -disable-output
3 define void @sendMTFValues() {
4 entry:
5         br i1 false, label %then.1, label %endif.1
7 then.1:         ; preds = %entry
8         br i1 false, label %loopentry.6.preheader, label %else.0
10 endif.1:                ; preds = %entry
11         ret void
13 else.0:         ; preds = %then.1
14         ret void
16 loopentry.6.preheader:          ; preds = %then.1
17         br i1 false, label %endif.7.preheader, label %loopexit.9
19 endif.7.preheader:              ; preds = %loopentry.6.preheader
20         %tmp.183 = add i32 0, -1                ; <i32> [#uses=1]
21         br label %endif.7
23 endif.7:                ; preds = %loopexit.15, %endif.7.preheader
24         br i1 false, label %loopentry.10, label %loopentry.12
26 loopentry.10:           ; preds = %endif.7
27         br label %loopentry.12
29 loopentry.12:           ; preds = %loopentry.10, %endif.7
30         %ge.2.1 = phi i32 [ 0, %loopentry.10 ], [ %tmp.183, %endif.7 ]          ; <i32> [#uses=0]
31         br i1 false, label %loopexit.14, label %no_exit.11
33 no_exit.11:             ; preds = %loopentry.12
34         ret void
36 loopexit.14:            ; preds = %loopentry.12
37         br i1 false, label %loopexit.15, label %no_exit.14
39 no_exit.14:             ; preds = %loopexit.14
40         ret void
42 loopexit.15:            ; preds = %loopexit.14
43         br i1 false, label %endif.7, label %loopexit.9
45 loopexit.9:             ; preds = %loopexit.15, %loopentry.6.preheader
46         ret void