; RUN: opt < %s -dfsan -S | FileCheck %s
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"
target triple = "x86_64-unknown-linux-gnu"
; Check that we use dfsan_union in large functions instead of __dfsan_union.
; CHECK-LABEL: @"dfs$foo"
define i32 @foo(i32 %a, i32 %b) {
bb0:
br label %bb1
bb1:
br label %bb2
bb2:
br label %bb3
bb3:
br label %bb4
bb4:
br label %bb5
bb5:
br label %bb6
bb6:
br label %bb7
bb7:
br label %bb8
bb8:
br label %bb9
bb9:
br label %bb10
bb10:
br label %bb11
bb11:
br label %bb12
bb12:
br label %bb13
bb13:
br label %bb14
bb14:
br label %bb15
bb15:
br label %bb16
bb16:
br label %bb17
bb17:
br label %bb18
bb18:
br label %bb19
bb19:
br label %bb20
bb20:
br label %bb21
bb21:
br label %bb22
bb22:
br label %bb23
bb23:
br label %bb24
bb24:
br label %bb25
bb25:
br label %bb26
bb26:
br label %bb27
bb27:
br label %bb28
bb28:
br label %bb29
bb29:
br label %bb30
bb30:
br label %bb31
bb31:
br label %bb32
bb32:
br label %bb33
bb33:
br label %bb34
bb34:
br label %bb35
bb35:
br label %bb36
bb36:
br label %bb37
bb37:
br label %bb38
bb38:
br label %bb39
bb39:
br label %bb40
bb40:
br label %bb41
bb41:
br label %bb42
bb42:
br label %bb43
bb43:
br label %bb44
bb44:
br label %bb45
bb45:
br label %bb46
bb46:
br label %bb47
bb47:
br label %bb48
bb48:
br label %bb49
bb49:
br label %bb50
bb50:
br label %bb51
bb51:
br label %bb52
bb52:
br label %bb53
bb53:
br label %bb54
bb54:
br label %bb55
bb55:
br label %bb56
bb56:
br label %bb57
bb57:
br label %bb58
bb58:
br label %bb59
bb59:
br label %bb60
bb60:
br label %bb61
bb61:
br label %bb62
bb62:
br label %bb63
bb63:
br label %bb64
bb64:
br label %bb65
bb65:
br label %bb66
bb66:
br label %bb67
bb67:
br label %bb68
bb68:
br label %bb69
bb69:
br label %bb70
bb70:
br label %bb71
bb71:
br label %bb72
bb72:
br label %bb73
bb73:
br label %bb74
bb74:
br label %bb75
bb75:
br label %bb76
bb76:
br label %bb77
bb77:
br label %bb78
bb78:
br label %bb79
bb79:
br label %bb80
bb80:
br label %bb81
bb81:
br label %bb82
bb82:
br label %bb83
bb83:
br label %bb84
bb84:
br label %bb85
bb85:
br label %bb86
bb86:
br label %bb87
bb87:
br label %bb88
bb88:
br label %bb89
bb89:
br label %bb90
bb90:
br label %bb91
bb91:
br label %bb92
bb92:
br label %bb93
bb93:
br label %bb94
bb94:
br label %bb95
bb95:
br label %bb96
bb96:
br label %bb97
bb97:
br label %bb98
bb98:
br label %bb99
bb99:
br label %bb100
bb100:
br label %bb101
bb101:
br label %bb102
bb102:
br label %bb103
bb103:
br label %bb104
bb104:
br label %bb105
bb105:
br label %bb106
bb106:
br label %bb107
bb107:
br label %bb108
bb108:
br label %bb109
bb109:
br label %bb110
bb110:
br label %bb111
bb111:
br label %bb112
bb112:
br label %bb113
bb113:
br label %bb114
bb114:
br label %bb115
bb115:
br label %bb116
bb116:
br label %bb117
bb117:
br label %bb118
bb118:
br label %bb119
bb119:
br label %bb120
bb120:
br label %bb121
bb121:
br label %bb122
bb122:
br label %bb123
bb123:
br label %bb124
bb124:
br label %bb125
bb125:
br label %bb126
bb126:
br label %bb127
bb127:
br label %bb128
bb128:
br label %bb129
bb129:
br label %bb130
bb130:
br label %bb131
bb131:
br label %bb132
bb132:
br label %bb133
bb133:
br label %bb134
bb134:
br label %bb135
bb135:
br label %bb136
bb136:
br label %bb137
bb137:
br label %bb138
bb138:
br label %bb139
bb139:
br label %bb140
bb140:
br label %bb141
bb141:
br label %bb142
bb142:
br label %bb143
bb143:
br label %bb144
bb144:
br label %bb145
bb145:
br label %bb146
bb146:
br label %bb147
bb147:
br label %bb148
bb148:
br label %bb149
bb149:
br label %bb150
bb150:
br label %bb151
bb151:
br label %bb152
bb152:
br label %bb153
bb153:
br label %bb154
bb154:
br label %bb155
bb155:
br label %bb156
bb156:
br label %bb157
bb157:
br label %bb158
bb158:
br label %bb159
bb159:
br label %bb160
bb160:
br label %bb161
bb161:
br label %bb162
bb162:
br label %bb163
bb163:
br label %bb164
bb164:
br label %bb165
bb165:
br label %bb166
bb166:
br label %bb167
bb167:
br label %bb168
bb168:
br label %bb169
bb169:
br label %bb170
bb170:
br label %bb171
bb171:
br label %bb172
bb172:
br label %bb173
bb173:
br label %bb174
bb174:
br label %bb175
bb175:
br label %bb176
bb176:
br label %bb177
bb177:
br label %bb178
bb178:
br label %bb179
bb179:
br label %bb180
bb180:
br label %bb181
bb181:
br label %bb182
bb182:
br label %bb183
bb183:
br label %bb184
bb184:
br label %bb185
bb185:
br label %bb186
bb186:
br label %bb187
bb187:
br label %bb188
bb188:
br label %bb189
bb189:
br label %bb190
bb190:
br label %bb191
bb191:
br label %bb192
bb192:
br label %bb193
bb193:
br label %bb194
bb194:
br label %bb195
bb195:
br label %bb196
bb196:
br label %bb197
bb197:
br label %bb198
bb198:
br label %bb199
bb199:
br label %bb200
bb200:
br label %bb201
bb201:
br label %bb202
bb202:
br label %bb203
bb203:
br label %bb204
bb204:
br label %bb205
bb205:
br label %bb206
bb206:
br label %bb207
bb207:
br label %bb208
bb208:
br label %bb209
bb209:
br label %bb210
bb210:
br label %bb211
bb211:
br label %bb212
bb212:
br label %bb213
bb213:
br label %bb214
bb214:
br label %bb215
bb215:
br label %bb216
bb216:
br label %bb217
bb217:
br label %bb218
bb218:
br label %bb219
bb219:
br label %bb220
bb220:
br label %bb221
bb221:
br label %bb222
bb222:
br label %bb223
bb223:
br label %bb224
bb224:
br label %bb225
bb225:
br label %bb226
bb226:
br label %bb227
bb227:
br label %bb228
bb228:
br label %bb229
bb229:
br label %bb230
bb230:
br label %bb231
bb231:
br label %bb232
bb232:
br label %bb233
bb233:
br label %bb234
bb234:
br label %bb235
bb235:
br label %bb236
bb236:
br label %bb237
bb237:
br label %bb238
bb238:
br label %bb239
bb239:
br label %bb240
bb240:
br label %bb241
bb241:
br label %bb242
bb242:
br label %bb243
bb243:
br label %bb244
bb244:
br label %bb245
bb245:
br label %bb246
bb246:
br label %bb247
bb247:
br label %bb248
bb248:
br label %bb249
bb249:
br label %bb250
bb250:
br label %bb251
bb251:
br label %bb252
bb252:
br label %bb253
bb253:
br label %bb254
bb254:
br label %bb255
bb255:
br label %bb256
bb256:
br label %bb257
bb257:
br label %bb258
bb258:
br label %bb259
bb259:
br label %bb260
bb260:
br label %bb261
bb261:
br label %bb262
bb262:
br label %bb263
bb263:
br label %bb264
bb264:
br label %bb265
bb265:
br label %bb266
bb266:
br label %bb267
bb267:
br label %bb268
bb268:
br label %bb269
bb269:
br label %bb270
bb270:
br label %bb271
bb271:
br label %bb272
bb272:
br label %bb273
bb273:
br label %bb274
bb274:
br label %bb275
bb275:
br label %bb276
bb276:
br label %bb277
bb277:
br label %bb278
bb278:
br label %bb279
bb279:
br label %bb280
bb280:
br label %bb281
bb281:
br label %bb282
bb282:
br label %bb283
bb283:
br label %bb284
bb284:
br label %bb285
bb285:
br label %bb286
bb286:
br label %bb287
bb287:
br label %bb288
bb288:
br label %bb289
bb289:
br label %bb290
bb290:
br label %bb291
bb291:
br label %bb292
bb292:
br label %bb293
bb293:
br label %bb294
bb294:
br label %bb295
bb295:
br label %bb296
bb296:
br label %bb297
bb297:
br label %bb298
bb298:
br label %bb299
bb299:
br label %bb300
bb300:
br label %bb301
bb301:
br label %bb302
bb302:
br label %bb303
bb303:
br label %bb304
bb304:
br label %bb305
bb305:
br label %bb306
bb306:
br label %bb307
bb307:
br label %bb308
bb308:
br label %bb309
bb309:
br label %bb310
bb310:
br label %bb311
bb311:
br label %bb312
bb312:
br label %bb313
bb313:
br label %bb314
bb314:
br label %bb315
bb315:
br label %bb316
bb316:
br label %bb317
bb317:
br label %bb318
bb318:
br label %bb319
bb319:
br label %bb320
bb320:
br label %bb321
bb321:
br label %bb322
bb322:
br label %bb323
bb323:
br label %bb324
bb324:
br label %bb325
bb325:
br label %bb326
bb326:
br label %bb327
bb327:
br label %bb328
bb328:
br label %bb329
bb329:
br label %bb330
bb330:
br label %bb331
bb331:
br label %bb332
bb332:
br label %bb333
bb333:
br label %bb334
bb334:
br label %bb335
bb335:
br label %bb336
bb336:
br label %bb337
bb337:
br label %bb338
bb338:
br label %bb339
bb339:
br label %bb340
bb340:
br label %bb341
bb341:
br label %bb342
bb342:
br label %bb343
bb343:
br label %bb344
bb344:
br label %bb345
bb345:
br label %bb346
bb346:
br label %bb347
bb347:
br label %bb348
bb348:
br label %bb349
bb349:
br label %bb350
bb350:
br label %bb351
bb351:
br label %bb352
bb352:
br label %bb353
bb353:
br label %bb354
bb354:
br label %bb355
bb355:
br label %bb356
bb356:
br label %bb357
bb357:
br label %bb358
bb358:
br label %bb359
bb359:
br label %bb360
bb360:
br label %bb361
bb361:
br label %bb362
bb362:
br label %bb363
bb363:
br label %bb364
bb364:
br label %bb365
bb365:
br label %bb366
bb366:
br label %bb367
bb367:
br label %bb368
bb368:
br label %bb369
bb369:
br label %bb370
bb370:
br label %bb371
bb371:
br label %bb372
bb372:
br label %bb373
bb373:
br label %bb374
bb374:
br label %bb375
bb375:
br label %bb376
bb376:
br label %bb377
bb377:
br label %bb378
bb378:
br label %bb379
bb379:
br label %bb380
bb380:
br label %bb381
bb381:
br label %bb382
bb382:
br label %bb383
bb383:
br label %bb384
bb384:
br label %bb385
bb385:
br label %bb386
bb386:
br label %bb387
bb387:
br label %bb388
bb388:
br label %bb389
bb389:
br label %bb390
bb390:
br label %bb391
bb391:
br label %bb392
bb392:
br label %bb393
bb393:
br label %bb394
bb394:
br label %bb395
bb395:
br label %bb396
bb396:
br label %bb397
bb397:
br label %bb398
bb398:
br label %bb399
bb399:
br label %bb400
bb400:
br label %bb401
bb401:
br label %bb402
bb402:
br label %bb403
bb403:
br label %bb404
bb404:
br label %bb405
bb405:
br label %bb406
bb406:
br label %bb407
bb407:
br label %bb408
bb408:
br label %bb409
bb409:
br label %bb410
bb410:
br label %bb411
bb411:
br label %bb412
bb412:
br label %bb413
bb413:
br label %bb414
bb414:
br label %bb415
bb415:
br label %bb416
bb416:
br label %bb417
bb417:
br label %bb418
bb418:
br label %bb419
bb419:
br label %bb420
bb420:
br label %bb421
bb421:
br label %bb422
bb422:
br label %bb423
bb423:
br label %bb424
bb424:
br label %bb425
bb425:
br label %bb426
bb426:
br label %bb427
bb427:
br label %bb428
bb428:
br label %bb429
bb429:
br label %bb430
bb430:
br label %bb431
bb431:
br label %bb432
bb432:
br label %bb433
bb433:
br label %bb434
bb434:
br label %bb435
bb435:
br label %bb436
bb436:
br label %bb437
bb437:
br label %bb438
bb438:
br label %bb439
bb439:
br label %bb440
bb440:
br label %bb441
bb441:
br label %bb442
bb442:
br label %bb443
bb443:
br label %bb444
bb444:
br label %bb445
bb445:
br label %bb446
bb446:
br label %bb447
bb447:
br label %bb448
bb448:
br label %bb449
bb449:
br label %bb450
bb450:
br label %bb451
bb451:
br label %bb452
bb452:
br label %bb453
bb453:
br label %bb454
bb454:
br label %bb455
bb455:
br label %bb456
bb456:
br label %bb457
bb457:
br label %bb458
bb458:
br label %bb459
bb459:
br label %bb460
bb460:
br label %bb461
bb461:
br label %bb462
bb462:
br label %bb463
bb463:
br label %bb464
bb464:
br label %bb465
bb465:
br label %bb466
bb466:
br label %bb467
bb467:
br label %bb468
bb468:
br label %bb469
bb469:
br label %bb470
bb470:
br label %bb471
bb471:
br label %bb472
bb472:
br label %bb473
bb473:
br label %bb474
bb474:
br label %bb475
bb475:
br label %bb476
bb476:
br label %bb477
bb477:
br label %bb478
bb478:
br label %bb479
bb479:
br label %bb480
bb480:
br label %bb481
bb481:
br label %bb482
bb482:
br label %bb483
bb483:
br label %bb484
bb484:
br label %bb485
bb485:
br label %bb486
bb486:
br label %bb487
bb487:
br label %bb488
bb488:
br label %bb489
bb489:
br label %bb490
bb490:
br label %bb491
bb491:
br label %bb492
bb492:
br label %bb493
bb493:
br label %bb494
bb494:
br label %bb495
bb495:
br label %bb496
bb496:
br label %bb497
bb497:
br label %bb498
bb498:
br label %bb499
bb499:
br label %bb500
bb500:
br label %bb501
bb501:
br label %bb502
bb502:
br label %bb503
bb503:
br label %bb504
bb504:
br label %bb505
bb505:
br label %bb506
bb506:
br label %bb507
bb507:
br label %bb508
bb508:
br label %bb509
bb509:
br label %bb510
bb510:
br label %bb511
bb511:
br label %bb512
bb512:
br label %bb513
bb513:
br label %bb514
bb514:
br label %bb515
bb515:
br label %bb516
bb516:
br label %bb517
bb517:
br label %bb518
bb518:
br label %bb519
bb519:
br label %bb520
bb520:
br label %bb521
bb521:
br label %bb522
bb522:
br label %bb523
bb523:
br label %bb524
bb524:
br label %bb525
bb525:
br label %bb526
bb526:
br label %bb527
bb527:
br label %bb528
bb528:
br label %bb529
bb529:
br label %bb530
bb530:
br label %bb531
bb531:
br label %bb532
bb532:
br label %bb533
bb533:
br label %bb534
bb534:
br label %bb535
bb535:
br label %bb536
bb536:
br label %bb537
bb537:
br label %bb538
bb538:
br label %bb539
bb539:
br label %bb540
bb540:
br label %bb541
bb541:
br label %bb542
bb542:
br label %bb543
bb543:
br label %bb544
bb544:
br label %bb545
bb545:
br label %bb546
bb546:
br label %bb547
bb547:
br label %bb548
bb548:
br label %bb549
bb549:
br label %bb550
bb550:
br label %bb551
bb551:
br label %bb552
bb552:
br label %bb553
bb553:
br label %bb554
bb554:
br label %bb555
bb555:
br label %bb556
bb556:
br label %bb557
bb557:
br label %bb558
bb558:
br label %bb559
bb559:
br label %bb560
bb560:
br label %bb561
bb561:
br label %bb562
bb562:
br label %bb563
bb563:
br label %bb564
bb564:
br label %bb565
bb565:
br label %bb566
bb566:
br label %bb567
bb567:
br label %bb568
bb568:
br label %bb569
bb569:
br label %bb570
bb570:
br label %bb571
bb571:
br label %bb572
bb572:
br label %bb573
bb573:
br label %bb574
bb574:
br label %bb575
bb575:
br label %bb576
bb576:
br label %bb577
bb577:
br label %bb578
bb578:
br label %bb579
bb579:
br label %bb580
bb580:
br label %bb581
bb581:
br label %bb582
bb582:
br label %bb583
bb583:
br label %bb584
bb584:
br label %bb585
bb585:
br label %bb586
bb586:
br label %bb587
bb587:
br label %bb588
bb588:
br label %bb589
bb589:
br label %bb590
bb590:
br label %bb591
bb591:
br label %bb592
bb592:
br label %bb593
bb593:
br label %bb594
bb594:
br label %bb595
bb595:
br label %bb596
bb596:
br label %bb597
bb597:
br label %bb598
bb598:
br label %bb599
bb599:
br label %bb600
bb600:
br label %bb601
bb601:
br label %bb602
bb602:
br label %bb603
bb603:
br label %bb604
bb604:
br label %bb605
bb605:
br label %bb606
bb606:
br label %bb607
bb607:
br label %bb608
bb608:
br label %bb609
bb609:
br label %bb610
bb610:
br label %bb611
bb611:
br label %bb612
bb612:
br label %bb613
bb613:
br label %bb614
bb614:
br label %bb615
bb615:
br label %bb616
bb616:
br label %bb617
bb617:
br label %bb618
bb618:
br label %bb619
bb619:
br label %bb620
bb620:
br label %bb621
bb621:
br label %bb622
bb622:
br label %bb623
bb623:
br label %bb624
bb624:
br label %bb625
bb625:
br label %bb626
bb626:
br label %bb627
bb627:
br label %bb628
bb628:
br label %bb629
bb629:
br label %bb630
bb630:
br label %bb631
bb631:
br label %bb632
bb632:
br label %bb633
bb633:
br label %bb634
bb634:
br label %bb635
bb635:
br label %bb636
bb636:
br label %bb637
bb637:
br label %bb638
bb638:
br label %bb639
bb639:
br label %bb640
bb640:
br label %bb641
bb641:
br label %bb642
bb642:
br label %bb643
bb643:
br label %bb644
bb644:
br label %bb645
bb645:
br label %bb646
bb646:
br label %bb647
bb647:
br label %bb648
bb648:
br label %bb649
bb649:
br label %bb650
bb650:
br label %bb651
bb651:
br label %bb652
bb652:
br label %bb653
bb653:
br label %bb654
bb654:
br label %bb655
bb655:
br label %bb656
bb656:
br label %bb657
bb657:
br label %bb658
bb658:
br label %bb659
bb659:
br label %bb660
bb660:
br label %bb661
bb661:
br label %bb662
bb662:
br label %bb663
bb663:
br label %bb664
bb664:
br label %bb665
bb665:
br label %bb666
bb666:
br label %bb667
bb667:
br label %bb668
bb668:
br label %bb669
bb669:
br label %bb670
bb670:
br label %bb671
bb671:
br label %bb672
bb672:
br label %bb673
bb673:
br label %bb674
bb674:
br label %bb675
bb675:
br label %bb676
bb676:
br label %bb677
bb677:
br label %bb678
bb678:
br label %bb679
bb679:
br label %bb680
bb680:
br label %bb681
bb681:
br label %bb682
bb682:
br label %bb683
bb683:
br label %bb684
bb684:
br label %bb685
bb685:
br label %bb686
bb686:
br label %bb687
bb687:
br label %bb688
bb688:
br label %bb689
bb689:
br label %bb690
bb690:
br label %bb691
bb691:
br label %bb692
bb692:
br label %bb693
bb693:
br label %bb694
bb694:
br label %bb695
bb695:
br label %bb696
bb696:
br label %bb697
bb697:
br label %bb698
bb698:
br label %bb699
bb699:
br label %bb700
bb700:
br label %bb701
bb701:
br label %bb702
bb702:
br label %bb703
bb703:
br label %bb704
bb704:
br label %bb705
bb705:
br label %bb706
bb706:
br label %bb707
bb707:
br label %bb708
bb708:
br label %bb709
bb709:
br label %bb710
bb710:
br label %bb711
bb711:
br label %bb712
bb712:
br label %bb713
bb713:
br label %bb714
bb714:
br label %bb715
bb715:
br label %bb716
bb716:
br label %bb717
bb717:
br label %bb718
bb718:
br label %bb719
bb719:
br label %bb720
bb720:
br label %bb721
bb721:
br label %bb722
bb722:
br label %bb723
bb723:
br label %bb724
bb724:
br label %bb725
bb725:
br label %bb726
bb726:
br label %bb727
bb727:
br label %bb728
bb728:
br label %bb729
bb729:
br label %bb730
bb730:
br label %bb731
bb731:
br label %bb732
bb732:
br label %bb733
bb733:
br label %bb734
bb734:
br label %bb735
bb735:
br label %bb736
bb736:
br label %bb737
bb737:
br label %bb738
bb738:
br label %bb739
bb739:
br label %bb740
bb740:
br label %bb741
bb741:
br label %bb742
bb742:
br label %bb743
bb743:
br label %bb744
bb744:
br label %bb745
bb745:
br label %bb746
bb746:
br label %bb747
bb747:
br label %bb748
bb748:
br label %bb749
bb749:
br label %bb750
bb750:
br label %bb751
bb751:
br label %bb752
bb752:
br label %bb753
bb753:
br label %bb754
bb754:
br label %bb755
bb755:
br label %bb756
bb756:
br label %bb757
bb757:
br label %bb758
bb758:
br label %bb759
bb759:
br label %bb760
bb760:
br label %bb761
bb761:
br label %bb762
bb762:
br label %bb763
bb763:
br label %bb764
bb764:
br label %bb765
bb765:
br label %bb766
bb766:
br label %bb767
bb767:
br label %bb768
bb768:
br label %bb769
bb769:
br label %bb770
bb770:
br label %bb771
bb771:
br label %bb772
bb772:
br label %bb773
bb773:
br label %bb774
bb774:
br label %bb775
bb775:
br label %bb776
bb776:
br label %bb777
bb777:
br label %bb778
bb778:
br label %bb779
bb779:
br label %bb780
bb780:
br label %bb781
bb781:
br label %bb782
bb782:
br label %bb783
bb783:
br label %bb784
bb784:
br label %bb785
bb785:
br label %bb786
bb786:
br label %bb787
bb787:
br label %bb788
bb788:
br label %bb789
bb789:
br label %bb790
bb790:
br label %bb791
bb791:
br label %bb792
bb792:
br label %bb793
bb793:
br label %bb794
bb794:
br label %bb795
bb795:
br label %bb796
bb796:
br label %bb797
bb797:
br label %bb798
bb798:
br label %bb799
bb799:
br label %bb800
bb800:
br label %bb801
bb801:
br label %bb802
bb802:
br label %bb803
bb803:
br label %bb804
bb804:
br label %bb805
bb805:
br label %bb806
bb806:
br label %bb807
bb807:
br label %bb808
bb808:
br label %bb809
bb809:
br label %bb810
bb810:
br label %bb811
bb811:
br label %bb812
bb812:
br label %bb813
bb813:
br label %bb814
bb814:
br label %bb815
bb815:
br label %bb816
bb816:
br label %bb817
bb817:
br label %bb818
bb818:
br label %bb819
bb819:
br label %bb820
bb820:
br label %bb821
bb821:
br label %bb822
bb822:
br label %bb823
bb823:
br label %bb824
bb824:
br label %bb825
bb825:
br label %bb826
bb826:
br label %bb827
bb827:
br label %bb828
bb828:
br label %bb829
bb829:
br label %bb830
bb830:
br label %bb831
bb831:
br label %bb832
bb832:
br label %bb833
bb833:
br label %bb834
bb834:
br label %bb835
bb835:
br label %bb836
bb836:
br label %bb837
bb837:
br label %bb838
bb838:
br label %bb839
bb839:
br label %bb840
bb840:
br label %bb841
bb841:
br label %bb842
bb842:
br label %bb843
bb843:
br label %bb844
bb844:
br label %bb845
bb845:
br label %bb846
bb846:
br label %bb847
bb847:
br label %bb848
bb848:
br label %bb849
bb849:
br label %bb850
bb850:
br label %bb851
bb851:
br label %bb852
bb852:
br label %bb853
bb853:
br label %bb854
bb854:
br label %bb855
bb855:
br label %bb856
bb856:
br label %bb857
bb857:
br label %bb858
bb858:
br label %bb859
bb859:
br label %bb860
bb860:
br label %bb861
bb861:
br label %bb862
bb862:
br label %bb863
bb863:
br label %bb864
bb864:
br label %bb865
bb865:
br label %bb866
bb866:
br label %bb867
bb867:
br label %bb868
bb868:
br label %bb869
bb869:
br label %bb870
bb870:
br label %bb871
bb871:
br label %bb872
bb872:
br label %bb873
bb873:
br label %bb874
bb874:
br label %bb875
bb875:
br label %bb876
bb876:
br label %bb877
bb877:
br label %bb878
bb878:
br label %bb879
bb879:
br label %bb880
bb880:
br label %bb881
bb881:
br label %bb882
bb882:
br label %bb883
bb883:
br label %bb884
bb884:
br label %bb885
bb885:
br label %bb886
bb886:
br label %bb887
bb887:
br label %bb888
bb888:
br label %bb889
bb889:
br label %bb890
bb890:
br label %bb891
bb891:
br label %bb892
bb892:
br label %bb893
bb893:
br label %bb894
bb894:
br label %bb895
bb895:
br label %bb896
bb896:
br label %bb897
bb897:
br label %bb898
bb898:
br label %bb899
bb899:
br label %bb900
bb900:
br label %bb901
bb901:
br label %bb902
bb902:
br label %bb903
bb903:
br label %bb904
bb904:
br label %bb905
bb905:
br label %bb906
bb906:
br label %bb907
bb907:
br label %bb908
bb908:
br label %bb909
bb909:
br label %bb910
bb910:
br label %bb911
bb911:
br label %bb912
bb912:
br label %bb913
bb913:
br label %bb914
bb914:
br label %bb915
bb915:
br label %bb916
bb916:
br label %bb917
bb917:
br label %bb918
bb918:
br label %bb919
bb919:
br label %bb920
bb920:
br label %bb921
bb921:
br label %bb922
bb922:
br label %bb923
bb923:
br label %bb924
bb924:
br label %bb925
bb925:
br label %bb926
bb926:
br label %bb927
bb927:
br label %bb928
bb928:
br label %bb929
bb929:
br label %bb930
bb930:
br label %bb931
bb931:
br label %bb932
bb932:
br label %bb933
bb933:
br label %bb934
bb934:
br label %bb935
bb935:
br label %bb936
bb936:
br label %bb937
bb937:
br label %bb938
bb938:
br label %bb939
bb939:
br label %bb940
bb940:
br label %bb941
bb941:
br label %bb942
bb942:
br label %bb943
bb943:
br label %bb944
bb944:
br label %bb945
bb945:
br label %bb946
bb946:
br label %bb947
bb947:
br label %bb948
bb948:
br label %bb949
bb949:
br label %bb950
bb950:
br label %bb951
bb951:
br label %bb952
bb952:
br label %bb953
bb953:
br label %bb954
bb954:
br label %bb955
bb955:
br label %bb956
bb956:
br label %bb957
bb957:
br label %bb958
bb958:
br label %bb959
bb959:
br label %bb960
bb960:
br label %bb961
bb961:
br label %bb962
bb962:
br label %bb963
bb963:
br label %bb964
bb964:
br label %bb965
bb965:
br label %bb966
bb966:
br label %bb967
bb967:
br label %bb968
bb968:
br label %bb969
bb969:
br label %bb970
bb970:
br label %bb971
bb971:
br label %bb972
bb972:
br label %bb973
bb973:
br label %bb974
bb974:
br label %bb975
bb975:
br label %bb976
bb976:
br label %bb977
bb977:
br label %bb978
bb978:
br label %bb979
bb979:
br label %bb980
bb980:
br label %bb981
bb981:
br label %bb982
bb982:
br label %bb983
bb983:
br label %bb984
bb984:
br label %bb985
bb985:
br label %bb986
bb986:
br label %bb987
bb987:
br label %bb988
bb988:
br label %bb989
bb989:
br label %bb990
bb990:
br label %bb991
bb991:
br label %bb992
bb992:
br label %bb993
bb993:
br label %bb994
bb994:
br label %bb995
bb995:
br label %bb996
bb996:
br label %bb997
bb997:
br label %bb998
bb998:
br label %bb999
bb999:
br label %bb1000
bb1000:
; CHECK: call{{.*}}@dfsan_union
; CHECK-NOT: phi
%ab = mul i32 %a, %b
ret i32 %ab
}