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