blob: c9b1858bd482d28f0792ed4640e724a8e1a64b98 [file] [log] [blame]
Dan Gohmanf17a25c2007-07-18 16:29:46 +00001; RUN: llvm-upgrade < %s | llvm-as | opt -simplifycfg -disable-output
2
3void %main(int %c) {
4entry:
5 %tmp.9 = seteq int %c, 2 ; <bool> [#uses=1]
6 br bool %tmp.9, label %endif.0, label %then.0
7
8then.0: ; preds = %entry
9 ret void
10
11endif.0: ; preds = %entry
12 br bool false, label %then.1, label %endif.1
13
14then.1: ; preds = %endif.0
15 ret void
16
17endif.1: ; preds = %endif.0
18 br bool false, label %then.2, label %endif.2
19
20then.2: ; preds = %endif.1
21 ret void
22
23endif.2: ; preds = %endif.1
24 br bool false, label %then.3, label %loopentry.0
25
26then.3: ; preds = %endif.2
27 ret void
28
29loopentry.0: ; preds = %endif.2
30 br bool false, label %no_exit.0.preheader, label %loopexit.0
31
32no_exit.0.preheader: ; preds = %loopentry.0
33 br label %no_exit.0
34
35no_exit.0: ; preds = %endif.4, %no_exit.0.preheader
36 br bool false, label %then.4, label %endif.4
37
38then.4: ; preds = %no_exit.0
39 ret void
40
41endif.4: ; preds = %no_exit.0
42 br bool false, label %no_exit.0, label %loopexit.0.loopexit
43
44loopexit.0.loopexit: ; preds = %endif.4
45 br label %loopexit.0
46
47loopexit.0: ; preds = %loopexit.0.loopexit, %loopentry.0
48 br bool false, label %then.5, label %loopentry.1
49
50then.5: ; preds = %loopexit.0
51 ret void
52
53loopentry.1: ; preds = %loopexit.0
54 %tmp.143 = setgt int 0, 0 ; <bool> [#uses=4]
55 br bool %tmp.143, label %no_exit.1.preheader, label %loopexit.1
56
57no_exit.1.preheader: ; preds = %loopentry.1
58 br label %no_exit.1
59
60no_exit.1: ; preds = %endif.6, %no_exit.1.preheader
61 br bool false, label %then.6, label %shortcirc_next.3
62
63shortcirc_next.3: ; preds = %no_exit.1
64 br bool false, label %then.6, label %shortcirc_next.4
65
66shortcirc_next.4: ; preds = %shortcirc_next.3
67 br bool false, label %then.6, label %endif.6
68
69then.6: ; preds = %shortcirc_next.4, %shortcirc_next.3, %no_exit.1
70 ret void
71
72endif.6: ; preds = %shortcirc_next.4
73 br bool false, label %no_exit.1, label %loopexit.1.loopexit
74
75loopexit.1.loopexit: ; preds = %endif.6
76 br label %loopexit.1
77
78loopexit.1: ; preds = %loopexit.1.loopexit, %loopentry.1
79 br bool false, label %then.i, label %loopentry.0.i
80
81then.i: ; preds = %loopexit.1
82 ret void
83
84loopentry.0.i: ; preds = %loopexit.1
85 br bool %tmp.143, label %no_exit.0.i.preheader, label %readvector.exit
86
87no_exit.0.i.preheader: ; preds = %loopentry.0.i
88 br label %no_exit.0.i
89
90no_exit.0.i: ; preds = %loopexit.1.i, %no_exit.0.i.preheader
91 br bool false, label %no_exit.1.i.preheader, label %loopexit.1.i
92
93no_exit.1.i.preheader: ; preds = %no_exit.0.i
94 br label %no_exit.1.i
95
96no_exit.1.i: ; preds = %loopexit.2.i, %no_exit.1.i.preheader
97 br bool false, label %no_exit.2.i.preheader, label %loopexit.2.i
98
99no_exit.2.i.preheader: ; preds = %no_exit.1.i
100 br label %no_exit.2.i
101
102no_exit.2.i: ; preds = %no_exit.2.i, %no_exit.2.i.preheader
103 br bool false, label %no_exit.2.i, label %loopexit.2.i.loopexit
104
105loopexit.2.i.loopexit: ; preds = %no_exit.2.i
106 br label %loopexit.2.i
107
108loopexit.2.i: ; preds = %loopexit.2.i.loopexit, %no_exit.1.i
109 br bool false, label %no_exit.1.i, label %loopexit.1.i.loopexit
110
111loopexit.1.i.loopexit: ; preds = %loopexit.2.i
112 br label %loopexit.1.i
113
114loopexit.1.i: ; preds = %loopexit.1.i.loopexit, %no_exit.0.i
115 br bool false, label %no_exit.0.i, label %readvector.exit.loopexit
116
117readvector.exit.loopexit: ; preds = %loopexit.1.i
118 br label %readvector.exit
119
120readvector.exit: ; preds = %readvector.exit.loopexit, %loopentry.0.i
121 br bool %tmp.143, label %loopentry.1.preheader.i, label %loopexit.0.i
122
123loopentry.1.preheader.i: ; preds = %readvector.exit
124 br label %loopentry.1.outer.i
125
126loopentry.1.outer.i: ; preds = %loopexit.1.i110, %loopentry.1.preheader.i
127 br label %loopentry.1.i85
128
129loopentry.1.i85.loopexit: ; preds = %hamming.exit16.i
130 br label %loopentry.1.i85
131
132loopentry.1.i85: ; preds = %loopentry.1.i85.loopexit, %loopentry.1.outer.i
133 br bool false, label %no_exit.1.preheader.i, label %loopexit.1.i110.loopexit1
134
135no_exit.1.preheader.i: ; preds = %loopentry.1.i85
136 br label %no_exit.1.i87
137
138no_exit.1.i87: ; preds = %then.1.i107, %no_exit.1.preheader.i
139 br bool false, label %no_exit.i.i101.preheader, label %hamming.exit.i104
140
141no_exit.i.i101.preheader: ; preds = %no_exit.1.i87
142 br label %no_exit.i.i101
143
144no_exit.i.i101: ; preds = %no_exit.i.i101, %no_exit.i.i101.preheader
145 br bool false, label %no_exit.i.i101, label %hamming.exit.i104.loopexit
146
147hamming.exit.i104.loopexit: ; preds = %no_exit.i.i101
148 br label %hamming.exit.i104
149
150hamming.exit.i104: ; preds = %hamming.exit.i104.loopexit, %no_exit.1.i87
151 br bool false, label %no_exit.i15.i.preheader, label %hamming.exit16.i
152
153no_exit.i15.i.preheader: ; preds = %hamming.exit.i104
154 br label %no_exit.i15.i
155
156no_exit.i15.i: ; preds = %no_exit.i15.i, %no_exit.i15.i.preheader
157 br bool false, label %no_exit.i15.i, label %hamming.exit16.i.loopexit
158
159hamming.exit16.i.loopexit: ; preds = %no_exit.i15.i
160 br label %hamming.exit16.i
161
162hamming.exit16.i: ; preds = %hamming.exit16.i.loopexit, %hamming.exit.i104
163 br bool false, label %loopentry.1.i85.loopexit, label %then.1.i107
164
165then.1.i107: ; preds = %hamming.exit16.i
166 br bool false, label %no_exit.1.i87, label %loopexit.1.i110.loopexit
167
168loopexit.1.i110.loopexit: ; preds = %then.1.i107
169 br label %loopexit.1.i110
170
171loopexit.1.i110.loopexit1: ; preds = %loopentry.1.i85
172 br label %loopexit.1.i110
173
174loopexit.1.i110: ; preds = %loopexit.1.i110.loopexit1, %loopexit.1.i110.loopexit
175 br bool false, label %loopentry.1.outer.i, label %loopexit.0.i.loopexit
176
177loopexit.0.i.loopexit: ; preds = %loopexit.1.i110
178 br label %loopexit.0.i
179
180loopexit.0.i: ; preds = %loopexit.0.i.loopexit, %readvector.exit
181 br bool false, label %UnifiedReturnBlock.i113, label %then.2.i112
182
183then.2.i112: ; preds = %loopexit.0.i
184 br label %checkham.exit
185
186UnifiedReturnBlock.i113: ; preds = %loopexit.0.i
187 br label %checkham.exit
188
189checkham.exit: ; preds = %UnifiedReturnBlock.i113, %then.2.i112
190 br bool false, label %loopentry.1.i14.preheader, label %loopentry.3.i.preheader
191
192loopentry.1.i14.preheader: ; preds = %checkham.exit
193 br label %loopentry.1.i14
194
195loopentry.1.i14: ; preds = %loopexit.1.i18, %loopentry.1.i14.preheader
196 br bool false, label %no_exit.1.i16.preheader, label %loopexit.1.i18
197
198no_exit.1.i16.preheader: ; preds = %loopentry.1.i14
199 br label %no_exit.1.i16
200
201no_exit.1.i16: ; preds = %no_exit.1.i16, %no_exit.1.i16.preheader
202 br bool false, label %no_exit.1.i16, label %loopexit.1.i18.loopexit
203
204loopexit.1.i18.loopexit: ; preds = %no_exit.1.i16
205 br label %loopexit.1.i18
206
207loopexit.1.i18: ; preds = %loopexit.1.i18.loopexit, %loopentry.1.i14
208 br bool false, label %loopentry.1.i14, label %loopentry.3.i.loopexit
209
210loopentry.3.i.loopexit: ; preds = %loopexit.1.i18
211 br label %loopentry.3.i.preheader
212
213loopentry.3.i.preheader: ; preds = %loopentry.3.i.loopexit, %checkham.exit
214 br label %loopentry.3.i
215
216loopentry.3.i: ; preds = %endif.1.i, %loopentry.3.i.preheader
217 br bool false, label %loopentry.4.i.preheader, label %endif.1.i
218
219loopentry.4.i.preheader: ; preds = %loopentry.3.i
220 br label %loopentry.4.i
221
222loopentry.4.i: ; preds = %loopexit.4.i, %loopentry.4.i.preheader
223 br bool false, label %no_exit.4.i.preheader, label %loopexit.4.i
224
225no_exit.4.i.preheader: ; preds = %loopentry.4.i
226 br label %no_exit.4.i
227
228no_exit.4.i: ; preds = %no_exit.4.i.backedge, %no_exit.4.i.preheader
229 br bool false, label %endif.0.i, label %else.i
230
231else.i: ; preds = %no_exit.4.i
232 br bool false, label %no_exit.4.i.backedge, label %loopexit.4.i.loopexit
233
234no_exit.4.i.backedge: ; preds = %endif.0.i, %else.i
235 br label %no_exit.4.i
236
237endif.0.i: ; preds = %no_exit.4.i
238 br bool false, label %no_exit.4.i.backedge, label %loopexit.4.i.loopexit
239
240loopexit.4.i.loopexit: ; preds = %endif.0.i, %else.i
241 br label %loopexit.4.i
242
243loopexit.4.i: ; preds = %loopexit.4.i.loopexit, %loopentry.4.i
244 br bool false, label %loopentry.4.i, label %endif.1.i.loopexit
245
246endif.1.i.loopexit: ; preds = %loopexit.4.i
247 br label %endif.1.i
248
249endif.1.i: ; preds = %endif.1.i.loopexit, %loopentry.3.i
250 %exitcond = seteq uint 0, 10 ; <bool> [#uses=1]
251 br bool %exitcond, label %generateT.exit, label %loopentry.3.i
252
253generateT.exit: ; preds = %endif.1.i
254 br bool false, label %then.0.i, label %loopentry.1.i30.preheader
255
256then.0.i: ; preds = %generateT.exit
257 ret void
258
259loopentry.1.i30.loopexit: ; preds = %loopexit.3.i
260 br label %loopentry.1.i30.backedge
261
262loopentry.1.i30.preheader: ; preds = %generateT.exit
263 br label %loopentry.1.i30
264
265loopentry.1.i30: ; preds = %loopentry.1.i30.backedge, %loopentry.1.i30.preheader
266 br bool %tmp.143, label %no_exit.0.i31.preheader, label %loopentry.1.i30.backedge
267
268loopentry.1.i30.backedge: ; preds = %loopentry.1.i30, %loopentry.1.i30.loopexit
269 br label %loopentry.1.i30
270
271no_exit.0.i31.preheader: ; preds = %loopentry.1.i30
272 br label %no_exit.0.i31
273
274no_exit.0.i31: ; preds = %loopexit.3.i, %no_exit.0.i31.preheader
275 br bool false, label %then.1.i, label %else.0.i
276
277then.1.i: ; preds = %no_exit.0.i31
278 br bool undef, label %then.0.i29, label %loopentry.0.i31
279
280then.0.i29: ; preds = %then.1.i
281 unreachable
282
283loopentry.0.i31: ; preds = %then.1.i
284 br bool false, label %no_exit.0.i38.preheader, label %loopentry.1.i.preheader
285
286no_exit.0.i38.preheader: ; preds = %loopentry.0.i31
287 br label %no_exit.0.i38
288
289no_exit.0.i38: ; preds = %no_exit.0.i38, %no_exit.0.i38.preheader
290 br bool undef, label %no_exit.0.i38, label %loopentry.1.i.preheader.loopexit
291
292loopentry.1.i.preheader.loopexit: ; preds = %no_exit.0.i38
293 br label %loopentry.1.i.preheader
294
295loopentry.1.i.preheader: ; preds = %loopentry.1.i.preheader.loopexit, %loopentry.0.i31
296 br label %loopentry.1.i
297
298loopentry.1.i: ; preds = %endif.2.i, %loopentry.1.i.preheader
299 br bool undef, label %loopentry.2.i39.preheader, label %loopexit.1.i79.loopexit2
300
301loopentry.2.i39.preheader: ; preds = %loopentry.1.i
302 br label %loopentry.2.i39
303
304loopentry.2.i39: ; preds = %loopexit.5.i77, %loopentry.2.i39.preheader
305 br bool false, label %loopentry.3.i40.preheader, label %hamming.exit.i71
306
307loopentry.3.i40.preheader: ; preds = %loopentry.2.i39
308 br label %loopentry.3.i40
309
310loopentry.3.i40: ; preds = %loopexit.3.i51, %loopentry.3.i40.preheader
311 br bool false, label %no_exit.3.preheader.i42, label %loopexit.3.i51
312
313no_exit.3.preheader.i42: ; preds = %loopentry.3.i40
314 br label %no_exit.3.i49
315
316no_exit.3.i49: ; preds = %no_exit.3.i49, %no_exit.3.preheader.i42
317 br bool undef, label %no_exit.3.i49, label %loopexit.3.i51.loopexit
318
319loopexit.3.i51.loopexit: ; preds = %no_exit.3.i49
320 br label %loopexit.3.i51
321
322loopexit.3.i51: ; preds = %loopexit.3.i51.loopexit, %loopentry.3.i40
323 br bool undef, label %loopentry.3.i40, label %loopentry.4.i52
324
325loopentry.4.i52: ; preds = %loopexit.3.i51
326 br bool false, label %no_exit.4.i54.preheader, label %hamming.exit.i71
327
328no_exit.4.i54.preheader: ; preds = %loopentry.4.i52
329 br label %no_exit.4.i54
330
331no_exit.4.i54: ; preds = %no_exit.4.backedge.i, %no_exit.4.i54.preheader
332 br bool undef, label %then.1.i55, label %endif.1.i56
333
334then.1.i55: ; preds = %no_exit.4.i54
335 br bool undef, label %no_exit.4.backedge.i, label %loopexit.4.i57
336
337no_exit.4.backedge.i: ; preds = %endif.1.i56, %then.1.i55
338 br label %no_exit.4.i54
339
340endif.1.i56: ; preds = %no_exit.4.i54
341 br bool undef, label %no_exit.4.backedge.i, label %loopexit.4.i57
342
343loopexit.4.i57: ; preds = %endif.1.i56, %then.1.i55
344 br bool false, label %no_exit.i.i69.preheader, label %hamming.exit.i71
345
346no_exit.i.i69.preheader: ; preds = %loopexit.4.i57
347 br label %no_exit.i.i69
348
349no_exit.i.i69: ; preds = %no_exit.i.i69, %no_exit.i.i69.preheader
350 br bool undef, label %no_exit.i.i69, label %hamming.exit.i71.loopexit
351
352hamming.exit.i71.loopexit: ; preds = %no_exit.i.i69
353 br label %hamming.exit.i71
354
355hamming.exit.i71: ; preds = %hamming.exit.i71.loopexit, %loopexit.4.i57, %loopentry.4.i52, %loopentry.2.i39
356 br bool undef, label %endif.2.i, label %loopentry.5.i72
357
358loopentry.5.i72: ; preds = %hamming.exit.i71
359 br bool false, label %shortcirc_next.i74.preheader, label %loopexit.5.i77
360
361shortcirc_next.i74.preheader: ; preds = %loopentry.5.i72
362 br label %shortcirc_next.i74
363
364shortcirc_next.i74: ; preds = %no_exit.5.i76, %shortcirc_next.i74.preheader
365 br bool undef, label %no_exit.5.i76, label %loopexit.5.i77.loopexit
366
367no_exit.5.i76: ; preds = %shortcirc_next.i74
368 br bool undef, label %shortcirc_next.i74, label %loopexit.5.i77.loopexit
369
370loopexit.5.i77.loopexit: ; preds = %no_exit.5.i76, %shortcirc_next.i74
371 br label %loopexit.5.i77
372
373loopexit.5.i77: ; preds = %loopexit.5.i77.loopexit, %loopentry.5.i72
374 br bool undef, label %loopentry.2.i39, label %loopexit.1.i79.loopexit
375
376endif.2.i: ; preds = %hamming.exit.i71
377 br label %loopentry.1.i
378
379loopexit.1.i79.loopexit: ; preds = %loopexit.5.i77
380 br label %loopexit.1.i79
381
382loopexit.1.i79.loopexit2: ; preds = %loopentry.1.i
383 br label %loopexit.1.i79
384
385loopexit.1.i79: ; preds = %loopexit.1.i79.loopexit2, %loopexit.1.i79.loopexit
386 br bool undef, label %then.3.i, label %loopentry.6.i80
387
388then.3.i: ; preds = %loopexit.1.i79
389 br bool false, label %no_exit.6.i82.preheader, label %run.exit
390
391loopentry.6.i80: ; preds = %loopexit.1.i79
392 br bool false, label %no_exit.6.i82.preheader, label %run.exit
393
394no_exit.6.i82.preheader: ; preds = %loopentry.6.i80, %then.3.i
395 br label %no_exit.6.i82
396
397no_exit.6.i82: ; preds = %no_exit.6.i82, %no_exit.6.i82.preheader
398 br bool undef, label %no_exit.6.i82, label %run.exit.loopexit
399
400run.exit.loopexit: ; preds = %no_exit.6.i82
401 br label %run.exit
402
403run.exit: ; preds = %run.exit.loopexit, %loopentry.6.i80, %then.3.i
404 br bool false, label %no_exit.1.i36.preheader, label %loopentry.3.i37
405
406else.0.i: ; preds = %no_exit.0.i31
407 br bool false, label %then.0.i4, label %loopentry.0.i6
408
409then.0.i4: ; preds = %else.0.i
410 unreachable
411
412loopentry.0.i6: ; preds = %else.0.i
413 br bool false, label %no_exit.0.i8.preheader, label %loopentry.2.i.preheader
414
415no_exit.0.i8.preheader: ; preds = %loopentry.0.i6
416 br label %no_exit.0.i8
417
418no_exit.0.i8: ; preds = %no_exit.0.i8, %no_exit.0.i8.preheader
419 br bool false, label %no_exit.0.i8, label %loopentry.2.i.preheader.loopexit
420
421loopentry.2.i.preheader.loopexit: ; preds = %no_exit.0.i8
422 br label %loopentry.2.i.preheader
423
424loopentry.2.i.preheader: ; preds = %loopentry.2.i.preheader.loopexit, %loopentry.0.i6
425 br label %loopentry.2.i
426
427loopentry.2.i: ; preds = %endif.3.i19, %loopentry.2.i.preheader
428 br bool false, label %loopentry.3.i10.preheader, label %loopentry.4.i15
429
430loopentry.3.i10.preheader: ; preds = %loopentry.2.i
431 br label %loopentry.3.i10
432
433loopentry.3.i10: ; preds = %loopexit.3.i14, %loopentry.3.i10.preheader
434 br bool false, label %no_exit.3.preheader.i, label %loopexit.3.i14
435
436no_exit.3.preheader.i: ; preds = %loopentry.3.i10
437 br label %no_exit.3.i12
438
439no_exit.3.i12: ; preds = %no_exit.3.i12, %no_exit.3.preheader.i
440 br bool false, label %no_exit.3.i12, label %loopexit.3.i14.loopexit
441
442loopexit.3.i14.loopexit: ; preds = %no_exit.3.i12
443 br label %loopexit.3.i14
444
445loopexit.3.i14: ; preds = %loopexit.3.i14.loopexit, %loopentry.3.i10
446 br bool false, label %loopentry.3.i10, label %loopentry.4.i15.loopexit
447
448loopentry.4.i15.loopexit: ; preds = %loopexit.3.i14
449 br label %loopentry.4.i15
450
451loopentry.4.i15: ; preds = %loopentry.4.i15.loopexit, %loopentry.2.i
452 br bool false, label %loopentry.5.outer.i.preheader, label %loopentry.7.i
453
454loopentry.5.outer.i.preheader: ; preds = %loopentry.4.i15
455 br label %loopentry.5.outer.i
456
457loopentry.5.outer.i: ; preds = %loopexit.5.i, %loopentry.5.outer.i.preheader
458 br label %loopentry.5.i
459
460loopentry.5.i: ; preds = %endif.1.i18, %loopentry.5.outer.i
461 br bool false, label %no_exit.5.i.preheader, label %loopexit.5.i.loopexit3
462
463no_exit.5.i.preheader: ; preds = %loopentry.5.i
464 br label %no_exit.5.i
465
466no_exit.5.i: ; preds = %then.2.i, %no_exit.5.i.preheader
467 br bool false, label %loopentry.6.i, label %endif.1.i18
468
469loopentry.6.i: ; preds = %no_exit.5.i
470 br bool false, label %no_exit.6.preheader.i, label %loopexit.6.i
471
472no_exit.6.preheader.i: ; preds = %loopentry.6.i
473 br label %no_exit.6.i
474
475no_exit.6.i: ; preds = %no_exit.6.i, %no_exit.6.preheader.i
476 br bool false, label %no_exit.6.i, label %loopexit.6.i.loopexit
477
478loopexit.6.i.loopexit: ; preds = %no_exit.6.i
479 br label %loopexit.6.i
480
481loopexit.6.i: ; preds = %loopexit.6.i.loopexit, %loopentry.6.i
482 br bool false, label %then.2.i, label %endif.1.i18
483
484then.2.i: ; preds = %loopexit.6.i
485 br bool false, label %no_exit.5.i, label %loopexit.5.i.loopexit
486
487endif.1.i18: ; preds = %loopexit.6.i, %no_exit.5.i
488 br label %loopentry.5.i
489
490loopexit.5.i.loopexit: ; preds = %then.2.i
491 br label %loopexit.5.i
492
493loopexit.5.i.loopexit3: ; preds = %loopentry.5.i
494 br label %loopexit.5.i
495
496loopexit.5.i: ; preds = %loopexit.5.i.loopexit3, %loopexit.5.i.loopexit
497 br bool false, label %loopentry.5.outer.i, label %loopentry.7.i.loopexit
498
499loopentry.7.i.loopexit: ; preds = %loopexit.5.i
500 br label %loopentry.7.i
501
502loopentry.7.i: ; preds = %loopentry.7.i.loopexit, %loopentry.4.i15
503 br bool false, label %no_exit.7.i.preheader, label %hamming.exit.i
504
505no_exit.7.i.preheader: ; preds = %loopentry.7.i
506 br label %no_exit.7.i
507
508no_exit.7.i: ; preds = %no_exit.7.i, %no_exit.7.i.preheader
509 br bool false, label %no_exit.7.i, label %loopexit.7.i
510
511loopexit.7.i: ; preds = %no_exit.7.i
512 br bool false, label %no_exit.i.i.preheader, label %hamming.exit.i
513
514no_exit.i.i.preheader: ; preds = %loopexit.7.i
515 br label %no_exit.i.i
516
517no_exit.i.i: ; preds = %no_exit.i.i, %no_exit.i.i.preheader
518 br bool false, label %no_exit.i.i, label %hamming.exit.i.loopexit
519
520hamming.exit.i.loopexit: ; preds = %no_exit.i.i
521 br label %hamming.exit.i
522
523hamming.exit.i: ; preds = %hamming.exit.i.loopexit, %loopexit.7.i, %loopentry.7.i
524 br bool false, label %endif.3.i19, label %loopentry.8.i
525
526loopentry.8.i: ; preds = %hamming.exit.i
527 br bool false, label %shortcirc_next.i.preheader, label %loopexit.8.i
528
529shortcirc_next.i.preheader: ; preds = %loopentry.8.i
530 br label %shortcirc_next.i
531
532shortcirc_next.i: ; preds = %no_exit.8.i, %shortcirc_next.i.preheader
533 br bool false, label %no_exit.8.i, label %loopexit.8.i.loopexit
534
535no_exit.8.i: ; preds = %shortcirc_next.i
536 br bool false, label %shortcirc_next.i, label %loopexit.8.i.loopexit
537
538loopexit.8.i.loopexit: ; preds = %no_exit.8.i, %shortcirc_next.i
539 br label %loopexit.8.i
540
541loopexit.8.i: ; preds = %loopexit.8.i.loopexit, %loopentry.8.i
542 br bool false, label %no_exit.9.i.preheader, label %endif.3.i19
543
544no_exit.9.i.preheader: ; preds = %loopexit.8.i
545 br label %no_exit.9.i
546
547no_exit.9.i: ; preds = %no_exit.9.i, %no_exit.9.i.preheader
548 br bool false, label %no_exit.9.i, label %endif.3.i19.loopexit
549
550endif.3.i19.loopexit: ; preds = %no_exit.9.i
551 br label %endif.3.i19
552
553endif.3.i19: ; preds = %endif.3.i19.loopexit, %loopexit.8.i, %hamming.exit.i
554 br bool false, label %loopentry.2.i, label %loopexit.1.i20
555
556loopexit.1.i20: ; preds = %endif.3.i19
557 br bool false, label %then.4.i, label %UnifiedReturnBlock.i
558
559then.4.i: ; preds = %loopexit.1.i20
560 br label %runcont.exit
561
562UnifiedReturnBlock.i: ; preds = %loopexit.1.i20
563 br label %runcont.exit
564
565runcont.exit: ; preds = %UnifiedReturnBlock.i, %then.4.i
566 br bool false, label %no_exit.1.i36.preheader, label %loopentry.3.i37
567
568no_exit.1.i36.preheader: ; preds = %runcont.exit, %run.exit
569 br label %no_exit.1.i36
570
571no_exit.1.i36: ; preds = %no_exit.1.i36, %no_exit.1.i36.preheader
572 br bool false, label %no_exit.1.i36, label %loopentry.3.i37.loopexit
573
574loopentry.3.i37.loopexit: ; preds = %no_exit.1.i36
575 br label %loopentry.3.i37
576
577loopentry.3.i37: ; preds = %loopentry.3.i37.loopexit, %runcont.exit, %run.exit
578 br bool false, label %loopentry.4.i38.preheader, label %loopexit.3.i
579
580loopentry.4.i38.preheader: ; preds = %loopentry.3.i37
581 br label %loopentry.4.i38
582
583loopentry.4.i38: ; preds = %loopexit.4.i42, %loopentry.4.i38.preheader
584 br bool false, label %no_exit.3.i.preheader, label %loopexit.4.i42
585
586no_exit.3.i.preheader: ; preds = %loopentry.4.i38
587 br label %no_exit.3.i
588
589no_exit.3.i: ; preds = %no_exit.3.i.backedge, %no_exit.3.i.preheader
590 br bool false, label %endif.3.i, label %else.1.i
591
592else.1.i: ; preds = %no_exit.3.i
593 br bool false, label %no_exit.3.i.backedge, label %loopexit.4.i42.loopexit
594
595no_exit.3.i.backedge: ; preds = %endif.3.i, %else.1.i
596 br label %no_exit.3.i
597
598endif.3.i: ; preds = %no_exit.3.i
599 br bool false, label %no_exit.3.i.backedge, label %loopexit.4.i42.loopexit
600
601loopexit.4.i42.loopexit: ; preds = %endif.3.i, %else.1.i
602 br label %loopexit.4.i42
603
604loopexit.4.i42: ; preds = %loopexit.4.i42.loopexit, %loopentry.4.i38
605 br bool false, label %loopentry.4.i38, label %loopexit.3.i.loopexit
606
607loopexit.3.i.loopexit: ; preds = %loopexit.4.i42
608 br label %loopexit.3.i
609
610loopexit.3.i: ; preds = %loopexit.3.i.loopexit, %loopentry.3.i37
611 %tmp.13.i155 = setlt int 0, 0 ; <bool> [#uses=1]
612 br bool %tmp.13.i155, label %no_exit.0.i31, label %loopentry.1.i30.loopexit
613}