llvm.org GIT mirror llvm / 8cacfeb
Move these tests into the proper directory. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@51685 91177308-0d34-0410-b5e6-96231b3b80d8 Owen Anderson 11 years ago
6 changed file(s) with 817 addition(s) and 817 deletion(s). Raw diff Collapse all Expand all
+0
-97
test/Analysis/Dominators/2006-09-26-PostDominanceFrontier.ll less more
None ; RUN: llvm-as < %s | opt -analyze -postdomfrontier \
1 ; RUN: -disable-verify
2 ; ModuleID = '2006-09-26-PostDominanceFrontier.bc'
3 target datalayout = "e-p:64:64"
4 target triple = "alphaev67-unknown-linux-gnu"
5 %struct.FILE = type { i32, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, %struct._IO_marker*, %struct.FILE*, i32, i32, i64, i16, i8, [1 x i8], i8*, i64, i8*, i8*, i32, [44 x i8] }
6 %struct._IO_marker = type { %struct._IO_marker*, %struct.FILE*, i32 }
7 @TOP = external global i64* ; [#uses=1]
8 @BOT = external global i64* ; [#uses=1]
9 @str = external global [2 x i8] ; <[2 x i8]*> [#uses=0]
10
11 declare void @fopen()
12
13 define void @main(i8** %argv) {
14 entry:
15 %netSelect.i507 = alloca i64, align 8 ; [#uses=0]
16 %topStart.i = alloca i64, align 8 ; [#uses=0]
17 %topEnd.i = alloca i64, align 8 ; [#uses=0]
18 %botStart.i = alloca i64, align 8 ; [#uses=0]
19 %botEnd.i = alloca i64, align 8 ; [#uses=0]
20 %c1.i154 = alloca i32, align 4 ; [#uses=0]
21 %b1.i155 = alloca i32, align 4 ; [#uses=0]
22 %t1.i156 = alloca i32, align 4 ; [#uses=0]
23 %c1.i = alloca i32, align 4 ; [#uses=0]
24 %b1.i = alloca i32, align 4 ; [#uses=0]
25 %t1.i = alloca i32, align 4 ; [#uses=0]
26 %netSelect.i5 = alloca i64, align 8 ; [#uses=0]
27 %netSelect.i = alloca i64, align 8 ; [#uses=0]
28 %tmp2.i = getelementptr i8** %argv, i32 1 ; [#uses=1]
29 %tmp3.i4 = load i8** %tmp2.i ; [#uses=0]
30 call void @fopen( )
31 br i1 false, label %DimensionChannel.exit, label %bb.backedge.i
32
33 bb.backedge.i: ; preds = %entry
34 ret void
35
36 DimensionChannel.exit: ; preds = %entry
37 %tmp13.i137 = malloc i64, i32 0 ; [#uses=1]
38 %tmp610.i = malloc i64, i32 0 ; [#uses=1]
39 br label %cond_true.i143
40
41 cond_true.i143: ; preds = %cond_true.i143, %DimensionChannel.exit
42 %tmp9.i140 = getelementptr i64* %tmp13.i137, i64 0 ; [#uses=0]
43 %tmp12.i = getelementptr i64* %tmp610.i, i64 0 ; [#uses=0]
44 br i1 false, label %bb18.i144, label %cond_true.i143
45
46 bb18.i144: ; preds = %cond_true.i143
47 call void @fopen( )
48 %tmp76.i105 = malloc i64, i32 0 ; [#uses=3]
49 %tmp674.i = malloc i64, i32 0 ; [#uses=2]
50 %tmp1072.i = malloc i64, i32 0 ; [#uses=2]
51 %tmp1470.i = malloc i64, i32 0 ; [#uses=1]
52 br label %cond_true.i114
53
54 cond_true.i114: ; preds = %cond_true.i114, %bb18.i144
55 %tmp17.i108 = getelementptr i64* %tmp76.i105, i64 0 ; [#uses=0]
56 %tmp20.i = getelementptr i64* %tmp674.i, i64 0 ; [#uses=0]
57 %tmp23.i111 = getelementptr i64* %tmp1470.i, i64 0 ; [#uses=0]
58 br i1 false, label %cond_true40.i, label %cond_true.i114
59
60 cond_true40.i: ; preds = %cond_true40.i, %cond_true.i114
61 %tmp33.i115 = getelementptr i64* %tmp1072.i, i64 0 ; [#uses=0]
62 br i1 false, label %bb142.i, label %cond_true40.i
63
64 cond_next54.i: ; preds = %cond_true76.i
65 %tmp57.i = getelementptr i64* %tmp55.i, i64 0 ; [#uses=0]
66 br i1 false, label %bb64.i, label %bb69.i
67
68 bb64.i: ; preds = %cond_true76.i, %cond_next54.i
69 %tmp67.i117 = getelementptr i64* %tmp76.i105, i64 0 ; [#uses=0]
70 br i1 false, label %bb114.i, label %cond_true111.i
71
72 bb69.i: ; preds = %cond_next54.i
73 br i1 false, label %bb79.i, label %cond_true76.i
74
75 cond_true76.i: ; preds = %bb142.i, %bb69.i
76 %tmp48.i = getelementptr i64* %tmp46.i, i64 0 ; [#uses=0]
77 br i1 false, label %bb64.i, label %cond_next54.i
78
79 bb79.i: ; preds = %bb69.i
80 br i1 false, label %bb114.i, label %cond_true111.i
81
82 cond_true111.i: ; preds = %bb79.i, %bb64.i
83 %tmp84.i127 = getelementptr i64* %tmp46.i, i64 0 ; [#uses=0]
84 ret void
85
86 bb114.i: ; preds = %bb142.i, %bb79.i, %bb64.i
87 %tmp117.i = getelementptr i64* %tmp76.i105, i64 0 ; [#uses=0]
88 %tmp132.i131 = getelementptr i64* %tmp674.i, i64 0 ; [#uses=0]
89 %tmp122.i = getelementptr i64* %tmp1072.i, i64 0 ; [#uses=0]
90 ret void
91
92 bb142.i: ; preds = %cond_true40.i
93 %tmp46.i = load i64** @BOT ; [#uses=2]
94 %tmp55.i = load i64** @TOP ; [#uses=1]
95 br i1 false, label %bb114.i, label %cond_true76.i
96 }
+0
-692
test/Analysis/Dominators/2007-04-17-PostDominanceFrontier.ll less more
None ; RUN: llvm-as < %s | opt -postdomfrontier -disable-output
1
2 define void @SManager() {
3 entry:
4 br label %bb.outer
5
6 bb.outer: ; preds = %bb193, %entry
7 br label %bb.outer156
8
9 bb.loopexit: ; preds = %bb442
10 br label %bb.outer156
11
12 bb.outer156: ; preds = %bb.loopexit, %bb.outer
13 br label %bb
14
15 bb: ; preds = %bb.backedge, %bb.outer156
16 br i1 false, label %cond_true, label %bb.cond_next_crit_edge
17
18 bb.cond_next_crit_edge: ; preds = %bb
19 br label %cond_next
20
21 cond_true: ; preds = %bb
22 br label %cond_next
23
24 cond_next: ; preds = %cond_true, %bb.cond_next_crit_edge
25 br i1 false, label %cond_next.bb.backedge_crit_edge, label %cond_next107
26
27 cond_next.bb.backedge_crit_edge: ; preds = %cond_next
28 br label %bb.backedge
29
30 bb.backedge: ; preds = %cond_true112.bb.backedge_crit_edge, %cond_next.bb.backedge_crit_edge
31 br label %bb
32
33 cond_next107: ; preds = %cond_next
34 br i1 false, label %cond_true112, label %cond_next197
35
36 cond_true112: ; preds = %cond_next107
37 br i1 false, label %cond_true118, label %cond_true112.bb.backedge_crit_edge
38
39 cond_true112.bb.backedge_crit_edge: ; preds = %cond_true112
40 br label %bb.backedge
41
42 cond_true118: ; preds = %cond_true112
43 br i1 false, label %bb123.preheader, label %cond_true118.bb148_crit_edge
44
45 cond_true118.bb148_crit_edge: ; preds = %cond_true118
46 br label %bb148
47
48 bb123.preheader: ; preds = %cond_true118
49 br label %bb123
50
51 bb123: ; preds = %bb142.bb123_crit_edge, %bb123.preheader
52 br i1 false, label %bb123.bb142_crit_edge, label %cond_next.i57
53
54 bb123.bb142_crit_edge: ; preds = %bb123
55 br label %bb142
56
57 cond_next.i57: ; preds = %bb123
58 br i1 false, label %cond_true135, label %cond_next.i57.bb142_crit_edge
59
60 cond_next.i57.bb142_crit_edge: ; preds = %cond_next.i57
61 br label %bb142
62
63 cond_true135: ; preds = %cond_next.i57
64 br label %bb142
65
66 bb142: ; preds = %cond_true135, %cond_next.i57.bb142_crit_edge, %bb123.bb142_crit_edge
67 br i1 false, label %bb148.loopexit, label %bb142.bb123_crit_edge
68
69 bb142.bb123_crit_edge: ; preds = %bb142
70 br label %bb123
71
72 bb148.loopexit: ; preds = %bb142
73 br label %bb148
74
75 bb148: ; preds = %bb148.loopexit, %cond_true118.bb148_crit_edge
76 br i1 false, label %bb151.preheader, label %bb148.bb177_crit_edge
77
78 bb148.bb177_crit_edge: ; preds = %bb148
79 br label %bb177
80
81 bb151.preheader: ; preds = %bb148
82 br label %bb151
83
84 bb151: ; preds = %bb171.bb151_crit_edge, %bb151.preheader
85 br i1 false, label %bb151.bb171_crit_edge, label %cond_next.i49
86
87 bb151.bb171_crit_edge: ; preds = %bb151
88 br label %bb171
89
90 cond_next.i49: ; preds = %bb151
91 br i1 false, label %cond_true164, label %cond_next.i49.bb171_crit_edge
92
93 cond_next.i49.bb171_crit_edge: ; preds = %cond_next.i49
94 br label %bb171
95
96 cond_true164: ; preds = %cond_next.i49
97 br label %bb171
98
99 bb171: ; preds = %cond_true164, %cond_next.i49.bb171_crit_edge, %bb151.bb171_crit_edge
100 br i1 false, label %bb177.loopexit, label %bb171.bb151_crit_edge
101
102 bb171.bb151_crit_edge: ; preds = %bb171
103 br label %bb151
104
105 bb177.loopexit: ; preds = %bb171
106 br label %bb177
107
108 bb177: ; preds = %bb177.loopexit, %bb148.bb177_crit_edge
109 br i1 false, label %bb180.preheader, label %bb177.bb193_crit_edge
110
111 bb177.bb193_crit_edge: ; preds = %bb177
112 br label %bb193
113
114 bb180.preheader: ; preds = %bb177
115 br label %bb180
116
117 bb180: ; preds = %bb180.bb180_crit_edge, %bb180.preheader
118 br i1 false, label %bb193.loopexit, label %bb180.bb180_crit_edge
119
120 bb180.bb180_crit_edge: ; preds = %bb180
121 br label %bb180
122
123 bb193.loopexit: ; preds = %bb180
124 br label %bb193
125
126 bb193: ; preds = %bb193.loopexit, %bb177.bb193_crit_edge
127 br label %bb.outer
128
129 cond_next197: ; preds = %cond_next107
130 br i1 false, label %cond_next210, label %cond_true205
131
132 cond_true205: ; preds = %cond_next197
133 br i1 false, label %cond_true205.bb213_crit_edge, label %cond_true205.bb299_crit_edge
134
135 cond_true205.bb299_crit_edge: ; preds = %cond_true205
136 br label %bb299
137
138 cond_true205.bb213_crit_edge: ; preds = %cond_true205
139 br label %bb213
140
141 cond_next210: ; preds = %cond_next197
142 br label %bb293
143
144 bb213: ; preds = %bb293.bb213_crit_edge, %cond_true205.bb213_crit_edge
145 br i1 false, label %bb213.cond_next290_crit_edge, label %cond_true248
146
147 bb213.cond_next290_crit_edge: ; preds = %bb213
148 br label %cond_next290
149
150 cond_true248: ; preds = %bb213
151 br i1 false, label %cond_true248.cond_next290_crit_edge, label %cond_true255
152
153 cond_true248.cond_next290_crit_edge: ; preds = %cond_true248
154 br label %cond_next290
155
156 cond_true255: ; preds = %cond_true248
157 br i1 false, label %cond_true266, label %cond_true255.cond_next271_crit_edge
158
159 cond_true255.cond_next271_crit_edge: ; preds = %cond_true255
160 br label %cond_next271
161
162 cond_true266: ; preds = %cond_true255
163 br label %cond_next271
164
165 cond_next271: ; preds = %cond_true266, %cond_true255.cond_next271_crit_edge
166 br label %cond_next290
167
168 cond_next290: ; preds = %cond_next271, %cond_true248.cond_next290_crit_edge, %bb213.cond_next290_crit_edge
169 br label %bb293
170
171 bb293: ; preds = %cond_next290, %cond_next210
172 br i1 false, label %bb293.bb213_crit_edge, label %bb293.bb299_crit_edge
173
174 bb293.bb299_crit_edge: ; preds = %bb293
175 br label %bb299
176
177 bb293.bb213_crit_edge: ; preds = %bb293
178 br label %bb213
179
180 bb299: ; preds = %bb293.bb299_crit_edge, %cond_true205.bb299_crit_edge
181 br i1 false, label %bb302.preheader, label %bb299.bb390_crit_edge
182
183 bb299.bb390_crit_edge: ; preds = %bb299
184 br label %bb390
185
186 bb302.preheader: ; preds = %bb299
187 br label %bb302
188
189 bb302: ; preds = %bb384.bb302_crit_edge, %bb302.preheader
190 br i1 false, label %bb302.bb384_crit_edge, label %cond_true339
191
192 bb302.bb384_crit_edge: ; preds = %bb302
193 br label %bb384
194
195 cond_true339: ; preds = %bb302
196 br i1 false, label %cond_true339.bb384_crit_edge, label %cond_true346
197
198 cond_true339.bb384_crit_edge: ; preds = %cond_true339
199 br label %bb384
200
201 cond_true346: ; preds = %cond_true339
202 br i1 false, label %cond_true357, label %cond_true346.cond_next361_crit_edge
203
204 cond_true346.cond_next361_crit_edge: ; preds = %cond_true346
205 br label %cond_next361
206
207 cond_true357: ; preds = %cond_true346
208 br label %cond_next361
209
210 cond_next361: ; preds = %cond_true357, %cond_true346.cond_next361_crit_edge
211 br label %bb384
212
213 bb384: ; preds = %cond_next361, %cond_true339.bb384_crit_edge, %bb302.bb384_crit_edge
214 br i1 false, label %bb390.loopexit, label %bb384.bb302_crit_edge
215
216 bb384.bb302_crit_edge: ; preds = %bb384
217 br label %bb302
218
219 bb390.loopexit: ; preds = %bb384
220 br label %bb390
221
222 bb390: ; preds = %bb390.loopexit, %bb299.bb390_crit_edge
223 br i1 false, label %bb391.preheader, label %bb390.bb442.preheader_crit_edge
224
225 bb390.bb442.preheader_crit_edge: ; preds = %bb390
226 br label %bb442.preheader
227
228 bb391.preheader: ; preds = %bb390
229 br label %bb391
230
231 bb391: ; preds = %bb413.bb391_crit_edge, %bb391.preheader
232 br i1 false, label %bb391.bb413_crit_edge, label %cond_next404
233
234 bb391.bb413_crit_edge: ; preds = %bb391
235 br label %bb413
236
237 cond_next404: ; preds = %bb391
238 br i1 false, label %cond_next404.HWrite.exit_crit_edge, label %cond_next.i13
239
240 cond_next404.HWrite.exit_crit_edge: ; preds = %cond_next404
241 br label %HWrite.exit
242
243 cond_next.i13: ; preds = %cond_next404
244 br i1 false, label %cond_next.i13.cond_next13.i_crit_edge, label %cond_true12.i
245
246 cond_next.i13.cond_next13.i_crit_edge: ; preds = %cond_next.i13
247 br label %cond_next13.i
248
249 cond_true12.i: ; preds = %cond_next.i13
250 br label %cond_next13.i
251
252 cond_next13.i: ; preds = %cond_true12.i, %cond_next.i13.cond_next13.i_crit_edge
253 br i1 false, label %cond_next13.i.bb.i22_crit_edge, label %cond_next43.i
254
255 cond_next13.i.bb.i22_crit_edge: ; preds = %cond_next13.i
256 br label %bb.i22
257
258 cond_next43.i: ; preds = %cond_next13.i
259 br i1 false, label %cond_next43.i.bb.i22_crit_edge, label %bb60.i
260
261 cond_next43.i.bb.i22_crit_edge: ; preds = %cond_next43.i
262 br label %bb.i22
263
264 bb.i22: ; preds = %cond_next43.i.bb.i22_crit_edge, %cond_next13.i.bb.i22_crit_edge
265 br label %bb413
266
267 bb60.i: ; preds = %cond_next43.i
268 br i1 false, label %bb60.i.HWrite.exit_crit_edge, label %cond_true81.i
269
270 bb60.i.HWrite.exit_crit_edge: ; preds = %bb60.i
271 br label %HWrite.exit
272
273 cond_true81.i: ; preds = %bb60.i
274 br label %bb413
275
276 HWrite.exit: ; preds = %bb60.i.HWrite.exit_crit_edge, %cond_next404.HWrite.exit_crit_edge
277 br label %bb413
278
279 bb413: ; preds = %HWrite.exit, %cond_true81.i, %bb.i22, %bb391.bb413_crit_edge
280 br i1 false, label %bb442.preheader.loopexit, label %bb413.bb391_crit_edge
281
282 bb413.bb391_crit_edge: ; preds = %bb413
283 br label %bb391
284
285 bb442.preheader.loopexit: ; preds = %bb413
286 br label %bb442.preheader
287
288 bb442.preheader: ; preds = %bb442.preheader.loopexit, %bb390.bb442.preheader_crit_edge
289 br label %bb442.outer
290
291 bb420: ; preds = %bb442
292 br i1 false, label %bb439.loopexit, label %cond_next433
293
294 cond_next433: ; preds = %bb420
295 br i1 false, label %cond_next433.HRead.exit.loopexit_crit_edge, label %cond_next.i
296
297 cond_next433.HRead.exit.loopexit_crit_edge: ; preds = %cond_next433
298 br label %HRead.exit.loopexit
299
300 cond_next.i: ; preds = %cond_next433
301 br i1 false, label %cond_true9.i, label %cond_false223.i
302
303 cond_true9.i: ; preds = %cond_next.i
304 switch i32 0, label %cond_false.i [
305 i32 1, label %cond_true9.i.cond_true15.i_crit_edge
306 i32 5, label %cond_true9.i.cond_true15.i_crit_edge9
307 ]
308
309 cond_true9.i.cond_true15.i_crit_edge9: ; preds = %cond_true9.i
310 br label %cond_true15.i
311
312 cond_true9.i.cond_true15.i_crit_edge: ; preds = %cond_true9.i
313 br label %cond_true15.i
314
315 cond_true15.i: ; preds = %cond_true9.i.cond_true15.i_crit_edge, %cond_true9.i.cond_true15.i_crit_edge9
316 br i1 false, label %cond_true15.i.cond_true44.i_crit_edge, label %cond_true15.i.cond_false49.i_crit_edge
317
318 cond_true15.i.cond_false49.i_crit_edge: ; preds = %cond_true15.i
319 br label %cond_false49.i
320
321 cond_true15.i.cond_true44.i_crit_edge: ; preds = %cond_true15.i
322 br label %cond_true44.i
323
324 cond_false.i: ; preds = %cond_true9.i
325 br i1 false, label %cond_false.i.cond_next39.i_crit_edge, label %cond_true30.i
326
327 cond_false.i.cond_next39.i_crit_edge: ; preds = %cond_false.i
328 br label %cond_next39.i
329
330 cond_true30.i: ; preds = %cond_false.i
331 br label %cond_next39.i
332
333 cond_next39.i: ; preds = %cond_true30.i, %cond_false.i.cond_next39.i_crit_edge
334 br i1 false, label %cond_next39.i.cond_true44.i_crit_edge, label %cond_next39.i.cond_false49.i_crit_edge
335
336 cond_next39.i.cond_false49.i_crit_edge: ; preds = %cond_next39.i
337 br label %cond_false49.i
338
339 cond_next39.i.cond_true44.i_crit_edge: ; preds = %cond_next39.i
340 br label %cond_true44.i
341
342 cond_true44.i: ; preds = %cond_next39.i.cond_true44.i_crit_edge, %cond_true15.i.cond_true44.i_crit_edge
343 br i1 false, label %cond_true44.i.cond_next70.i_crit_edge, label %cond_true44.i.cond_true61.i_crit_edge
344
345 cond_true44.i.cond_true61.i_crit_edge: ; preds = %cond_true44.i
346 br label %cond_true61.i
347
348 cond_true44.i.cond_next70.i_crit_edge: ; preds = %cond_true44.i
349 br label %cond_next70.i
350
351 cond_false49.i: ; preds = %cond_next39.i.cond_false49.i_crit_edge, %cond_true15.i.cond_false49.i_crit_edge
352 br i1 false, label %cond_false49.i.cond_next70.i_crit_edge, label %cond_false49.i.cond_true61.i_crit_edge
353
354 cond_false49.i.cond_true61.i_crit_edge: ; preds = %cond_false49.i
355 br label %cond_true61.i
356
357 cond_false49.i.cond_next70.i_crit_edge: ; preds = %cond_false49.i
358 br label %cond_next70.i
359
360 cond_true61.i: ; preds = %cond_false49.i.cond_true61.i_crit_edge, %cond_true44.i.cond_true61.i_crit_edge
361 br i1 false, label %cond_true61.i.cond_next70.i_crit_edge, label %cond_true67.i
362
363 cond_true61.i.cond_next70.i_crit_edge: ; preds = %cond_true61.i
364 br label %cond_next70.i
365
366 cond_true67.i: ; preds = %cond_true61.i
367 br label %cond_next70.i
368
369 cond_next70.i: ; preds = %cond_true67.i, %cond_true61.i.cond_next70.i_crit_edge, %cond_false49.i.cond_next70.i_crit_edge, %cond_true44.i.cond_next70.i_crit_edge
370 br i1 false, label %cond_true77.i, label %cond_next81.i
371
372 cond_true77.i: ; preds = %cond_next70.i
373 br label %bb442.outer.backedge
374
375 cond_next81.i: ; preds = %cond_next70.i
376 br i1 false, label %cond_true87.i, label %cond_false94.i
377
378 cond_true87.i: ; preds = %cond_next81.i
379 br i1 false, label %cond_true87.i.cond_true130.i_crit_edge, label %cond_true87.i.cond_next135.i_crit_edge
380
381 cond_true87.i.cond_next135.i_crit_edge: ; preds = %cond_true87.i
382 br label %cond_next135.i
383
384 cond_true87.i.cond_true130.i_crit_edge: ; preds = %cond_true87.i
385 br label %cond_true130.i
386
387 cond_false94.i: ; preds = %cond_next81.i
388 switch i32 0, label %cond_false94.i.cond_next125.i_crit_edge [
389 i32 1, label %cond_false94.i.cond_true100.i_crit_edge
390 i32 5, label %cond_false94.i.cond_true100.i_crit_edge10
391 ]
392
393 cond_false94.i.cond_true100.i_crit_edge10: ; preds = %cond_false94.i
394 br label %cond_true100.i
395
396 cond_false94.i.cond_true100.i_crit_edge: ; preds = %cond_false94.i
397 br label %cond_true100.i
398
399 cond_false94.i.cond_next125.i_crit_edge: ; preds = %cond_false94.i
400 br label %cond_next125.i
401
402 cond_true100.i: ; preds = %cond_false94.i.cond_true100.i_crit_edge, %cond_false94.i.cond_true100.i_crit_edge10
403 br i1 false, label %cond_true107.i, label %cond_true100.i.cond_next109.i_crit_edge
404
405 cond_true100.i.cond_next109.i_crit_edge: ; preds = %cond_true100.i
406 br label %cond_next109.i
407
408 cond_true107.i: ; preds = %cond_true100.i
409 br label %cond_next109.i
410
411 cond_next109.i: ; preds = %cond_true107.i, %cond_true100.i.cond_next109.i_crit_edge
412 br i1 false, label %cond_next109.i.cond_next125.i_crit_edge, label %cond_true116.i
413
414 cond_next109.i.cond_next125.i_crit_edge: ; preds = %cond_next109.i
415 br label %cond_next125.i
416
417 cond_true116.i: ; preds = %cond_next109.i
418 br label %cond_next125.i
419
420 cond_next125.i: ; preds = %cond_true116.i, %cond_next109.i.cond_next125.i_crit_edge, %cond_false94.i.cond_next125.i_crit_edge
421 br i1 false, label %cond_next125.i.cond_true130.i_crit_edge, label %cond_next125.i.cond_next135.i_crit_edge
422
423 cond_next125.i.cond_next135.i_crit_edge: ; preds = %cond_next125.i
424 br label %cond_next135.i
425
426 cond_next125.i.cond_true130.i_crit_edge: ; preds = %cond_next125.i
427 br label %cond_true130.i
428
429 cond_true130.i: ; preds = %cond_next125.i.cond_true130.i_crit_edge, %cond_true87.i.cond_true130.i_crit_edge
430 br label %cond_next135.i
431
432 cond_next135.i: ; preds = %cond_true130.i, %cond_next125.i.cond_next135.i_crit_edge, %cond_true87.i.cond_next135.i_crit_edge
433 br i1 false, label %cond_true142.i, label %cond_next135.i.cond_next149.i_crit_edge
434
435 cond_next135.i.cond_next149.i_crit_edge: ; preds = %cond_next135.i
436 br label %cond_next149.i
437
438 cond_true142.i: ; preds = %cond_next135.i
439 br label %cond_next149.i
440
441 cond_next149.i: ; preds = %cond_true142.i, %cond_next135.i.cond_next149.i_crit_edge
442 br i1 false, label %cond_true156.i, label %cond_next149.i.cond_next163.i_crit_edge
443
444 cond_next149.i.cond_next163.i_crit_edge: ; preds = %cond_next149.i
445 br label %cond_next163.i
446
447 cond_true156.i: ; preds = %cond_next149.i
448 br label %cond_next163.i
449
450 cond_next163.i: ; preds = %cond_true156.i, %cond_next149.i.cond_next163.i_crit_edge
451 br i1 false, label %cond_true182.i, label %cond_next163.i.cond_next380.i_crit_edge
452
453 cond_next163.i.cond_next380.i_crit_edge: ; preds = %cond_next163.i
454 br label %cond_next380.i
455
456 cond_true182.i: ; preds = %cond_next163.i
457 br i1 false, label %cond_true182.i.cond_next380.i_crit_edge, label %cond_true196.i
458
459 cond_true182.i.cond_next380.i_crit_edge: ; preds = %cond_true182.i
460 br label %cond_next380.i
461
462 cond_true196.i: ; preds = %cond_true182.i
463 br i1 false, label %cond_true210.i, label %cond_true196.i.cond_next380.i_crit_edge
464
465 cond_true196.i.cond_next380.i_crit_edge: ; preds = %cond_true196.i
466 br label %cond_next380.i
467
468 cond_true210.i: ; preds = %cond_true196.i
469 br i1 false, label %cond_true216.i, label %cond_true210.i.cond_next380.i_crit_edge
470
471 cond_true210.i.cond_next380.i_crit_edge: ; preds = %cond_true210.i
472 br label %cond_next380.i
473
474 cond_true216.i: ; preds = %cond_true210.i
475 br label %cond_next380.i
476
477 cond_false223.i: ; preds = %cond_next.i
478 br i1 false, label %cond_true229.i, label %cond_false355.i
479
480 cond_true229.i: ; preds = %cond_false223.i
481 br i1 false, label %cond_true229.i.HRead.exit.loopexit_crit_edge, label %cond_next243.i
482
483 cond_true229.i.HRead.exit.loopexit_crit_edge: ; preds = %cond_true229.i
484 br label %HRead.exit.loopexit
485
486 cond_next243.i: ; preds = %cond_true229.i
487 br i1 false, label %cond_true248.i, label %cond_false255.i
488
489 cond_true248.i: ; preds = %cond_next243.i
490 br label %cond_next260.i
491
492 cond_false255.i: ; preds = %cond_next243.i
493 br label %cond_next260.i
494
495 cond_next260.i: ; preds = %cond_false255.i, %cond_true248.i
496 br i1 false, label %cond_true267.i, label %cond_next273.i
497
498 cond_true267.i: ; preds = %cond_next260.i
499 br label %bb442.backedge
500
501 bb442.backedge: ; preds = %bb.i, %cond_true267.i
502 br label %bb442
503
504 cond_next273.i: ; preds = %cond_next260.i
505 br i1 false, label %cond_true281.i, label %cond_next273.i.cond_next288.i_crit_edge
506
507 cond_next273.i.cond_next288.i_crit_edge: ; preds = %cond_next273.i
508 br label %cond_next288.i
509
510 cond_true281.i: ; preds = %cond_next273.i
511 br label %cond_next288.i
512
513 cond_next288.i: ; preds = %cond_true281.i, %cond_next273.i.cond_next288.i_crit_edge
514 br i1 false, label %cond_true295.i, label %cond_next288.i.cond_next302.i_crit_edge
515
516 cond_next288.i.cond_next302.i_crit_edge: ; preds = %cond_next288.i
517 br label %cond_next302.i
518
519 cond_true295.i: ; preds = %cond_next288.i
520 br label %cond_next302.i
521
522 cond_next302.i: ; preds = %cond_true295.i, %cond_next288.i.cond_next302.i_crit_edge
523 br i1 false, label %cond_next302.i.cond_next380.i_crit_edge, label %cond_true328.i
524
525 cond_next302.i.cond_next380.i_crit_edge: ; preds = %cond_next302.i
526 br label %cond_next380.i
527
528 cond_true328.i: ; preds = %cond_next302.i
529 br i1 false, label %cond_true343.i, label %cond_true328.i.cond_next380.i_crit_edge
530
531 cond_true328.i.cond_next380.i_crit_edge: ; preds = %cond_true328.i
532 br label %cond_next380.i
533
534 cond_true343.i: ; preds = %cond_true328.i
535 br i1 false, label %cond_true349.i, label %cond_true343.i.cond_next380.i_crit_edge
536
537 cond_true343.i.cond_next380.i_crit_edge: ; preds = %cond_true343.i
538 br label %cond_next380.i
539
540 cond_true349.i: ; preds = %cond_true343.i
541 br label %cond_next380.i
542
543 cond_false355.i: ; preds = %cond_false223.i
544 br i1 false, label %cond_false355.i.bb.i_crit_edge, label %cond_next363.i
545
546 cond_false355.i.bb.i_crit_edge: ; preds = %cond_false355.i
547 br label %bb.i
548
549 cond_next363.i: ; preds = %cond_false355.i
550 br i1 false, label %bb377.i, label %cond_next363.i.bb.i_crit_edge
551
552 cond_next363.i.bb.i_crit_edge: ; preds = %cond_next363.i
553 br label %bb.i
554
555 bb.i: ; preds = %cond_next363.i.bb.i_crit_edge, %cond_false355.i.bb.i_crit_edge
556 br label %bb442.backedge
557
558 bb377.i: ; preds = %cond_next363.i
559 br label %cond_next380.i
560
561 cond_next380.i: ; preds = %bb377.i, %cond_true349.i, %cond_true343.i.cond_next380.i_crit_edge, %cond_true328.i.cond_next380.i_crit_edge, %cond_next302.i.cond_next380.i_crit_edge, %cond_true216.i, %cond_true210.i.cond_next380.i_crit_edge, %cond_true196.i.cond_next380.i_crit_edge, %cond_true182.i.cond_next380.i_crit_edge, %cond_next163.i.cond_next380.i_crit_edge
562 br i1 false, label %cond_next380.i.HRead.exit_crit_edge, label %cond_true391.i
563
564 cond_next380.i.HRead.exit_crit_edge: ; preds = %cond_next380.i
565 br label %HRead.exit
566
567 cond_true391.i: ; preds = %cond_next380.i
568 br label %bb442.outer.backedge
569
570 bb442.outer.backedge: ; preds = %bb439, %cond_true391.i, %cond_true77.i
571 br label %bb442.outer
572
573 HRead.exit.loopexit: ; preds = %cond_true229.i.HRead.exit.loopexit_crit_edge, %cond_next433.HRead.exit.loopexit_crit_edge
574 br label %HRead.exit
575
576 HRead.exit: ; preds = %HRead.exit.loopexit, %cond_next380.i.HRead.exit_crit_edge
577 br label %bb439
578
579 bb439.loopexit: ; preds = %bb420
580 br label %bb439
581
582 bb439: ; preds = %bb439.loopexit, %HRead.exit
583 br label %bb442.outer.backedge
584
585 bb442.outer: ; preds = %bb442.outer.backedge, %bb442.preheader
586 br label %bb442
587
588 bb442: ; preds = %bb442.outer, %bb442.backedge
589 br i1 false, label %bb420, label %bb.loopexit
590 }
591
592 define void @Invalidate() {
593 entry:
594 br i1 false, label %cond_false, label %cond_true
595
596 cond_true: ; preds = %entry
597 br i1 false, label %cond_true40, label %cond_true.cond_next_crit_edge
598
599 cond_true.cond_next_crit_edge: ; preds = %cond_true
600 br label %cond_next
601
602 cond_true40: ; preds = %cond_true
603 br label %cond_next
604
605 cond_next: ; preds = %cond_true40, %cond_true.cond_next_crit_edge
606 br i1 false, label %cond_true68, label %cond_next.cond_next73_crit_edge
607
608 cond_next.cond_next73_crit_edge: ; preds = %cond_next
609 br label %cond_next73
610
611 cond_true68: ; preds = %cond_next
612 br label %cond_next73
613
614 cond_next73: ; preds = %cond_true68, %cond_next.cond_next73_crit_edge
615 br i1 false, label %cond_true91, label %cond_next73.cond_next96_crit_edge
616
617 cond_next73.cond_next96_crit_edge: ; preds = %cond_next73
618 br label %cond_next96
619
620 cond_true91: ; preds = %cond_next73
621 br label %cond_next96
622
623 cond_next96: ; preds = %cond_true91, %cond_next73.cond_next96_crit_edge
624 br i1 false, label %cond_next96.cond_next112_crit_edge, label %cond_true105
625
626 cond_next96.cond_next112_crit_edge: ; preds = %cond_next96
627 br label %cond_next112
628
629 cond_true105: ; preds = %cond_next96
630 br label %cond_next112
631
632 cond_next112: ; preds = %cond_true105, %cond_next96.cond_next112_crit_edge
633 br i1 false, label %cond_next112.cond_next127_crit_edge, label %cond_true119
634
635 cond_next112.cond_next127_crit_edge: ; preds = %cond_next112
636 br label %cond_next127
637
638 cond_true119: ; preds = %cond_next112
639 br label %cond_next127
640
641 cond_next127: ; preds = %cond_true119, %cond_next112.cond_next127_crit_edge
642 br i1 false, label %cond_next141, label %cond_true134
643
644 cond_true134: ; preds = %cond_next127
645 br i1 false, label %cond_true134.bb161_crit_edge, label %cond_true134.bb_crit_edge
646
647 cond_true134.bb_crit_edge: ; preds = %cond_true134
648 br label %bb
649
650 cond_true134.bb161_crit_edge: ; preds = %cond_true134
651 br label %bb161
652
653 cond_next141: ; preds = %cond_next127
654 br label %bb154
655
656 bb: ; preds = %bb154.bb_crit_edge, %cond_true134.bb_crit_edge
657 br label %bb154
658
659 bb154: ; preds = %bb, %cond_next141
660 br i1 false, label %bb154.bb161_crit_edge, label %bb154.bb_crit_edge
661
662 bb154.bb_crit_edge: ; preds = %bb154
663 br label %bb
664
665 bb154.bb161_crit_edge: ; preds = %bb154
666 br label %bb161
667
668 bb161: ; preds = %bb154.bb161_crit_edge, %cond_true134.bb161_crit_edge
669 br i1 false, label %bb161.cond_next201_crit_edge, label %cond_true198
670
671 bb161.cond_next201_crit_edge: ; preds = %bb161
672 br label %cond_next201
673
674 cond_true198: ; preds = %bb161
675 br label %cond_next201
676
677 cond_next201: ; preds = %cond_true198, %bb161.cond_next201_crit_edge
678 br i1 false, label %cond_next212, label %cond_true206
679
680 cond_true206: ; preds = %cond_next201
681 br label %UnifiedReturnBlock
682
683 cond_false: ; preds = %entry
684 br label %UnifiedReturnBlock
685
686 cond_next212: ; preds = %cond_next201
687 br label %UnifiedReturnBlock
688
689 UnifiedReturnBlock: ; preds = %cond_next212, %cond_false, %cond_true206
690 ret void
691 }
+0
-28
test/Analysis/Dominators/2007-04-20-PostDom-Reset.ll less more
None ; RUN: llvm-as < %s | opt -postdomfrontier -disable-output
1
2 define void @args_out_of_range() {
3 entry:
4 br label %bb
5
6 bb: ; preds = %bb, %entry
7 br label %bb
8 }
9
10 define void @args_out_of_range_3() {
11 entry:
12 br label %bb
13
14 bb: ; preds = %bb, %entry
15 br label %bb
16 }
17
18 define void @Feq() {
19 entry:
20 br i1 false, label %cond_true, label %cond_next
21
22 cond_true: ; preds = %entry
23 unreachable
24
25 cond_next: ; preds = %entry
26 unreachable
27 }
0 ; RUN: llvm-as < %s | opt -analyze -postdomfrontier \
1 ; RUN: -disable-verify
2 ; ModuleID = '2006-09-26-PostDominanceFrontier.bc'
3 target datalayout = "e-p:64:64"
4 target triple = "alphaev67-unknown-linux-gnu"
5 %struct.FILE = type { i32, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, i8*, %struct._IO_marker*, %struct.FILE*, i32, i32, i64, i16, i8, [1 x i8], i8*, i64, i8*, i8*, i32, [44 x i8] }
6 %struct._IO_marker = type { %struct._IO_marker*, %struct.FILE*, i32 }
7 @TOP = external global i64* ; [#uses=1]
8 @BOT = external global i64* ; [#uses=1]
9 @str = external global [2 x i8] ; <[2 x i8]*> [#uses=0]
10
11 declare void @fopen()
12
13 define void @main(i8** %argv) {
14 entry:
15 %netSelect.i507 = alloca i64, align 8 ; [#uses=0]
16 %topStart.i = alloca i64, align 8 ; [#uses=0]
17 %topEnd.i = alloca i64, align 8 ; [#uses=0]
18 %botStart.i = alloca i64, align 8 ; [#uses=0]
19 %botEnd.i = alloca i64, align 8 ; [#uses=0]
20 %c1.i154 = alloca i32, align 4 ; [#uses=0]
21 %b1.i155 = alloca i32, align 4 ; [#uses=0]
22 %t1.i156 = alloca i32, align 4 ; [#uses=0]
23 %c1.i = alloca i32, align 4 ; [#uses=0]
24 %b1.i = alloca i32, align 4 ; [#uses=0]
25 %t1.i = alloca i32, align 4 ; [#uses=0]
26 %netSelect.i5 = alloca i64, align 8 ; [#uses=0]
27 %netSelect.i = alloca i64, align 8 ; [#uses=0]
28 %tmp2.i = getelementptr i8** %argv, i32 1 ; [#uses=1]
29 %tmp3.i4 = load i8** %tmp2.i ; [#uses=0]
30 call void @fopen( )
31 br i1 false, label %DimensionChannel.exit, label %bb.backedge.i
32
33 bb.backedge.i: ; preds = %entry
34 ret void
35
36 DimensionChannel.exit: ; preds = %entry
37 %tmp13.i137 = malloc i64, i32 0 ; [#uses=1]
38 %tmp610.i = malloc i64, i32 0 ; [#uses=1]
39 br label %cond_true.i143
40
41 cond_true.i143: ; preds = %cond_true.i143, %DimensionChannel.exit
42 %tmp9.i140 = getelementptr i64* %tmp13.i137, i64 0 ; [#uses=0]
43 %tmp12.i = getelementptr i64* %tmp610.i, i64 0 ; [#uses=0]
44 br i1 false, label %bb18.i144, label %cond_true.i143
45
46 bb18.i144: ; preds = %cond_true.i143
47 call void @fopen( )
48 %tmp76.i105 = malloc i64, i32 0 ; [#uses=3]
49 %tmp674.i = malloc i64, i32 0 ; [#uses=2]
50 %tmp1072.i = malloc i64, i32 0 ; [#uses=2]
51 %tmp1470.i = malloc i64, i32 0 ; [#uses=1]
52 br label %cond_true.i114
53
54 cond_true.i114: ; preds = %cond_true.i114, %bb18.i144
55 %tmp17.i108 = getelementptr i64* %tmp76.i105, i64 0 ; [#uses=0]
56 %tmp20.i = getelementptr i64* %tmp674.i, i64 0 ; [#uses=0]
57 %tmp23.i111 = getelementptr i64* %tmp1470.i, i64 0 ; [#uses=0]
58 br i1 false, label %cond_true40.i, label %cond_true.i114
59
60 cond_true40.i: ; preds = %cond_true40.i, %cond_true.i114
61 %tmp33.i115 = getelementptr i64* %tmp1072.i, i64 0 ; [#uses=0]
62 br i1 false, label %bb142.i, label %cond_true40.i
63
64 cond_next54.i: ; preds = %cond_true76.i
65 %tmp57.i = getelementptr i64* %tmp55.i, i64 0 ; [#uses=0]
66 br i1 false, label %bb64.i, label %bb69.i
67
68 bb64.i: ; preds = %cond_true76.i, %cond_next54.i
69 %tmp67.i117 = getelementptr i64* %tmp76.i105, i64 0 ; [#uses=0]
70 br i1 false, label %bb114.i, label %cond_true111.i
71
72 bb69.i: ; preds = %cond_next54.i
73 br i1 false, label %bb79.i, label %cond_true76.i
74
75 cond_true76.i: ; preds = %bb142.i, %bb69.i
76 %tmp48.i = getelementptr i64* %tmp46.i, i64 0 ; [#uses=0]
77 br i1 false, label %bb64.i, label %cond_next54.i
78
79 bb79.i: ; preds = %bb69.i
80 br i1 false, label %bb114.i, label %cond_true111.i
81
82 cond_true111.i: ; preds = %bb79.i, %bb64.i
83 %tmp84.i127 = getelementptr i64* %tmp46.i, i64 0 ; [#uses=0]
84 ret void
85
86 bb114.i: ; preds = %bb142.i, %bb79.i, %bb64.i
87 %tmp117.i = getelementptr i64* %tmp76.i105, i64 0 ; [#uses=0]
88 %tmp132.i131 = getelementptr i64* %tmp674.i, i64 0 ; [#uses=0]
89 %tmp122.i = getelementptr i64* %tmp1072.i, i64 0 ; [#uses=0]
90 ret void
91
92 bb142.i: ; preds = %cond_true40.i
93 %tmp46.i = load i64** @BOT ; [#uses=2]
94 %tmp55.i = load i64** @TOP ; [#uses=1]
95 br i1 false, label %bb114.i, label %cond_true76.i
96 }
0 ; RUN: llvm-as < %s | opt -postdomfrontier -disable-output
1
2 define void @SManager() {
3 entry:
4 br label %bb.outer
5
6 bb.outer: ; preds = %bb193, %entry
7 br label %bb.outer156
8
9 bb.loopexit: ; preds = %bb442
10 br label %bb.outer156
11
12 bb.outer156: ; preds = %bb.loopexit, %bb.outer
13 br label %bb
14
15 bb: ; preds = %bb.backedge, %bb.outer156
16 br i1 false, label %cond_true, label %bb.cond_next_crit_edge
17
18 bb.cond_next_crit_edge: ; preds = %bb
19 br label %cond_next
20
21 cond_true: ; preds = %bb
22 br label %cond_next
23
24 cond_next: ; preds = %cond_true, %bb.cond_next_crit_edge
25 br i1 false, label %cond_next.bb.backedge_crit_edge, label %cond_next107
26
27 cond_next.bb.backedge_crit_edge: ; preds = %cond_next
28 br label %bb.backedge
29
30 bb.backedge: ; preds = %cond_true112.bb.backedge_crit_edge, %cond_next.bb.backedge_crit_edge
31 br label %bb
32
33 cond_next107: ; preds = %cond_next
34 br i1 false, label %cond_true112, label %cond_next197
35
36 cond_true112: ; preds = %cond_next107
37 br i1 false, label %cond_true118, label %cond_true112.bb.backedge_crit_edge
38
39 cond_true112.bb.backedge_crit_edge: ; preds = %cond_true112
40 br label %bb.backedge
41
42 cond_true118: ; preds = %cond_true112
43 br i1 false, label %bb123.preheader, label %cond_true118.bb148_crit_edge
44
45 cond_true118.bb148_crit_edge: ; preds = %cond_true118
46 br label %bb148
47
48 bb123.preheader: ; preds = %cond_true118
49 br label %bb123
50
51 bb123: ; preds = %bb142.bb123_crit_edge, %bb123.preheader
52 br i1 false, label %bb123.bb142_crit_edge, label %cond_next.i57
53
54 bb123.bb142_crit_edge: ; preds = %bb123
55 br label %bb142
56
57 cond_next.i57: ; preds = %bb123
58 br i1 false, label %cond_true135, label %cond_next.i57.bb142_crit_edge
59
60 cond_next.i57.bb142_crit_edge: ; preds = %cond_next.i57
61 br label %bb142
62
63 cond_true135: ; preds = %cond_next.i57
64 br label %bb142
65
66 bb142: ; preds = %cond_true135, %cond_next.i57.bb142_crit_edge, %bb123.bb142_crit_edge
67 br i1 false, label %bb148.loopexit, label %bb142.bb123_crit_edge
68
69 bb142.bb123_crit_edge: ; preds = %bb142
70 br label %bb123
71
72 bb148.loopexit: ; preds = %bb142
73 br label %bb148
74
75 bb148: ; preds = %bb148.loopexit, %cond_true118.bb148_crit_edge
76 br i1 false, label %bb151.preheader, label %bb148.bb177_crit_edge
77
78 bb148.bb177_crit_edge: ; preds = %bb148
79 br label %bb177
80
81 bb151.preheader: ; preds = %bb148
82 br label %bb151
83
84 bb151: ; preds = %bb171.bb151_crit_edge, %bb151.preheader
85 br i1 false, label %bb151.bb171_crit_edge, label %cond_next.i49
86
87 bb151.bb171_crit_edge: ; preds = %bb151
88 br label %bb171
89
90 cond_next.i49: ; preds = %bb151
91 br i1 false, label %cond_true164, label %cond_next.i49.bb171_crit_edge
92
93 cond_next.i49.bb171_crit_edge: ; preds = %cond_next.i49
94 br label %bb171
95
96 cond_true164: ; preds = %cond_next.i49
97 br label %bb171
98
99 bb171: ; preds = %cond_true164, %cond_next.i49.bb171_crit_edge, %bb151.bb171_crit_edge
100 br i1 false, label %bb177.loopexit, label %bb171.bb151_crit_edge
101
102 bb171.bb151_crit_edge: ; preds = %bb171
103 br label %bb151
104
105 bb177.loopexit: ; preds = %bb171
106 br label %bb177
107
108 bb177: ; preds = %bb177.loopexit, %bb148.bb177_crit_edge
109 br i1 false, label %bb180.preheader, label %bb177.bb193_crit_edge
110
111 bb177.bb193_crit_edge: ; preds = %bb177
112 br label %bb193
113
114 bb180.preheader: ; preds = %bb177
115 br label %bb180
116
117 bb180: ; preds = %bb180.bb180_crit_edge, %bb180.preheader
118 br i1 false, label %bb193.loopexit, label %bb180.bb180_crit_edge
119
120 bb180.bb180_crit_edge: ; preds = %bb180
121 br label %bb180
122
123 bb193.loopexit: ; preds = %bb180
124 br label %bb193
125
126 bb193: ; preds = %bb193.loopexit, %bb177.bb193_crit_edge
127 br label %bb.outer
128
129 cond_next197: ; preds = %cond_next107
130 br i1 false, label %cond_next210, label %cond_true205
131
132 cond_true205: ; preds = %cond_next197
133 br i1 false, label %cond_true205.bb213_crit_edge, label %cond_true205.bb299_crit_edge
134
135 cond_true205.bb299_crit_edge: ; preds = %cond_true205
136 br label %bb299
137
138 cond_true205.bb213_crit_edge: ; preds = %cond_true205
139 br label %bb213
140
141 cond_next210: ; preds = %cond_next197
142 br label %bb293
143
144 bb213: ; preds = %bb293.bb213_crit_edge, %cond_true205.bb213_crit_edge
145 br i1 false, label %bb213.cond_next290_crit_edge, label %cond_true248
146
147 bb213.cond_next290_crit_edge: ; preds = %bb213
148 br label %cond_next290
149
150 cond_true248: ; preds = %bb213
151 br i1 false, label %cond_true248.cond_next290_crit_edge, label %cond_true255
152
153 cond_true248.cond_next290_crit_edge: ; preds = %cond_true248
154 br label %cond_next290
155
156 cond_true255: ; preds = %cond_true248
157 br i1 false, label %cond_true266, label %cond_true255.cond_next271_crit_edge
158
159 cond_true255.cond_next271_crit_edge: ; preds = %cond_true255
160 br label %cond_next271
161
162 cond_true266: ; preds = %cond_true255
163 br label %cond_next271
164
165 cond_next271: ; preds = %cond_true266, %cond_true255.cond_next271_crit_edge
166 br label %cond_next290
167
168 cond_next290: ; preds = %cond_next271, %cond_true248.cond_next290_crit_edge, %bb213.cond_next290_crit_edge
169 br label %bb293
170
171 bb293: ; preds = %cond_next290, %cond_next210
172 br i1 false, label %bb293.bb213_crit_edge, label %bb293.bb299_crit_edge
173
174 bb293.bb299_crit_edge: ; preds = %bb293
175 br label %bb299
176
177 bb293.bb213_crit_edge: ; preds = %bb293
178 br label %bb213
179
180 bb299: ; preds = %bb293.bb299_crit_edge, %cond_true205.bb299_crit_edge
181 br i1 false, label %bb302.preheader, label %bb299.bb390_crit_edge
182
183 bb299.bb390_crit_edge: ; preds = %bb299
184 br label %bb390
185
186 bb302.preheader: ; preds = %bb299
187 br label %bb302
188
189 bb302: ; preds = %bb384.bb302_crit_edge, %bb302.preheader
190 br i1 false, label %bb302.bb384_crit_edge, label %cond_true339
191
192 bb302.bb384_crit_edge: ; preds = %bb302
193 br label %bb384
194
195 cond_true339: ; preds = %bb302
196 br i1 false, label %cond_true339.bb384_crit_edge, label %cond_true346
197
198 cond_true339.bb384_crit_edge: ; preds = %cond_true339
199 br label %bb384
200
201 cond_true346: ; preds = %cond_true339
202 br i1 false, label %cond_true357, label %cond_true346.cond_next361_crit_edge
203
204 cond_true346.cond_next361_crit_edge: ; preds = %cond_true346
205 br label %cond_next361
206
207 cond_true357: ; preds = %cond_true346
208 br label %cond_next361
209
210 cond_next361: ; preds = %cond_true357, %cond_true346.cond_next361_crit_edge
211 br label %bb384
212
213 bb384: ; preds = %cond_next361, %cond_true339.bb384_crit_edge, %bb302.bb384_crit_edge
214 br i1 false, label %bb390.loopexit, label %bb384.bb302_crit_edge
215
216 bb384.bb302_crit_edge: ; preds = %bb384
217 br label %bb302
218
219 bb390.loopexit: ; preds = %bb384
220 br label %bb390
221
222 bb390: ; preds = %bb390.loopexit, %bb299.bb390_crit_edge
223 br i1 false, label %bb391.preheader, label %bb390.bb442.preheader_crit_edge
224
225 bb390.bb442.preheader_crit_edge: ; preds = %bb390
226 br label %bb442.preheader
227
228 bb391.preheader: ; preds = %bb390
229 br label %bb391
230
231 bb391: ; preds = %bb413.bb391_crit_edge, %bb391.preheader
232 br i1 false, label %bb391.bb413_crit_edge, label %cond_next404
233
234 bb391.bb413_crit_edge: ; preds = %bb391
235 br label %bb413
236
237 cond_next404: ; preds = %bb391
238 br i1 false, label %cond_next404.HWrite.exit_crit_edge, label %cond_next.i13
239
240 cond_next404.HWrite.exit_crit_edge: ; preds = %cond_next404
241 br label %HWrite.exit
242
243 cond_next.i13: ; preds = %cond_next404
244 br i1 false, label %cond_next.i13.cond_next13.i_crit_edge, label %cond_true12.i
245
246 cond_next.i13.cond_next13.i_crit_edge: ; preds = %cond_next.i13
247 br label %cond_next13.i
248
249 cond_true12.i: ; preds = %cond_next.i13
250 br label %cond_next13.i
251
252 cond_next13.i: ; preds = %cond_true12.i, %cond_next.i13.cond_next13.i_crit_edge
253 br i1 false, label %cond_next13.i.bb.i22_crit_edge, label %cond_next43.i
254
255 cond_next13.i.bb.i22_crit_edge: ; preds = %cond_next13.i
256 br label %bb.i22
257
258 cond_next43.i: ; preds = %cond_next13.i
259 br i1 false, label %cond_next43.i.bb.i22_crit_edge, label %bb60.i
260
261 cond_next43.i.bb.i22_crit_edge: ; preds = %cond_next43.i
262 br label %bb.i22
263
264 bb.i22: ; preds = %cond_next43.i.bb.i22_crit_edge, %cond_next13.i.bb.i22_crit_edge
265 br label %bb413
266
267 bb60.i: ; preds = %cond_next43.i
268 br i1 false, label %bb60.i.HWrite.exit_crit_edge, label %cond_true81.i
269
270 bb60.i.HWrite.exit_crit_edge: ; preds = %bb60.i
271 br label %HWrite.exit
272
273 cond_true81.i: ; preds = %bb60.i
274 br label %bb413
275
276 HWrite.exit: ; preds = %bb60.i.HWrite.exit_crit_edge, %cond_next404.HWrite.exit_crit_edge
277 br label %bb413
278
279 bb413: ; preds = %HWrite.exit, %cond_true81.i, %bb.i22, %bb391.bb413_crit_edge
280 br i1 false, label %bb442.preheader.loopexit, label %bb413.bb391_crit_edge
281
282 bb413.bb391_crit_edge: ; preds = %bb413
283 br label %bb391
284
285 bb442.preheader.loopexit: ; preds = %bb413
286 br label %bb442.preheader
287
288 bb442.preheader: ; preds = %bb442.preheader.loopexit, %bb390.bb442.preheader_crit_edge
289 br label %bb442.outer
290
291 bb420: ; preds = %bb442
292 br i1 false, label %bb439.loopexit, label %cond_next433
293
294 cond_next433: ; preds = %bb420
295 br i1 false, label %cond_next433.HRead.exit.loopexit_crit_edge, label %cond_next.i
296
297 cond_next433.HRead.exit.loopexit_crit_edge: ; preds = %cond_next433
298 br label %HRead.exit.loopexit
299
300 cond_next.i: ; preds = %cond_next433
301 br i1 false, label %cond_true9.i, label %cond_false223.i
302
303 cond_true9.i: ; preds = %cond_next.i
304 switch i32 0, label %cond_false.i [
305 i32 1, label %cond_true9.i.cond_true15.i_crit_edge
306 i32 5, label %cond_true9.i.cond_true15.i_crit_edge9
307 ]
308
309 cond_true9.i.cond_true15.i_crit_edge9: ; preds = %cond_true9.i
310 br label %cond_true15.i
311
312 cond_true9.i.cond_true15.i_crit_edge: ; preds = %cond_true9.i
313 br label %cond_true15.i
314
315 cond_true15.i: ; preds = %cond_true9.i.cond_true15.i_crit_edge, %cond_true9.i.cond_true15.i_crit_edge9
316 br i1 false, label %cond_true15.i.cond_true44.i_crit_edge, label %cond_true15.i.cond_false49.i_crit_edge
317
318 cond_true15.i.cond_false49.i_crit_edge: ; preds = %cond_true15.i
319 br label %cond_false49.i
320
321 cond_true15.i.cond_true44.i_crit_edge: ; preds = %cond_true15.i
322 br label %cond_true44.i
323
324 cond_false.i: ; preds = %cond_true9.i
325 br i1 false, label %cond_false.i.cond_next39.i_crit_edge, label %cond_true30.i
326
327 cond_false.i.cond_next39.i_crit_edge: ; preds = %cond_false.i
328 br label %cond_next39.i
329
330 cond_true30.i: ; preds = %cond_false.i
331 br label %cond_next39.i
332
333 cond_next39.i: ; preds = %cond_true30.i, %cond_false.i.cond_next39.i_crit_edge
334 br i1 false, label %cond_next39.i.cond_true44.i_crit_edge, label %cond_next39.i.cond_false49.i_crit_edge
335
336 cond_next39.i.cond_false49.i_crit_edge: ; preds = %cond_next39.i
337 br label %cond_false49.i
338
339 cond_next39.i.cond_true44.i_crit_edge: ; preds = %cond_next39.i
340 br label %cond_true44.i
341
342 cond_true44.i: ; preds = %cond_next39.i.cond_true44.i_crit_edge, %cond_true15.i.cond_true44.i_crit_edge
343 br i1 false, label %cond_true44.i.cond_next70.i_crit_edge, label %cond_true44.i.cond_true61.i_crit_edge
344
345 cond_true44.i.cond_true61.i_crit_edge: ; preds = %cond_true44.i
346 br label %cond_true61.i
347
348 cond_true44.i.cond_next70.i_crit_edge: ; preds = %cond_true44.i
349 br label %cond_next70.i
350
351 cond_false49.i: ; preds = %cond_next39.i.cond_false49.i_crit_edge, %cond_true15.i.cond_false49.i_crit_edge
352 br i1 false, label %cond_false49.i.cond_next70.i_crit_edge, label %cond_false49.i.cond_true61.i_crit_edge
353
354 cond_false49.i.cond_true61.i_crit_edge: ; preds = %cond_false49.i
355 br label %cond_true61.i
356
357 cond_false49.i.cond_next70.i_crit_edge: ; preds = %cond_false49.i
358 br label %cond_next70.i
359
360 cond_true61.i: ; preds = %cond_false49.i.cond_true61.i_crit_edge, %cond_true44.i.cond_true61.i_crit_edge
361 br i1 false, label %cond_true61.i.cond_next70.i_crit_edge, label %cond_true67.i
362
363 cond_true61.i.cond_next70.i_crit_edge: ; preds = %cond_true61.i
364 br label %cond_next70.i
365
366 cond_true67.i: ; preds = %cond_true61.i
367 br label %cond_next70.i
368
369 cond_next70.i: ; preds = %cond_true67.i, %cond_true61.i.cond_next70.i_crit_edge, %cond_false49.i.cond_next70.i_crit_edge, %cond_true44.i.cond_next70.i_crit_edge
370 br i1 false, label %cond_true77.i, label %cond_next81.i
371
372 cond_true77.i: ; preds = %cond_next70.i
373 br label %bb442.outer.backedge
374
375 cond_next81.i: ; preds = %cond_next70.i
376 br i1 false, label %cond_true87.i, label %cond_false94.i
377
378 cond_true87.i: ; preds = %cond_next81.i
379 br i1 false, label %cond_true87.i.cond_true130.i_crit_edge, label %cond_true87.i.cond_next135.i_crit_edge
380
381 cond_true87.i.cond_next135.i_crit_edge: ; preds = %cond_true87.i
382 br label %cond_next135.i
383
384 cond_true87.i.cond_true130.i_crit_edge: ; preds = %cond_true87.i
385 br label %cond_true130.i
386
387 cond_false94.i: ; preds = %cond_next81.i
388 switch i32 0, label %cond_false94.i.cond_next125.i_crit_edge [
389 i32 1, label %cond_false94.i.cond_true100.i_crit_edge
390 i32 5, label %cond_false94.i.cond_true100.i_crit_edge10
391 ]
392
393 cond_false94.i.cond_true100.i_crit_edge10: ; preds = %cond_false94.i
394 br label %cond_true100.i
395
396 cond_false94.i.cond_true100.i_crit_edge: ; preds = %cond_false94.i
397 br label %cond_true100.i
398
399 cond_false94.i.cond_next125.i_crit_edge: ; preds = %cond_false94.i
400 br label %cond_next125.i
401
402 cond_true100.i: ; preds = %cond_false94.i.cond_true100.i_crit_edge, %cond_false94.i.cond_true100.i_crit_edge10
403 br i1 false, label %cond_true107.i, label %cond_true100.i.cond_next109.i_crit_edge
404
405 cond_true100.i.cond_next109.i_crit_edge: ; preds = %cond_true100.i
406 br label %cond_next109.i
407
408 cond_true107.i: ; preds = %cond_true100.i
409 br label %cond_next109.i
410
411 cond_next109.i: ; preds = %cond_true107.i, %cond_true100.i.cond_next109.i_crit_edge
412 br i1 false, label %cond_next109.i.cond_next125.i_crit_edge, label %cond_true116.i
413
414 cond_next109.i.cond_next125.i_crit_edge: ; preds = %cond_next109.i
415 br label %cond_next125.i
416
417 cond_true116.i: ; preds = %cond_next109.i
418 br label %cond_next125.i
419
420 cond_next125.i: ; preds = %cond_true116.i, %cond_next109.i.cond_next125.i_crit_edge, %cond_false94.i.cond_next125.i_crit_edge
421 br i1 false, label %cond_next125.i.cond_true130.i_crit_edge, label %cond_next125.i.cond_next135.i_crit_edge
422
423 cond_next125.i.cond_next135.i_crit_edge: ; preds = %cond_next125.i
424 br label %cond_next135.i
425
426 cond_next125.i.cond_true130.i_crit_edge: ; preds = %cond_next125.i
427 br label %cond_true130.i
428
429 cond_true130.i: ; preds = %cond_next125.i.cond_true130.i_crit_edge, %cond_true87.i.cond_true130.i_crit_edge
430 br label %cond_next135.i
431
432 cond_next135.i: ; preds = %cond_true130.i, %cond_next125.i.cond_next135.i_crit_edge, %cond_true87.i.cond_next135.i_crit_edge
433 br i1 false, label %cond_true142.i, label %cond_next135.i.cond_next149.i_crit_edge
434
435 cond_next135.i.cond_next149.i_crit_edge: ; preds = %cond_next135.i
436 br label %cond_next149.i
437
438 cond_true142.i: ; preds = %cond_next135.i
439 br label %cond_next149.i
440
441 cond_next149.i: ; preds = %cond_true142.i, %cond_next135.i.cond_next149.i_crit_edge
442 br i1 false, label %cond_true156.i, label %cond_next149.i.cond_next163.i_crit_edge
443
444 cond_next149.i.cond_next163.i_crit_edge: ; preds = %cond_next149.i
445 br label %cond_next163.i
446
447 cond_true156.i: ; preds = %cond_next149.i
448 br label %cond_next163.i
449
450 cond_next163.i: ; preds = %cond_true156.i, %cond_next149.i.cond_next163.i_crit_edge
451 br i1 false, label %cond_true182.i, label %cond_next163.i.cond_next380.i_crit_edge
452
453 cond_next163.i.cond_next380.i_crit_edge: ; preds = %cond_next163.i
454 br label %cond_next380.i
455
456 cond_true182.i: ; preds = %cond_next163.i
457 br i1 false, label %cond_true182.i.cond_next380.i_crit_edge, label %cond_true196.i
458
459 cond_true182.i.cond_next380.i_crit_edge: ; preds = %cond_true182.i
460 br label %cond_next380.i
461
462 cond_true196.i: ; preds = %cond_true182.i
463 br i1 false, label %cond_true210.i, label %cond_true196.i.cond_next380.i_crit_edge
464
465 cond_true196.i.cond_next380.i_crit_edge: ; preds = %cond_true196.i
466 br label %cond_next380.i
467
468 cond_true210.i: ; preds = %cond_true196.i
469 br i1 false, label %cond_true216.i, label %cond_true210.i.cond_next380.i_crit_edge
470
471 cond_true210.i.cond_next380.i_crit_edge: ; preds = %cond_true210.i
472 br label %cond_next380.i
473
474 cond_true216.i: ; preds = %cond_true210.i
475 br label %cond_next380.i
476
477 cond_false223.i: ; preds = %cond_next.i
478 br i1 false, label %cond_true229.i, label %cond_false355.i
479
480 cond_true229.i: ; preds = %cond_false223.i
481 br i1 false, label %cond_true229.i.HRead.exit.loopexit_crit_edge, label %cond_next243.i
482
483 cond_true229.i.HRead.exit.loopexit_crit_edge: ; preds = %cond_true229.i
484 br label %HRead.exit.loopexit
485
486 cond_next243.i: ; preds = %cond_true229.i
487 br i1 false, label %cond_true248.i, label %cond_false255.i
488
489 cond_true248.i: ; preds = %cond_next243.i
490 br label %cond_next260.i
491
492 cond_false255.i: ; preds = %cond_next243.i
493 br label %cond_next260.i
494
495 cond_next260.i: ; preds = %cond_false255.i, %cond_true248.i
496 br i1 false, label %cond_true267.i, label %cond_next273.i
497
498 cond_true267.i: ; preds = %cond_next260.i
499 br label %bb442.backedge
500
501 bb442.backedge: ; preds = %bb.i, %cond_true267.i
502 br label %bb442
503
504 cond_next273.i: ; preds = %cond_next260.i
505 br i1 false, label %cond_true281.i, label %cond_next273.i.cond_next288.i_crit_edge
506
507 cond_next273.i.cond_next288.i_crit_edge: ; preds = %cond_next273.i
508 br label %cond_next288.i
509
510 cond_true281.i: ; preds = %cond_next273.i
511 br label %cond_next288.i
512
513 cond_next288.i: ; preds = %cond_true281.i, %cond_next273.i.cond_next288.i_crit_edge
514 br i1 false, label %cond_true295.i, label %cond_next288.i.cond_next302.i_crit_edge
515
516 cond_next288.i.cond_next302.i_crit_edge: ; preds = %cond_next288.i
517 br label %cond_next302.i
518
519 cond_true295.i: ; preds = %cond_next288.i
520 br label %cond_next302.i
521
522 cond_next302.i: ; preds = %cond_true295.i, %cond_next288.i.cond_next302.i_crit_edge
523 br i1 false, label %cond_next302.i.cond_next380.i_crit_edge, label %cond_true328.i
524
525 cond_next302.i.cond_next380.i_crit_edge: ; preds = %cond_next302.i
526 br label %cond_next380.i
527
528 cond_true328.i: ; preds = %cond_next302.i
529 br i1 false, label %cond_true343.i, label %cond_true328.i.cond_next380.i_crit_edge
530
531 cond_true328.i.cond_next380.i_crit_edge: ; preds = %cond_true328.i
532 br label %cond_next380.i
533
534 cond_true343.i: ; preds = %cond_true328.i
535 br i1 false, label %cond_true349.i, label %cond_true343.i.cond_next380.i_crit_edge
536
537 cond_true343.i.cond_next380.i_crit_edge: ; preds = %cond_true343.i
538 br label %cond_next380.i
539
540 cond_true349.i: ; preds = %cond_true343.i
541 br label %cond_next380.i
542
543 cond_false355.i: ; preds = %cond_false223.i
544 br i1 false, label %cond_false355.i.bb.i_crit_edge, label %cond_next363.i
545
546 cond_false355.i.bb.i_crit_edge: ; preds = %cond_false355.i
547 br label %bb.i
548
549 cond_next363.i: ; preds = %cond_false355.i
550 br i1 false, label %bb377.i, label %cond_next363.i.bb.i_crit_edge
551
552 cond_next363.i.bb.i_crit_edge: ; preds = %cond_next363.i
553 br label %bb.i
554
555 bb.i: ; preds = %cond_next363.i.bb.i_crit_edge, %cond_false355.i.bb.i_crit_edge
556 br label %bb442.backedge
557
558 bb377.i: ; preds = %cond_next363.i
559 br label %cond_next380.i
560
561 cond_next380.i: ; preds = %bb377.i, %cond_true349.i, %cond_true343.i.cond_next380.i_crit_edge, %cond_true328.i.cond_next380.i_crit_edge, %cond_next302.i.cond_next380.i_crit_edge, %cond_true216.i, %cond_true210.i.cond_next380.i_crit_edge, %cond_true196.i.cond_next380.i_crit_edge, %cond_true182.i.cond_next380.i_crit_edge, %cond_next163.i.cond_next380.i_crit_edge
562 br i1 false, label %cond_next380.i.HRead.exit_crit_edge, label %cond_true391.i
563
564 cond_next380.i.HRead.exit_crit_edge: ; preds = %cond_next380.i
565 br label %HRead.exit
566
567 cond_true391.i: ; preds = %cond_next380.i
568 br label %bb442.outer.backedge
569
570 bb442.outer.backedge: ; preds = %bb439, %cond_true391.i, %cond_true77.i
571 br label %bb442.outer
572
573 HRead.exit.loopexit: ; preds = %cond_true229.i.HRead.exit.loopexit_crit_edge, %cond_next433.HRead.exit.loopexit_crit_edge
574 br label %HRead.exit
575
576 HRead.exit: ; preds = %HRead.exit.loopexit, %cond_next380.i.HRead.exit_crit_edge
577 br label %bb439
578
579 bb439.loopexit: ; preds = %bb420
580 br label %bb439
581
582 bb439: ; preds = %bb439.loopexit, %HRead.exit
583 br label %bb442.outer.backedge
584
585 bb442.outer: ; preds = %bb442.outer.backedge, %bb442.preheader
586 br label %bb442
587
588 bb442: ; preds = %bb442.outer, %bb442.backedge
589 br i1 false, label %bb420, label %bb.loopexit
590 }
591
592 define void @Invalidate() {
593 entry:
594 br i1 false, label %cond_false, label %cond_true
595
596 cond_true: ; preds = %entry
597 br i1 false, label %cond_true40, label %cond_true.cond_next_crit_edge
598
599 cond_true.cond_next_crit_edge: ; preds = %cond_true
600 br label %cond_next
601
602 cond_true40: ; preds = %cond_true
603 br label %cond_next
604
605 cond_next: ; preds = %cond_true40, %cond_true.cond_next_crit_edge
606 br i1 false, label %cond_true68, label %cond_next.cond_next73_crit_edge
607
608 cond_next.cond_next73_crit_edge: ; preds = %cond_next
609 br label %cond_next73
610
611 cond_true68: ; preds = %cond_next
612 br label %cond_next73
613
614 cond_next73: ; preds = %cond_true68, %cond_next.cond_next73_crit_edge
615 br i1 false, label %cond_true91, label %cond_next73.cond_next96_crit_edge
616
617 cond_next73.cond_next96_crit_edge: ; preds = %cond_next73
618 br label %cond_next96
619
620 cond_true91: ; preds = %cond_next73
621 br label %cond_next96
622
623 cond_next96: ; preds = %cond_true91, %cond_next73.cond_next96_crit_edge
624 br i1 false, label %cond_next96.cond_next112_crit_edge, label %cond_true105
625
626 cond_next96.cond_next112_crit_edge: ; preds = %cond_next96
627 br label %cond_next112
628
629 cond_true105: ; preds = %cond_next96
630 br label %cond_next112
631
632 cond_next112: ; preds = %cond_true105, %cond_next96.cond_next112_crit_edge
633 br i1 false, label %cond_next112.cond_next127_crit_edge, label %cond_true119
634
635 cond_next112.cond_next127_crit_edge: ; preds = %cond_next112
636 br label %cond_next127
637
638 cond_true119: ; preds = %cond_next112
639 br label %cond_next127
640
641 cond_next127: ; preds = %cond_true119, %cond_next112.cond_next127_crit_edge
642 br i1 false, label %cond_next141, label %cond_true134
643
644 cond_true134: ; preds = %cond_next127
645 br i1 false, label %cond_true134.bb161_crit_edge, label %cond_true134.bb_crit_edge
646
647 cond_true134.bb_crit_edge: ; preds = %cond_true134
648 br label %bb
649
650 cond_true134.bb161_crit_edge: ; preds = %cond_true134
651 br label %bb161
652
653 cond_next141: ; preds = %cond_next127
654 br label %bb154
655
656 bb: ; preds = %bb154.bb_crit_edge, %cond_true134.bb_crit_edge
657 br label %bb154
658
659 bb154: ; preds = %bb, %cond_next141
660 br i1 false, label %bb154.bb161_crit_edge, label %bb154.bb_crit_edge
661
662 bb154.bb_crit_edge: ; preds = %bb154
663 br label %bb
664
665 bb154.bb161_crit_edge: ; preds = %bb154
666 br label %bb161
667
668 bb161: ; preds = %bb154.bb161_crit_edge, %cond_true134.bb161_crit_edge
669 br i1 false, label %bb161.cond_next201_crit_edge, label %cond_true198
670
671 bb161.cond_next201_crit_edge: ; preds = %bb161
672 br label %cond_next201
673
674 cond_true198: ; preds = %bb161
675 br label %cond_next201
676
677 cond_next201: ; preds = %cond_true198, %bb161.cond_next201_crit_edge
678 br i1 false, label %cond_next212, label %cond_true206
679
680 cond_true206: ; preds = %cond_next201
681 br label %UnifiedReturnBlock
682
683 cond_false: ; preds = %entry
684 br label %UnifiedReturnBlock
685
686 cond_next212: ; preds = %cond_next201
687 br label %UnifiedReturnBlock
688
689 UnifiedReturnBlock: ; preds = %cond_next212, %cond_false, %cond_true206
690 ret void
691 }
0 ; RUN: llvm-as < %s | opt -postdomfrontier -disable-output
1
2 define void @args_out_of_range() {
3 entry:
4 br label %bb
5
6 bb: ; preds = %bb, %entry
7 br label %bb
8 }
9
10 define void @args_out_of_range_3() {
11 entry:
12 br label %bb
13
14 bb: ; preds = %bb, %entry
15 br label %bb
16 }
17
18 define void @Feq() {
19 entry:
20 br i1 false, label %cond_true, label %cond_next
21
22 cond_true: ; preds = %entry
23 unreachable
24
25 cond_next: ; preds = %entry
26 unreachable
27 }