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