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