| blob | 6f583f47ce89230c69af9e9da22dda26472f5a6e |
1 ; RUN: opt < %s -lcssa -disable-output -verify-dom-info
2 ; PR977
3 ; END.
4 declare i32 @opost_block()
6 define void @write_chan() {
7 entry:
8 br i1 false, label %shortcirc_next.0, label %shortcirc_done.0
9 shortcirc_next.0: ; preds = %entry
10 br label %shortcirc_done.0
11 shortcirc_done.0: ; preds = %shortcirc_next.0, %entry
12 br i1 false, label %shortcirc_next.1, label %shortcirc_done.1
13 shortcirc_next.1: ; preds = %shortcirc_done.0
14 br label %shortcirc_done.1
15 shortcirc_done.1: ; preds = %shortcirc_next.1, %shortcirc_done.0
16 br i1 false, label %then.0, label %endif.0
17 then.0: ; preds = %shortcirc_done.1
18 br i1 false, label %then.1, label %endif.1
19 then.1: ; preds = %then.0
20 br label %return
21 after_ret.0: ; No predecessors!
22 br label %endif.1
23 endif.1: ; preds = %after_ret.0, %then.0
24 br label %endif.0
25 endif.0: ; preds = %endif.1, %shortcirc_done.1
26 br label %loopentry.0
27 loopentry.0: ; preds = %endif.12, %endif.0
28 br i1 false, label %then.2, label %endif.2
29 then.2: ; preds = %loopentry.0
30 br label %loopexit.0
31 dead_block_after_break.0: ; No predecessors!
32 br label %endif.2
33 endif.2: ; preds = %dead_block_after_break.0, %loopentry.0
34 br i1 false, label %shortcirc_done.2, label %shortcirc_next.2
35 shortcirc_next.2: ; preds = %endif.2
36 br i1 false, label %shortcirc_next.3, label %shortcirc_done.3
37 shortcirc_next.3: ; preds = %shortcirc_next.2
38 br label %shortcirc_done.3
39 shortcirc_done.3: ; preds = %shortcirc_next.3, %shortcirc_next.2
40 br label %shortcirc_done.2
41 shortcirc_done.2: ; preds = %shortcirc_done.3, %endif.2
42 br i1 false, label %then.3, label %endif.3
43 then.3: ; preds = %shortcirc_done.2
44 br label %loopexit.0
45 dead_block_after_break.1: ; No predecessors!
46 br label %endif.3
47 endif.3: ; preds = %dead_block_after_break.1, %shortcirc_done.2
48 br i1 false, label %shortcirc_next.4, label %shortcirc_done.4
49 shortcirc_next.4: ; preds = %endif.3
50 br label %shortcirc_done.4
51 shortcirc_done.4: ; preds = %shortcirc_next.4, %endif.3
52 br i1 false, label %then.4, label %else
53 then.4: ; preds = %shortcirc_done.4
54 br label %loopentry.1
55 loopentry.1: ; preds = %endif.8, %then.4
56 br i1 false, label %no_exit, label %loopexit.1
57 no_exit: ; preds = %loopentry.1
58 %tmp.94 = call i32 @opost_block( ) ; <i32> [#uses=1]
59 br i1 false, label %then.5, label %endif.5
60 then.5: ; preds = %no_exit
61 br i1 false, label %then.6, label %endif.6
62 then.6: ; preds = %then.5
63 br label %loopexit.1
64 dead_block_after_break.2: ; No predecessors!
65 br label %endif.6
66 endif.6: ; preds = %dead_block_after_break.2, %then.5
67 br label %break_out
68 dead_block_after_goto.0: ; No predecessors!
69 br label %endif.5
70 endif.5: ; preds = %dead_block_after_goto.0, %no_exit
71 br i1 false, label %then.7, label %endif.7
72 then.7: ; preds = %endif.5
73 br label %loopexit.1
74 dead_block_after_break.3: ; No predecessors!
75 br label %endif.7
76 endif.7: ; preds = %dead_block_after_break.3, %endif.5
77 switch i32 1, label %switchexit [
78 i32 4, label %label.2
79 i32 2, label %label.1
80 i32 1, label %label.0
81 ]
82 label.0: ; preds = %endif.7
83 br label %switchexit
84 dead_block_after_break.4: ; No predecessors!
85 br label %label.1
86 label.1: ; preds = %dead_block_after_break.4, %endif.7
87 br label %switchexit
88 dead_block_after_break.5: ; No predecessors!
89 br label %label.2
90 label.2: ; preds = %dead_block_after_break.5, %endif.7
91 br label %switchexit
92 dead_block_after_break.6: ; No predecessors!
93 br label %switchexit
94 switchexit: ; preds = %dead_block_after_break.6, %label.2, %label.1, %label.0, %endif.7
95 br i1 false, label %then.8, label %endif.8
96 then.8: ; preds = %switchexit
97 br label %loopexit.1
98 dead_block_after_break.7: ; No predecessors!
99 br label %endif.8
100 endif.8: ; preds = %dead_block_after_break.7, %switchexit
101 br label %loopentry.1
102 loopexit.1: ; preds = %then.8, %then.7, %then.6, %loopentry.1
103 br i1 false, label %then.9, label %endif.9
104 then.9: ; preds = %loopexit.1
105 br label %endif.9
106 endif.9: ; preds = %then.9, %loopexit.1
107 br label %endif.4
108 else: ; preds = %shortcirc_done.4
109 br i1 false, label %then.10, label %endif.10
110 then.10: ; preds = %else
111 br label %break_out
112 dead_block_after_goto.1: ; No predecessors!
113 br label %endif.10
114 endif.10: ; preds = %dead_block_after_goto.1, %else
115 br label %endif.4
116 endif.4: ; preds = %endif.10, %endif.9
117 br i1 false, label %then.11, label %endif.11
118 then.11: ; preds = %endif.4
119 br label %loopexit.0
120 dead_block_after_break.8: ; No predecessors!
121 br label %endif.11
122 endif.11: ; preds = %dead_block_after_break.8, %endif.4
123 br i1 false, label %then.12, label %endif.12
124 then.12: ; preds = %endif.11
125 br label %loopexit.0
126 dead_block_after_break.9: ; No predecessors!
127 br label %endif.12
128 endif.12: ; preds = %dead_block_after_break.9, %endif.11
129 br label %loopentry.0
130 loopexit.0: ; preds = %then.12, %then.11, %then.3, %then.2
131 br label %break_out
132 break_out: ; preds = %loopexit.0, %then.10, %endif.6
133 %retval.3 = phi i32 [ 0, %loopexit.0 ], [ %tmp.94, %endif.6 ], [ 0, %then.10 ] ; <i32> [#uses=0]
134 br i1 false, label %cond_true, label %cond_false
135 cond_true: ; preds = %break_out
136 br label %cond_continue
137 cond_false: ; preds = %break_out
138 br label %cond_continue
139 cond_continue: ; preds = %cond_false, %cond_true
140 br label %return
141 after_ret.1: ; No predecessors!
142 br label %return
143 return: ; preds = %after_ret.1, %cond_continue, %then.1
144 ret void
145 }