blob: e0298313904e237f47b2b1a4f3bd32c1273a1122 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001; RUN: llvm-upgrade < %s | llvm-as | opt -condprop -disable-output
2; PR877
3
4target endian = big
5target pointersize = 32
6target triple = "powerpc-apple-darwin9.0.0d1"
7 "struct.kc::impl_Ccode_option" = type { "struct.kc::impl_abstract_phylum" }
8 "struct.kc::impl_ID" = type { "struct.kc::impl_abstract_phylum", "struct.kc::impl_Ccode_option"*, "struct.kc::impl_casestring__Str"*, int, "struct.kc::impl_casestring__Str"* }
9 "struct.kc::impl_abstract_phylum" = type { int (...)** }
10 "struct.kc::impl_casestring__Str" = type { "struct.kc::impl_abstract_phylum", sbyte* }
11 "struct.kc::impl_elem_patternrepresentation" = type { "struct.kc::impl_abstract_phylum", int, "struct.kc::impl_casestring__Str"*, "struct.kc::impl_ID"* }
12 "struct.kc::impl_outmostpatterns" = type { "struct.kc::impl_Ccode_option", "struct.kc::impl_elem_patternrepresentation"*, "struct.kc::impl_outmostpatterns"* }
13 "struct.kc::impl_patternrepresentations" = type { "struct.kc::impl_Ccode_option", "struct.kc::impl_outmostpatterns"*, "struct.kc::impl_patternrepresentations"* }
14
15implementation ; Functions:
16
17void %_ZN2kc16compare_patternsEPNS_26impl_patternrepresentationES1_PNS_27impl_patternrepresentationsE() {
18entry:
19 br label %bb1269.outer.outer.outer.outer
20
21cond_true: ; preds = %cond_true1298
22 br label %bb1269.outer69
23
24cond_false: ; preds = %cond_true1298
25 br bool false, label %cond_next, label %bb51
26
27cond_next: ; preds = %cond_false
28 br bool false, label %bb52, label %bb51
29
30bb51: ; preds = %cond_next, %cond_false
31 br label %bb52
32
33bb52: ; preds = %bb51, %cond_next
34 br bool false, label %cond_false82, label %cond_true55
35
36cond_true55: ; preds = %bb52
37 br bool false, label %UnifiedReturnBlock, label %cond_true57
38
39cond_true57: ; preds = %cond_true55
40 br label %UnifiedReturnBlock
41
42cond_false82: ; preds = %bb52
43 br bool false, label %cond_next97, label %bb113
44
45cond_next97: ; preds = %cond_false82
46 br bool false, label %bb114, label %bb113
47
48bb113: ; preds = %cond_next97, %cond_false82
49 br label %bb114
50
51bb114: ; preds = %bb113, %cond_next97
52 br bool false, label %cond_false151, label %cond_true117
53
54cond_true117: ; preds = %bb114
55 br bool false, label %UnifiedReturnBlock, label %cond_true120
56
57cond_true120: ; preds = %cond_true117
58 br label %UnifiedReturnBlock
59
60cond_false151: ; preds = %bb114
61 br bool false, label %cond_next166, label %bb182
62
63cond_next166: ; preds = %cond_false151
64 br bool false, label %bb183, label %bb182
65
66bb182: ; preds = %cond_next166, %cond_false151
67 br label %bb183
68
69bb183: ; preds = %bb182, %cond_next166
70 br bool false, label %cond_false256, label %cond_true186
71
72cond_true186: ; preds = %bb183
73 br bool false, label %cond_true207, label %cond_false214
74
75cond_true207: ; preds = %cond_true186
76 br label %bb1269.outer38.backedge
77
78bb1269.outer38.backedge: ; preds = %cond_true545, %cond_true432, %cond_true320, %cond_true207
79 br label %bb1269.outer38
80
81cond_false214: ; preds = %cond_true186
82 br bool false, label %cond_true228, label %cond_false235
83
84cond_true228: ; preds = %cond_false214
85 br label %bb1269.outer21.backedge
86
87bb1269.outer21.backedge: ; preds = %cond_true566, %cond_true453, %cond_true341, %cond_true228
88 br label %bb1269.outer21
89
90cond_false235: ; preds = %cond_false214
91 br bool false, label %UnifiedReturnBlock, label %cond_false250
92
93cond_false250: ; preds = %cond_false235
94 br label %UnifiedUnreachableBlock
95
96cond_false256: ; preds = %bb183
97 br bool false, label %cond_next271, label %bb287
98
99cond_next271: ; preds = %cond_false256
100 br bool false, label %bb288, label %bb287
101
102bb287: ; preds = %cond_next271, %cond_false256
103 br label %bb288
104
105bb288: ; preds = %bb287, %cond_next271
106 br bool false, label %cond_false369, label %cond_true291
107
108cond_true291: ; preds = %bb288
109 br bool false, label %cond_true320, label %cond_false327
110
111cond_true320: ; preds = %cond_true291
112 br label %bb1269.outer38.backedge
113
114cond_false327: ; preds = %cond_true291
115 br bool false, label %cond_true341, label %cond_false348
116
117cond_true341: ; preds = %cond_false327
118 br label %bb1269.outer21.backedge
119
120cond_false348: ; preds = %cond_false327
121 br bool false, label %UnifiedReturnBlock, label %cond_false363
122
123cond_false363: ; preds = %cond_false348
124 br label %UnifiedUnreachableBlock
125
126cond_false369: ; preds = %bb288
127 br bool false, label %cond_next384, label %bb400
128
129cond_next384: ; preds = %cond_false369
130 br bool false, label %bb401, label %bb400
131
132bb400: ; preds = %cond_next384, %cond_false369
133 br label %bb401
134
135bb401: ; preds = %bb400, %cond_next384
136 br bool false, label %cond_false481, label %cond_true404
137
138cond_true404: ; preds = %bb401
139 br bool false, label %cond_true432, label %cond_false439
140
141cond_true432: ; preds = %cond_true404
142 br label %bb1269.outer38.backedge
143
144cond_false439: ; preds = %cond_true404
145 br bool false, label %cond_true453, label %cond_false460
146
147cond_true453: ; preds = %cond_false439
148 br label %bb1269.outer21.backedge
149
150cond_false460: ; preds = %cond_false439
151 br bool false, label %UnifiedReturnBlock, label %cond_false475
152
153cond_false475: ; preds = %cond_false460
154 br label %UnifiedUnreachableBlock
155
156cond_false481: ; preds = %bb401
157 br bool false, label %cond_next496, label %bb512
158
159cond_next496: ; preds = %cond_false481
160 br bool false, label %bb513, label %bb512
161
162bb512: ; preds = %cond_next496, %cond_false481
163 br label %bb513
164
165bb513: ; preds = %bb512, %cond_next496
166 br bool false, label %cond_false594, label %cond_true516
167
168cond_true516: ; preds = %bb513
169 br bool false, label %cond_true545, label %cond_false552
170
171cond_true545: ; preds = %cond_true516
172 br label %bb1269.outer38.backedge
173
174cond_false552: ; preds = %cond_true516
175 br bool false, label %cond_true566, label %cond_false573
176
177cond_true566: ; preds = %cond_false552
178 br label %bb1269.outer21.backedge
179
180cond_false573: ; preds = %cond_false552
181 br bool false, label %UnifiedReturnBlock, label %cond_false588
182
183cond_false588: ; preds = %cond_false573
184 br label %UnifiedUnreachableBlock
185
186cond_false594: ; preds = %bb513
187 br bool false, label %cond_next609, label %bb625
188
189cond_next609: ; preds = %cond_false594
190 br bool false, label %bb626, label %bb625
191
192bb625: ; preds = %cond_next609, %cond_false594
193 br label %bb626
194
195bb626: ; preds = %bb625, %cond_next609
196 br bool false, label %cond_false707, label %cond_true629
197
198cond_true629: ; preds = %bb626
199 br bool false, label %cond_true658, label %cond_false665
200
201cond_true658: ; preds = %cond_true629
202 br label %bb1269.outer2.backedge
203
204bb1269.outer2.backedge: ; preds = %cond_true679, %cond_true658
205 br label %bb1269.outer2
206
207cond_false665: ; preds = %cond_true629
208 br bool false, label %cond_true679, label %cond_false686
209
210cond_true679: ; preds = %cond_false665
211 br label %bb1269.outer2.backedge
212
213cond_false686: ; preds = %cond_false665
214 br bool false, label %UnifiedReturnBlock, label %cond_false701
215
216cond_false701: ; preds = %cond_false686
217 br label %UnifiedUnreachableBlock
218
219cond_false707: ; preds = %bb626
220 br bool false, label %cond_next722, label %bb738
221
222cond_next722: ; preds = %cond_false707
223 br bool false, label %bb739, label %bb738
224
225bb738: ; preds = %cond_next722, %cond_false707
226 br label %bb739
227
228bb739: ; preds = %bb738, %cond_next722
229 br bool false, label %cond_false820, label %cond_true742
230
231cond_true742: ; preds = %bb739
232 br bool false, label %cond_true771, label %cond_false778
233
234cond_true771: ; preds = %cond_true742
235 br label %bb1269.outer.backedge
236
237bb1269.outer.backedge: ; preds = %cond_true792, %cond_true771
238 br label %bb1269.outer
239
240cond_false778: ; preds = %cond_true742
241 br bool false, label %cond_true792, label %cond_false799
242
243cond_true792: ; preds = %cond_false778
244 br label %bb1269.outer.backedge
245
246cond_false799: ; preds = %cond_false778
247 br bool false, label %UnifiedReturnBlock, label %cond_false814
248
249cond_false814: ; preds = %cond_false799
250 br label %UnifiedUnreachableBlock
251
252cond_false820: ; preds = %bb739
253 br bool false, label %cond_next835, label %bb851
254
255cond_next835: ; preds = %cond_false820
256 br bool false, label %bb852, label %bb851
257
258bb851: ; preds = %cond_next835, %cond_false820
259 br label %bb852
260
261bb852: ; preds = %bb851, %cond_next835
262 br bool false, label %cond_false933, label %cond_true855
263
264cond_true855: ; preds = %bb852
265 br bool false, label %cond_true884, label %cond_false891
266
267cond_true884: ; preds = %cond_true855
268 br label %bb1269.outer.outer.backedge
269
270bb1269.outer.outer.backedge: ; preds = %cond_true905, %cond_true884
271 br label %bb1269.outer.outer
272
273cond_false891: ; preds = %cond_true855
274 br bool false, label %cond_true905, label %cond_false912
275
276cond_true905: ; preds = %cond_false891
277 br label %bb1269.outer.outer.backedge
278
279cond_false912: ; preds = %cond_false891
280 br bool false, label %UnifiedReturnBlock, label %cond_false927
281
282cond_false927: ; preds = %cond_false912
283 br label %UnifiedUnreachableBlock
284
285cond_false933: ; preds = %bb852
286 br bool false, label %cond_next948, label %bb964
287
288cond_next948: ; preds = %cond_false933
289 br bool false, label %bb965, label %bb964
290
291bb964: ; preds = %cond_next948, %cond_false933
292 br label %bb965
293
294bb965: ; preds = %bb964, %cond_next948
295 br bool false, label %cond_false1046, label %cond_true968
296
297cond_true968: ; preds = %bb965
298 br bool false, label %cond_true997, label %cond_false1004
299
300cond_true997: ; preds = %cond_true968
301 br label %bb1269.outer.outer.outer.backedge
302
303bb1269.outer.outer.outer.backedge: ; preds = %cond_true1018, %cond_true997
304 br label %bb1269.outer.outer.outer
305
306cond_false1004: ; preds = %cond_true968
307 br bool false, label %cond_true1018, label %cond_false1025
308
309cond_true1018: ; preds = %cond_false1004
310 br label %bb1269.outer.outer.outer.backedge
311
312cond_false1025: ; preds = %cond_false1004
313 br bool false, label %UnifiedReturnBlock, label %cond_false1040
314
315cond_false1040: ; preds = %cond_false1025
316 br label %UnifiedUnreachableBlock
317
318cond_false1046: ; preds = %bb965
319 br bool false, label %cond_next1061, label %bb1077
320
321cond_next1061: ; preds = %cond_false1046
322 br bool false, label %bb1078, label %bb1077
323
324bb1077: ; preds = %cond_next1061, %cond_false1046
325 br label %bb1078
326
327bb1078: ; preds = %bb1077, %cond_next1061
328 %tmp1080 = phi bool [ true, %bb1077 ], [ false, %cond_next1061 ] ; <bool> [#uses=1]
329 br bool %tmp1080, label %cond_false1159, label %cond_true1081
330
331cond_true1081: ; preds = %bb1078
332 br bool false, label %cond_true1110, label %cond_false1117
333
334cond_true1110: ; preds = %cond_true1081
335 br label %bb1269.outer.outer.outer.outer.backedge
336
337bb1269.outer.outer.outer.outer.backedge: ; preds = %cond_true1131, %cond_true1110
338 br label %bb1269.outer.outer.outer.outer
339
340cond_false1117: ; preds = %cond_true1081
341 br bool false, label %cond_true1131, label %cond_false1138
342
343cond_true1131: ; preds = %cond_false1117
344 br label %bb1269.outer.outer.outer.outer.backedge
345
346cond_false1138: ; preds = %cond_false1117
347 br bool false, label %UnifiedReturnBlock, label %cond_false1153
348
349cond_false1153: ; preds = %cond_false1138
350 br label %UnifiedUnreachableBlock
351
352cond_false1159: ; preds = %bb1078
353 %tmp.i119.lcssa35.lcssa.lcssa.lcssa.lcssa.lcssa = phi "struct.kc::impl_elem_patternrepresentation"* [ null, %bb1078 ] ; <"struct.kc::impl_elem_patternrepresentation"*> [#uses=0]
354 br bool false, label %UnifiedReturnBlock, label %cond_false1174
355
356cond_false1174: ; preds = %cond_false1159
357 br bool false, label %UnifiedReturnBlock, label %cond_false1189
358
359cond_false1189: ; preds = %cond_false1174
360 br bool false, label %UnifiedReturnBlock, label %cond_false1204
361
362cond_false1204: ; preds = %cond_false1189
363 br bool false, label %UnifiedReturnBlock, label %cond_false1219
364
365cond_false1219: ; preds = %cond_false1204
366 br bool false, label %UnifiedReturnBlock, label %cond_true1222
367
368cond_true1222: ; preds = %cond_false1219
369 br label %UnifiedReturnBlock
370
371bb1269.outer.outer.outer.outer: ; preds = %bb1269.outer.outer.outer.outer.backedge, %entry
372 br label %bb1269.outer.outer.outer
373
374bb1269.outer.outer.outer: ; preds = %bb1269.outer.outer.outer.outer, %bb1269.outer.outer.outer.backedge
375 br label %bb1269.outer.outer
376
377bb1269.outer.outer: ; preds = %bb1269.outer.outer.outer, %bb1269.outer.outer.backedge
378 br label %bb1269.outer
379
380bb1269.outer: ; preds = %bb1269.outer.outer, %bb1269.outer.backedge
381 br label %bb1269.outer2
382
383bb1269.outer2: ; preds = %bb1269.outer, %bb1269.outer2.backedge
384 br label %bb1269.outer21
385
386bb1269.outer21: ; preds = %bb1269.outer2, %bb1269.outer21.backedge
387 br label %bb1269.outer38
388
389bb1269.outer38: ; preds = %bb1269.outer21, %bb1269.outer38.backedge
390 br label %bb1269.outer54
391
392bb1269.outer54: ; preds = %bb1269.outer38
393 br label %bb1269.outer69
394
395bb1269.outer69: ; preds = %bb1269.outer54, %cond_true
396 br label %bb1269
397
398bb1269: ; preds = %bb1269.outer69
399 br bool false, label %cond_next1281, label %bb1294
400
401cond_next1281: ; preds = %bb1269
402 br bool false, label %cond_true1298, label %bb1294
403
404bb1294: ; preds = %cond_next1281, %bb1269
405 br bool false, label %cond_true1331, label %cond_next1313
406
407cond_true1298: ; preds = %cond_next1281
408 br bool false, label %cond_false, label %cond_true
409
410cond_next1313: ; preds = %bb1294
411 br bool false, label %cond_true1331, label %cond_next1355
412
413cond_true1331: ; preds = %cond_next1313, %bb1294
414 br bool false, label %cond_false1346, label %cond_true1342
415
416cond_true1342: ; preds = %cond_true1331
417 br label %cond_next1350
418
419cond_false1346: ; preds = %cond_true1331
420 br label %cond_next1350
421
422cond_next1350: ; preds = %cond_false1346, %cond_true1342
423 br label %bb.i
424
425bb.i: ; preds = %bb.i, %cond_next1350
426 br bool false, label %_ZN2kc18impl_abstract_list8freelistEv.exit, label %bb.i
427
428_ZN2kc18impl_abstract_list8freelistEv.exit: ; preds = %bb.i
429 br label %cond_next1355
430
431cond_next1355: ; preds = %_ZN2kc18impl_abstract_list8freelistEv.exit, %cond_next1313
432 br bool false, label %cond_next1363, label %bb1388
433
434cond_next1363: ; preds = %cond_next1355
435 br bool false, label %UnifiedReturnBlock, label %cond_true1366
436
437cond_true1366: ; preds = %cond_next1363
438 br label %UnifiedReturnBlock
439
440bb1388: ; preds = %cond_next1355
441 br bool false, label %UnifiedReturnBlock, label %bb1414.preheader
442
443bb1414.preheader: ; preds = %bb1388
444 br label %bb1414
445
446bb1414: ; preds = %cond_true1426, %bb1414.preheader
447 br bool false, label %cond_true1426, label %bb1429
448
449cond_true1426: ; preds = %bb1414
450 br label %bb1414
451
452bb1429: ; preds = %bb1414
453 br bool false, label %cond_true1431, label %UnifiedReturnBlock
454
455cond_true1431: ; preds = %bb1429
456 br bool false, label %UnifiedReturnBlock, label %cond_true1434
457
458cond_true1434: ; preds = %cond_true1431
459 br label %UnifiedReturnBlock
460
461UnifiedUnreachableBlock: ; preds = %cond_false1153, %cond_false1040, %cond_false927, %cond_false814, %cond_false701, %cond_false588, %cond_false475, %cond_false363, %cond_false250
462 unreachable
463
464UnifiedReturnBlock: ; preds = %cond_true1434, %cond_true1431, %bb1429, %bb1388, %cond_true1366, %cond_next1363, %cond_true1222, %cond_false1219, %cond_false1204, %cond_false1189, %cond_false1174, %cond_false1159, %cond_false1138, %cond_false1025, %cond_false912, %cond_false799, %cond_false686, %cond_false573, %cond_false460, %cond_false348, %cond_false235, %cond_true120, %cond_true117, %cond_true57, %cond_true55
465 ret void
466}