Mercurial > hg > CbC > CbC_llvm

comparison llvm/test/Instrumentation/DataFlowSanitizer/union-large.ll @ 150:1d019706d866

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM10
author anatofuz
date Thu, 13 Feb 2020 15:10:13 +0900
parents
children
comparison
equal deleted inserted replaced
147:c2174574ed3a 150:1d019706d866
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 }