; 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
}
