[ARM] More MVE compare vector splat combines for ANDs
[llvm-complete.git] / test / Instrumentation / DataFlowSanitizer / union-large.ll
blob04082391f7de95ab9317b3e7739d4955fea0c644
1 ; RUN: opt < %s -dfsan -S | FileCheck %s
2 target 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"
3 target triple = "x86_64-unknown-linux-gnu"
5 ; Check that we use dfsan_union in large functions instead of __dfsan_union.
7 ; CHECK-LABEL: @"dfs$foo"
8 define i32 @foo(i32 %a, i32 %b) {
9 bb0:
10   br label %bb1
12 bb1:
13   br label %bb2
15 bb2:
16   br label %bb3
18 bb3:
19   br label %bb4
21 bb4:
22   br label %bb5
24 bb5:
25   br label %bb6
27 bb6:
28   br label %bb7
30 bb7:
31   br label %bb8
33 bb8:
34   br label %bb9
36 bb9:
37   br label %bb10
39 bb10:
40   br label %bb11
42 bb11:
43   br label %bb12
45 bb12:
46   br label %bb13
48 bb13:
49   br label %bb14
51 bb14:
52   br label %bb15
54 bb15:
55   br label %bb16
57 bb16:
58   br label %bb17
60 bb17:
61   br label %bb18
63 bb18:
64   br label %bb19
66 bb19:
67   br label %bb20
69 bb20:
70   br label %bb21
72 bb21:
73   br label %bb22
75 bb22:
76   br label %bb23
78 bb23:
79   br label %bb24
81 bb24:
82   br label %bb25
84 bb25:
85   br label %bb26
87 bb26:
88   br label %bb27
90 bb27:
91   br label %bb28
93 bb28:
94   br label %bb29
96 bb29:
97   br label %bb30
99 bb30:
100   br label %bb31
102 bb31:
103   br label %bb32
105 bb32:
106   br label %bb33
108 bb33:
109   br label %bb34
111 bb34:
112   br label %bb35
114 bb35:
115   br label %bb36
117 bb36:
118   br label %bb37
120 bb37:
121   br label %bb38
123 bb38:
124   br label %bb39
126 bb39:
127   br label %bb40
129 bb40:
130   br label %bb41
132 bb41:
133   br label %bb42
135 bb42:
136   br label %bb43
138 bb43:
139   br label %bb44
141 bb44:
142   br label %bb45
144 bb45:
145   br label %bb46
147 bb46:
148   br label %bb47
150 bb47:
151   br label %bb48
153 bb48:
154   br label %bb49
156 bb49:
157   br label %bb50
159 bb50:
160   br label %bb51
162 bb51:
163   br label %bb52
165 bb52:
166   br label %bb53
168 bb53:
169   br label %bb54
171 bb54:
172   br label %bb55
174 bb55:
175   br label %bb56
177 bb56:
178   br label %bb57
180 bb57:
181   br label %bb58
183 bb58:
184   br label %bb59
186 bb59:
187   br label %bb60
189 bb60:
190   br label %bb61
192 bb61:
193   br label %bb62
195 bb62:
196   br label %bb63
198 bb63:
199   br label %bb64
201 bb64:
202   br label %bb65
204 bb65:
205   br label %bb66
207 bb66:
208   br label %bb67
210 bb67:
211   br label %bb68
213 bb68:
214   br label %bb69
216 bb69:
217   br label %bb70
219 bb70:
220   br label %bb71
222 bb71:
223   br label %bb72
225 bb72:
226   br label %bb73
228 bb73:
229   br label %bb74
231 bb74:
232   br label %bb75
234 bb75:
235   br label %bb76
237 bb76:
238   br label %bb77
240 bb77:
241   br label %bb78
243 bb78:
244   br label %bb79
246 bb79:
247   br label %bb80
249 bb80:
250   br label %bb81
252 bb81:
253   br label %bb82
255 bb82:
256   br label %bb83
258 bb83:
259   br label %bb84
261 bb84:
262   br label %bb85
264 bb85:
265   br label %bb86
267 bb86:
268   br label %bb87
270 bb87:
271   br label %bb88
273 bb88:
274   br label %bb89
276 bb89:
277   br label %bb90
279 bb90:
280   br label %bb91
282 bb91:
283   br label %bb92
285 bb92:
286   br label %bb93
288 bb93:
289   br label %bb94
291 bb94:
292   br label %bb95
294 bb95:
295   br label %bb96
297 bb96:
298   br label %bb97
300 bb97:
301   br label %bb98
303 bb98:
304   br label %bb99
306 bb99:
307   br label %bb100
309 bb100:
310   br label %bb101
312 bb101:
313   br label %bb102
315 bb102:
316   br label %bb103
318 bb103:
319   br label %bb104
321 bb104:
322   br label %bb105
324 bb105:
325   br label %bb106
327 bb106:
328   br label %bb107
330 bb107:
331   br label %bb108
333 bb108:
334   br label %bb109
336 bb109:
337   br label %bb110
339 bb110:
340   br label %bb111
342 bb111:
343   br label %bb112
345 bb112:
346   br label %bb113
348 bb113:
349   br label %bb114
351 bb114:
352   br label %bb115
354 bb115:
355   br label %bb116
357 bb116:
358   br label %bb117
360 bb117:
361   br label %bb118
363 bb118:
364   br label %bb119
366 bb119:
367   br label %bb120
369 bb120:
370   br label %bb121
372 bb121:
373   br label %bb122
375 bb122:
376   br label %bb123
378 bb123:
379   br label %bb124
381 bb124:
382   br label %bb125
384 bb125:
385   br label %bb126
387 bb126:
388   br label %bb127
390 bb127:
391   br label %bb128
393 bb128:
394   br label %bb129
396 bb129:
397   br label %bb130
399 bb130:
400   br label %bb131
402 bb131:
403   br label %bb132
405 bb132:
406   br label %bb133
408 bb133:
409   br label %bb134
411 bb134:
412   br label %bb135
414 bb135:
415   br label %bb136
417 bb136:
418   br label %bb137
420 bb137:
421   br label %bb138
423 bb138:
424   br label %bb139
426 bb139:
427   br label %bb140
429 bb140:
430   br label %bb141
432 bb141:
433   br label %bb142
435 bb142:
436   br label %bb143
438 bb143:
439   br label %bb144
441 bb144:
442   br label %bb145
444 bb145:
445   br label %bb146
447 bb146:
448   br label %bb147
450 bb147:
451   br label %bb148
453 bb148:
454   br label %bb149
456 bb149:
457   br label %bb150
459 bb150:
460   br label %bb151
462 bb151:
463   br label %bb152
465 bb152:
466   br label %bb153
468 bb153:
469   br label %bb154
471 bb154:
472   br label %bb155
474 bb155:
475   br label %bb156
477 bb156:
478   br label %bb157
480 bb157:
481   br label %bb158
483 bb158:
484   br label %bb159
486 bb159:
487   br label %bb160
489 bb160:
490   br label %bb161
492 bb161:
493   br label %bb162
495 bb162:
496   br label %bb163
498 bb163:
499   br label %bb164
501 bb164:
502   br label %bb165
504 bb165:
505   br label %bb166
507 bb166:
508   br label %bb167
510 bb167:
511   br label %bb168
513 bb168:
514   br label %bb169
516 bb169:
517   br label %bb170
519 bb170:
520   br label %bb171
522 bb171:
523   br label %bb172
525 bb172:
526   br label %bb173
528 bb173:
529   br label %bb174
531 bb174:
532   br label %bb175
534 bb175:
535   br label %bb176
537 bb176:
538   br label %bb177
540 bb177:
541   br label %bb178
543 bb178:
544   br label %bb179
546 bb179:
547   br label %bb180
549 bb180:
550   br label %bb181
552 bb181:
553   br label %bb182
555 bb182:
556   br label %bb183
558 bb183:
559   br label %bb184
561 bb184:
562   br label %bb185
564 bb185:
565   br label %bb186
567 bb186:
568   br label %bb187
570 bb187:
571   br label %bb188
573 bb188:
574   br label %bb189
576 bb189:
577   br label %bb190
579 bb190:
580   br label %bb191
582 bb191:
583   br label %bb192
585 bb192:
586   br label %bb193
588 bb193:
589   br label %bb194
591 bb194:
592   br label %bb195
594 bb195:
595   br label %bb196
597 bb196:
598   br label %bb197
600 bb197:
601   br label %bb198
603 bb198:
604   br label %bb199
606 bb199:
607   br label %bb200
609 bb200:
610   br label %bb201
612 bb201:
613   br label %bb202
615 bb202:
616   br label %bb203
618 bb203:
619   br label %bb204
621 bb204:
622   br label %bb205
624 bb205:
625   br label %bb206
627 bb206:
628   br label %bb207
630 bb207:
631   br label %bb208
633 bb208:
634   br label %bb209
636 bb209:
637   br label %bb210
639 bb210:
640   br label %bb211
642 bb211:
643   br label %bb212
645 bb212:
646   br label %bb213
648 bb213:
649   br label %bb214
651 bb214:
652   br label %bb215
654 bb215:
655   br label %bb216
657 bb216:
658   br label %bb217
660 bb217:
661   br label %bb218
663 bb218:
664   br label %bb219
666 bb219:
667   br label %bb220
669 bb220:
670   br label %bb221
672 bb221:
673   br label %bb222
675 bb222:
676   br label %bb223
678 bb223:
679   br label %bb224
681 bb224:
682   br label %bb225
684 bb225:
685   br label %bb226
687 bb226:
688   br label %bb227
690 bb227:
691   br label %bb228
693 bb228:
694   br label %bb229
696 bb229:
697   br label %bb230
699 bb230:
700   br label %bb231
702 bb231:
703   br label %bb232
705 bb232:
706   br label %bb233
708 bb233:
709   br label %bb234
711 bb234:
712   br label %bb235
714 bb235:
715   br label %bb236
717 bb236:
718   br label %bb237
720 bb237:
721   br label %bb238
723 bb238:
724   br label %bb239
726 bb239:
727   br label %bb240
729 bb240:
730   br label %bb241
732 bb241:
733   br label %bb242
735 bb242:
736   br label %bb243
738 bb243:
739   br label %bb244
741 bb244:
742   br label %bb245
744 bb245:
745   br label %bb246
747 bb246:
748   br label %bb247
750 bb247:
751   br label %bb248
753 bb248:
754   br label %bb249
756 bb249:
757   br label %bb250
759 bb250:
760   br label %bb251
762 bb251:
763   br label %bb252
765 bb252:
766   br label %bb253
768 bb253:
769   br label %bb254
771 bb254:
772   br label %bb255
774 bb255:
775   br label %bb256
777 bb256:
778   br label %bb257
780 bb257:
781   br label %bb258
783 bb258:
784   br label %bb259
786 bb259:
787   br label %bb260
789 bb260:
790   br label %bb261
792 bb261:
793   br label %bb262
795 bb262:
796   br label %bb263
798 bb263:
799   br label %bb264
801 bb264:
802   br label %bb265
804 bb265:
805   br label %bb266
807 bb266:
808   br label %bb267
810 bb267:
811   br label %bb268
813 bb268:
814   br label %bb269
816 bb269:
817   br label %bb270
819 bb270:
820   br label %bb271
822 bb271:
823   br label %bb272
825 bb272:
826   br label %bb273
828 bb273:
829   br label %bb274
831 bb274:
832   br label %bb275
834 bb275:
835   br label %bb276
837 bb276:
838   br label %bb277
840 bb277:
841   br label %bb278
843 bb278:
844   br label %bb279
846 bb279:
847   br label %bb280
849 bb280:
850   br label %bb281
852 bb281:
853   br label %bb282
855 bb282:
856   br label %bb283
858 bb283:
859   br label %bb284
861 bb284:
862   br label %bb285
864 bb285:
865   br label %bb286
867 bb286:
868   br label %bb287
870 bb287:
871   br label %bb288
873 bb288:
874   br label %bb289
876 bb289:
877   br label %bb290
879 bb290:
880   br label %bb291
882 bb291:
883   br label %bb292
885 bb292:
886   br label %bb293
888 bb293:
889   br label %bb294
891 bb294:
892   br label %bb295
894 bb295:
895   br label %bb296
897 bb296:
898   br label %bb297
900 bb297:
901   br label %bb298
903 bb298:
904   br label %bb299
906 bb299:
907   br label %bb300
909 bb300:
910   br label %bb301
912 bb301:
913   br label %bb302
915 bb302:
916   br label %bb303
918 bb303:
919   br label %bb304
921 bb304:
922   br label %bb305
924 bb305:
925   br label %bb306
927 bb306:
928   br label %bb307
930 bb307:
931   br label %bb308
933 bb308:
934   br label %bb309
936 bb309:
937   br label %bb310
939 bb310:
940   br label %bb311
942 bb311:
943   br label %bb312
945 bb312:
946   br label %bb313
948 bb313:
949   br label %bb314
951 bb314:
952   br label %bb315
954 bb315:
955   br label %bb316
957 bb316:
958   br label %bb317
960 bb317:
961   br label %bb318
963 bb318:
964   br label %bb319
966 bb319:
967   br label %bb320
969 bb320:
970   br label %bb321
972 bb321:
973   br label %bb322
975 bb322:
976   br label %bb323
978 bb323:
979   br label %bb324
981 bb324:
982   br label %bb325
984 bb325:
985   br label %bb326
987 bb326:
988   br label %bb327
990 bb327:
991   br label %bb328
993 bb328:
994   br label %bb329
996 bb329:
997   br label %bb330
999 bb330:
1000   br label %bb331
1002 bb331:
1003   br label %bb332
1005 bb332:
1006   br label %bb333
1008 bb333:
1009   br label %bb334
1011 bb334:
1012   br label %bb335
1014 bb335:
1015   br label %bb336
1017 bb336:
1018   br label %bb337
1020 bb337:
1021   br label %bb338
1023 bb338:
1024   br label %bb339
1026 bb339:
1027   br label %bb340
1029 bb340:
1030   br label %bb341
1032 bb341:
1033   br label %bb342
1035 bb342:
1036   br label %bb343
1038 bb343:
1039   br label %bb344
1041 bb344:
1042   br label %bb345
1044 bb345:
1045   br label %bb346
1047 bb346:
1048   br label %bb347
1050 bb347:
1051   br label %bb348
1053 bb348:
1054   br label %bb349
1056 bb349:
1057   br label %bb350
1059 bb350:
1060   br label %bb351
1062 bb351:
1063   br label %bb352
1065 bb352:
1066   br label %bb353
1068 bb353:
1069   br label %bb354
1071 bb354:
1072   br label %bb355
1074 bb355:
1075   br label %bb356
1077 bb356:
1078   br label %bb357
1080 bb357:
1081   br label %bb358
1083 bb358:
1084   br label %bb359
1086 bb359:
1087   br label %bb360
1089 bb360:
1090   br label %bb361
1092 bb361:
1093   br label %bb362
1095 bb362:
1096   br label %bb363
1098 bb363:
1099   br label %bb364
1101 bb364:
1102   br label %bb365
1104 bb365:
1105   br label %bb366
1107 bb366:
1108   br label %bb367
1110 bb367:
1111   br label %bb368
1113 bb368:
1114   br label %bb369
1116 bb369:
1117   br label %bb370
1119 bb370:
1120   br label %bb371
1122 bb371:
1123   br label %bb372
1125 bb372:
1126   br label %bb373
1128 bb373:
1129   br label %bb374
1131 bb374:
1132   br label %bb375
1134 bb375:
1135   br label %bb376
1137 bb376:
1138   br label %bb377
1140 bb377:
1141   br label %bb378
1143 bb378:
1144   br label %bb379
1146 bb379:
1147   br label %bb380
1149 bb380:
1150   br label %bb381
1152 bb381:
1153   br label %bb382
1155 bb382:
1156   br label %bb383
1158 bb383:
1159   br label %bb384
1161 bb384:
1162   br label %bb385
1164 bb385:
1165   br label %bb386
1167 bb386:
1168   br label %bb387
1170 bb387:
1171   br label %bb388
1173 bb388:
1174   br label %bb389
1176 bb389:
1177   br label %bb390
1179 bb390:
1180   br label %bb391
1182 bb391:
1183   br label %bb392
1185 bb392:
1186   br label %bb393
1188 bb393:
1189   br label %bb394
1191 bb394:
1192   br label %bb395
1194 bb395:
1195   br label %bb396
1197 bb396:
1198   br label %bb397
1200 bb397:
1201   br label %bb398
1203 bb398:
1204   br label %bb399
1206 bb399:
1207   br label %bb400
1209 bb400:
1210   br label %bb401
1212 bb401:
1213   br label %bb402
1215 bb402:
1216   br label %bb403
1218 bb403:
1219   br label %bb404
1221 bb404:
1222   br label %bb405
1224 bb405:
1225   br label %bb406
1227 bb406:
1228   br label %bb407
1230 bb407:
1231   br label %bb408
1233 bb408:
1234   br label %bb409
1236 bb409:
1237   br label %bb410
1239 bb410:
1240   br label %bb411
1242 bb411:
1243   br label %bb412
1245 bb412:
1246   br label %bb413
1248 bb413:
1249   br label %bb414
1251 bb414:
1252   br label %bb415
1254 bb415:
1255   br label %bb416
1257 bb416:
1258   br label %bb417
1260 bb417:
1261   br label %bb418
1263 bb418:
1264   br label %bb419
1266 bb419:
1267   br label %bb420
1269 bb420:
1270   br label %bb421
1272 bb421:
1273   br label %bb422
1275 bb422:
1276   br label %bb423
1278 bb423:
1279   br label %bb424
1281 bb424:
1282   br label %bb425
1284 bb425:
1285   br label %bb426
1287 bb426:
1288   br label %bb427
1290 bb427:
1291   br label %bb428
1293 bb428:
1294   br label %bb429
1296 bb429:
1297   br label %bb430
1299 bb430:
1300   br label %bb431
1302 bb431:
1303   br label %bb432
1305 bb432:
1306   br label %bb433
1308 bb433:
1309   br label %bb434
1311 bb434:
1312   br label %bb435
1314 bb435:
1315   br label %bb436
1317 bb436:
1318   br label %bb437
1320 bb437:
1321   br label %bb438
1323 bb438:
1324   br label %bb439
1326 bb439:
1327   br label %bb440
1329 bb440:
1330   br label %bb441
1332 bb441:
1333   br label %bb442
1335 bb442:
1336   br label %bb443
1338 bb443:
1339   br label %bb444
1341 bb444:
1342   br label %bb445
1344 bb445:
1345   br label %bb446
1347 bb446:
1348   br label %bb447
1350 bb447:
1351   br label %bb448
1353 bb448:
1354   br label %bb449
1356 bb449:
1357   br label %bb450
1359 bb450:
1360   br label %bb451
1362 bb451:
1363   br label %bb452
1365 bb452:
1366   br label %bb453
1368 bb453:
1369   br label %bb454
1371 bb454:
1372   br label %bb455
1374 bb455:
1375   br label %bb456
1377 bb456:
1378   br label %bb457
1380 bb457:
1381   br label %bb458
1383 bb458:
1384   br label %bb459
1386 bb459:
1387   br label %bb460
1389 bb460:
1390   br label %bb461
1392 bb461:
1393   br label %bb462
1395 bb462:
1396   br label %bb463
1398 bb463:
1399   br label %bb464
1401 bb464:
1402   br label %bb465
1404 bb465:
1405   br label %bb466
1407 bb466:
1408   br label %bb467
1410 bb467:
1411   br label %bb468
1413 bb468:
1414   br label %bb469
1416 bb469:
1417   br label %bb470
1419 bb470:
1420   br label %bb471
1422 bb471:
1423   br label %bb472
1425 bb472:
1426   br label %bb473
1428 bb473:
1429   br label %bb474
1431 bb474:
1432   br label %bb475
1434 bb475:
1435   br label %bb476
1437 bb476:
1438   br label %bb477
1440 bb477:
1441   br label %bb478
1443 bb478:
1444   br label %bb479
1446 bb479:
1447   br label %bb480
1449 bb480:
1450   br label %bb481
1452 bb481:
1453   br label %bb482
1455 bb482:
1456   br label %bb483
1458 bb483:
1459   br label %bb484
1461 bb484:
1462   br label %bb485
1464 bb485:
1465   br label %bb486
1467 bb486:
1468   br label %bb487
1470 bb487:
1471   br label %bb488
1473 bb488:
1474   br label %bb489
1476 bb489:
1477   br label %bb490
1479 bb490:
1480   br label %bb491
1482 bb491:
1483   br label %bb492
1485 bb492:
1486   br label %bb493
1488 bb493:
1489   br label %bb494
1491 bb494:
1492   br label %bb495
1494 bb495:
1495   br label %bb496
1497 bb496:
1498   br label %bb497
1500 bb497:
1501   br label %bb498
1503 bb498:
1504   br label %bb499
1506 bb499:
1507   br label %bb500
1509 bb500:
1510   br label %bb501
1512 bb501:
1513   br label %bb502
1515 bb502:
1516   br label %bb503
1518 bb503:
1519   br label %bb504
1521 bb504:
1522   br label %bb505
1524 bb505:
1525   br label %bb506
1527 bb506:
1528   br label %bb507
1530 bb507:
1531   br label %bb508
1533 bb508:
1534   br label %bb509
1536 bb509:
1537   br label %bb510
1539 bb510:
1540   br label %bb511
1542 bb511:
1543   br label %bb512
1545 bb512:
1546   br label %bb513
1548 bb513:
1549   br label %bb514
1551 bb514:
1552   br label %bb515
1554 bb515:
1555   br label %bb516
1557 bb516:
1558   br label %bb517
1560 bb517:
1561   br label %bb518
1563 bb518:
1564   br label %bb519
1566 bb519:
1567   br label %bb520
1569 bb520:
1570   br label %bb521
1572 bb521:
1573   br label %bb522
1575 bb522:
1576   br label %bb523
1578 bb523:
1579   br label %bb524
1581 bb524:
1582   br label %bb525
1584 bb525:
1585   br label %bb526
1587 bb526:
1588   br label %bb527
1590 bb527:
1591   br label %bb528
1593 bb528:
1594   br label %bb529
1596 bb529:
1597   br label %bb530
1599 bb530:
1600   br label %bb531
1602 bb531:
1603   br label %bb532
1605 bb532:
1606   br label %bb533
1608 bb533:
1609   br label %bb534
1611 bb534:
1612   br label %bb535
1614 bb535:
1615   br label %bb536
1617 bb536:
1618   br label %bb537
1620 bb537:
1621   br label %bb538
1623 bb538:
1624   br label %bb539
1626 bb539:
1627   br label %bb540
1629 bb540:
1630   br label %bb541
1632 bb541:
1633   br label %bb542
1635 bb542:
1636   br label %bb543
1638 bb543:
1639   br label %bb544
1641 bb544:
1642   br label %bb545
1644 bb545:
1645   br label %bb546
1647 bb546:
1648   br label %bb547
1650 bb547:
1651   br label %bb548
1653 bb548:
1654   br label %bb549
1656 bb549:
1657   br label %bb550
1659 bb550:
1660   br label %bb551
1662 bb551:
1663   br label %bb552
1665 bb552:
1666   br label %bb553
1668 bb553:
1669   br label %bb554
1671 bb554:
1672   br label %bb555
1674 bb555:
1675   br label %bb556
1677 bb556:
1678   br label %bb557
1680 bb557:
1681   br label %bb558
1683 bb558:
1684   br label %bb559
1686 bb559:
1687   br label %bb560
1689 bb560:
1690   br label %bb561
1692 bb561:
1693   br label %bb562
1695 bb562:
1696   br label %bb563
1698 bb563:
1699   br label %bb564
1701 bb564:
1702   br label %bb565
1704 bb565:
1705   br label %bb566
1707 bb566:
1708   br label %bb567
1710 bb567:
1711   br label %bb568
1713 bb568:
1714   br label %bb569
1716 bb569:
1717   br label %bb570
1719 bb570:
1720   br label %bb571
1722 bb571:
1723   br label %bb572
1725 bb572:
1726   br label %bb573
1728 bb573:
1729   br label %bb574
1731 bb574:
1732   br label %bb575
1734 bb575:
1735   br label %bb576
1737 bb576:
1738   br label %bb577
1740 bb577:
1741   br label %bb578
1743 bb578:
1744   br label %bb579
1746 bb579:
1747   br label %bb580
1749 bb580:
1750   br label %bb581
1752 bb581:
1753   br label %bb582
1755 bb582:
1756   br label %bb583
1758 bb583:
1759   br label %bb584
1761 bb584:
1762   br label %bb585
1764 bb585:
1765   br label %bb586
1767 bb586:
1768   br label %bb587
1770 bb587:
1771   br label %bb588
1773 bb588:
1774   br label %bb589
1776 bb589:
1777   br label %bb590
1779 bb590:
1780   br label %bb591
1782 bb591:
1783   br label %bb592
1785 bb592:
1786   br label %bb593
1788 bb593:
1789   br label %bb594
1791 bb594:
1792   br label %bb595
1794 bb595:
1795   br label %bb596
1797 bb596:
1798   br label %bb597
1800 bb597:
1801   br label %bb598
1803 bb598:
1804   br label %bb599
1806 bb599:
1807   br label %bb600
1809 bb600:
1810   br label %bb601
1812 bb601:
1813   br label %bb602
1815 bb602:
1816   br label %bb603
1818 bb603:
1819   br label %bb604
1821 bb604:
1822   br label %bb605
1824 bb605:
1825   br label %bb606
1827 bb606:
1828   br label %bb607
1830 bb607:
1831   br label %bb608
1833 bb608:
1834   br label %bb609
1836 bb609:
1837   br label %bb610
1839 bb610:
1840   br label %bb611
1842 bb611:
1843   br label %bb612
1845 bb612:
1846   br label %bb613
1848 bb613:
1849   br label %bb614
1851 bb614:
1852   br label %bb615
1854 bb615:
1855   br label %bb616
1857 bb616:
1858   br label %bb617
1860 bb617:
1861   br label %bb618
1863 bb618:
1864   br label %bb619
1866 bb619:
1867   br label %bb620
1869 bb620:
1870   br label %bb621
1872 bb621:
1873   br label %bb622
1875 bb622:
1876   br label %bb623
1878 bb623:
1879   br label %bb624
1881 bb624:
1882   br label %bb625
1884 bb625:
1885   br label %bb626
1887 bb626:
1888   br label %bb627
1890 bb627:
1891   br label %bb628
1893 bb628:
1894   br label %bb629
1896 bb629:
1897   br label %bb630
1899 bb630:
1900   br label %bb631
1902 bb631:
1903   br label %bb632
1905 bb632:
1906   br label %bb633
1908 bb633:
1909   br label %bb634
1911 bb634:
1912   br label %bb635
1914 bb635:
1915   br label %bb636
1917 bb636:
1918   br label %bb637
1920 bb637:
1921   br label %bb638
1923 bb638:
1924   br label %bb639
1926 bb639:
1927   br label %bb640
1929 bb640:
1930   br label %bb641
1932 bb641:
1933   br label %bb642
1935 bb642:
1936   br label %bb643
1938 bb643:
1939   br label %bb644
1941 bb644:
1942   br label %bb645
1944 bb645:
1945   br label %bb646
1947 bb646:
1948   br label %bb647
1950 bb647:
1951   br label %bb648
1953 bb648:
1954   br label %bb649
1956 bb649:
1957   br label %bb650
1959 bb650:
1960   br label %bb651
1962 bb651:
1963   br label %bb652
1965 bb652:
1966   br label %bb653
1968 bb653:
1969   br label %bb654
1971 bb654:
1972   br label %bb655
1974 bb655:
1975   br label %bb656
1977 bb656:
1978   br label %bb657
1980 bb657:
1981   br label %bb658
1983 bb658:
1984   br label %bb659
1986 bb659:
1987   br label %bb660
1989 bb660:
1990   br label %bb661
1992 bb661:
1993   br label %bb662
1995 bb662:
1996   br label %bb663
1998 bb663:
1999   br label %bb664
2001 bb664:
2002   br label %bb665
2004 bb665:
2005   br label %bb666
2007 bb666:
2008   br label %bb667
2010 bb667:
2011   br label %bb668
2013 bb668:
2014   br label %bb669
2016 bb669:
2017   br label %bb670
2019 bb670:
2020   br label %bb671
2022 bb671:
2023   br label %bb672
2025 bb672:
2026   br label %bb673
2028 bb673:
2029   br label %bb674
2031 bb674:
2032   br label %bb675
2034 bb675:
2035   br label %bb676
2037 bb676:
2038   br label %bb677
2040 bb677:
2041   br label %bb678
2043 bb678:
2044   br label %bb679
2046 bb679:
2047   br label %bb680
2049 bb680:
2050   br label %bb681
2052 bb681:
2053   br label %bb682
2055 bb682:
2056   br label %bb683
2058 bb683:
2059   br label %bb684
2061 bb684:
2062   br label %bb685
2064 bb685:
2065   br label %bb686
2067 bb686:
2068   br label %bb687
2070 bb687:
2071   br label %bb688
2073 bb688:
2074   br label %bb689
2076 bb689:
2077   br label %bb690
2079 bb690:
2080   br label %bb691
2082 bb691:
2083   br label %bb692
2085 bb692:
2086   br label %bb693
2088 bb693:
2089   br label %bb694
2091 bb694:
2092   br label %bb695
2094 bb695:
2095   br label %bb696
2097 bb696:
2098   br label %bb697
2100 bb697:
2101   br label %bb698
2103 bb698:
2104   br label %bb699
2106 bb699:
2107   br label %bb700
2109 bb700:
2110   br label %bb701
2112 bb701:
2113   br label %bb702
2115 bb702:
2116   br label %bb703
2118 bb703:
2119   br label %bb704
2121 bb704:
2122   br label %bb705
2124 bb705:
2125   br label %bb706
2127 bb706:
2128   br label %bb707
2130 bb707:
2131   br label %bb708
2133 bb708:
2134   br label %bb709
2136 bb709:
2137   br label %bb710
2139 bb710:
2140   br label %bb711
2142 bb711:
2143   br label %bb712
2145 bb712:
2146   br label %bb713
2148 bb713:
2149   br label %bb714
2151 bb714:
2152   br label %bb715
2154 bb715:
2155   br label %bb716
2157 bb716:
2158   br label %bb717
2160 bb717:
2161   br label %bb718
2163 bb718:
2164   br label %bb719
2166 bb719:
2167   br label %bb720
2169 bb720:
2170   br label %bb721
2172 bb721:
2173   br label %bb722
2175 bb722:
2176   br label %bb723
2178 bb723:
2179   br label %bb724
2181 bb724:
2182   br label %bb725
2184 bb725:
2185   br label %bb726
2187 bb726:
2188   br label %bb727
2190 bb727:
2191   br label %bb728
2193 bb728:
2194   br label %bb729
2196 bb729:
2197   br label %bb730
2199 bb730:
2200   br label %bb731
2202 bb731:
2203   br label %bb732
2205 bb732:
2206   br label %bb733
2208 bb733:
2209   br label %bb734
2211 bb734:
2212   br label %bb735
2214 bb735:
2215   br label %bb736
2217 bb736:
2218   br label %bb737
2220 bb737:
2221   br label %bb738
2223 bb738:
2224   br label %bb739
2226 bb739:
2227   br label %bb740
2229 bb740:
2230   br label %bb741
2232 bb741:
2233   br label %bb742
2235 bb742:
2236   br label %bb743
2238 bb743:
2239   br label %bb744
2241 bb744:
2242   br label %bb745
2244 bb745:
2245   br label %bb746
2247 bb746:
2248   br label %bb747
2250 bb747:
2251   br label %bb748
2253 bb748:
2254   br label %bb749
2256 bb749:
2257   br label %bb750
2259 bb750:
2260   br label %bb751
2262 bb751:
2263   br label %bb752
2265 bb752:
2266   br label %bb753
2268 bb753:
2269   br label %bb754
2271 bb754:
2272   br label %bb755
2274 bb755:
2275   br label %bb756
2277 bb756:
2278   br label %bb757
2280 bb757:
2281   br label %bb758
2283 bb758:
2284   br label %bb759
2286 bb759:
2287   br label %bb760
2289 bb760:
2290   br label %bb761
2292 bb761:
2293   br label %bb762
2295 bb762:
2296   br label %bb763
2298 bb763:
2299   br label %bb764
2301 bb764:
2302   br label %bb765
2304 bb765:
2305   br label %bb766
2307 bb766:
2308   br label %bb767
2310 bb767:
2311   br label %bb768
2313 bb768:
2314   br label %bb769
2316 bb769:
2317   br label %bb770
2319 bb770:
2320   br label %bb771
2322 bb771:
2323   br label %bb772
2325 bb772:
2326   br label %bb773
2328 bb773:
2329   br label %bb774
2331 bb774:
2332   br label %bb775
2334 bb775:
2335   br label %bb776
2337 bb776:
2338   br label %bb777
2340 bb777:
2341   br label %bb778
2343 bb778:
2344   br label %bb779
2346 bb779:
2347   br label %bb780
2349 bb780:
2350   br label %bb781
2352 bb781:
2353   br label %bb782
2355 bb782:
2356   br label %bb783
2358 bb783:
2359   br label %bb784
2361 bb784:
2362   br label %bb785
2364 bb785:
2365   br label %bb786
2367 bb786:
2368   br label %bb787
2370 bb787:
2371   br label %bb788
2373 bb788:
2374   br label %bb789
2376 bb789:
2377   br label %bb790
2379 bb790:
2380   br label %bb791
2382 bb791:
2383   br label %bb792
2385 bb792:
2386   br label %bb793
2388 bb793:
2389   br label %bb794
2391 bb794:
2392   br label %bb795
2394 bb795:
2395   br label %bb796
2397 bb796:
2398   br label %bb797
2400 bb797:
2401   br label %bb798
2403 bb798:
2404   br label %bb799
2406 bb799:
2407   br label %bb800
2409 bb800:
2410   br label %bb801
2412 bb801:
2413   br label %bb802
2415 bb802:
2416   br label %bb803
2418 bb803:
2419   br label %bb804
2421 bb804:
2422   br label %bb805
2424 bb805:
2425   br label %bb806
2427 bb806:
2428   br label %bb807
2430 bb807:
2431   br label %bb808
2433 bb808:
2434   br label %bb809
2436 bb809:
2437   br label %bb810
2439 bb810:
2440   br label %bb811
2442 bb811:
2443   br label %bb812
2445 bb812:
2446   br label %bb813
2448 bb813:
2449   br label %bb814
2451 bb814:
2452   br label %bb815
2454 bb815:
2455   br label %bb816
2457 bb816:
2458   br label %bb817
2460 bb817:
2461   br label %bb818
2463 bb818:
2464   br label %bb819
2466 bb819:
2467   br label %bb820
2469 bb820:
2470   br label %bb821
2472 bb821:
2473   br label %bb822
2475 bb822:
2476   br label %bb823
2478 bb823:
2479   br label %bb824
2481 bb824:
2482   br label %bb825
2484 bb825:
2485   br label %bb826
2487 bb826:
2488   br label %bb827
2490 bb827:
2491   br label %bb828
2493 bb828:
2494   br label %bb829
2496 bb829:
2497   br label %bb830
2499 bb830:
2500   br label %bb831
2502 bb831:
2503   br label %bb832
2505 bb832:
2506   br label %bb833
2508 bb833:
2509   br label %bb834
2511 bb834:
2512   br label %bb835
2514 bb835:
2515   br label %bb836
2517 bb836:
2518   br label %bb837
2520 bb837:
2521   br label %bb838
2523 bb838:
2524   br label %bb839
2526 bb839:
2527   br label %bb840
2529 bb840:
2530   br label %bb841
2532 bb841:
2533   br label %bb842
2535 bb842:
2536   br label %bb843
2538 bb843:
2539   br label %bb844
2541 bb844:
2542   br label %bb845
2544 bb845:
2545   br label %bb846
2547 bb846:
2548   br label %bb847
2550 bb847:
2551   br label %bb848
2553 bb848:
2554   br label %bb849
2556 bb849:
2557   br label %bb850
2559 bb850:
2560   br label %bb851
2562 bb851:
2563   br label %bb852
2565 bb852:
2566   br label %bb853
2568 bb853:
2569   br label %bb854
2571 bb854:
2572   br label %bb855
2574 bb855:
2575   br label %bb856
2577 bb856:
2578   br label %bb857
2580 bb857:
2581   br label %bb858
2583 bb858:
2584   br label %bb859
2586 bb859:
2587   br label %bb860
2589 bb860:
2590   br label %bb861
2592 bb861:
2593   br label %bb862
2595 bb862:
2596   br label %bb863
2598 bb863:
2599   br label %bb864
2601 bb864:
2602   br label %bb865
2604 bb865:
2605   br label %bb866
2607 bb866:
2608   br label %bb867
2610 bb867:
2611   br label %bb868
2613 bb868:
2614   br label %bb869
2616 bb869:
2617   br label %bb870
2619 bb870:
2620   br label %bb871
2622 bb871:
2623   br label %bb872
2625 bb872:
2626   br label %bb873
2628 bb873:
2629   br label %bb874
2631 bb874:
2632   br label %bb875
2634 bb875:
2635   br label %bb876
2637 bb876:
2638   br label %bb877
2640 bb877:
2641   br label %bb878
2643 bb878:
2644   br label %bb879
2646 bb879:
2647   br label %bb880
2649 bb880:
2650   br label %bb881
2652 bb881:
2653   br label %bb882
2655 bb882:
2656   br label %bb883
2658 bb883:
2659   br label %bb884
2661 bb884:
2662   br label %bb885
2664 bb885:
2665   br label %bb886
2667 bb886:
2668   br label %bb887
2670 bb887:
2671   br label %bb888
2673 bb888:
2674   br label %bb889
2676 bb889:
2677   br label %bb890
2679 bb890:
2680   br label %bb891
2682 bb891:
2683   br label %bb892
2685 bb892:
2686   br label %bb893
2688 bb893:
2689   br label %bb894
2691 bb894:
2692   br label %bb895
2694 bb895:
2695   br label %bb896
2697 bb896:
2698   br label %bb897
2700 bb897:
2701   br label %bb898
2703 bb898:
2704   br label %bb899
2706 bb899:
2707   br label %bb900
2709 bb900:
2710   br label %bb901
2712 bb901:
2713   br label %bb902
2715 bb902:
2716   br label %bb903
2718 bb903:
2719   br label %bb904
2721 bb904:
2722   br label %bb905
2724 bb905:
2725   br label %bb906
2727 bb906:
2728   br label %bb907
2730 bb907:
2731   br label %bb908
2733 bb908:
2734   br label %bb909
2736 bb909:
2737   br label %bb910
2739 bb910:
2740   br label %bb911
2742 bb911:
2743   br label %bb912
2745 bb912:
2746   br label %bb913
2748 bb913:
2749   br label %bb914
2751 bb914:
2752   br label %bb915
2754 bb915:
2755   br label %bb916
2757 bb916:
2758   br label %bb917
2760 bb917:
2761   br label %bb918
2763 bb918:
2764   br label %bb919
2766 bb919:
2767   br label %bb920
2769 bb920:
2770   br label %bb921
2772 bb921:
2773   br label %bb922
2775 bb922:
2776   br label %bb923
2778 bb923:
2779   br label %bb924
2781 bb924:
2782   br label %bb925
2784 bb925:
2785   br label %bb926
2787 bb926:
2788   br label %bb927
2790 bb927:
2791   br label %bb928
2793 bb928:
2794   br label %bb929
2796 bb929:
2797   br label %bb930
2799 bb930:
2800   br label %bb931
2802 bb931:
2803   br label %bb932
2805 bb932:
2806   br label %bb933
2808 bb933:
2809   br label %bb934
2811 bb934:
2812   br label %bb935
2814 bb935:
2815   br label %bb936
2817 bb936:
2818   br label %bb937
2820 bb937:
2821   br label %bb938
2823 bb938:
2824   br label %bb939
2826 bb939:
2827   br label %bb940
2829 bb940:
2830   br label %bb941
2832 bb941:
2833   br label %bb942
2835 bb942:
2836   br label %bb943
2838 bb943:
2839   br label %bb944
2841 bb944:
2842   br label %bb945
2844 bb945:
2845   br label %bb946
2847 bb946:
2848   br label %bb947
2850 bb947:
2851   br label %bb948
2853 bb948:
2854   br label %bb949
2856 bb949:
2857   br label %bb950
2859 bb950:
2860   br label %bb951
2862 bb951:
2863   br label %bb952
2865 bb952:
2866   br label %bb953
2868 bb953:
2869   br label %bb954
2871 bb954:
2872   br label %bb955
2874 bb955:
2875   br label %bb956
2877 bb956:
2878   br label %bb957
2880 bb957:
2881   br label %bb958
2883 bb958:
2884   br label %bb959
2886 bb959:
2887   br label %bb960
2889 bb960:
2890   br label %bb961
2892 bb961:
2893   br label %bb962
2895 bb962:
2896   br label %bb963
2898 bb963:
2899   br label %bb964
2901 bb964:
2902   br label %bb965
2904 bb965:
2905   br label %bb966
2907 bb966:
2908   br label %bb967
2910 bb967:
2911   br label %bb968
2913 bb968:
2914   br label %bb969
2916 bb969:
2917   br label %bb970
2919 bb970:
2920   br label %bb971
2922 bb971:
2923   br label %bb972
2925 bb972:
2926   br label %bb973
2928 bb973:
2929   br label %bb974
2931 bb974:
2932   br label %bb975
2934 bb975:
2935   br label %bb976
2937 bb976:
2938   br label %bb977
2940 bb977:
2941   br label %bb978
2943 bb978:
2944   br label %bb979
2946 bb979:
2947   br label %bb980
2949 bb980:
2950   br label %bb981
2952 bb981:
2953   br label %bb982
2955 bb982:
2956   br label %bb983
2958 bb983:
2959   br label %bb984
2961 bb984:
2962   br label %bb985
2964 bb985:
2965   br label %bb986
2967 bb986:
2968   br label %bb987
2970 bb987:
2971   br label %bb988
2973 bb988:
2974   br label %bb989
2976 bb989:
2977   br label %bb990
2979 bb990:
2980   br label %bb991
2982 bb991:
2983   br label %bb992
2985 bb992:
2986   br label %bb993
2988 bb993:
2989   br label %bb994
2991 bb994:
2992   br label %bb995
2994 bb995:
2995   br label %bb996
2997 bb996:
2998   br label %bb997
3000 bb997:
3001   br label %bb998
3003 bb998:
3004   br label %bb999
3006 bb999:
3007   br label %bb1000
3009 bb1000:
3010   ; CHECK: call{{.*}}@dfsan_union
3011   ; CHECK-NOT: phi
3012   %ab = mul i32 %a, %b
3013   ret i32 %ab