forked from OSchip/llvm-project
Chris Lattner
parent
c7443af7d3
commit
c5bbda70e3
|
|
@ -0,0 +1,466 @@
|
|||
; RUN: llvm-as < %s | opt -condprop -disable-output
|
||||
; PR877
|
||||
|
||||
target endian = big
|
||||
target pointersize = 32
|
||||
target triple = "powerpc-apple-darwin9.0.0d1"
|
||||
"struct.kc::impl_Ccode_option" = type { "struct.kc::impl_abstract_phylum" }
|
||||
"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"* }
|
||||
"struct.kc::impl_abstract_phylum" = type { int (...)** }
|
||||
"struct.kc::impl_casestring__Str" = type { "struct.kc::impl_abstract_phylum", sbyte* }
|
||||
"struct.kc::impl_elem_patternrepresentation" = type { "struct.kc::impl_abstract_phylum", int, "struct.kc::impl_casestring__Str"*, "struct.kc::impl_ID"* }
|
||||
"struct.kc::impl_outmostpatterns" = type { "struct.kc::impl_Ccode_option", "struct.kc::impl_elem_patternrepresentation"*, "struct.kc::impl_outmostpatterns"* }
|
||||
"struct.kc::impl_patternrepresentations" = type { "struct.kc::impl_Ccode_option", "struct.kc::impl_outmostpatterns"*, "struct.kc::impl_patternrepresentations"* }
|
||||
|
||||
implementation ; Functions:
|
||||
|
||||
void %_ZN2kc16compare_patternsEPNS_26impl_patternrepresentationES1_PNS_27impl_patternrepresentationsE() {
|
||||
entry:
|
||||
br label %bb1269.outer.outer.outer.outer
|
||||
|
||||
cond_true: ; preds = %cond_true1298
|
||||
br label %bb1269.outer69
|
||||
|
||||
cond_false: ; preds = %cond_true1298
|
||||
br bool false, label %cond_next, label %bb51
|
||||
|
||||
cond_next: ; preds = %cond_false
|
||||
br bool false, label %bb52, label %bb51
|
||||
|
||||
bb51: ; preds = %cond_next, %cond_false
|
||||
br label %bb52
|
||||
|
||||
bb52: ; preds = %bb51, %cond_next
|
||||
br bool false, label %cond_false82, label %cond_true55
|
||||
|
||||
cond_true55: ; preds = %bb52
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_true57
|
||||
|
||||
cond_true57: ; preds = %cond_true55
|
||||
br label %UnifiedReturnBlock
|
||||
|
||||
cond_false82: ; preds = %bb52
|
||||
br bool false, label %cond_next97, label %bb113
|
||||
|
||||
cond_next97: ; preds = %cond_false82
|
||||
br bool false, label %bb114, label %bb113
|
||||
|
||||
bb113: ; preds = %cond_next97, %cond_false82
|
||||
br label %bb114
|
||||
|
||||
bb114: ; preds = %bb113, %cond_next97
|
||||
br bool false, label %cond_false151, label %cond_true117
|
||||
|
||||
cond_true117: ; preds = %bb114
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_true120
|
||||
|
||||
cond_true120: ; preds = %cond_true117
|
||||
br label %UnifiedReturnBlock
|
||||
|
||||
cond_false151: ; preds = %bb114
|
||||
br bool false, label %cond_next166, label %bb182
|
||||
|
||||
cond_next166: ; preds = %cond_false151
|
||||
br bool false, label %bb183, label %bb182
|
||||
|
||||
bb182: ; preds = %cond_next166, %cond_false151
|
||||
br label %bb183
|
||||
|
||||
bb183: ; preds = %bb182, %cond_next166
|
||||
br bool false, label %cond_false256, label %cond_true186
|
||||
|
||||
cond_true186: ; preds = %bb183
|
||||
br bool false, label %cond_true207, label %cond_false214
|
||||
|
||||
cond_true207: ; preds = %cond_true186
|
||||
br label %bb1269.outer38.backedge
|
||||
|
||||
bb1269.outer38.backedge: ; preds = %cond_true545, %cond_true432, %cond_true320, %cond_true207
|
||||
br label %bb1269.outer38
|
||||
|
||||
cond_false214: ; preds = %cond_true186
|
||||
br bool false, label %cond_true228, label %cond_false235
|
||||
|
||||
cond_true228: ; preds = %cond_false214
|
||||
br label %bb1269.outer21.backedge
|
||||
|
||||
bb1269.outer21.backedge: ; preds = %cond_true566, %cond_true453, %cond_true341, %cond_true228
|
||||
br label %bb1269.outer21
|
||||
|
||||
cond_false235: ; preds = %cond_false214
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_false250
|
||||
|
||||
cond_false250: ; preds = %cond_false235
|
||||
br label %UnifiedUnreachableBlock
|
||||
|
||||
cond_false256: ; preds = %bb183
|
||||
br bool false, label %cond_next271, label %bb287
|
||||
|
||||
cond_next271: ; preds = %cond_false256
|
||||
br bool false, label %bb288, label %bb287
|
||||
|
||||
bb287: ; preds = %cond_next271, %cond_false256
|
||||
br label %bb288
|
||||
|
||||
bb288: ; preds = %bb287, %cond_next271
|
||||
br bool false, label %cond_false369, label %cond_true291
|
||||
|
||||
cond_true291: ; preds = %bb288
|
||||
br bool false, label %cond_true320, label %cond_false327
|
||||
|
||||
cond_true320: ; preds = %cond_true291
|
||||
br label %bb1269.outer38.backedge
|
||||
|
||||
cond_false327: ; preds = %cond_true291
|
||||
br bool false, label %cond_true341, label %cond_false348
|
||||
|
||||
cond_true341: ; preds = %cond_false327
|
||||
br label %bb1269.outer21.backedge
|
||||
|
||||
cond_false348: ; preds = %cond_false327
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_false363
|
||||
|
||||
cond_false363: ; preds = %cond_false348
|
||||
br label %UnifiedUnreachableBlock
|
||||
|
||||
cond_false369: ; preds = %bb288
|
||||
br bool false, label %cond_next384, label %bb400
|
||||
|
||||
cond_next384: ; preds = %cond_false369
|
||||
br bool false, label %bb401, label %bb400
|
||||
|
||||
bb400: ; preds = %cond_next384, %cond_false369
|
||||
br label %bb401
|
||||
|
||||
bb401: ; preds = %bb400, %cond_next384
|
||||
br bool false, label %cond_false481, label %cond_true404
|
||||
|
||||
cond_true404: ; preds = %bb401
|
||||
br bool false, label %cond_true432, label %cond_false439
|
||||
|
||||
cond_true432: ; preds = %cond_true404
|
||||
br label %bb1269.outer38.backedge
|
||||
|
||||
cond_false439: ; preds = %cond_true404
|
||||
br bool false, label %cond_true453, label %cond_false460
|
||||
|
||||
cond_true453: ; preds = %cond_false439
|
||||
br label %bb1269.outer21.backedge
|
||||
|
||||
cond_false460: ; preds = %cond_false439
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_false475
|
||||
|
||||
cond_false475: ; preds = %cond_false460
|
||||
br label %UnifiedUnreachableBlock
|
||||
|
||||
cond_false481: ; preds = %bb401
|
||||
br bool false, label %cond_next496, label %bb512
|
||||
|
||||
cond_next496: ; preds = %cond_false481
|
||||
br bool false, label %bb513, label %bb512
|
||||
|
||||
bb512: ; preds = %cond_next496, %cond_false481
|
||||
br label %bb513
|
||||
|
||||
bb513: ; preds = %bb512, %cond_next496
|
||||
br bool false, label %cond_false594, label %cond_true516
|
||||
|
||||
cond_true516: ; preds = %bb513
|
||||
br bool false, label %cond_true545, label %cond_false552
|
||||
|
||||
cond_true545: ; preds = %cond_true516
|
||||
br label %bb1269.outer38.backedge
|
||||
|
||||
cond_false552: ; preds = %cond_true516
|
||||
br bool false, label %cond_true566, label %cond_false573
|
||||
|
||||
cond_true566: ; preds = %cond_false552
|
||||
br label %bb1269.outer21.backedge
|
||||
|
||||
cond_false573: ; preds = %cond_false552
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_false588
|
||||
|
||||
cond_false588: ; preds = %cond_false573
|
||||
br label %UnifiedUnreachableBlock
|
||||
|
||||
cond_false594: ; preds = %bb513
|
||||
br bool false, label %cond_next609, label %bb625
|
||||
|
||||
cond_next609: ; preds = %cond_false594
|
||||
br bool false, label %bb626, label %bb625
|
||||
|
||||
bb625: ; preds = %cond_next609, %cond_false594
|
||||
br label %bb626
|
||||
|
||||
bb626: ; preds = %bb625, %cond_next609
|
||||
br bool false, label %cond_false707, label %cond_true629
|
||||
|
||||
cond_true629: ; preds = %bb626
|
||||
br bool false, label %cond_true658, label %cond_false665
|
||||
|
||||
cond_true658: ; preds = %cond_true629
|
||||
br label %bb1269.outer2.backedge
|
||||
|
||||
bb1269.outer2.backedge: ; preds = %cond_true679, %cond_true658
|
||||
br label %bb1269.outer2
|
||||
|
||||
cond_false665: ; preds = %cond_true629
|
||||
br bool false, label %cond_true679, label %cond_false686
|
||||
|
||||
cond_true679: ; preds = %cond_false665
|
||||
br label %bb1269.outer2.backedge
|
||||
|
||||
cond_false686: ; preds = %cond_false665
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_false701
|
||||
|
||||
cond_false701: ; preds = %cond_false686
|
||||
br label %UnifiedUnreachableBlock
|
||||
|
||||
cond_false707: ; preds = %bb626
|
||||
br bool false, label %cond_next722, label %bb738
|
||||
|
||||
cond_next722: ; preds = %cond_false707
|
||||
br bool false, label %bb739, label %bb738
|
||||
|
||||
bb738: ; preds = %cond_next722, %cond_false707
|
||||
br label %bb739
|
||||
|
||||
bb739: ; preds = %bb738, %cond_next722
|
||||
br bool false, label %cond_false820, label %cond_true742
|
||||
|
||||
cond_true742: ; preds = %bb739
|
||||
br bool false, label %cond_true771, label %cond_false778
|
||||
|
||||
cond_true771: ; preds = %cond_true742
|
||||
br label %bb1269.outer.backedge
|
||||
|
||||
bb1269.outer.backedge: ; preds = %cond_true792, %cond_true771
|
||||
br label %bb1269.outer
|
||||
|
||||
cond_false778: ; preds = %cond_true742
|
||||
br bool false, label %cond_true792, label %cond_false799
|
||||
|
||||
cond_true792: ; preds = %cond_false778
|
||||
br label %bb1269.outer.backedge
|
||||
|
||||
cond_false799: ; preds = %cond_false778
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_false814
|
||||
|
||||
cond_false814: ; preds = %cond_false799
|
||||
br label %UnifiedUnreachableBlock
|
||||
|
||||
cond_false820: ; preds = %bb739
|
||||
br bool false, label %cond_next835, label %bb851
|
||||
|
||||
cond_next835: ; preds = %cond_false820
|
||||
br bool false, label %bb852, label %bb851
|
||||
|
||||
bb851: ; preds = %cond_next835, %cond_false820
|
||||
br label %bb852
|
||||
|
||||
bb852: ; preds = %bb851, %cond_next835
|
||||
br bool false, label %cond_false933, label %cond_true855
|
||||
|
||||
cond_true855: ; preds = %bb852
|
||||
br bool false, label %cond_true884, label %cond_false891
|
||||
|
||||
cond_true884: ; preds = %cond_true855
|
||||
br label %bb1269.outer.outer.backedge
|
||||
|
||||
bb1269.outer.outer.backedge: ; preds = %cond_true905, %cond_true884
|
||||
br label %bb1269.outer.outer
|
||||
|
||||
cond_false891: ; preds = %cond_true855
|
||||
br bool false, label %cond_true905, label %cond_false912
|
||||
|
||||
cond_true905: ; preds = %cond_false891
|
||||
br label %bb1269.outer.outer.backedge
|
||||
|
||||
cond_false912: ; preds = %cond_false891
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_false927
|
||||
|
||||
cond_false927: ; preds = %cond_false912
|
||||
br label %UnifiedUnreachableBlock
|
||||
|
||||
cond_false933: ; preds = %bb852
|
||||
br bool false, label %cond_next948, label %bb964
|
||||
|
||||
cond_next948: ; preds = %cond_false933
|
||||
br bool false, label %bb965, label %bb964
|
||||
|
||||
bb964: ; preds = %cond_next948, %cond_false933
|
||||
br label %bb965
|
||||
|
||||
bb965: ; preds = %bb964, %cond_next948
|
||||
br bool false, label %cond_false1046, label %cond_true968
|
||||
|
||||
cond_true968: ; preds = %bb965
|
||||
br bool false, label %cond_true997, label %cond_false1004
|
||||
|
||||
cond_true997: ; preds = %cond_true968
|
||||
br label %bb1269.outer.outer.outer.backedge
|
||||
|
||||
bb1269.outer.outer.outer.backedge: ; preds = %cond_true1018, %cond_true997
|
||||
br label %bb1269.outer.outer.outer
|
||||
|
||||
cond_false1004: ; preds = %cond_true968
|
||||
br bool false, label %cond_true1018, label %cond_false1025
|
||||
|
||||
cond_true1018: ; preds = %cond_false1004
|
||||
br label %bb1269.outer.outer.outer.backedge
|
||||
|
||||
cond_false1025: ; preds = %cond_false1004
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_false1040
|
||||
|
||||
cond_false1040: ; preds = %cond_false1025
|
||||
br label %UnifiedUnreachableBlock
|
||||
|
||||
cond_false1046: ; preds = %bb965
|
||||
br bool false, label %cond_next1061, label %bb1077
|
||||
|
||||
cond_next1061: ; preds = %cond_false1046
|
||||
br bool false, label %bb1078, label %bb1077
|
||||
|
||||
bb1077: ; preds = %cond_next1061, %cond_false1046
|
||||
br label %bb1078
|
||||
|
||||
bb1078: ; preds = %bb1077, %cond_next1061
|
||||
%tmp1080 = phi bool [ true, %bb1077 ], [ false, %cond_next1061 ] ; <bool> [#uses=1]
|
||||
br bool %tmp1080, label %cond_false1159, label %cond_true1081
|
||||
|
||||
cond_true1081: ; preds = %bb1078
|
||||
br bool false, label %cond_true1110, label %cond_false1117
|
||||
|
||||
cond_true1110: ; preds = %cond_true1081
|
||||
br label %bb1269.outer.outer.outer.outer.backedge
|
||||
|
||||
bb1269.outer.outer.outer.outer.backedge: ; preds = %cond_true1131, %cond_true1110
|
||||
br label %bb1269.outer.outer.outer.outer
|
||||
|
||||
cond_false1117: ; preds = %cond_true1081
|
||||
br bool false, label %cond_true1131, label %cond_false1138
|
||||
|
||||
cond_true1131: ; preds = %cond_false1117
|
||||
br label %bb1269.outer.outer.outer.outer.backedge
|
||||
|
||||
cond_false1138: ; preds = %cond_false1117
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_false1153
|
||||
|
||||
cond_false1153: ; preds = %cond_false1138
|
||||
br label %UnifiedUnreachableBlock
|
||||
|
||||
cond_false1159: ; preds = %bb1078
|
||||
%tmp.i119.lcssa35.lcssa.lcssa.lcssa.lcssa.lcssa = phi "struct.kc::impl_elem_patternrepresentation"* [ null, %bb1078 ] ; <"struct.kc::impl_elem_patternrepresentation"*> [#uses=0]
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_false1174
|
||||
|
||||
cond_false1174: ; preds = %cond_false1159
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_false1189
|
||||
|
||||
cond_false1189: ; preds = %cond_false1174
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_false1204
|
||||
|
||||
cond_false1204: ; preds = %cond_false1189
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_false1219
|
||||
|
||||
cond_false1219: ; preds = %cond_false1204
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_true1222
|
||||
|
||||
cond_true1222: ; preds = %cond_false1219
|
||||
br label %UnifiedReturnBlock
|
||||
|
||||
bb1269.outer.outer.outer.outer: ; preds = %bb1269.outer.outer.outer.outer.backedge, %entry
|
||||
br label %bb1269.outer.outer.outer
|
||||
|
||||
bb1269.outer.outer.outer: ; preds = %bb1269.outer.outer.outer.outer, %bb1269.outer.outer.outer.backedge
|
||||
br label %bb1269.outer.outer
|
||||
|
||||
bb1269.outer.outer: ; preds = %bb1269.outer.outer.outer, %bb1269.outer.outer.backedge
|
||||
br label %bb1269.outer
|
||||
|
||||
bb1269.outer: ; preds = %bb1269.outer.outer, %bb1269.outer.backedge
|
||||
br label %bb1269.outer2
|
||||
|
||||
bb1269.outer2: ; preds = %bb1269.outer, %bb1269.outer2.backedge
|
||||
br label %bb1269.outer21
|
||||
|
||||
bb1269.outer21: ; preds = %bb1269.outer2, %bb1269.outer21.backedge
|
||||
br label %bb1269.outer38
|
||||
|
||||
bb1269.outer38: ; preds = %bb1269.outer21, %bb1269.outer38.backedge
|
||||
br label %bb1269.outer54
|
||||
|
||||
bb1269.outer54: ; preds = %bb1269.outer38
|
||||
br label %bb1269.outer69
|
||||
|
||||
bb1269.outer69: ; preds = %bb1269.outer54, %cond_true
|
||||
br label %bb1269
|
||||
|
||||
bb1269: ; preds = %bb1269.outer69
|
||||
br bool false, label %cond_next1281, label %bb1294
|
||||
|
||||
cond_next1281: ; preds = %bb1269
|
||||
br bool false, label %cond_true1298, label %bb1294
|
||||
|
||||
bb1294: ; preds = %cond_next1281, %bb1269
|
||||
br bool false, label %cond_true1331, label %cond_next1313
|
||||
|
||||
cond_true1298: ; preds = %cond_next1281
|
||||
br bool false, label %cond_false, label %cond_true
|
||||
|
||||
cond_next1313: ; preds = %bb1294
|
||||
br bool false, label %cond_true1331, label %cond_next1355
|
||||
|
||||
cond_true1331: ; preds = %cond_next1313, %bb1294
|
||||
br bool false, label %cond_false1346, label %cond_true1342
|
||||
|
||||
cond_true1342: ; preds = %cond_true1331
|
||||
br label %cond_next1350
|
||||
|
||||
cond_false1346: ; preds = %cond_true1331
|
||||
br label %cond_next1350
|
||||
|
||||
cond_next1350: ; preds = %cond_false1346, %cond_true1342
|
||||
br label %bb.i
|
||||
|
||||
bb.i: ; preds = %bb.i, %cond_next1350
|
||||
br bool false, label %_ZN2kc18impl_abstract_list8freelistEv.exit, label %bb.i
|
||||
|
||||
_ZN2kc18impl_abstract_list8freelistEv.exit: ; preds = %bb.i
|
||||
br label %cond_next1355
|
||||
|
||||
cond_next1355: ; preds = %_ZN2kc18impl_abstract_list8freelistEv.exit, %cond_next1313
|
||||
br bool false, label %cond_next1363, label %bb1388
|
||||
|
||||
cond_next1363: ; preds = %cond_next1355
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_true1366
|
||||
|
||||
cond_true1366: ; preds = %cond_next1363
|
||||
br label %UnifiedReturnBlock
|
||||
|
||||
bb1388: ; preds = %cond_next1355
|
||||
br bool false, label %UnifiedReturnBlock, label %bb1414.preheader
|
||||
|
||||
bb1414.preheader: ; preds = %bb1388
|
||||
br label %bb1414
|
||||
|
||||
bb1414: ; preds = %cond_true1426, %bb1414.preheader
|
||||
br bool false, label %cond_true1426, label %bb1429
|
||||
|
||||
cond_true1426: ; preds = %bb1414
|
||||
br label %bb1414
|
||||
|
||||
bb1429: ; preds = %bb1414
|
||||
br bool false, label %cond_true1431, label %UnifiedReturnBlock
|
||||
|
||||
cond_true1431: ; preds = %bb1429
|
||||
br bool false, label %UnifiedReturnBlock, label %cond_true1434
|
||||
|
||||
cond_true1434: ; preds = %cond_true1431
|
||||
br label %UnifiedReturnBlock
|
||||
|
||||
UnifiedUnreachableBlock: ; preds = %cond_false1153, %cond_false1040, %cond_false927, %cond_false814, %cond_false701, %cond_false588, %cond_false475, %cond_false363, %cond_false250
|
||||
unreachable
|
||||
|
||||
UnifiedReturnBlock: ; 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
|
||||
ret void
|
||||
}
|
||||
Loading…
Reference in New Issue