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