• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: opt < %s -dfsan -S | FileCheck %s
2target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64-S128"
3target triple = "x86_64-unknown-linux-gnu"
4
5; Check that we use dfsan_union in large functions instead of __dfsan_union.
6
7; CHECK-LABEL: @"dfs$foo"
8define i32 @foo(i32 %a, i32 %b) {
9bb0:
10  br label %bb1
11
12bb1:
13  br label %bb2
14
15bb2:
16  br label %bb3
17
18bb3:
19  br label %bb4
20
21bb4:
22  br label %bb5
23
24bb5:
25  br label %bb6
26
27bb6:
28  br label %bb7
29
30bb7:
31  br label %bb8
32
33bb8:
34  br label %bb9
35
36bb9:
37  br label %bb10
38
39bb10:
40  br label %bb11
41
42bb11:
43  br label %bb12
44
45bb12:
46  br label %bb13
47
48bb13:
49  br label %bb14
50
51bb14:
52  br label %bb15
53
54bb15:
55  br label %bb16
56
57bb16:
58  br label %bb17
59
60bb17:
61  br label %bb18
62
63bb18:
64  br label %bb19
65
66bb19:
67  br label %bb20
68
69bb20:
70  br label %bb21
71
72bb21:
73  br label %bb22
74
75bb22:
76  br label %bb23
77
78bb23:
79  br label %bb24
80
81bb24:
82  br label %bb25
83
84bb25:
85  br label %bb26
86
87bb26:
88  br label %bb27
89
90bb27:
91  br label %bb28
92
93bb28:
94  br label %bb29
95
96bb29:
97  br label %bb30
98
99bb30:
100  br label %bb31
101
102bb31:
103  br label %bb32
104
105bb32:
106  br label %bb33
107
108bb33:
109  br label %bb34
110
111bb34:
112  br label %bb35
113
114bb35:
115  br label %bb36
116
117bb36:
118  br label %bb37
119
120bb37:
121  br label %bb38
122
123bb38:
124  br label %bb39
125
126bb39:
127  br label %bb40
128
129bb40:
130  br label %bb41
131
132bb41:
133  br label %bb42
134
135bb42:
136  br label %bb43
137
138bb43:
139  br label %bb44
140
141bb44:
142  br label %bb45
143
144bb45:
145  br label %bb46
146
147bb46:
148  br label %bb47
149
150bb47:
151  br label %bb48
152
153bb48:
154  br label %bb49
155
156bb49:
157  br label %bb50
158
159bb50:
160  br label %bb51
161
162bb51:
163  br label %bb52
164
165bb52:
166  br label %bb53
167
168bb53:
169  br label %bb54
170
171bb54:
172  br label %bb55
173
174bb55:
175  br label %bb56
176
177bb56:
178  br label %bb57
179
180bb57:
181  br label %bb58
182
183bb58:
184  br label %bb59
185
186bb59:
187  br label %bb60
188
189bb60:
190  br label %bb61
191
192bb61:
193  br label %bb62
194
195bb62:
196  br label %bb63
197
198bb63:
199  br label %bb64
200
201bb64:
202  br label %bb65
203
204bb65:
205  br label %bb66
206
207bb66:
208  br label %bb67
209
210bb67:
211  br label %bb68
212
213bb68:
214  br label %bb69
215
216bb69:
217  br label %bb70
218
219bb70:
220  br label %bb71
221
222bb71:
223  br label %bb72
224
225bb72:
226  br label %bb73
227
228bb73:
229  br label %bb74
230
231bb74:
232  br label %bb75
233
234bb75:
235  br label %bb76
236
237bb76:
238  br label %bb77
239
240bb77:
241  br label %bb78
242
243bb78:
244  br label %bb79
245
246bb79:
247  br label %bb80
248
249bb80:
250  br label %bb81
251
252bb81:
253  br label %bb82
254
255bb82:
256  br label %bb83
257
258bb83:
259  br label %bb84
260
261bb84:
262  br label %bb85
263
264bb85:
265  br label %bb86
266
267bb86:
268  br label %bb87
269
270bb87:
271  br label %bb88
272
273bb88:
274  br label %bb89
275
276bb89:
277  br label %bb90
278
279bb90:
280  br label %bb91
281
282bb91:
283  br label %bb92
284
285bb92:
286  br label %bb93
287
288bb93:
289  br label %bb94
290
291bb94:
292  br label %bb95
293
294bb95:
295  br label %bb96
296
297bb96:
298  br label %bb97
299
300bb97:
301  br label %bb98
302
303bb98:
304  br label %bb99
305
306bb99:
307  br label %bb100
308
309bb100:
310  br label %bb101
311
312bb101:
313  br label %bb102
314
315bb102:
316  br label %bb103
317
318bb103:
319  br label %bb104
320
321bb104:
322  br label %bb105
323
324bb105:
325  br label %bb106
326
327bb106:
328  br label %bb107
329
330bb107:
331  br label %bb108
332
333bb108:
334  br label %bb109
335
336bb109:
337  br label %bb110
338
339bb110:
340  br label %bb111
341
342bb111:
343  br label %bb112
344
345bb112:
346  br label %bb113
347
348bb113:
349  br label %bb114
350
351bb114:
352  br label %bb115
353
354bb115:
355  br label %bb116
356
357bb116:
358  br label %bb117
359
360bb117:
361  br label %bb118
362
363bb118:
364  br label %bb119
365
366bb119:
367  br label %bb120
368
369bb120:
370  br label %bb121
371
372bb121:
373  br label %bb122
374
375bb122:
376  br label %bb123
377
378bb123:
379  br label %bb124
380
381bb124:
382  br label %bb125
383
384bb125:
385  br label %bb126
386
387bb126:
388  br label %bb127
389
390bb127:
391  br label %bb128
392
393bb128:
394  br label %bb129
395
396bb129:
397  br label %bb130
398
399bb130:
400  br label %bb131
401
402bb131:
403  br label %bb132
404
405bb132:
406  br label %bb133
407
408bb133:
409  br label %bb134
410
411bb134:
412  br label %bb135
413
414bb135:
415  br label %bb136
416
417bb136:
418  br label %bb137
419
420bb137:
421  br label %bb138
422
423bb138:
424  br label %bb139
425
426bb139:
427  br label %bb140
428
429bb140:
430  br label %bb141
431
432bb141:
433  br label %bb142
434
435bb142:
436  br label %bb143
437
438bb143:
439  br label %bb144
440
441bb144:
442  br label %bb145
443
444bb145:
445  br label %bb146
446
447bb146:
448  br label %bb147
449
450bb147:
451  br label %bb148
452
453bb148:
454  br label %bb149
455
456bb149:
457  br label %bb150
458
459bb150:
460  br label %bb151
461
462bb151:
463  br label %bb152
464
465bb152:
466  br label %bb153
467
468bb153:
469  br label %bb154
470
471bb154:
472  br label %bb155
473
474bb155:
475  br label %bb156
476
477bb156:
478  br label %bb157
479
480bb157:
481  br label %bb158
482
483bb158:
484  br label %bb159
485
486bb159:
487  br label %bb160
488
489bb160:
490  br label %bb161
491
492bb161:
493  br label %bb162
494
495bb162:
496  br label %bb163
497
498bb163:
499  br label %bb164
500
501bb164:
502  br label %bb165
503
504bb165:
505  br label %bb166
506
507bb166:
508  br label %bb167
509
510bb167:
511  br label %bb168
512
513bb168:
514  br label %bb169
515
516bb169:
517  br label %bb170
518
519bb170:
520  br label %bb171
521
522bb171:
523  br label %bb172
524
525bb172:
526  br label %bb173
527
528bb173:
529  br label %bb174
530
531bb174:
532  br label %bb175
533
534bb175:
535  br label %bb176
536
537bb176:
538  br label %bb177
539
540bb177:
541  br label %bb178
542
543bb178:
544  br label %bb179
545
546bb179:
547  br label %bb180
548
549bb180:
550  br label %bb181
551
552bb181:
553  br label %bb182
554
555bb182:
556  br label %bb183
557
558bb183:
559  br label %bb184
560
561bb184:
562  br label %bb185
563
564bb185:
565  br label %bb186
566
567bb186:
568  br label %bb187
569
570bb187:
571  br label %bb188
572
573bb188:
574  br label %bb189
575
576bb189:
577  br label %bb190
578
579bb190:
580  br label %bb191
581
582bb191:
583  br label %bb192
584
585bb192:
586  br label %bb193
587
588bb193:
589  br label %bb194
590
591bb194:
592  br label %bb195
593
594bb195:
595  br label %bb196
596
597bb196:
598  br label %bb197
599
600bb197:
601  br label %bb198
602
603bb198:
604  br label %bb199
605
606bb199:
607  br label %bb200
608
609bb200:
610  br label %bb201
611
612bb201:
613  br label %bb202
614
615bb202:
616  br label %bb203
617
618bb203:
619  br label %bb204
620
621bb204:
622  br label %bb205
623
624bb205:
625  br label %bb206
626
627bb206:
628  br label %bb207
629
630bb207:
631  br label %bb208
632
633bb208:
634  br label %bb209
635
636bb209:
637  br label %bb210
638
639bb210:
640  br label %bb211
641
642bb211:
643  br label %bb212
644
645bb212:
646  br label %bb213
647
648bb213:
649  br label %bb214
650
651bb214:
652  br label %bb215
653
654bb215:
655  br label %bb216
656
657bb216:
658  br label %bb217
659
660bb217:
661  br label %bb218
662
663bb218:
664  br label %bb219
665
666bb219:
667  br label %bb220
668
669bb220:
670  br label %bb221
671
672bb221:
673  br label %bb222
674
675bb222:
676  br label %bb223
677
678bb223:
679  br label %bb224
680
681bb224:
682  br label %bb225
683
684bb225:
685  br label %bb226
686
687bb226:
688  br label %bb227
689
690bb227:
691  br label %bb228
692
693bb228:
694  br label %bb229
695
696bb229:
697  br label %bb230
698
699bb230:
700  br label %bb231
701
702bb231:
703  br label %bb232
704
705bb232:
706  br label %bb233
707
708bb233:
709  br label %bb234
710
711bb234:
712  br label %bb235
713
714bb235:
715  br label %bb236
716
717bb236:
718  br label %bb237
719
720bb237:
721  br label %bb238
722
723bb238:
724  br label %bb239
725
726bb239:
727  br label %bb240
728
729bb240:
730  br label %bb241
731
732bb241:
733  br label %bb242
734
735bb242:
736  br label %bb243
737
738bb243:
739  br label %bb244
740
741bb244:
742  br label %bb245
743
744bb245:
745  br label %bb246
746
747bb246:
748  br label %bb247
749
750bb247:
751  br label %bb248
752
753bb248:
754  br label %bb249
755
756bb249:
757  br label %bb250
758
759bb250:
760  br label %bb251
761
762bb251:
763  br label %bb252
764
765bb252:
766  br label %bb253
767
768bb253:
769  br label %bb254
770
771bb254:
772  br label %bb255
773
774bb255:
775  br label %bb256
776
777bb256:
778  br label %bb257
779
780bb257:
781  br label %bb258
782
783bb258:
784  br label %bb259
785
786bb259:
787  br label %bb260
788
789bb260:
790  br label %bb261
791
792bb261:
793  br label %bb262
794
795bb262:
796  br label %bb263
797
798bb263:
799  br label %bb264
800
801bb264:
802  br label %bb265
803
804bb265:
805  br label %bb266
806
807bb266:
808  br label %bb267
809
810bb267:
811  br label %bb268
812
813bb268:
814  br label %bb269
815
816bb269:
817  br label %bb270
818
819bb270:
820  br label %bb271
821
822bb271:
823  br label %bb272
824
825bb272:
826  br label %bb273
827
828bb273:
829  br label %bb274
830
831bb274:
832  br label %bb275
833
834bb275:
835  br label %bb276
836
837bb276:
838  br label %bb277
839
840bb277:
841  br label %bb278
842
843bb278:
844  br label %bb279
845
846bb279:
847  br label %bb280
848
849bb280:
850  br label %bb281
851
852bb281:
853  br label %bb282
854
855bb282:
856  br label %bb283
857
858bb283:
859  br label %bb284
860
861bb284:
862  br label %bb285
863
864bb285:
865  br label %bb286
866
867bb286:
868  br label %bb287
869
870bb287:
871  br label %bb288
872
873bb288:
874  br label %bb289
875
876bb289:
877  br label %bb290
878
879bb290:
880  br label %bb291
881
882bb291:
883  br label %bb292
884
885bb292:
886  br label %bb293
887
888bb293:
889  br label %bb294
890
891bb294:
892  br label %bb295
893
894bb295:
895  br label %bb296
896
897bb296:
898  br label %bb297
899
900bb297:
901  br label %bb298
902
903bb298:
904  br label %bb299
905
906bb299:
907  br label %bb300
908
909bb300:
910  br label %bb301
911
912bb301:
913  br label %bb302
914
915bb302:
916  br label %bb303
917
918bb303:
919  br label %bb304
920
921bb304:
922  br label %bb305
923
924bb305:
925  br label %bb306
926
927bb306:
928  br label %bb307
929
930bb307:
931  br label %bb308
932
933bb308:
934  br label %bb309
935
936bb309:
937  br label %bb310
938
939bb310:
940  br label %bb311
941
942bb311:
943  br label %bb312
944
945bb312:
946  br label %bb313
947
948bb313:
949  br label %bb314
950
951bb314:
952  br label %bb315
953
954bb315:
955  br label %bb316
956
957bb316:
958  br label %bb317
959
960bb317:
961  br label %bb318
962
963bb318:
964  br label %bb319
965
966bb319:
967  br label %bb320
968
969bb320:
970  br label %bb321
971
972bb321:
973  br label %bb322
974
975bb322:
976  br label %bb323
977
978bb323:
979  br label %bb324
980
981bb324:
982  br label %bb325
983
984bb325:
985  br label %bb326
986
987bb326:
988  br label %bb327
989
990bb327:
991  br label %bb328
992
993bb328:
994  br label %bb329
995
996bb329:
997  br label %bb330
998
999bb330:
1000  br label %bb331
1001
1002bb331:
1003  br label %bb332
1004
1005bb332:
1006  br label %bb333
1007
1008bb333:
1009  br label %bb334
1010
1011bb334:
1012  br label %bb335
1013
1014bb335:
1015  br label %bb336
1016
1017bb336:
1018  br label %bb337
1019
1020bb337:
1021  br label %bb338
1022
1023bb338:
1024  br label %bb339
1025
1026bb339:
1027  br label %bb340
1028
1029bb340:
1030  br label %bb341
1031
1032bb341:
1033  br label %bb342
1034
1035bb342:
1036  br label %bb343
1037
1038bb343:
1039  br label %bb344
1040
1041bb344:
1042  br label %bb345
1043
1044bb345:
1045  br label %bb346
1046
1047bb346:
1048  br label %bb347
1049
1050bb347:
1051  br label %bb348
1052
1053bb348:
1054  br label %bb349
1055
1056bb349:
1057  br label %bb350
1058
1059bb350:
1060  br label %bb351
1061
1062bb351:
1063  br label %bb352
1064
1065bb352:
1066  br label %bb353
1067
1068bb353:
1069  br label %bb354
1070
1071bb354:
1072  br label %bb355
1073
1074bb355:
1075  br label %bb356
1076
1077bb356:
1078  br label %bb357
1079
1080bb357:
1081  br label %bb358
1082
1083bb358:
1084  br label %bb359
1085
1086bb359:
1087  br label %bb360
1088
1089bb360:
1090  br label %bb361
1091
1092bb361:
1093  br label %bb362
1094
1095bb362:
1096  br label %bb363
1097
1098bb363:
1099  br label %bb364
1100
1101bb364:
1102  br label %bb365
1103
1104bb365:
1105  br label %bb366
1106
1107bb366:
1108  br label %bb367
1109
1110bb367:
1111  br label %bb368
1112
1113bb368:
1114  br label %bb369
1115
1116bb369:
1117  br label %bb370
1118
1119bb370:
1120  br label %bb371
1121
1122bb371:
1123  br label %bb372
1124
1125bb372:
1126  br label %bb373
1127
1128bb373:
1129  br label %bb374
1130
1131bb374:
1132  br label %bb375
1133
1134bb375:
1135  br label %bb376
1136
1137bb376:
1138  br label %bb377
1139
1140bb377:
1141  br label %bb378
1142
1143bb378:
1144  br label %bb379
1145
1146bb379:
1147  br label %bb380
1148
1149bb380:
1150  br label %bb381
1151
1152bb381:
1153  br label %bb382
1154
1155bb382:
1156  br label %bb383
1157
1158bb383:
1159  br label %bb384
1160
1161bb384:
1162  br label %bb385
1163
1164bb385:
1165  br label %bb386
1166
1167bb386:
1168  br label %bb387
1169
1170bb387:
1171  br label %bb388
1172
1173bb388:
1174  br label %bb389
1175
1176bb389:
1177  br label %bb390
1178
1179bb390:
1180  br label %bb391
1181
1182bb391:
1183  br label %bb392
1184
1185bb392:
1186  br label %bb393
1187
1188bb393:
1189  br label %bb394
1190
1191bb394:
1192  br label %bb395
1193
1194bb395:
1195  br label %bb396
1196
1197bb396:
1198  br label %bb397
1199
1200bb397:
1201  br label %bb398
1202
1203bb398:
1204  br label %bb399
1205
1206bb399:
1207  br label %bb400
1208
1209bb400:
1210  br label %bb401
1211
1212bb401:
1213  br label %bb402
1214
1215bb402:
1216  br label %bb403
1217
1218bb403:
1219  br label %bb404
1220
1221bb404:
1222  br label %bb405
1223
1224bb405:
1225  br label %bb406
1226
1227bb406:
1228  br label %bb407
1229
1230bb407:
1231  br label %bb408
1232
1233bb408:
1234  br label %bb409
1235
1236bb409:
1237  br label %bb410
1238
1239bb410:
1240  br label %bb411
1241
1242bb411:
1243  br label %bb412
1244
1245bb412:
1246  br label %bb413
1247
1248bb413:
1249  br label %bb414
1250
1251bb414:
1252  br label %bb415
1253
1254bb415:
1255  br label %bb416
1256
1257bb416:
1258  br label %bb417
1259
1260bb417:
1261  br label %bb418
1262
1263bb418:
1264  br label %bb419
1265
1266bb419:
1267  br label %bb420
1268
1269bb420:
1270  br label %bb421
1271
1272bb421:
1273  br label %bb422
1274
1275bb422:
1276  br label %bb423
1277
1278bb423:
1279  br label %bb424
1280
1281bb424:
1282  br label %bb425
1283
1284bb425:
1285  br label %bb426
1286
1287bb426:
1288  br label %bb427
1289
1290bb427:
1291  br label %bb428
1292
1293bb428:
1294  br label %bb429
1295
1296bb429:
1297  br label %bb430
1298
1299bb430:
1300  br label %bb431
1301
1302bb431:
1303  br label %bb432
1304
1305bb432:
1306  br label %bb433
1307
1308bb433:
1309  br label %bb434
1310
1311bb434:
1312  br label %bb435
1313
1314bb435:
1315  br label %bb436
1316
1317bb436:
1318  br label %bb437
1319
1320bb437:
1321  br label %bb438
1322
1323bb438:
1324  br label %bb439
1325
1326bb439:
1327  br label %bb440
1328
1329bb440:
1330  br label %bb441
1331
1332bb441:
1333  br label %bb442
1334
1335bb442:
1336  br label %bb443
1337
1338bb443:
1339  br label %bb444
1340
1341bb444:
1342  br label %bb445
1343
1344bb445:
1345  br label %bb446
1346
1347bb446:
1348  br label %bb447
1349
1350bb447:
1351  br label %bb448
1352
1353bb448:
1354  br label %bb449
1355
1356bb449:
1357  br label %bb450
1358
1359bb450:
1360  br label %bb451
1361
1362bb451:
1363  br label %bb452
1364
1365bb452:
1366  br label %bb453
1367
1368bb453:
1369  br label %bb454
1370
1371bb454:
1372  br label %bb455
1373
1374bb455:
1375  br label %bb456
1376
1377bb456:
1378  br label %bb457
1379
1380bb457:
1381  br label %bb458
1382
1383bb458:
1384  br label %bb459
1385
1386bb459:
1387  br label %bb460
1388
1389bb460:
1390  br label %bb461
1391
1392bb461:
1393  br label %bb462
1394
1395bb462:
1396  br label %bb463
1397
1398bb463:
1399  br label %bb464
1400
1401bb464:
1402  br label %bb465
1403
1404bb465:
1405  br label %bb466
1406
1407bb466:
1408  br label %bb467
1409
1410bb467:
1411  br label %bb468
1412
1413bb468:
1414  br label %bb469
1415
1416bb469:
1417  br label %bb470
1418
1419bb470:
1420  br label %bb471
1421
1422bb471:
1423  br label %bb472
1424
1425bb472:
1426  br label %bb473
1427
1428bb473:
1429  br label %bb474
1430
1431bb474:
1432  br label %bb475
1433
1434bb475:
1435  br label %bb476
1436
1437bb476:
1438  br label %bb477
1439
1440bb477:
1441  br label %bb478
1442
1443bb478:
1444  br label %bb479
1445
1446bb479:
1447  br label %bb480
1448
1449bb480:
1450  br label %bb481
1451
1452bb481:
1453  br label %bb482
1454
1455bb482:
1456  br label %bb483
1457
1458bb483:
1459  br label %bb484
1460
1461bb484:
1462  br label %bb485
1463
1464bb485:
1465  br label %bb486
1466
1467bb486:
1468  br label %bb487
1469
1470bb487:
1471  br label %bb488
1472
1473bb488:
1474  br label %bb489
1475
1476bb489:
1477  br label %bb490
1478
1479bb490:
1480  br label %bb491
1481
1482bb491:
1483  br label %bb492
1484
1485bb492:
1486  br label %bb493
1487
1488bb493:
1489  br label %bb494
1490
1491bb494:
1492  br label %bb495
1493
1494bb495:
1495  br label %bb496
1496
1497bb496:
1498  br label %bb497
1499
1500bb497:
1501  br label %bb498
1502
1503bb498:
1504  br label %bb499
1505
1506bb499:
1507  br label %bb500
1508
1509bb500:
1510  br label %bb501
1511
1512bb501:
1513  br label %bb502
1514
1515bb502:
1516  br label %bb503
1517
1518bb503:
1519  br label %bb504
1520
1521bb504:
1522  br label %bb505
1523
1524bb505:
1525  br label %bb506
1526
1527bb506:
1528  br label %bb507
1529
1530bb507:
1531  br label %bb508
1532
1533bb508:
1534  br label %bb509
1535
1536bb509:
1537  br label %bb510
1538
1539bb510:
1540  br label %bb511
1541
1542bb511:
1543  br label %bb512
1544
1545bb512:
1546  br label %bb513
1547
1548bb513:
1549  br label %bb514
1550
1551bb514:
1552  br label %bb515
1553
1554bb515:
1555  br label %bb516
1556
1557bb516:
1558  br label %bb517
1559
1560bb517:
1561  br label %bb518
1562
1563bb518:
1564  br label %bb519
1565
1566bb519:
1567  br label %bb520
1568
1569bb520:
1570  br label %bb521
1571
1572bb521:
1573  br label %bb522
1574
1575bb522:
1576  br label %bb523
1577
1578bb523:
1579  br label %bb524
1580
1581bb524:
1582  br label %bb525
1583
1584bb525:
1585  br label %bb526
1586
1587bb526:
1588  br label %bb527
1589
1590bb527:
1591  br label %bb528
1592
1593bb528:
1594  br label %bb529
1595
1596bb529:
1597  br label %bb530
1598
1599bb530:
1600  br label %bb531
1601
1602bb531:
1603  br label %bb532
1604
1605bb532:
1606  br label %bb533
1607
1608bb533:
1609  br label %bb534
1610
1611bb534:
1612  br label %bb535
1613
1614bb535:
1615  br label %bb536
1616
1617bb536:
1618  br label %bb537
1619
1620bb537:
1621  br label %bb538
1622
1623bb538:
1624  br label %bb539
1625
1626bb539:
1627  br label %bb540
1628
1629bb540:
1630  br label %bb541
1631
1632bb541:
1633  br label %bb542
1634
1635bb542:
1636  br label %bb543
1637
1638bb543:
1639  br label %bb544
1640
1641bb544:
1642  br label %bb545
1643
1644bb545:
1645  br label %bb546
1646
1647bb546:
1648  br label %bb547
1649
1650bb547:
1651  br label %bb548
1652
1653bb548:
1654  br label %bb549
1655
1656bb549:
1657  br label %bb550
1658
1659bb550:
1660  br label %bb551
1661
1662bb551:
1663  br label %bb552
1664
1665bb552:
1666  br label %bb553
1667
1668bb553:
1669  br label %bb554
1670
1671bb554:
1672  br label %bb555
1673
1674bb555:
1675  br label %bb556
1676
1677bb556:
1678  br label %bb557
1679
1680bb557:
1681  br label %bb558
1682
1683bb558:
1684  br label %bb559
1685
1686bb559:
1687  br label %bb560
1688
1689bb560:
1690  br label %bb561
1691
1692bb561:
1693  br label %bb562
1694
1695bb562:
1696  br label %bb563
1697
1698bb563:
1699  br label %bb564
1700
1701bb564:
1702  br label %bb565
1703
1704bb565:
1705  br label %bb566
1706
1707bb566:
1708  br label %bb567
1709
1710bb567:
1711  br label %bb568
1712
1713bb568:
1714  br label %bb569
1715
1716bb569:
1717  br label %bb570
1718
1719bb570:
1720  br label %bb571
1721
1722bb571:
1723  br label %bb572
1724
1725bb572:
1726  br label %bb573
1727
1728bb573:
1729  br label %bb574
1730
1731bb574:
1732  br label %bb575
1733
1734bb575:
1735  br label %bb576
1736
1737bb576:
1738  br label %bb577
1739
1740bb577:
1741  br label %bb578
1742
1743bb578:
1744  br label %bb579
1745
1746bb579:
1747  br label %bb580
1748
1749bb580:
1750  br label %bb581
1751
1752bb581:
1753  br label %bb582
1754
1755bb582:
1756  br label %bb583
1757
1758bb583:
1759  br label %bb584
1760
1761bb584:
1762  br label %bb585
1763
1764bb585:
1765  br label %bb586
1766
1767bb586:
1768  br label %bb587
1769
1770bb587:
1771  br label %bb588
1772
1773bb588:
1774  br label %bb589
1775
1776bb589:
1777  br label %bb590
1778
1779bb590:
1780  br label %bb591
1781
1782bb591:
1783  br label %bb592
1784
1785bb592:
1786  br label %bb593
1787
1788bb593:
1789  br label %bb594
1790
1791bb594:
1792  br label %bb595
1793
1794bb595:
1795  br label %bb596
1796
1797bb596:
1798  br label %bb597
1799
1800bb597:
1801  br label %bb598
1802
1803bb598:
1804  br label %bb599
1805
1806bb599:
1807  br label %bb600
1808
1809bb600:
1810  br label %bb601
1811
1812bb601:
1813  br label %bb602
1814
1815bb602:
1816  br label %bb603
1817
1818bb603:
1819  br label %bb604
1820
1821bb604:
1822  br label %bb605
1823
1824bb605:
1825  br label %bb606
1826
1827bb606:
1828  br label %bb607
1829
1830bb607:
1831  br label %bb608
1832
1833bb608:
1834  br label %bb609
1835
1836bb609:
1837  br label %bb610
1838
1839bb610:
1840  br label %bb611
1841
1842bb611:
1843  br label %bb612
1844
1845bb612:
1846  br label %bb613
1847
1848bb613:
1849  br label %bb614
1850
1851bb614:
1852  br label %bb615
1853
1854bb615:
1855  br label %bb616
1856
1857bb616:
1858  br label %bb617
1859
1860bb617:
1861  br label %bb618
1862
1863bb618:
1864  br label %bb619
1865
1866bb619:
1867  br label %bb620
1868
1869bb620:
1870  br label %bb621
1871
1872bb621:
1873  br label %bb622
1874
1875bb622:
1876  br label %bb623
1877
1878bb623:
1879  br label %bb624
1880
1881bb624:
1882  br label %bb625
1883
1884bb625:
1885  br label %bb626
1886
1887bb626:
1888  br label %bb627
1889
1890bb627:
1891  br label %bb628
1892
1893bb628:
1894  br label %bb629
1895
1896bb629:
1897  br label %bb630
1898
1899bb630:
1900  br label %bb631
1901
1902bb631:
1903  br label %bb632
1904
1905bb632:
1906  br label %bb633
1907
1908bb633:
1909  br label %bb634
1910
1911bb634:
1912  br label %bb635
1913
1914bb635:
1915  br label %bb636
1916
1917bb636:
1918  br label %bb637
1919
1920bb637:
1921  br label %bb638
1922
1923bb638:
1924  br label %bb639
1925
1926bb639:
1927  br label %bb640
1928
1929bb640:
1930  br label %bb641
1931
1932bb641:
1933  br label %bb642
1934
1935bb642:
1936  br label %bb643
1937
1938bb643:
1939  br label %bb644
1940
1941bb644:
1942  br label %bb645
1943
1944bb645:
1945  br label %bb646
1946
1947bb646:
1948  br label %bb647
1949
1950bb647:
1951  br label %bb648
1952
1953bb648:
1954  br label %bb649
1955
1956bb649:
1957  br label %bb650
1958
1959bb650:
1960  br label %bb651
1961
1962bb651:
1963  br label %bb652
1964
1965bb652:
1966  br label %bb653
1967
1968bb653:
1969  br label %bb654
1970
1971bb654:
1972  br label %bb655
1973
1974bb655:
1975  br label %bb656
1976
1977bb656:
1978  br label %bb657
1979
1980bb657:
1981  br label %bb658
1982
1983bb658:
1984  br label %bb659
1985
1986bb659:
1987  br label %bb660
1988
1989bb660:
1990  br label %bb661
1991
1992bb661:
1993  br label %bb662
1994
1995bb662:
1996  br label %bb663
1997
1998bb663:
1999  br label %bb664
2000
2001bb664:
2002  br label %bb665
2003
2004bb665:
2005  br label %bb666
2006
2007bb666:
2008  br label %bb667
2009
2010bb667:
2011  br label %bb668
2012
2013bb668:
2014  br label %bb669
2015
2016bb669:
2017  br label %bb670
2018
2019bb670:
2020  br label %bb671
2021
2022bb671:
2023  br label %bb672
2024
2025bb672:
2026  br label %bb673
2027
2028bb673:
2029  br label %bb674
2030
2031bb674:
2032  br label %bb675
2033
2034bb675:
2035  br label %bb676
2036
2037bb676:
2038  br label %bb677
2039
2040bb677:
2041  br label %bb678
2042
2043bb678:
2044  br label %bb679
2045
2046bb679:
2047  br label %bb680
2048
2049bb680:
2050  br label %bb681
2051
2052bb681:
2053  br label %bb682
2054
2055bb682:
2056  br label %bb683
2057
2058bb683:
2059  br label %bb684
2060
2061bb684:
2062  br label %bb685
2063
2064bb685:
2065  br label %bb686
2066
2067bb686:
2068  br label %bb687
2069
2070bb687:
2071  br label %bb688
2072
2073bb688:
2074  br label %bb689
2075
2076bb689:
2077  br label %bb690
2078
2079bb690:
2080  br label %bb691
2081
2082bb691:
2083  br label %bb692
2084
2085bb692:
2086  br label %bb693
2087
2088bb693:
2089  br label %bb694
2090
2091bb694:
2092  br label %bb695
2093
2094bb695:
2095  br label %bb696
2096
2097bb696:
2098  br label %bb697
2099
2100bb697:
2101  br label %bb698
2102
2103bb698:
2104  br label %bb699
2105
2106bb699:
2107  br label %bb700
2108
2109bb700:
2110  br label %bb701
2111
2112bb701:
2113  br label %bb702
2114
2115bb702:
2116  br label %bb703
2117
2118bb703:
2119  br label %bb704
2120
2121bb704:
2122  br label %bb705
2123
2124bb705:
2125  br label %bb706
2126
2127bb706:
2128  br label %bb707
2129
2130bb707:
2131  br label %bb708
2132
2133bb708:
2134  br label %bb709
2135
2136bb709:
2137  br label %bb710
2138
2139bb710:
2140  br label %bb711
2141
2142bb711:
2143  br label %bb712
2144
2145bb712:
2146  br label %bb713
2147
2148bb713:
2149  br label %bb714
2150
2151bb714:
2152  br label %bb715
2153
2154bb715:
2155  br label %bb716
2156
2157bb716:
2158  br label %bb717
2159
2160bb717:
2161  br label %bb718
2162
2163bb718:
2164  br label %bb719
2165
2166bb719:
2167  br label %bb720
2168
2169bb720:
2170  br label %bb721
2171
2172bb721:
2173  br label %bb722
2174
2175bb722:
2176  br label %bb723
2177
2178bb723:
2179  br label %bb724
2180
2181bb724:
2182  br label %bb725
2183
2184bb725:
2185  br label %bb726
2186
2187bb726:
2188  br label %bb727
2189
2190bb727:
2191  br label %bb728
2192
2193bb728:
2194  br label %bb729
2195
2196bb729:
2197  br label %bb730
2198
2199bb730:
2200  br label %bb731
2201
2202bb731:
2203  br label %bb732
2204
2205bb732:
2206  br label %bb733
2207
2208bb733:
2209  br label %bb734
2210
2211bb734:
2212  br label %bb735
2213
2214bb735:
2215  br label %bb736
2216
2217bb736:
2218  br label %bb737
2219
2220bb737:
2221  br label %bb738
2222
2223bb738:
2224  br label %bb739
2225
2226bb739:
2227  br label %bb740
2228
2229bb740:
2230  br label %bb741
2231
2232bb741:
2233  br label %bb742
2234
2235bb742:
2236  br label %bb743
2237
2238bb743:
2239  br label %bb744
2240
2241bb744:
2242  br label %bb745
2243
2244bb745:
2245  br label %bb746
2246
2247bb746:
2248  br label %bb747
2249
2250bb747:
2251  br label %bb748
2252
2253bb748:
2254  br label %bb749
2255
2256bb749:
2257  br label %bb750
2258
2259bb750:
2260  br label %bb751
2261
2262bb751:
2263  br label %bb752
2264
2265bb752:
2266  br label %bb753
2267
2268bb753:
2269  br label %bb754
2270
2271bb754:
2272  br label %bb755
2273
2274bb755:
2275  br label %bb756
2276
2277bb756:
2278  br label %bb757
2279
2280bb757:
2281  br label %bb758
2282
2283bb758:
2284  br label %bb759
2285
2286bb759:
2287  br label %bb760
2288
2289bb760:
2290  br label %bb761
2291
2292bb761:
2293  br label %bb762
2294
2295bb762:
2296  br label %bb763
2297
2298bb763:
2299  br label %bb764
2300
2301bb764:
2302  br label %bb765
2303
2304bb765:
2305  br label %bb766
2306
2307bb766:
2308  br label %bb767
2309
2310bb767:
2311  br label %bb768
2312
2313bb768:
2314  br label %bb769
2315
2316bb769:
2317  br label %bb770
2318
2319bb770:
2320  br label %bb771
2321
2322bb771:
2323  br label %bb772
2324
2325bb772:
2326  br label %bb773
2327
2328bb773:
2329  br label %bb774
2330
2331bb774:
2332  br label %bb775
2333
2334bb775:
2335  br label %bb776
2336
2337bb776:
2338  br label %bb777
2339
2340bb777:
2341  br label %bb778
2342
2343bb778:
2344  br label %bb779
2345
2346bb779:
2347  br label %bb780
2348
2349bb780:
2350  br label %bb781
2351
2352bb781:
2353  br label %bb782
2354
2355bb782:
2356  br label %bb783
2357
2358bb783:
2359  br label %bb784
2360
2361bb784:
2362  br label %bb785
2363
2364bb785:
2365  br label %bb786
2366
2367bb786:
2368  br label %bb787
2369
2370bb787:
2371  br label %bb788
2372
2373bb788:
2374  br label %bb789
2375
2376bb789:
2377  br label %bb790
2378
2379bb790:
2380  br label %bb791
2381
2382bb791:
2383  br label %bb792
2384
2385bb792:
2386  br label %bb793
2387
2388bb793:
2389  br label %bb794
2390
2391bb794:
2392  br label %bb795
2393
2394bb795:
2395  br label %bb796
2396
2397bb796:
2398  br label %bb797
2399
2400bb797:
2401  br label %bb798
2402
2403bb798:
2404  br label %bb799
2405
2406bb799:
2407  br label %bb800
2408
2409bb800:
2410  br label %bb801
2411
2412bb801:
2413  br label %bb802
2414
2415bb802:
2416  br label %bb803
2417
2418bb803:
2419  br label %bb804
2420
2421bb804:
2422  br label %bb805
2423
2424bb805:
2425  br label %bb806
2426
2427bb806:
2428  br label %bb807
2429
2430bb807:
2431  br label %bb808
2432
2433bb808:
2434  br label %bb809
2435
2436bb809:
2437  br label %bb810
2438
2439bb810:
2440  br label %bb811
2441
2442bb811:
2443  br label %bb812
2444
2445bb812:
2446  br label %bb813
2447
2448bb813:
2449  br label %bb814
2450
2451bb814:
2452  br label %bb815
2453
2454bb815:
2455  br label %bb816
2456
2457bb816:
2458  br label %bb817
2459
2460bb817:
2461  br label %bb818
2462
2463bb818:
2464  br label %bb819
2465
2466bb819:
2467  br label %bb820
2468
2469bb820:
2470  br label %bb821
2471
2472bb821:
2473  br label %bb822
2474
2475bb822:
2476  br label %bb823
2477
2478bb823:
2479  br label %bb824
2480
2481bb824:
2482  br label %bb825
2483
2484bb825:
2485  br label %bb826
2486
2487bb826:
2488  br label %bb827
2489
2490bb827:
2491  br label %bb828
2492
2493bb828:
2494  br label %bb829
2495
2496bb829:
2497  br label %bb830
2498
2499bb830:
2500  br label %bb831
2501
2502bb831:
2503  br label %bb832
2504
2505bb832:
2506  br label %bb833
2507
2508bb833:
2509  br label %bb834
2510
2511bb834:
2512  br label %bb835
2513
2514bb835:
2515  br label %bb836
2516
2517bb836:
2518  br label %bb837
2519
2520bb837:
2521  br label %bb838
2522
2523bb838:
2524  br label %bb839
2525
2526bb839:
2527  br label %bb840
2528
2529bb840:
2530  br label %bb841
2531
2532bb841:
2533  br label %bb842
2534
2535bb842:
2536  br label %bb843
2537
2538bb843:
2539  br label %bb844
2540
2541bb844:
2542  br label %bb845
2543
2544bb845:
2545  br label %bb846
2546
2547bb846:
2548  br label %bb847
2549
2550bb847:
2551  br label %bb848
2552
2553bb848:
2554  br label %bb849
2555
2556bb849:
2557  br label %bb850
2558
2559bb850:
2560  br label %bb851
2561
2562bb851:
2563  br label %bb852
2564
2565bb852:
2566  br label %bb853
2567
2568bb853:
2569  br label %bb854
2570
2571bb854:
2572  br label %bb855
2573
2574bb855:
2575  br label %bb856
2576
2577bb856:
2578  br label %bb857
2579
2580bb857:
2581  br label %bb858
2582
2583bb858:
2584  br label %bb859
2585
2586bb859:
2587  br label %bb860
2588
2589bb860:
2590  br label %bb861
2591
2592bb861:
2593  br label %bb862
2594
2595bb862:
2596  br label %bb863
2597
2598bb863:
2599  br label %bb864
2600
2601bb864:
2602  br label %bb865
2603
2604bb865:
2605  br label %bb866
2606
2607bb866:
2608  br label %bb867
2609
2610bb867:
2611  br label %bb868
2612
2613bb868:
2614  br label %bb869
2615
2616bb869:
2617  br label %bb870
2618
2619bb870:
2620  br label %bb871
2621
2622bb871:
2623  br label %bb872
2624
2625bb872:
2626  br label %bb873
2627
2628bb873:
2629  br label %bb874
2630
2631bb874:
2632  br label %bb875
2633
2634bb875:
2635  br label %bb876
2636
2637bb876:
2638  br label %bb877
2639
2640bb877:
2641  br label %bb878
2642
2643bb878:
2644  br label %bb879
2645
2646bb879:
2647  br label %bb880
2648
2649bb880:
2650  br label %bb881
2651
2652bb881:
2653  br label %bb882
2654
2655bb882:
2656  br label %bb883
2657
2658bb883:
2659  br label %bb884
2660
2661bb884:
2662  br label %bb885
2663
2664bb885:
2665  br label %bb886
2666
2667bb886:
2668  br label %bb887
2669
2670bb887:
2671  br label %bb888
2672
2673bb888:
2674  br label %bb889
2675
2676bb889:
2677  br label %bb890
2678
2679bb890:
2680  br label %bb891
2681
2682bb891:
2683  br label %bb892
2684
2685bb892:
2686  br label %bb893
2687
2688bb893:
2689  br label %bb894
2690
2691bb894:
2692  br label %bb895
2693
2694bb895:
2695  br label %bb896
2696
2697bb896:
2698  br label %bb897
2699
2700bb897:
2701  br label %bb898
2702
2703bb898:
2704  br label %bb899
2705
2706bb899:
2707  br label %bb900
2708
2709bb900:
2710  br label %bb901
2711
2712bb901:
2713  br label %bb902
2714
2715bb902:
2716  br label %bb903
2717
2718bb903:
2719  br label %bb904
2720
2721bb904:
2722  br label %bb905
2723
2724bb905:
2725  br label %bb906
2726
2727bb906:
2728  br label %bb907
2729
2730bb907:
2731  br label %bb908
2732
2733bb908:
2734  br label %bb909
2735
2736bb909:
2737  br label %bb910
2738
2739bb910:
2740  br label %bb911
2741
2742bb911:
2743  br label %bb912
2744
2745bb912:
2746  br label %bb913
2747
2748bb913:
2749  br label %bb914
2750
2751bb914:
2752  br label %bb915
2753
2754bb915:
2755  br label %bb916
2756
2757bb916:
2758  br label %bb917
2759
2760bb917:
2761  br label %bb918
2762
2763bb918:
2764  br label %bb919
2765
2766bb919:
2767  br label %bb920
2768
2769bb920:
2770  br label %bb921
2771
2772bb921:
2773  br label %bb922
2774
2775bb922:
2776  br label %bb923
2777
2778bb923:
2779  br label %bb924
2780
2781bb924:
2782  br label %bb925
2783
2784bb925:
2785  br label %bb926
2786
2787bb926:
2788  br label %bb927
2789
2790bb927:
2791  br label %bb928
2792
2793bb928:
2794  br label %bb929
2795
2796bb929:
2797  br label %bb930
2798
2799bb930:
2800  br label %bb931
2801
2802bb931:
2803  br label %bb932
2804
2805bb932:
2806  br label %bb933
2807
2808bb933:
2809  br label %bb934
2810
2811bb934:
2812  br label %bb935
2813
2814bb935:
2815  br label %bb936
2816
2817bb936:
2818  br label %bb937
2819
2820bb937:
2821  br label %bb938
2822
2823bb938:
2824  br label %bb939
2825
2826bb939:
2827  br label %bb940
2828
2829bb940:
2830  br label %bb941
2831
2832bb941:
2833  br label %bb942
2834
2835bb942:
2836  br label %bb943
2837
2838bb943:
2839  br label %bb944
2840
2841bb944:
2842  br label %bb945
2843
2844bb945:
2845  br label %bb946
2846
2847bb946:
2848  br label %bb947
2849
2850bb947:
2851  br label %bb948
2852
2853bb948:
2854  br label %bb949
2855
2856bb949:
2857  br label %bb950
2858
2859bb950:
2860  br label %bb951
2861
2862bb951:
2863  br label %bb952
2864
2865bb952:
2866  br label %bb953
2867
2868bb953:
2869  br label %bb954
2870
2871bb954:
2872  br label %bb955
2873
2874bb955:
2875  br label %bb956
2876
2877bb956:
2878  br label %bb957
2879
2880bb957:
2881  br label %bb958
2882
2883bb958:
2884  br label %bb959
2885
2886bb959:
2887  br label %bb960
2888
2889bb960:
2890  br label %bb961
2891
2892bb961:
2893  br label %bb962
2894
2895bb962:
2896  br label %bb963
2897
2898bb963:
2899  br label %bb964
2900
2901bb964:
2902  br label %bb965
2903
2904bb965:
2905  br label %bb966
2906
2907bb966:
2908  br label %bb967
2909
2910bb967:
2911  br label %bb968
2912
2913bb968:
2914  br label %bb969
2915
2916bb969:
2917  br label %bb970
2918
2919bb970:
2920  br label %bb971
2921
2922bb971:
2923  br label %bb972
2924
2925bb972:
2926  br label %bb973
2927
2928bb973:
2929  br label %bb974
2930
2931bb974:
2932  br label %bb975
2933
2934bb975:
2935  br label %bb976
2936
2937bb976:
2938  br label %bb977
2939
2940bb977:
2941  br label %bb978
2942
2943bb978:
2944  br label %bb979
2945
2946bb979:
2947  br label %bb980
2948
2949bb980:
2950  br label %bb981
2951
2952bb981:
2953  br label %bb982
2954
2955bb982:
2956  br label %bb983
2957
2958bb983:
2959  br label %bb984
2960
2961bb984:
2962  br label %bb985
2963
2964bb985:
2965  br label %bb986
2966
2967bb986:
2968  br label %bb987
2969
2970bb987:
2971  br label %bb988
2972
2973bb988:
2974  br label %bb989
2975
2976bb989:
2977  br label %bb990
2978
2979bb990:
2980  br label %bb991
2981
2982bb991:
2983  br label %bb992
2984
2985bb992:
2986  br label %bb993
2987
2988bb993:
2989  br label %bb994
2990
2991bb994:
2992  br label %bb995
2993
2994bb995:
2995  br label %bb996
2996
2997bb996:
2998  br label %bb997
2999
3000bb997:
3001  br label %bb998
3002
3003bb998:
3004  br label %bb999
3005
3006bb999:
3007  br label %bb1000
3008
3009bb1000:
3010  ; CHECK: call{{.*}}@dfsan_union
3011  ; CHECK-NOT: phi
3012  %ab = mul i32 %a, %b
3013  ret i32 %ab
3014}
3015