[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / CodeGen / PowerPC / 2009-11-15-ProcImpDefsBug.ll
blob8b2bb08deff203dce0c9279d9a16f3d39244e68a
1 ; RUN: llc < %s -mtriple=powerpc-unknown-linux-gnu
3 define void @gcov_exit() nounwind {
4 entry:
5   br i1 undef, label %return, label %bb.nph341
7 bb.nph341:                                        ; preds = %entry
8   br label %bb25
10 bb25:                                             ; preds = %read_fatal, %bb.nph341
11   br i1 undef, label %bb49.1, label %bb48
13 bb48:                                             ; preds = %bb25
14   br label %bb49.1
16 bb51:                                             ; preds = %bb48.4, %bb49.3
17   switch i32 undef, label %bb58 [
18     i32 0, label %rewrite
19     i32 1734567009, label %bb59
20   ]
22 bb58:                                             ; preds = %bb51
23   br label %read_fatal
25 bb59:                                             ; preds = %bb51
26   br i1 undef, label %bb60, label %bb3.i156
28 bb3.i156:                                         ; preds = %bb59
29   br label %read_fatal
31 bb60:                                             ; preds = %bb59
32   br i1 undef, label %bb78.preheader, label %rewrite
34 bb78.preheader:                                   ; preds = %bb60
35   br i1 undef, label %bb62, label %bb80
37 bb62:                                             ; preds = %bb78.preheader
38   br i1 undef, label %bb64, label %read_mismatch
40 bb64:                                             ; preds = %bb62
41   br i1 undef, label %bb65, label %read_mismatch
43 bb65:                                             ; preds = %bb64
44   br i1 undef, label %bb75, label %read_mismatch
46 read_mismatch:                                    ; preds = %bb98, %bb119.preheader, %bb72, %bb71, %bb65, %bb64, %bb62
47   br label %read_fatal
49 bb71:                                             ; preds = %bb75
50   br i1 undef, label %bb72, label %read_mismatch
52 bb72:                                             ; preds = %bb71
53   br i1 undef, label %bb73, label %read_mismatch
55 bb73:                                             ; preds = %bb72
56   unreachable
58 bb74:                                             ; preds = %bb75
59   br label %bb75
61 bb75:                                             ; preds = %bb74, %bb65
62   br i1 undef, label %bb74, label %bb71
64 bb80:                                             ; preds = %bb78.preheader
65   unreachable
67 read_fatal:                                       ; preds = %read_mismatch, %bb3.i156, %bb58
68   br i1 undef, label %return, label %bb25
70 rewrite:                                          ; preds = %bb60, %bb51
71   br i1 undef, label %bb94, label %bb119.preheader
73 bb94:                                             ; preds = %rewrite
74   unreachable
76 bb119.preheader:                                  ; preds = %rewrite
77   br i1 undef, label %read_mismatch, label %bb98
79 bb98:                                             ; preds = %bb119.preheader
80   br label %read_mismatch
82 return:                                           ; preds = %read_fatal, %entry
83   ret void
85 bb49.1:                                           ; preds = %bb48, %bb25
86   br i1 undef, label %bb49.2, label %bb48.2
88 bb49.2:                                           ; preds = %bb48.2, %bb49.1
89   br i1 undef, label %bb49.3, label %bb48.3
91 bb48.2:                                           ; preds = %bb49.1
92   br label %bb49.2
94 bb49.3:                                           ; preds = %bb48.3, %bb49.2
95   %c_ix.0.3 = phi i32 [ undef, %bb48.3 ], [ undef, %bb49.2 ] ; <i32> [#uses=1]
96   br i1 undef, label %bb51, label %bb48.4
98 bb48.3:                                           ; preds = %bb49.2
99   store i64* undef, i64** undef, align 4
100   br label %bb49.3
102 bb48.4:                                           ; preds = %bb49.3
103   %0 = getelementptr inbounds [5 x i64*], [5 x i64*]* undef, i32 0, i32 %c_ix.0.3 ; <i64**> [#uses=0]
104   br label %bb51