(program
  (host done (ptr) i64 touches_memory)
  (host stopped (ptr) i64 touches_memory)
  (host push (ptr) i64 touches_memory)
  (host scratch (ptr i64) ptr touches_memory)
  (host agg_render (ptr i64 i64 i64) ptr touches_memory)
  (host hosted_raise (ptr) i64 touches_memory)
  (host hosted_enter (ptr i64) ptr touches_memory)
  (host range_seek (ptr i64) i64 touches_memory)
  (host advance (ptr i64) i64 touches_memory)
  (host agg_bind (ptr i64 ptr i64 ptr) i64 touches_memory)
  (host region_grow (ptr i64 i64 i64) i64 may_error touches_memory)
  (host gravity_expr::shim (ptr ptr) i64 may_error touches_memory state=0)
  (host range_seek (ptr i64) i64 touches_memory)
  (host advance (ptr i64) i64 touches_memory)
  (host lane_fill (ptr i64 i64) i64 touches_memory)
  (host record (ptr ptr i64) ptr touches_memory)
  (host rep_num_mantissa (i64 i64) i64 pure touches_memory)
  (host class_num::fold_error (i64) i64 may_error)
  (host record_consumed (ptr ptr i64) ptr touches_memory)
  (host class_num::num_sum_ds (ptr i64 i64 i64 i64) i64 may_error touches_memory state=0)
  (fn p1 ((v0 ptr)) (i64)
    (slots (16 8) (40 8) (24 8) (256 4) (24 8) (256 4) (24 8) (24 8) (256 4))
    (hints (cold b6 b7 b18) (loop b10 b33 b69 b105 b123 b158 b197 b209 b242 b287 b327) (likely b10 else) (likely b12 else))
    (block b0 ((v0 ptr))
      (v11 (const i64 0))
      (v12 (const i64 1))
      (v13 (load ptr v0 88))
      (v14 (load ptr v0 96))
      (v15 (load ptr v0 528))
      (v16 (load ptr v0 0))
      (v17 (load ptr v16 72))
      (v18 (loadz i16 v0 116))
      (v19 (call_host hosted_enter v17 v18))
      (v20 (stack_addr 0))
      (v21 (load ptr v19 8))
      (v22 (load ptr v19 16))
      ((store v20 0 v21))
      ((store v20 8 v22))
      (v23 (load ptr v19 0))
      (v30 (load i64 v0 80))
      (v31 (const i64 0))
      (v32 (icmp eq v30 v31))
      (condbr v32 (b9) (b10)))
    (block b1 ((v1 i64) (v2 i64))
      (v4735 (load i64 v0 424))
      (v4736 (iadd v4735 v1))
      ((store v0 424 v4736))
      (v4737 (itrunc i32 v2))
      ((store v0 448 v4737))
      (br b10))
    (block b2 ((v3 i64) (v4 i64) (v5 i64))
      (v4738 (load i64 v0 424))
      (v4739 (iadd v4738 v3))
      ((store v0 424 v4739))
      (v4740 (itrunc i32 v4))
      ((store v0 448 v4740))
      (br b4 v5))
    (block b3 ((v6 i64) (v7 i64))
      (v4741 (load i64 v0 424))
      (v4742 (iadd v4741 v6))
      ((store v0 424 v4742))
      (v4743 (itrunc i32 v7))
      ((store v0 448 v4743))
      (br b5))
    (block b4 ((v8 i64))
      (v4744 (icmp slt v8 v11))
      (condbr v4744 (b8 v8) (b390)))
    (block b5 ()
      (v4753 (call_host done v0))
      (br b8 v4753))
    (block b6 ((v9 i64))
      (v4746 (call_host hosted_raise v19))
      (v4747 (const i64 3))
      (v4748 (const i64 8))
      (v4749 (shl v9 v4748))
      (v4750 (ior v4747 v4749))
      (v4751 (ineg v4750))
      (br b8 v4751))
    (block b7 ()
      (v4752 (const i64 -2))
      (br b8 v4752))
    (block b8 ((v10 i64))
      (return v10))
    (block b9 ()
      (v33 (const i64 1125899906842625))
      ((store v0 80 v33))
      (v34 (const i64 0))
      ((store v15 0 v34))
      (v35 (const i64 1))
      (v36 (call_host range_seek v0 v35))
      (v37 (icmp slt v36 v11))
      (condbr v37 (b8 v36) (b10)))
    (block b10 ()
      (v24 (load ptr v0 24))
      (v25 (const ptr 0))
      (v26 (icmp eq v24 v25))
      (condbr v26 (b13) (b12)))
    (block b11 ()
      (v38 (load ptr v0 0))
      (v39 (load ptr v38 40))
      (v40 (load ptr v39 8))
      (v41 (loadz i8 v40 12))
      (v42 (icmp eq v41 v11))
      (condbr v42 (b5) (b14)))
    (block b12 ()
      (v27 (loadz i8 v24 0))
      (v28 (const i64 0))
      (v29 (icmp ne v27 v28))
      (condbr v29 (b7) (b13)))
    (block b13 ()
      (br b11))
    (block b14 ()
      (v43 (load i64 v40 40))
      (v44 (ptr_add v40 v43 1 0))
      (v45 (load i64 v40 64))
      (v46 (ptr_add v40 v45 1 0))
      (v47 (loadz i32 v40 48))
      (v48 (load i64 v40 24))
      (v49 (load i64 v40 32))
      (v50 (isub v49 v48))
      (v51 (iadd v50 v12))
      (v52 (ptrtoint v40))
      (v53 (const i64 192))
      (v54 (iadd v52 v53))
      (v55 (load i64 v40 72))
      (v56 (ptr_add v40 v55 1 0))
      (v57 (load i64 v40 16))
      ((store v20 0 v21))
      ((store v20 8 v22))
      (v59 (const i64 1))
      (v60 (call_host advance v0 v59))
      (v61 (icmp sle v60 v11))
      (condbr v61 (b15 v60) (b16)))
    (block b15 ((v58 i64))
      (v104 (icmp eq v58 v11))
      (condbr v104 (b5) (b8 v58)))
    (block b16 ()
      (v62 (load i32 v0 448))
      (v63 (zext i64 v62))
      (v64 (load i32 v0 444))
      (v65 (zext i64 v64))
      (v66 (load ptr v0 400))
      (v67 (ptrtoint v66))
      (v68 (icmp eq v67 v11))
      (v69 (load i32 v0 452))
      (v70 (zext i64 v69))
      (v71 (select v68 v65 v70))
      (v72 (load ptr v0 352))
      (v73 (load ptr v72 0))
      (v74 (load ptr v72 8))
      (v75 (ptrtoint v74))
      (v76 (icmp eq v75 v11))
      (v77 (load ptr v72 32))
      (v78 (load ptr v72 40))
      (v79 (ptrtoint v78))
      (v80 (icmp eq v79 v11))
      (v81 (load ptr v72 64))
      (v82 (load ptr v72 72))
      (v83 (ptrtoint v82))
      (v84 (icmp eq v83 v11))
      (v85 (load ptr v72 96))
      (v86 (load ptr v72 104))
      (v87 (ptrtoint v86))
      (v88 (icmp eq v87 v11))
      (v89 (load i8 v72 19))
      (v90 (const i8 12))
      (v91 (iand v89 v90))
      (v92 (const i8 4))
      (v93 (icmp eq v91 v92))
      (v94 (const i64 1))
      (v95 (const i64 32771))
      (v96 (call_host lane_fill v0 v94 v95))
      (v97 (icmp slt v96 v11))
      (condbr v97 (b8 v96) (b17)))
    (block b17 ()
      (v98 (ptr_add v85 v96 1 0))
      (v99 (icmp ne v96 v11))
      (v100 (const i64 63))
      (v101 (iand v63 v100))
      (v102 (icmp eq v101 v11))
      (v103 (iand v99 v102))
      (v105 (load i64 v13 8))
      (v106 (loadz i8 v14 1))
      (v107 (icmp ne v106 v11))
      (v108 (load i64 v13 16))
      (v109 (loadz i8 v14 2))
      (v110 (icmp ne v109 v11))
      (v120 (load ptr v0 0))
      (v121 (load ptr v120 40))
      (v122 (load ptr v121 0))
      (v123 (loadz i32 v122 4))
      (v124 (ptr_add v122 v11 1 56))
      (v125 (load i64 v124 40))
      (v126 (icmp eq v123 v12))
      (v127 (icmp ne v125 v11))
      (v128 (iand v126 v127))
      (condbr v128 (b20 v124) (b19)))
    (block b18 ((v111 i64) (v112 i64) (v113 i64))
      (v114 (call_host hosted_raise v19))
      (v115 (const i64 3))
      (v116 (const i64 8))
      (v117 (shl v111 v116))
      (v118 (ior v115 v117))
      (v119 (ineg v118))
      (br b2 v112 v113 v119))
    (block b19 ()
      (v130 (stack_addr 1))
      (v131 (const i64 1024))
      ((store v130 0 v131))
      (v132 (const i64 38722404352))
      ((store v130 8 v132))
      (v133 (const i64 44083812761600))
      ((store v130 16 v133))
      (v134 (const i64 52948410826752))
      ((store v130 24 v134))
      (v135 (const i64 0))
      ((store v130 32 v135))
      (v136 (const i64 112))
      (v137 (call_host record v0 v130 v136))
      (br b20 v137))
    (block b20 ((v129 ptr))
      (v138 (const i64 0))
      (v139 (const i64 0))
      (condbr v93 (b25 v63 v11 v138 v138 v138 v138 v139 v139 v139) (b26)))
    (block b21 ((v140 i64) (v141 i64) (v142 i64) (v143 i64) (v144 i64) (v145 i64) (v146 i64) (v147 i64) (v148 i64))
      (v3365 (icmp ult v63 v71))
      (condbr v3365 (b281) (b282)))
    (block b22 ((v149 i64) (v150 i64) (v151 i64) (v152 i64) (v153 i64) (v154 i64) (v155 i64) (v156 i64))
      (v4607 (loadz i8 v129 48))
      (v4608 (const i64 1))
      (v4609 (iand v4607 v4608))
      (v4610 (icmp ne v4609 v11))
      (v4611 (const i64 0))
      (v4612 (load i64 v129 0))
      (v4613 (load i64 v129 8))
      (v4614 (load i64 v129 16))
      (v4615 (select v4610 v4612 v4611))
      (v4616 (select v4610 v4613 v4611))
      (v4617 (select v4610 v4614 v4611))
      (v4618 (zext i64 v4610))
      (v4619 (select v4610 v4618 v11))
      (v4620 (iadd v4619 v153))
      (v4621 (const i64 -9223372036854775808))
      (v4622 (smin v4616 v151))
      (v4623 (icmp eq v4622 v4621))
      (condbr v4623 (b384) (b385)))
    (block b23 ((v157 i64) (v158 i64) (v159 i64) (v160 i64) (v161 i64) (v162 i64) (v163 i64) (v164 i64) (v165 i64) (v166 i64))
      (v4351 (loadz i8 v129 48))
      (v4352 (const i64 1))
      (v4353 (iand v4351 v4352))
      (v4354 (icmp ne v4353 v11))
      (v4355 (const i64 0))
      (v4356 (load i64 v129 0))
      (v4357 (load i64 v129 8))
      (v4358 (load i64 v129 16))
      (v4359 (select v4354 v4356 v4355))
      (v4360 (select v4354 v4357 v4355))
      (v4361 (select v4354 v4358 v4355))
      (v4362 (zext i64 v4354))
      (v4363 (select v4354 v4362 v11))
      (v4364 (iadd v4363 v163))
      (v4365 (const i64 -9223372036854775808))
      (v4366 (smin v4360 v161))
      (v4367 (icmp eq v4366 v4365))
      (condbr v4367 (b372) (b373)))
    (block b24 ((v167 i64) (v168 i64) (v169 i64) (v170 i64) (v171 i64) (v172 i64) (v173 i64) (v174 i64) (v175 i64))
      (v4479 (loadz i8 v129 48))
      (v4480 (const i64 1))
      (v4481 (iand v4479 v4480))
      (v4482 (icmp ne v4481 v11))
      (v4483 (const i64 0))
      (v4484 (load i64 v129 0))
      (v4485 (load i64 v129 8))
      (v4486 (load i64 v129 16))
      (v4487 (select v4482 v4484 v4483))
      (v4488 (select v4482 v4485 v4483))
      (v4489 (select v4482 v4486 v4483))
      (v4490 (zext i64 v4482))
      (v4491 (select v4482 v4490 v11))
      (v4492 (iadd v4491 v172))
      (v4493 (const i64 -9223372036854775808))
      (v4494 (smin v4488 v170))
      (v4495 (icmp eq v4494 v4493))
      (condbr v4495 (b378) (b379)))
    (block b25 ((v176 i64) (v177 i64) (v178 i64) (v179 i64) (v180 i64) (v181 i64) (v182 i64) (v183 i64) (v184 i64))
      (v185 (icmp ult v63 v71))
      (condbr v185 (b27) (b28)))
    (block b26 ()
      (v1095 (itrunc i32 v105))
      (v1096 (vsplat v4i32 v1095))
      (v1097 (const i64 1))
      (v1098 (const bool true))
      (v1099 (ixor v107 v1098))
      (v1100 (zext i64 v1099))
      (v1101 (itrunc i32 v105))
      (v1102 (sext i64 v1101))
      (v1103 (icmp eq v1102 v105))
      (v1104 (zext i64 v1103))
      (v1105 (iand v1104 v1100))
      (v1106 (iand v1097 v1105))
      (v1107 (icmp ne v1106 v11))
      (v1108 (iand v1107 v68))
      (v1109 (itrunc i32 v108))
      (v1110 (vsplat v4i32 v1109))
      (v1111 (const i64 1))
      (v1112 (const bool true))
      (v1113 (ixor v110 v1112))
      (v1114 (zext i64 v1113))
      (v1115 (itrunc i32 v108))
      (v1116 (sext i64 v1115))
      (v1117 (icmp eq v1116 v108))
      (v1118 (zext i64 v1117))
      (v1119 (iand v1118 v1114))
      (v1120 (iand v1111 v1119))
      (v1121 (icmp ne v1120 v11))
      (v1122 (iand v1121 v68))
      (v1123 (iand v1108 v1122))
      (v1124 (iand v103 v1123))
      (condbr v1124 (b105 v63 v11 v138 v138 v138 v138 v139 v139 v139) (b106)))
    (block b27 ()
      (v186 (const i64 1))
      (v187 (const i64 0))
      (v188 (call_host lane_fill v0 v186 v187))
      (v189 (icmp slt v188 v11))
      (condbr v189 (b8 v188) (b29)))
    (block b28 ()
      (br b33 v176 v177 v178 v179 v180 v181 v182 v183 v184))
    (block b29 ()
      (v190 (const i64 1))
      (v191 (const i64 1))
      (v192 (call_host lane_fill v0 v190 v191))
      (v193 (icmp slt v192 v11))
      (condbr v193 (b8 v192) (b30)))
    (block b30 ()
      (v194 (const i64 1))
      (v195 (const i64 2))
      (v196 (call_host lane_fill v0 v194 v195))
      (v197 (icmp slt v196 v11))
      (condbr v197 (b8 v196) (b31)))
    (block b31 ()
      (v198 (const i64 1))
      (v199 (const i64 3))
      (v200 (call_host lane_fill v0 v198 v199))
      (v201 (icmp slt v200 v11))
      (condbr v201 (b8 v200) (b32)))
    (block b32 ()
      (br b28))
    (block b33 ((v202 i64) (v203 i64) (v204 i64) (v205 i64) (v206 i64) (v207 i64) (v208 i64) (v209 i64) (v210 i64))
      (v211 (icmp slt v202 v71))
      (condbr v211 (b34) (b22 v203 v204 v205 v206 v207 v208 v209 v210)))
    (block b34 ()
      (v212 (iadd v202 v12))
      (condbr v68 (b36 v202) (b35)))
    (block b35 ()
      (v214 (ptr_add v66 v202 4 0))
      (v215 (load i32 v214 0))
      (v216 (zext i64 v215))
      (br b36 v216))
    (block b36 ((v213 i64))
      (v217 (ptr_add v73 v213 4 0))
      (v218 (ptr_add v77 v213 8 0))
      (v219 (ptr_add v81 v213 8 0))
      (v220 (ptr_add v85 v213 4 0))
      (v221 (const bool true))
      (v230 (const bool true))
      (v231 (const bool false))
      (v232 (load i32 v217 0))
      (v233 (sext i64 v232))
      (v234 (const i64 0))
      (v235 (const i64 5))
      (v236 (icmp eq v41 v235))
      (condbr v236 (b38) (b42)))
    (block b37 ((v222 i64) (v223 i64) (v224 i64) (v225 i64) (v226 i64) (v227 i64) (v228 i64) (v229 i64))
      (v1094 (iadd v202 v12))
      (br b33 v1094 v222 v223 v224 v225 v226 v227 v228 v229))
    (block b38 ()
      (v237 (isub v233 v48))
      (v238 (icmp ult v237 v51))
      (condbr v238 (b43) (b44 v11)))
    (block b39 ()
      (v268 (load i64 v15 0))
      (v269 (icmp sgt v268 v11))
      (condbr v269 (b40) (b41)))
    (block b40 ()
      ((store v15 0 v11))
      (br b37 v203 v204 v205 v206 v207 v208 v209 v210))
    (block b41 ()
      (v270 (inttoptr v239))
      (v271 (load i64 v270 8))
      (v272 (const i64 1))
      (v273 (const i64 0))
      (v274 (load i64 v270 16))
      (v275 (const i64 32))
      (v276 (ushr v271 v275))
      (v277 (iand v276 v272))
      (v278 (icmp ne v277 v273))
      ((store v15 0 v12))
      (v279 (const bool true))
      (v280 (const bool true))
      (v281 (ixor v278 v280))
      (v282 (const bool true))
      (v283 (const bool false))
      (v284 (const i64 0))
      (v285 (ixor v281 v279))
      (v286 (const bool true))
      (v287 (const bool false))
      (v288 (const bool true))
      (v289 (const bool true))
      (v290 (ixor v285 v289))
      (v291 (load ptr v23 96))
      (v292 (const bool true))
      (v293 (const bool false))
      (v294 (const i64 0))
      (v295 (icmp ne v274 v294))
      (v296 (iand v295 v290))
      (v297 (ixor v296 v288))
      (v298 (const bool true))
      (v299 (const bool true))
      (v300 (const bool false))
      (v301 (const i64 0))
      (br b45))
    (block b42 ()
      (v642 (const i64 1))
      (v643 (icmp eq v41 v642))
      (condbr v643 (b71) (b72)))
    (block b43 ()
      (v240 (const i64 6))
      (v241 (const i64 63))
      (v242 (ushr v237 v240))
      (v243 (iand v237 v241))
      (v244 (ptrtoint v44))
      (v245 (ptrtoint v46))
      (v246 (isub v245 v244))
      (v247 (ptr_add v44 v242 8 0))
      (v248 (load i64 v247 0))
      (v249 (ushr v248 v243))
      (v250 (iand v249 v12))
      (v251 (stack_addr 2))
      ((store v251 0 v233))
      (v252 (ptr_add v44 v246 1 0))
      (v253 (ptr_add v252 v242 8 0))
      (v254 (load i64 v253 0))
      (v255 (ushr v254 v243))
      (v256 (iand v255 v12))
      (v257 (ptr_add v44 v246 2 0))
      (v258 (ptr_add v257 v242 8 0))
      (v259 (load i64 v258 0))
      (v260 (ushr v259 v243))
      (v261 (iand v260 v12))
      (v262 (const i64 32))
      ((store v251 16 v256))
      (v263 (shl v261 v262))
      ((store v251 8 v263))
      (v264 (ptrtoint v251))
      (v265 (icmp ne v250 v11))
      (v266 (select v265 v264 v11))
      (br b44 v266))
    (block b44 ((v239 i64))
      (v267 (icmp eq v239 v11))
      (condbr v267 (b37 v203 v204 v205 v206 v207 v208 v209 v210) (b39)))
    (block b45 ()
      (v303 (load ptr v0 352))
      (v304 (loadz i8 v303 49))
      (v305 (const i64 1))
      (v306 (icmp eq v304 v305))
      (v307 (load i64 v218 0))
      (condbr v306 (b46) (b47 v307)))
    (block b46 ()
      (v308 (const i64 2))
      (v309 (call_host rep_num_mantissa v307 v308))
      (br b47 v309))
    (block b47 ((v302 i64))
      (v310 (const i64 2))
      (v311 (const i64 -9223372036854775804))
      (v312 (iadd v302 v310))
      (v313 (icmp slt v312 v311))
      (v314 (select v313 v11 v302))
      (v315 (const bool true))
      (v316 (const bool true))
      (v317 (const i64 1))
      (v318 (const bool true))
      (v319 (const bool false))
      (v320 (const i64 0))
      (br b48))
    (block b48 ()
      (v322 (load ptr v0 352))
      (v323 (loadz i8 v322 81))
      (v324 (const i64 1))
      (v325 (icmp eq v323 v324))
      (v326 (load i64 v219 0))
      (condbr v325 (b49) (b50 v326)))
    (block b49 ()
      (v327 (const i64 2))
      (v328 (call_host rep_num_mantissa v326 v327))
      (br b50 v328))
    (block b50 ((v321 i64))
      (v329 (const i64 2))
      (v330 (const i64 -9223372036854775804))
      (v331 (iadd v321 v329))
      (v332 (icmp slt v331 v330))
      (v333 (select v332 v11 v321))
      (v334 (const i64 100))
      (v335 (imul v317 v334))
      (v336 (isub v335 v333))
      (v337 (imul v314 v336))
      (v338 (smulh v314 v336))
      (v339 (select v296 v337 v11))
      (v340 (select v296 v338 v11))
      (v341 (select v296 v299 v287))
      (v342 (const i64 4))
      (v343 (select v296 v342 v11))
      (v344 (const bool true))
      (v345 (const i64 0))
      (v346 (const i64 10000))
      (v347 (imul v345 v346))
      (v348 (smulh v345 v346))
      (v349 (select v297 v347 v339))
      (v350 (select v297 v348 v340))
      (v351 (select v297 v344 v341))
      (v352 (const i64 0))
      (v353 (select v297 v352 v343))
      (v354 (ior v313 v332))
      (condbr v354 (b51) (b52 v11)))
    (block b51 ()
      (v356 (const i64 -9223372036854775808))
      (v357 (icmp eq v302 v356))
      (condbr v357 (b53) (b54)))
    (block b52 ((v355 i64))
      (v446 (zext i64 v351))
      (v447 (const i64 63))
      (v448 (icmp ne v355 v11))
      (v449 (const i64 -9223372036854775808))
      (v450 (select v448 v355 v349))
      (v451 (select v448 v449 v350))
      (v452 (select v351 v450 v11))
      (v453 (select v351 v451 v11))
      (v454 (select v351 v353 v11))
      (v455 (iadd v207 v446))
      (v456 (const i64 -9223372036854775808))
      (v457 (smin v205 v453))
      (v458 (icmp eq v457 v456))
      (condbr v458 (b57) (b58)))
    (block b53 ()
      (v358 (const i64 0))
      (v359 (call_host class_num::fold_error v358))
      (v360 (const i64 128))
      (br b6 v360))
    (block b54 ()
      (v361 (const i64 -9223372036854775807))
      (v362 (const i64 3))
      (v363 (icmp eq v302 v361))
      (v364 (select v363 v362 v11))
      (v365 (const i64 9223372036854775806))
      (v366 (const i64 2))
      (v367 (icmp eq v302 v365))
      (v368 (select v367 v366 v364))
      (v369 (const i64 9223372036854775807))
      (v370 (const i64 1))
      (v371 (icmp eq v302 v369))
      (v372 (select v371 v370 v368))
      (v373 (icmp ne v372 v11))
      (v374 (select v373 v11 v302))
      (v375 (const i64 -9223372036854775808))
      (v376 (icmp eq v321 v375))
      (condbr v376 (b55) (b56)))
    (block b55 ()
      (v377 (const i64 0))
      (v378 (call_host class_num::fold_error v377))
      (v379 (const i64 128))
      (br b6 v379))
    (block b56 ()
      (v380 (const i64 -9223372036854775807))
      (v381 (const i64 3))
      (v382 (icmp eq v321 v380))
      (v383 (select v382 v381 v11))
      (v384 (const i64 9223372036854775806))
      (v385 (const i64 2))
      (v386 (icmp eq v321 v384))
      (v387 (select v386 v385 v383))
      (v388 (const i64 9223372036854775807))
      (v389 (const i64 1))
      (v390 (icmp eq v321 v388))
      (v391 (select v390 v389 v387))
      (v392 (icmp ne v391 v11))
      (v393 (select v392 v11 v321))
      (v394 (const i64 2))
      (v395 (const i64 3))
      (v396 (icmp eq v391 v394))
      (v397 (icmp eq v391 v395))
      (v398 (select v396 v395 v391))
      (v399 (select v397 v394 v398))
      (v400 (const i64 1))
      (v401 (const i64 2))
      (v402 (const i64 2))
      (v403 (isub v11 v401))
      (v404 (icmp ult v403 v402))
      (v405 (isub v399 v401))
      (v406 (icmp ult v405 v402))
      (v407 (icmp eq v11 v11))
      (v408 (icmp eq v11 v400))
      (v409 (icmp eq v399 v400))
      (v410 (icmp ne v11 v399))
      (v411 (iand v404 v406))
      (v412 (iand v411 v410))
      (v413 (ior v408 v409))
      (v414 (ior v413 v412))
      (v415 (select v407 v399 v11))
      (v416 (select v406 v399 v415))
      (v417 (select v404 v11 v416))
      (v418 (select v414 v400 v417))
      (v419 (const i64 1))
      (v420 (const i64 2))
      (v421 (const i64 3))
      (v422 (icmp eq v372 v419))
      (v423 (icmp eq v418 v419))
      (v424 (ior v422 v423))
      (v425 (icmp eq v372 v11))
      (v426 (icmp eq v418 v11))
      (v427 (iand v425 v426))
      (v428 (icmp slt v314 v11))
      (v429 (icmp eq v314 v11))
      (v430 (icmp slt v336 v11))
      (v431 (icmp eq v336 v11))
      (v432 (icmp eq v372 v421))
      (v433 (icmp eq v418 v421))
      (v434 (select v425 v428 v432))
      (v435 (select v426 v430 v433))
      (v436 (iand v425 v429))
      (v437 (iand v426 v431))
      (v438 (ior v436 v437))
      (v439 (ixor v434 v435))
      (v440 (select v439 v421 v420))
      (v441 (select v438 v419 v440))
      (v442 (select v427 v11 v441))
      (v443 (select v424 v419 v442))
      (v444 (select v296 v443 v11))
      (v445 (select v297 v11 v444))
      (br b52 v445))
    (block b57 ()
      (v471 (icmp eq v205 v456))
      (v472 (icmp eq v453 v456))
      (v473 (select v471 v204 v11))
      (v474 (select v472 v452 v11))
      (v475 (const i64 1))
      (v476 (const i64 2))
      (v477 (const i64 2))
      (v478 (isub v473 v476))
      (v479 (icmp ult v478 v477))
      (v480 (isub v474 v476))
      (v481 (icmp ult v480 v477))
      (v482 (icmp eq v473 v11))
      (v483 (icmp eq v473 v475))
      (v484 (icmp eq v474 v475))
      (v485 (icmp ne v473 v474))
      (v486 (iand v479 v481))
      (v487 (iand v486 v485))
      (v488 (ior v483 v484))
      (v489 (ior v488 v487))
      (v490 (select v482 v474 v473))
      (v491 (select v481 v474 v490))
      (v492 (select v479 v473 v491))
      (v493 (select v489 v475 v492))
      (br b59 v493 v456))
    (block b58 ()
      (v461 (iadd v204 v452))
      (v462 (addhi v204 v452 v205 v453))
      (v463 (const i64 4611686018427387904))
      (v464 (const i64 -9223372036854775808))
      (v465 (iadd v462 v463))
      (v466 (icmp uge v465 v464))
      (v467 (const i64 4))
      (v468 (const i64 -9223372036854775808))
      (v469 (select v466 v467 v461))
      (v470 (select v466 v468 v462))
      (br b59 v469 v470))
    (block b59 ((v459 i64) (v460 i64))
      (v494 (smax v206 v454))
      (v495 (ior v313 v332))
      (condbr v495 (b60) (b61 v11)))
    (block b60 ()
      (v497 (const i64 -9223372036854775808))
      (v498 (icmp eq v302 v497))
      (condbr v498 (b62) (b63)))
    (block b61 ((v496 i64))
      (v585 (const i64 1))
      (v586 (const i64 63))
      (v587 (icmp ne v496 v11))
      (v588 (const i64 -9223372036854775808))
      (v589 (select v587 v496 v337))
      (v590 (select v587 v588 v338))
      (v591 (iadd v210 v585))
      (v592 (const i64 -9223372036854775808))
      (v593 (smin v209 v590))
      (v594 (icmp eq v593 v592))
      (condbr v594 (b66) (b67)))
    (block b62 ()
      (v499 (const i64 0))
      (v500 (call_host class_num::fold_error v499))
      (v501 (const i64 128))
      (br b6 v501))
    (block b63 ()
      (v502 (const i64 -9223372036854775807))
      (v503 (const i64 3))
      (v504 (icmp eq v302 v502))
      (v505 (select v504 v503 v11))
      (v506 (const i64 9223372036854775806))
      (v507 (const i64 2))
      (v508 (icmp eq v302 v506))
      (v509 (select v508 v507 v505))
      (v510 (const i64 9223372036854775807))
      (v511 (const i64 1))
      (v512 (icmp eq v302 v510))
      (v513 (select v512 v511 v509))
      (v514 (icmp ne v513 v11))
      (v515 (select v514 v11 v302))
      (v516 (const i64 -9223372036854775808))
      (v517 (icmp eq v321 v516))
      (condbr v517 (b64) (b65)))
    (block b64 ()
      (v518 (const i64 0))
      (v519 (call_host class_num::fold_error v518))
      (v520 (const i64 128))
      (br b6 v520))
    (block b65 ()
      (v521 (const i64 -9223372036854775807))
      (v522 (const i64 3))
      (v523 (icmp eq v321 v521))
      (v524 (select v523 v522 v11))
      (v525 (const i64 9223372036854775806))
      (v526 (const i64 2))
      (v527 (icmp eq v321 v525))
      (v528 (select v527 v526 v524))
      (v529 (const i64 9223372036854775807))
      (v530 (const i64 1))
      (v531 (icmp eq v321 v529))
      (v532 (select v531 v530 v528))
      (v533 (icmp ne v532 v11))
      (v534 (select v533 v11 v321))
      (v535 (const i64 2))
      (v536 (const i64 3))
      (v537 (icmp eq v532 v535))
      (v538 (icmp eq v532 v536))
      (v539 (select v537 v536 v532))
      (v540 (select v538 v535 v539))
      (v541 (const i64 1))
      (v542 (const i64 2))
      (v543 (const i64 2))
      (v544 (isub v11 v542))
      (v545 (icmp ult v544 v543))
      (v546 (isub v540 v542))
      (v547 (icmp ult v546 v543))
      (v548 (icmp eq v11 v11))
      (v549 (icmp eq v11 v541))
      (v550 (icmp eq v540 v541))
      (v551 (icmp ne v11 v540))
      (v552 (iand v545 v547))
      (v553 (iand v552 v551))
      (v554 (ior v549 v550))
      (v555 (ior v554 v553))
      (v556 (select v548 v540 v11))
      (v557 (select v547 v540 v556))
      (v558 (select v545 v11 v557))
      (v559 (select v555 v541 v558))
      (v560 (const i64 1))
      (v561 (const i64 2))
      (v562 (const i64 3))
      (v563 (icmp eq v513 v560))
      (v564 (icmp eq v559 v560))
      (v565 (ior v563 v564))
      (v566 (icmp eq v513 v11))
      (v567 (icmp eq v559 v11))
      (v568 (iand v566 v567))
      (v569 (icmp slt v314 v11))
      (v570 (icmp eq v314 v11))
      (v571 (icmp slt v336 v11))
      (v572 (icmp eq v336 v11))
      (v573 (icmp eq v513 v562))
      (v574 (icmp eq v559 v562))
      (v575 (select v566 v569 v573))
      (v576 (select v567 v571 v574))
      (v577 (iand v566 v570))
      (v578 (iand v567 v572))
      (v579 (ior v577 v578))
      (v580 (ixor v575 v576))
      (v581 (select v580 v562 v561))
      (v582 (select v579 v560 v581))
      (v583 (select v568 v11 v582))
      (v584 (select v565 v560 v583))
      (br b61 v584))
    (block b66 ()
      (v607 (icmp eq v209 v592))
      (v608 (icmp eq v590 v592))
      (v609 (select v607 v208 v11))
      (v610 (select v608 v589 v11))
      (v611 (const i64 1))
      (v612 (const i64 2))
      (v613 (const i64 2))
      (v614 (isub v609 v612))
      (v615 (icmp ult v614 v613))
      (v616 (isub v610 v612))
      (v617 (icmp ult v616 v613))
      (v618 (icmp eq v609 v11))
      (v619 (icmp eq v609 v611))
      (v620 (icmp eq v610 v611))
      (v621 (icmp ne v609 v610))
      (v622 (iand v615 v617))
      (v623 (iand v622 v621))
      (v624 (ior v619 v620))
      (v625 (ior v624 v623))
      (v626 (select v618 v610 v609))
      (v627 (select v617 v610 v626))
      (v628 (select v615 v609 v627))
      (v629 (select v625 v611 v628))
      (br b68 v629 v592))
    (block b67 ()
      (v597 (iadd v208 v589))
      (v598 (addhi v208 v589 v209 v590))
      (v599 (const i64 4611686018427387904))
      (v600 (const i64 -9223372036854775808))
      (v601 (iadd v598 v599))
      (v602 (icmp uge v601 v600))
      (v603 (const i64 4))
      (v604 (const i64 -9223372036854775808))
      (v605 (select v602 v603 v597))
      (v606 (select v602 v604 v598))
      (br b68 v605 v606))
    (block b68 ((v595 i64) (v596 i64))
      (v630 (iadd v203 v12))
      ((store v15 0 v11))
      (br b37 v630 v459 v460 v494 v455 v595 v596 v591))
    (block b69 ((v631 i64) (v632 i64) (v633 i64) (v634 i64) (v635 i64) (v636 i64) (v637 i64) (v638 i64) (v639 i64) (v640 i64))
      (v717 (icmp eq v631 v11))
      (condbr v717 (b77 v633 v634 v635 v636 v637 v638 v639 v640) (b78)))
    (block b70 ((v641 i64))
      (v708 (icmp ne v41 v642))
      (br b69 v641 v11 v203 v204 v205 v206 v207 v208 v209 v210))
    (block b71 ()
      (v673 (const i64 -7046029254386353131))
      (v674 (imul v233 v673))
      (v675 (const i64 64))
      (v676 (isub v675 v47))
      (v677 (ushr v674 v676))
      (v678 (const i64 0))
      (v679 (icmp eq v47 v678))
      (v680 (select v679 v678 v677))
      (v681 (ptr_add v44 v680 8 0))
      (v682 (load i64 v681 0))
      (v683 (const i64 281474976710655))
      (v684 (iand v682 v683))
      (v685 (icmp eq v684 v11))
      (v686 (const i64 32))
      (v687 (ushr v674 v686))
      (v688 (ixor v674 v687))
      (v689 (const i64 4294967295))
      (v690 (iand v688 v689))
      (v691 (const i64 15))
      (v692 (iand v690 v691))
      (v693 (const i64 48))
      (v694 (iadd v692 v693))
      (v695 (ushr v682 v694))
      (v696 (const i64 1))
      (v697 (iand v695 v696))
      (v698 (const i64 0))
      (v699 (icmp ne v697 v698))
      (v700 (const bool true))
      (v701 (ixor v699 v700))
      (v702 (ior v685 v701))
      (v703 (isub v684 v12))
      (v704 (const i64 24))
      (v705 (imul v703 v704))
      (v706 (iadd v54 v705))
      (v707 (select v702 v11 v706))
      (br b70 v707))
    (block b72 ()
      (v644 (isub v233 v48))
      (v645 (icmp ult v644 v51))
      (condbr v645 (b73) (b74 v11)))
    (block b73 ()
      (v647 (const i64 2))
      (v648 (icmp eq v41 v647))
      (condbr v648 (b75) (b76)))
    (block b74 ((v646 i64))
      (br b70 v646))
    (block b75 ()
      (v649 (const i64 6))
      (v650 (const i64 63))
      (v651 (ushr v644 v649))
      (v652 (ptr_add v44 v651 8 0))
      (v653 (load i64 v652 0))
      (v654 (iand v644 v650))
      (v655 (ushr v653 v654))
      (v656 (iand v655 v12))
      (v657 (icmp ne v656 v11))
      (v658 (const i64 16))
      (v659 (imul v644 v658))
      (v660 (ptrtoint v46))
      (v661 (iadd v660 v659))
      (v662 (const i64 8))
      (v663 (isub v661 v662))
      (v664 (select v657 v663 v11))
      (br b74 v664))
    (block b76 ()
      (v665 (ptr_add v44 v644 4 0))
      (v666 (loadz i32 v665 0))
      (v667 (isub v666 v12))
      (v668 (const i64 24))
      (v669 (imul v667 v668))
      (v670 (iadd v54 v669))
      (v671 (icmp eq v666 v11))
      (v672 (select v671 v11 v670))
      (br b74 v672))
    (block b77 ((v709 i64) (v710 i64) (v711 i64) (v712 i64) (v713 i64) (v714 i64) (v715 i64) (v716 i64))
      ((store v15 0 v11))
      (br b37 v709 v710 v711 v712 v713 v714 v715 v716))
    (block b78 ()
      (v718 (inttoptr v631))
      (v719 (load i64 v718 8))
      (v720 (const i64 4294967295))
      (v721 (iand v719 v720))
      (v722 (isub v721 v12))
      (v723 (const i64 24))
      (v724 (imul v722 v723))
      (v725 (iadd v54 v724))
      (v726 (icmp eq v721 v11))
      (v727 (select v726 v11 v725))
      (v728 (load i64 v718 0))
      (v729 (const bool true))
      (v730 (icmp eq v233 v728))
      (v731 (ior v730 v708))
      (v732 (iadd v632 v12))
      (condbr v731 (b79) (b69 v727 v632 v633 v634 v635 v636 v637 v638 v639 v640)))
    (block b79 ()
      (v733 (load i64 v15 0))
      (v734 (icmp slt v632 v733))
      (condbr v734 (b69 v727 v732 v633 v634 v635 v636 v637 v638 v639 v640) (b80)))
    (block b80 ()
      (v735 (const i64 1))
      (v736 (const i64 0))
      (v737 (load i64 v718 16))
      (v738 (const i64 32))
      (v739 (ushr v719 v738))
      (v740 (iand v739 v735))
      (v741 (icmp ne v740 v736))
      ((store v15 0 v732))
      (v742 (const bool true))
      (v743 (const bool true))
      (v744 (ixor v741 v743))
      (v745 (const bool true))
      (v746 (const bool false))
      (v747 (const i64 0))
      (v748 (ixor v744 v742))
      (v749 (const bool true))
      (v750 (const bool false))
      (v751 (const bool true))
      (v752 (const bool true))
      (v753 (ixor v748 v752))
      (v754 (load ptr v23 96))
      (v755 (const bool true))
      (v756 (const bool false))
      (v757 (const i64 0))
      (v758 (icmp ne v737 v757))
      (v759 (iand v758 v753))
      (v760 (ixor v759 v751))
      (v761 (const bool true))
      (v762 (const bool true))
      (v763 (const bool false))
      (v764 (const i64 0))
      (br b81))
    (block b81 ()
      (v766 (load ptr v0 352))
      (v767 (loadz i8 v766 49))
      (v768 (const i64 1))
      (v769 (icmp eq v767 v768))
      (v770 (load i64 v218 0))
      (condbr v769 (b82) (b83 v770)))
    (block b82 ()
      (v771 (const i64 2))
      (v772 (call_host rep_num_mantissa v770 v771))
      (br b83 v772))
    (block b83 ((v765 i64))
      (v773 (const i64 2))
      (v774 (const i64 -9223372036854775804))
      (v775 (iadd v765 v773))
      (v776 (icmp slt v775 v774))
      (v777 (select v776 v11 v765))
      (v778 (const bool true))
      (v779 (const bool true))
      (v780 (const i64 1))
      (v781 (const bool true))
      (v782 (const bool false))
      (v783 (const i64 0))
      (br b84))
    (block b84 ()
      (v785 (load ptr v0 352))
      (v786 (loadz i8 v785 81))
      (v787 (const i64 1))
      (v788 (icmp eq v786 v787))
      (v789 (load i64 v219 0))
      (condbr v788 (b85) (b86 v789)))
    (block b85 ()
      (v790 (const i64 2))
      (v791 (call_host rep_num_mantissa v789 v790))
      (br b86 v791))
    (block b86 ((v784 i64))
      (v792 (const i64 2))
      (v793 (const i64 -9223372036854775804))
      (v794 (iadd v784 v792))
      (v795 (icmp slt v794 v793))
      (v796 (select v795 v11 v784))
      (v797 (const i64 100))
      (v798 (imul v780 v797))
      (v799 (isub v798 v796))
      (v800 (imul v777 v799))
      (v801 (smulh v777 v799))
      (v802 (select v759 v800 v11))
      (v803 (select v759 v801 v11))
      (v804 (select v759 v762 v750))
      (v805 (const i64 4))
      (v806 (select v759 v805 v11))
      (v807 (const bool true))
      (v808 (const i64 0))
      (v809 (const i64 10000))
      (v810 (imul v808 v809))
      (v811 (smulh v808 v809))
      (v812 (select v760 v810 v802))
      (v813 (select v760 v811 v803))
      (v814 (select v760 v807 v804))
      (v815 (const i64 0))
      (v816 (select v760 v815 v806))
      (v817 (ior v776 v795))
      (condbr v817 (b87) (b88 v11)))
    (block b87 ()
      (v819 (const i64 -9223372036854775808))
      (v820 (icmp eq v765 v819))
      (condbr v820 (b89) (b90)))
    (block b88 ((v818 i64))
      (v909 (zext i64 v814))
      (v910 (const i64 63))
      (v911 (icmp ne v818 v11))
      (v912 (const i64 -9223372036854775808))
      (v913 (select v911 v818 v812))
      (v914 (select v911 v912 v813))
      (v915 (select v814 v913 v11))
      (v916 (select v814 v914 v11))
      (v917 (select v814 v816 v11))
      (v918 (iadd v637 v909))
      (v919 (const i64 -9223372036854775808))
      (v920 (smin v635 v916))
      (v921 (icmp eq v920 v919))
      (condbr v921 (b93) (b94)))
    (block b89 ()
      (v821 (const i64 0))
      (v822 (call_host class_num::fold_error v821))
      (v823 (const i64 128))
      (br b6 v823))
    (block b90 ()
      (v824 (const i64 -9223372036854775807))
      (v825 (const i64 3))
      (v826 (icmp eq v765 v824))
      (v827 (select v826 v825 v11))
      (v828 (const i64 9223372036854775806))
      (v829 (const i64 2))
      (v830 (icmp eq v765 v828))
      (v831 (select v830 v829 v827))
      (v832 (const i64 9223372036854775807))
      (v833 (const i64 1))
      (v834 (icmp eq v765 v832))
      (v835 (select v834 v833 v831))
      (v836 (icmp ne v835 v11))
      (v837 (select v836 v11 v765))
      (v838 (const i64 -9223372036854775808))
      (v839 (icmp eq v784 v838))
      (condbr v839 (b91) (b92)))
    (block b91 ()
      (v840 (const i64 0))
      (v841 (call_host class_num::fold_error v840))
      (v842 (const i64 128))
      (br b6 v842))
    (block b92 ()
      (v843 (const i64 -9223372036854775807))
      (v844 (const i64 3))
      (v845 (icmp eq v784 v843))
      (v846 (select v845 v844 v11))
      (v847 (const i64 9223372036854775806))
      (v848 (const i64 2))
      (v849 (icmp eq v784 v847))
      (v850 (select v849 v848 v846))
      (v851 (const i64 9223372036854775807))
      (v852 (const i64 1))
      (v853 (icmp eq v784 v851))
      (v854 (select v853 v852 v850))
      (v855 (icmp ne v854 v11))
      (v856 (select v855 v11 v784))
      (v857 (const i64 2))
      (v858 (const i64 3))
      (v859 (icmp eq v854 v857))
      (v860 (icmp eq v854 v858))
      (v861 (select v859 v858 v854))
      (v862 (select v860 v857 v861))
      (v863 (const i64 1))
      (v864 (const i64 2))
      (v865 (const i64 2))
      (v866 (isub v11 v864))
      (v867 (icmp ult v866 v865))
      (v868 (isub v862 v864))
      (v869 (icmp ult v868 v865))
      (v870 (icmp eq v11 v11))
      (v871 (icmp eq v11 v863))
      (v872 (icmp eq v862 v863))
      (v873 (icmp ne v11 v862))
      (v874 (iand v867 v869))
      (v875 (iand v874 v873))
      (v876 (ior v871 v872))
      (v877 (ior v876 v875))
      (v878 (select v870 v862 v11))
      (v879 (select v869 v862 v878))
      (v880 (select v867 v11 v879))
      (v881 (select v877 v863 v880))
      (v882 (const i64 1))
      (v883 (const i64 2))
      (v884 (const i64 3))
      (v885 (icmp eq v835 v882))
      (v886 (icmp eq v881 v882))
      (v887 (ior v885 v886))
      (v888 (icmp eq v835 v11))
      (v889 (icmp eq v881 v11))
      (v890 (iand v888 v889))
      (v891 (icmp slt v777 v11))
      (v892 (icmp eq v777 v11))
      (v893 (icmp slt v799 v11))
      (v894 (icmp eq v799 v11))
      (v895 (icmp eq v835 v884))
      (v896 (icmp eq v881 v884))
      (v897 (select v888 v891 v895))
      (v898 (select v889 v893 v896))
      (v899 (iand v888 v892))
      (v900 (iand v889 v894))
      (v901 (ior v899 v900))
      (v902 (ixor v897 v898))
      (v903 (select v902 v884 v883))
      (v904 (select v901 v882 v903))
      (v905 (select v890 v11 v904))
      (v906 (select v887 v882 v905))
      (v907 (select v759 v906 v11))
      (v908 (select v760 v11 v907))
      (br b88 v908))
    (block b93 ()
      (v934 (icmp eq v635 v919))
      (v935 (icmp eq v916 v919))
      (v936 (select v934 v634 v11))
      (v937 (select v935 v915 v11))
      (v938 (const i64 1))
      (v939 (const i64 2))
      (v940 (const i64 2))
      (v941 (isub v936 v939))
      (v942 (icmp ult v941 v940))
      (v943 (isub v937 v939))
      (v944 (icmp ult v943 v940))
      (v945 (icmp eq v936 v11))
      (v946 (icmp eq v936 v938))
      (v947 (icmp eq v937 v938))
      (v948 (icmp ne v936 v937))
      (v949 (iand v942 v944))
      (v950 (iand v949 v948))
      (v951 (ior v946 v947))
      (v952 (ior v951 v950))
      (v953 (select v945 v937 v936))
      (v954 (select v944 v937 v953))
      (v955 (select v942 v936 v954))
      (v956 (select v952 v938 v955))
      (br b95 v956 v919))
    (block b94 ()
      (v924 (iadd v634 v915))
      (v925 (addhi v634 v915 v635 v916))
      (v926 (const i64 4611686018427387904))
      (v927 (const i64 -9223372036854775808))
      (v928 (iadd v925 v926))
      (v929 (icmp uge v928 v927))
      (v930 (const i64 4))
      (v931 (const i64 -9223372036854775808))
      (v932 (select v929 v930 v924))
      (v933 (select v929 v931 v925))
      (br b95 v932 v933))
    (block b95 ((v922 i64) (v923 i64))
      (v957 (smax v636 v917))
      (v958 (ior v776 v795))
      (condbr v958 (b96) (b97 v11)))
    (block b96 ()
      (v960 (const i64 -9223372036854775808))
      (v961 (icmp eq v765 v960))
      (condbr v961 (b98) (b99)))
    (block b97 ((v959 i64))
      (v1048 (const i64 1))
      (v1049 (const i64 63))
      (v1050 (icmp ne v959 v11))
      (v1051 (const i64 -9223372036854775808))
      (v1052 (select v1050 v959 v800))
      (v1053 (select v1050 v1051 v801))
      (v1054 (iadd v640 v1048))
      (v1055 (const i64 -9223372036854775808))
      (v1056 (smin v639 v1053))
      (v1057 (icmp eq v1056 v1055))
      (condbr v1057 (b102) (b103)))
    (block b98 ()
      (v962 (const i64 0))
      (v963 (call_host class_num::fold_error v962))
      (v964 (const i64 128))
      (br b6 v964))
    (block b99 ()
      (v965 (const i64 -9223372036854775807))
      (v966 (const i64 3))
      (v967 (icmp eq v765 v965))
      (v968 (select v967 v966 v11))
      (v969 (const i64 9223372036854775806))
      (v970 (const i64 2))
      (v971 (icmp eq v765 v969))
      (v972 (select v971 v970 v968))
      (v973 (const i64 9223372036854775807))
      (v974 (const i64 1))
      (v975 (icmp eq v765 v973))
      (v976 (select v975 v974 v972))
      (v977 (icmp ne v976 v11))
      (v978 (select v977 v11 v765))
      (v979 (const i64 -9223372036854775808))
      (v980 (icmp eq v784 v979))
      (condbr v980 (b100) (b101)))
    (block b100 ()
      (v981 (const i64 0))
      (v982 (call_host class_num::fold_error v981))
      (v983 (const i64 128))
      (br b6 v983))
    (block b101 ()
      (v984 (const i64 -9223372036854775807))
      (v985 (const i64 3))
      (v986 (icmp eq v784 v984))
      (v987 (select v986 v985 v11))
      (v988 (const i64 9223372036854775806))
      (v989 (const i64 2))
      (v990 (icmp eq v784 v988))
      (v991 (select v990 v989 v987))
      (v992 (const i64 9223372036854775807))
      (v993 (const i64 1))
      (v994 (icmp eq v784 v992))
      (v995 (select v994 v993 v991))
      (v996 (icmp ne v995 v11))
      (v997 (select v996 v11 v784))
      (v998 (const i64 2))
      (v999 (const i64 3))
      (v1000 (icmp eq v995 v998))
      (v1001 (icmp eq v995 v999))
      (v1002 (select v1000 v999 v995))
      (v1003 (select v1001 v998 v1002))
      (v1004 (const i64 1))
      (v1005 (const i64 2))
      (v1006 (const i64 2))
      (v1007 (isub v11 v1005))
      (v1008 (icmp ult v1007 v1006))
      (v1009 (isub v1003 v1005))
      (v1010 (icmp ult v1009 v1006))
      (v1011 (icmp eq v11 v11))
      (v1012 (icmp eq v11 v1004))
      (v1013 (icmp eq v1003 v1004))
      (v1014 (icmp ne v11 v1003))
      (v1015 (iand v1008 v1010))
      (v1016 (iand v1015 v1014))
      (v1017 (ior v1012 v1013))
      (v1018 (ior v1017 v1016))
      (v1019 (select v1011 v1003 v11))
      (v1020 (select v1010 v1003 v1019))
      (v1021 (select v1008 v11 v1020))
      (v1022 (select v1018 v1004 v1021))
      (v1023 (const i64 1))
      (v1024 (const i64 2))
      (v1025 (const i64 3))
      (v1026 (icmp eq v976 v1023))
      (v1027 (icmp eq v1022 v1023))
      (v1028 (ior v1026 v1027))
      (v1029 (icmp eq v976 v11))
      (v1030 (icmp eq v1022 v11))
      (v1031 (iand v1029 v1030))
      (v1032 (icmp slt v777 v11))
      (v1033 (icmp eq v777 v11))
      (v1034 (icmp slt v799 v11))
      (v1035 (icmp eq v799 v11))
      (v1036 (icmp eq v976 v1025))
      (v1037 (icmp eq v1022 v1025))
      (v1038 (select v1029 v1032 v1036))
      (v1039 (select v1030 v1034 v1037))
      (v1040 (iand v1029 v1033))
      (v1041 (iand v1030 v1035))
      (v1042 (ior v1040 v1041))
      (v1043 (ixor v1038 v1039))
      (v1044 (select v1043 v1025 v1024))
      (v1045 (select v1042 v1023 v1044))
      (v1046 (select v1031 v11 v1045))
      (v1047 (select v1028 v1023 v1046))
      (br b97 v1047))
    (block b102 ()
      (v1070 (icmp eq v639 v1055))
      (v1071 (icmp eq v1053 v1055))
      (v1072 (select v1070 v638 v11))
      (v1073 (select v1071 v1052 v11))
      (v1074 (const i64 1))
      (v1075 (const i64 2))
      (v1076 (const i64 2))
      (v1077 (isub v1072 v1075))
      (v1078 (icmp ult v1077 v1076))
      (v1079 (isub v1073 v1075))
      (v1080 (icmp ult v1079 v1076))
      (v1081 (icmp eq v1072 v11))
      (v1082 (icmp eq v1072 v1074))
      (v1083 (icmp eq v1073 v1074))
      (v1084 (icmp ne v1072 v1073))
      (v1085 (iand v1078 v1080))
      (v1086 (iand v1085 v1084))
      (v1087 (ior v1082 v1083))
      (v1088 (ior v1087 v1086))
      (v1089 (select v1081 v1073 v1072))
      (v1090 (select v1080 v1073 v1089))
      (v1091 (select v1078 v1072 v1090))
      (v1092 (select v1088 v1074 v1091))
      (br b104 v1092 v1055))
    (block b103 ()
      (v1060 (iadd v638 v1052))
      (v1061 (addhi v638 v1052 v639 v1053))
      (v1062 (const i64 4611686018427387904))
      (v1063 (const i64 -9223372036854775808))
      (v1064 (iadd v1061 v1062))
      (v1065 (icmp uge v1064 v1063))
      (v1066 (const i64 4))
      (v1067 (const i64 -9223372036854775808))
      (v1068 (select v1065 v1066 v1060))
      (v1069 (select v1065 v1067 v1061))
      (br b104 v1068 v1069))
    (block b104 ((v1058 i64) (v1059 i64))
      (v1093 (iadd v633 v12))
      (br b69 v727 v732 v1093 v922 v923 v957 v918 v1058 v1059 v1054))
    (block b105 ((v1125 i64) (v1126 i64) (v1127 i64) (v1128 i64) (v1129 i64) (v1130 i64) (v1131 i64) (v1132 i64) (v1133 i64))
      (v1143 (const i64 64))
      (v1144 (iadd v1125 v1143))
      (v1145 (icmp sle v1144 v71))
      (condbr v1145 (b108) (b107 v1125 v1126 v1127 v1128 v1129 v1130 v1131 v1132 v1133)))
    (block b106 ()
      (v2221 (iand v1123 v68))
      (condbr v2221 (b197 v63 v11 v138 v138 v138 v138 v139 v139 v139) (b21 v63 v11 v138 v138 v138 v138 v139 v139 v139)))
    (block b107 ((v1134 i64) (v1135 i64) (v1136 i64) (v1137 i64) (v1138 i64) (v1139 i64) (v1140 i64) (v1141 i64) (v1142 i64))
      (v4316 (isub v71 v1134))
      (v4317 (shl v12 v4316))
      (v4318 (isub v4317 v12))
      (v4319 (icmp eq v4318 v11))
      (condbr v4319 (b364) (b363)))
    (block b108 ()
      (v1146 (const i64 -1))
      (v1147 (const i64 10))
      (v1148 (ushr v1125 v1147))
      (v1149 (ptr_add v98 v1148 40 8))
      (v1150 (load ptr v1149 0))
      (v1151 (load i64 v1149 8))
      (v1152 (load i64 v1149 16))
      (v1153 (load i64 v1149 24))
      (v1154 (load i64 v1149 32))
      (v1155 (isub v1125 v1154))
      (v1156 (imul v1155 v1151))
      (v1157 (ptr_add v1150 v1156 1 0))
      (v1158 (const i64 1))
      (v1159 (const i64 0))
      (v1160 (const bool false))
      (v1161 (const i64 -9223372036854775808))
      (v1162 (const i64 9223372036854775807))
      (v1163 (icmp eq v108 v1161))
      (v1164 (isub v108 v1158))
      (v1165 (icmp slt v105 v1152))
      (v1166 (icmp sgt v1164 v1153))
      (v1167 (select v1165 v1152 v105))
      (v1168 (select v1166 v1153 v1164))
      (v1169 (icmp sle v105 v1152))
      (v1170 (icmp sge v1164 v1153))
      (v1171 (icmp sgt v1167 v1168))
      (v1172 (ior v1171 v107))
      (v1173 (ior v1172 v110))
      (v1174 (ior v1173 v1163))
      (v1175 (iand v1169 v1170))
      (v1176 (icmp eq v1151 v1159))
      (v1177 (icmp sge v1164 v1152))
      (v1178 (iand v1169 v1177))
      (v1179 (select v1176 v1178 v1175))
      (v1180 (select v1178 v1160 v1176))
      (v1181 (ior v1174 v1180))
      (v1182 (select v1181 v1160 v1179))
      (v1183 (isub v1167 v1152))
      (v1184 (isub v1168 v1167))
      (v1185 (const i64 0))
      (v1186 (const i64 1))
      (v1187 (const i64 -1))
      (v1188 (ior v1181 v1182))
      (v1189 (select v1182 v1187 v1185))
      (condbr v1188 (b112 v1189) (b109)))
    (block b109 ()
      (v1191 (icmp eq v1151 v1186))
      (condbr v1191 (b110) (b111)))
    (block b110 ()
      (v1192 (itrunc i8 v1184))
      (v1193 (vsplat v16i8 v1192))
      (v1194 (itrunc i8 v1183))
      (v1195 (vsplat v16i8 v1194))
      (v1196 (const i64 0))
      (v1197 (vload v16i8 v1157 0 unaligned))
      (v1198 (vsub v1197 v1195))
      (v1199 (vcmp ule v1198 v1193))
      (v1200 (vmovmask v1199))
      (v1201 (vload v16i8 v1157 16 unaligned))
      (v1202 (vsub v1201 v1195))
      (v1203 (vcmp ule v1202 v1193))
      (v1204 (vmovmask v1203))
      (v1205 (const i64 16))
      (v1206 (shl v1204 v1205))
      (v1207 (ior v1200 v1206))
      (v1208 (vload v16i8 v1157 32 unaligned))
      (v1209 (vsub v1208 v1195))
      (v1210 (vcmp ule v1209 v1193))
      (v1211 (vmovmask v1210))
      (v1212 (const i64 32))
      (v1213 (shl v1211 v1212))
      (v1214 (ior v1207 v1213))
      (v1215 (vload v16i8 v1157 48 unaligned))
      (v1216 (vsub v1215 v1195))
      (v1217 (vcmp ule v1216 v1193))
      (v1218 (vmovmask v1217))
      (v1219 (const i64 48))
      (v1220 (shl v1218 v1219))
      (v1221 (ior v1214 v1220))
      (br b112 v1221))
    (block b111 ()
      (v1222 (itrunc i16 v1184))
      (v1223 (vsplat v8i16 v1222))
      (v1224 (itrunc i16 v1183))
      (v1225 (vsplat v8i16 v1224))
      (v1226 (const i64 0))
      (v1227 (vload v8i16 v1157 0 unaligned))
      (v1228 (vsub v1227 v1225))
      (v1229 (vcmp ule v1228 v1223))
      (v1230 (vmovmask v1229))
      (v1231 (vload v8i16 v1157 16 unaligned))
      (v1232 (vsub v1231 v1225))
      (v1233 (vcmp ule v1232 v1223))
      (v1234 (vmovmask v1233))
      (v1235 (const i64 8))
      (v1236 (shl v1234 v1235))
      (v1237 (ior v1230 v1236))
      (v1238 (vload v8i16 v1157 32 unaligned))
      (v1239 (vsub v1238 v1225))
      (v1240 (vcmp ule v1239 v1223))
      (v1241 (vmovmask v1240))
      (v1242 (const i64 16))
      (v1243 (shl v1241 v1242))
      (v1244 (ior v1237 v1243))
      (v1245 (vload v8i16 v1157 48 unaligned))
      (v1246 (vsub v1245 v1225))
      (v1247 (vcmp ule v1246 v1223))
      (v1248 (vmovmask v1247))
      (v1249 (const i64 24))
      (v1250 (shl v1248 v1249))
      (v1251 (ior v1244 v1250))
      (v1252 (vload v8i16 v1157 64 unaligned))
      (v1253 (vsub v1252 v1225))
      (v1254 (vcmp ule v1253 v1223))
      (v1255 (vmovmask v1254))
      (v1256 (const i64 32))
      (v1257 (shl v1255 v1256))
      (v1258 (ior v1251 v1257))
      (v1259 (vload v8i16 v1157 80 unaligned))
      (v1260 (vsub v1259 v1225))
      (v1261 (vcmp ule v1260 v1223))
      (v1262 (vmovmask v1261))
      (v1263 (const i64 40))
      (v1264 (shl v1262 v1263))
      (v1265 (ior v1258 v1264))
      (v1266 (vload v8i16 v1157 96 unaligned))
      (v1267 (vsub v1266 v1225))
      (v1268 (vcmp ule v1267 v1223))
      (v1269 (vmovmask v1268))
      (v1270 (const i64 48))
      (v1271 (shl v1269 v1270))
      (v1272 (ior v1265 v1271))
      (v1273 (vload v8i16 v1157 112 unaligned))
      (v1274 (vsub v1273 v1225))
      (v1275 (vcmp ule v1274 v1223))
      (v1276 (vmovmask v1275))
      (v1277 (const i64 56))
      (v1278 (shl v1276 v1277))
      (v1279 (ior v1272 v1278))
      (br b112 v1279))
    (block b112 ((v1190 i64))
      (v1280 (iand v1190 v1146))
      (v1281 (icmp eq v1280 v11))
      (condbr v1281 (b114) (b113)))
    (block b113 ()
      (v1282 (stack_addr 3))
      (br b115 v1280 v11))
    (block b114 ()
      (v1313 (icmp ne v1280 v11))
      (condbr v1313 (b122) (b105 v1144 v1126 v1127 v1128 v1129 v1130 v1131 v1132 v1133)))
    (block b115 ((v1283 i64) (v1284 i64))
      (v1286 (icmp eq v1283 v11))
      (condbr v1286 (b117 v1284) (b116)))
    (block b116 ()
      (v1287 (ctz v1283))
      (v1288 (iadd v1125 v1287))
      (v1289 (itrunc i32 v1288))
      (v1290 (ptr_add v1282 v1284 4 0))
      ((store v1290 0 v1289))
      (v1291 (isub v1283 v12))
      (v1292 (iand v1283 v1291))
      (v1293 (iadd v1284 v12))
      (br b115 v1292 v1293))
    (block b117 ((v1285 i64))
      (v1294 (load ptr v0 400))
      (v1295 (load i32 v0 452))
      ((store v0 400 v1282))
      (v1296 (itrunc i32 v1285))
      ((store v0 452 v1296))
      (v1297 (const i64 1))
      (v1298 (const i64 0))
      (v1299 (call_host lane_fill v0 v1297 v1298))
      (v1300 (icmp slt v1299 v11))
      (condbr v1300 (b8 v1299) (b118)))
    (block b118 ()
      (v1301 (const i64 1))
      (v1302 (const i64 1))
      (v1303 (call_host lane_fill v0 v1301 v1302))
      (v1304 (icmp slt v1303 v11))
      (condbr v1304 (b8 v1303) (b119)))
    (block b119 ()
      (v1305 (const i64 1))
      (v1306 (const i64 2))
      (v1307 (call_host lane_fill v0 v1305 v1306))
      (v1308 (icmp slt v1307 v11))
      (condbr v1308 (b8 v1307) (b120)))
    (block b120 ()
      (v1309 (const i64 1))
      (v1310 (const i64 3))
      (v1311 (call_host lane_fill v0 v1309 v1310))
      (v1312 (icmp slt v1311 v11))
      (condbr v1312 (b8 v1311) (b121)))
    (block b121 ()
      ((store v0 400 v1294))
      ((store v0 452 v1295))
      (br b114))
    (block b122 ()
      (v1314 (const i64 -1))
      (v1315 (icmp eq v1280 v1314))
      (v1316 (const i64 64))
      (v1317 (iadd v1125 v1316))
      (v1318 (ctz v1280))
      (v1319 (iadd v1125 v1318))
      (v1320 (isub v1280 v12))
      (v1321 (iand v1280 v1320))
      (br b123 v1319 v1321 v1126 v1127 v1128 v1129 v1130 v1131 v1132 v1133))
    (block b123 ((v1322 i64) (v1323 i64) (v1324 i64) (v1325 i64) (v1326 i64) (v1327 i64) (v1328 i64) (v1329 i64) (v1330 i64) (v1331 i64))
      (v1332 (iadd v1322 v12))
      (condbr v68 (b125 v1322) (b124)))
    (block b124 ()
      (v1334 (ptr_add v66 v1322 4 0))
      (v1335 (load i32 v1334 0))
      (v1336 (zext i64 v1335))
      (br b125 v1336))
    (block b125 ((v1333 i64))
      (v1337 (ptr_add v73 v1333 4 0))
      (v1338 (ptr_add v77 v1333 8 0))
      (v1339 (ptr_add v81 v1333 8 0))
      (v1340 (ptr_add v85 v1333 4 0))
      (v1341 (const bool true))
      (v1350 (const bool true))
      (v1351 (const bool false))
      (v1352 (load i32 v1337 0))
      (v1353 (sext i64 v1352))
      (v1354 (const i64 0))
      (v1355 (const i64 5))
      (v1356 (icmp eq v41 v1355))
      (condbr v1356 (b127) (b131)))
    (block b126 ((v1342 i64) (v1343 i64) (v1344 i64) (v1345 i64) (v1346 i64) (v1347 i64) (v1348 i64) (v1349 i64))
      (condbr v1315 (b194) (b195)))
    (block b127 ()
      (v1357 (isub v1353 v48))
      (v1358 (icmp ult v1357 v51))
      (condbr v1358 (b132) (b133 v11)))
    (block b128 ()
      (v1388 (load i64 v15 0))
      (v1389 (icmp sgt v1388 v11))
      (condbr v1389 (b129) (b130)))
    (block b129 ()
      ((store v15 0 v11))
      (br b126 v1324 v1325 v1326 v1327 v1328 v1329 v1330 v1331))
    (block b130 ()
      (v1390 (inttoptr v1359))
      (v1391 (load i64 v1390 8))
      (v1392 (const i64 1))
      (v1393 (const i64 0))
      (v1394 (load i64 v1390 16))
      (v1395 (const i64 32))
      (v1396 (ushr v1391 v1395))
      (v1397 (iand v1396 v1392))
      (v1398 (icmp ne v1397 v1393))
      ((store v15 0 v12))
      (v1399 (const bool true))
      (v1400 (const bool true))
      (v1401 (ixor v1398 v1400))
      (v1402 (const bool true))
      (v1403 (const bool false))
      (v1404 (const i64 0))
      (v1405 (ixor v1401 v1399))
      (v1406 (const bool true))
      (v1407 (const bool false))
      (v1408 (const bool true))
      (v1409 (const bool true))
      (v1410 (ixor v1405 v1409))
      (v1411 (load ptr v23 96))
      (v1412 (const bool true))
      (v1413 (const bool false))
      (v1414 (const i64 0))
      (v1415 (icmp ne v1394 v1414))
      (v1416 (iand v1415 v1410))
      (v1417 (ixor v1416 v1408))
      (v1418 (const bool true))
      (v1419 (const bool true))
      (v1420 (const bool false))
      (v1421 (const i64 0))
      (br b134))
    (block b131 ()
      (v1762 (const i64 1))
      (v1763 (icmp eq v41 v1762))
      (condbr v1763 (b160) (b161)))
    (block b132 ()
      (v1360 (const i64 6))
      (v1361 (const i64 63))
      (v1362 (ushr v1357 v1360))
      (v1363 (iand v1357 v1361))
      (v1364 (ptrtoint v44))
      (v1365 (ptrtoint v46))
      (v1366 (isub v1365 v1364))
      (v1367 (ptr_add v44 v1362 8 0))
      (v1368 (load i64 v1367 0))
      (v1369 (ushr v1368 v1363))
      (v1370 (iand v1369 v12))
      (v1371 (stack_addr 4))
      ((store v1371 0 v1353))
      (v1372 (ptr_add v44 v1366 1 0))
      (v1373 (ptr_add v1372 v1362 8 0))
      (v1374 (load i64 v1373 0))
      (v1375 (ushr v1374 v1363))
      (v1376 (iand v1375 v12))
      (v1377 (ptr_add v44 v1366 2 0))
      (v1378 (ptr_add v1377 v1362 8 0))
      (v1379 (load i64 v1378 0))
      (v1380 (ushr v1379 v1363))
      (v1381 (iand v1380 v12))
      (v1382 (const i64 32))
      ((store v1371 16 v1376))
      (v1383 (shl v1381 v1382))
      ((store v1371 8 v1383))
      (v1384 (ptrtoint v1371))
      (v1385 (icmp ne v1370 v11))
      (v1386 (select v1385 v1384 v11))
      (br b133 v1386))
    (block b133 ((v1359 i64))
      (v1387 (icmp eq v1359 v11))
      (condbr v1387 (b126 v1324 v1325 v1326 v1327 v1328 v1329 v1330 v1331) (b128)))
    (block b134 ()
      (v1423 (load ptr v0 352))
      (v1424 (loadz i8 v1423 49))
      (v1425 (const i64 1))
      (v1426 (icmp eq v1424 v1425))
      (v1427 (load i64 v1338 0))
      (condbr v1426 (b135) (b136 v1427)))
    (block b135 ()
      (v1428 (const i64 2))
      (v1429 (call_host rep_num_mantissa v1427 v1428))
      (br b136 v1429))
    (block b136 ((v1422 i64))
      (v1430 (const i64 2))
      (v1431 (const i64 -9223372036854775804))
      (v1432 (iadd v1422 v1430))
      (v1433 (icmp slt v1432 v1431))
      (v1434 (select v1433 v11 v1422))
      (v1435 (const bool true))
      (v1436 (const bool true))
      (v1437 (const i64 1))
      (v1438 (const bool true))
      (v1439 (const bool false))
      (v1440 (const i64 0))
      (br b137))
    (block b137 ()
      (v1442 (load ptr v0 352))
      (v1443 (loadz i8 v1442 81))
      (v1444 (const i64 1))
      (v1445 (icmp eq v1443 v1444))
      (v1446 (load i64 v1339 0))
      (condbr v1445 (b138) (b139 v1446)))
    (block b138 ()
      (v1447 (const i64 2))
      (v1448 (call_host rep_num_mantissa v1446 v1447))
      (br b139 v1448))
    (block b139 ((v1441 i64))
      (v1449 (const i64 2))
      (v1450 (const i64 -9223372036854775804))
      (v1451 (iadd v1441 v1449))
      (v1452 (icmp slt v1451 v1450))
      (v1453 (select v1452 v11 v1441))
      (v1454 (const i64 100))
      (v1455 (imul v1437 v1454))
      (v1456 (isub v1455 v1453))
      (v1457 (imul v1434 v1456))
      (v1458 (smulh v1434 v1456))
      (v1459 (select v1416 v1457 v11))
      (v1460 (select v1416 v1458 v11))
      (v1461 (select v1416 v1419 v1407))
      (v1462 (const i64 4))
      (v1463 (select v1416 v1462 v11))
      (v1464 (const bool true))
      (v1465 (const i64 0))
      (v1466 (const i64 10000))
      (v1467 (imul v1465 v1466))
      (v1468 (smulh v1465 v1466))
      (v1469 (select v1417 v1467 v1459))
      (v1470 (select v1417 v1468 v1460))
      (v1471 (select v1417 v1464 v1461))
      (v1472 (const i64 0))
      (v1473 (select v1417 v1472 v1463))
      (v1474 (ior v1433 v1452))
      (condbr v1474 (b140) (b141 v11)))
    (block b140 ()
      (v1476 (const i64 -9223372036854775808))
      (v1477 (icmp eq v1422 v1476))
      (condbr v1477 (b142) (b143)))
    (block b141 ((v1475 i64))
      (v1566 (zext i64 v1471))
      (v1567 (const i64 63))
      (v1568 (icmp ne v1475 v11))
      (v1569 (const i64 -9223372036854775808))
      (v1570 (select v1568 v1475 v1469))
      (v1571 (select v1568 v1569 v1470))
      (v1572 (select v1471 v1570 v11))
      (v1573 (select v1471 v1571 v11))
      (v1574 (select v1471 v1473 v11))
      (v1575 (iadd v1328 v1566))
      (v1576 (const i64 -9223372036854775808))
      (v1577 (smin v1326 v1573))
      (v1578 (icmp eq v1577 v1576))
      (condbr v1578 (b146) (b147)))
    (block b142 ()
      (v1478 (const i64 0))
      (v1479 (call_host class_num::fold_error v1478))
      (v1480 (const i64 128))
      (br b6 v1480))
    (block b143 ()
      (v1481 (const i64 -9223372036854775807))
      (v1482 (const i64 3))
      (v1483 (icmp eq v1422 v1481))
      (v1484 (select v1483 v1482 v11))
      (v1485 (const i64 9223372036854775806))
      (v1486 (const i64 2))
      (v1487 (icmp eq v1422 v1485))
      (v1488 (select v1487 v1486 v1484))
      (v1489 (const i64 9223372036854775807))
      (v1490 (const i64 1))
      (v1491 (icmp eq v1422 v1489))
      (v1492 (select v1491 v1490 v1488))
      (v1493 (icmp ne v1492 v11))
      (v1494 (select v1493 v11 v1422))
      (v1495 (const i64 -9223372036854775808))
      (v1496 (icmp eq v1441 v1495))
      (condbr v1496 (b144) (b145)))
    (block b144 ()
      (v1497 (const i64 0))
      (v1498 (call_host class_num::fold_error v1497))
      (v1499 (const i64 128))
      (br b6 v1499))
    (block b145 ()
      (v1500 (const i64 -9223372036854775807))
      (v1501 (const i64 3))
      (v1502 (icmp eq v1441 v1500))
      (v1503 (select v1502 v1501 v11))
      (v1504 (const i64 9223372036854775806))
      (v1505 (const i64 2))
      (v1506 (icmp eq v1441 v1504))
      (v1507 (select v1506 v1505 v1503))
      (v1508 (const i64 9223372036854775807))
      (v1509 (const i64 1))
      (v1510 (icmp eq v1441 v1508))
      (v1511 (select v1510 v1509 v1507))
      (v1512 (icmp ne v1511 v11))
      (v1513 (select v1512 v11 v1441))
      (v1514 (const i64 2))
      (v1515 (const i64 3))
      (v1516 (icmp eq v1511 v1514))
      (v1517 (icmp eq v1511 v1515))
      (v1518 (select v1516 v1515 v1511))
      (v1519 (select v1517 v1514 v1518))
      (v1520 (const i64 1))
      (v1521 (const i64 2))
      (v1522 (const i64 2))
      (v1523 (isub v11 v1521))
      (v1524 (icmp ult v1523 v1522))
      (v1525 (isub v1519 v1521))
      (v1526 (icmp ult v1525 v1522))
      (v1527 (icmp eq v11 v11))
      (v1528 (icmp eq v11 v1520))
      (v1529 (icmp eq v1519 v1520))
      (v1530 (icmp ne v11 v1519))
      (v1531 (iand v1524 v1526))
      (v1532 (iand v1531 v1530))
      (v1533 (ior v1528 v1529))
      (v1534 (ior v1533 v1532))
      (v1535 (select v1527 v1519 v11))
      (v1536 (select v1526 v1519 v1535))
      (v1537 (select v1524 v11 v1536))
      (v1538 (select v1534 v1520 v1537))
      (v1539 (const i64 1))
      (v1540 (const i64 2))
      (v1541 (const i64 3))
      (v1542 (icmp eq v1492 v1539))
      (v1543 (icmp eq v1538 v1539))
      (v1544 (ior v1542 v1543))
      (v1545 (icmp eq v1492 v11))
      (v1546 (icmp eq v1538 v11))
      (v1547 (iand v1545 v1546))
      (v1548 (icmp slt v1434 v11))
      (v1549 (icmp eq v1434 v11))
      (v1550 (icmp slt v1456 v11))
      (v1551 (icmp eq v1456 v11))
      (v1552 (icmp eq v1492 v1541))
      (v1553 (icmp eq v1538 v1541))
      (v1554 (select v1545 v1548 v1552))
      (v1555 (select v1546 v1550 v1553))
      (v1556 (iand v1545 v1549))
      (v1557 (iand v1546 v1551))
      (v1558 (ior v1556 v1557))
      (v1559 (ixor v1554 v1555))
      (v1560 (select v1559 v1541 v1540))
      (v1561 (select v1558 v1539 v1560))
      (v1562 (select v1547 v11 v1561))
      (v1563 (select v1544 v1539 v1562))
      (v1564 (select v1416 v1563 v11))
      (v1565 (select v1417 v11 v1564))
      (br b141 v1565))
    (block b146 ()
      (v1591 (icmp eq v1326 v1576))
      (v1592 (icmp eq v1573 v1576))
      (v1593 (select v1591 v1325 v11))
      (v1594 (select v1592 v1572 v11))
      (v1595 (const i64 1))
      (v1596 (const i64 2))
      (v1597 (const i64 2))
      (v1598 (isub v1593 v1596))
      (v1599 (icmp ult v1598 v1597))
      (v1600 (isub v1594 v1596))
      (v1601 (icmp ult v1600 v1597))
      (v1602 (icmp eq v1593 v11))
      (v1603 (icmp eq v1593 v1595))
      (v1604 (icmp eq v1594 v1595))
      (v1605 (icmp ne v1593 v1594))
      (v1606 (iand v1599 v1601))
      (v1607 (iand v1606 v1605))
      (v1608 (ior v1603 v1604))
      (v1609 (ior v1608 v1607))
      (v1610 (select v1602 v1594 v1593))
      (v1611 (select v1601 v1594 v1610))
      (v1612 (select v1599 v1593 v1611))
      (v1613 (select v1609 v1595 v1612))
      (br b148 v1613 v1576))
    (block b147 ()
      (v1581 (iadd v1325 v1572))
      (v1582 (addhi v1325 v1572 v1326 v1573))
      (v1583 (const i64 4611686018427387904))
      (v1584 (const i64 -9223372036854775808))
      (v1585 (iadd v1582 v1583))
      (v1586 (icmp uge v1585 v1584))
      (v1587 (const i64 4))
      (v1588 (const i64 -9223372036854775808))
      (v1589 (select v1586 v1587 v1581))
      (v1590 (select v1586 v1588 v1582))
      (br b148 v1589 v1590))
    (block b148 ((v1579 i64) (v1580 i64))
      (v1614 (smax v1327 v1574))
      (v1615 (ior v1433 v1452))
      (condbr v1615 (b149) (b150 v11)))
    (block b149 ()
      (v1617 (const i64 -9223372036854775808))
      (v1618 (icmp eq v1422 v1617))
      (condbr v1618 (b151) (b152)))
    (block b150 ((v1616 i64))
      (v1705 (const i64 1))
      (v1706 (const i64 63))
      (v1707 (icmp ne v1616 v11))
      (v1708 (const i64 -9223372036854775808))
      (v1709 (select v1707 v1616 v1457))
      (v1710 (select v1707 v1708 v1458))
      (v1711 (iadd v1331 v1705))
      (v1712 (const i64 -9223372036854775808))
      (v1713 (smin v1330 v1710))
      (v1714 (icmp eq v1713 v1712))
      (condbr v1714 (b155) (b156)))
    (block b151 ()
      (v1619 (const i64 0))
      (v1620 (call_host class_num::fold_error v1619))
      (v1621 (const i64 128))
      (br b6 v1621))
    (block b152 ()
      (v1622 (const i64 -9223372036854775807))
      (v1623 (const i64 3))
      (v1624 (icmp eq v1422 v1622))
      (v1625 (select v1624 v1623 v11))
      (v1626 (const i64 9223372036854775806))
      (v1627 (const i64 2))
      (v1628 (icmp eq v1422 v1626))
      (v1629 (select v1628 v1627 v1625))
      (v1630 (const i64 9223372036854775807))
      (v1631 (const i64 1))
      (v1632 (icmp eq v1422 v1630))
      (v1633 (select v1632 v1631 v1629))
      (v1634 (icmp ne v1633 v11))
      (v1635 (select v1634 v11 v1422))
      (v1636 (const i64 -9223372036854775808))
      (v1637 (icmp eq v1441 v1636))
      (condbr v1637 (b153) (b154)))
    (block b153 ()
      (v1638 (const i64 0))
      (v1639 (call_host class_num::fold_error v1638))
      (v1640 (const i64 128))
      (br b6 v1640))
    (block b154 ()
      (v1641 (const i64 -9223372036854775807))
      (v1642 (const i64 3))
      (v1643 (icmp eq v1441 v1641))
      (v1644 (select v1643 v1642 v11))
      (v1645 (const i64 9223372036854775806))
      (v1646 (const i64 2))
      (v1647 (icmp eq v1441 v1645))
      (v1648 (select v1647 v1646 v1644))
      (v1649 (const i64 9223372036854775807))
      (v1650 (const i64 1))
      (v1651 (icmp eq v1441 v1649))
      (v1652 (select v1651 v1650 v1648))
      (v1653 (icmp ne v1652 v11))
      (v1654 (select v1653 v11 v1441))
      (v1655 (const i64 2))
      (v1656 (const i64 3))
      (v1657 (icmp eq v1652 v1655))
      (v1658 (icmp eq v1652 v1656))
      (v1659 (select v1657 v1656 v1652))
      (v1660 (select v1658 v1655 v1659))
      (v1661 (const i64 1))
      (v1662 (const i64 2))
      (v1663 (const i64 2))
      (v1664 (isub v11 v1662))
      (v1665 (icmp ult v1664 v1663))
      (v1666 (isub v1660 v1662))
      (v1667 (icmp ult v1666 v1663))
      (v1668 (icmp eq v11 v11))
      (v1669 (icmp eq v11 v1661))
      (v1670 (icmp eq v1660 v1661))
      (v1671 (icmp ne v11 v1660))
      (v1672 (iand v1665 v1667))
      (v1673 (iand v1672 v1671))
      (v1674 (ior v1669 v1670))
      (v1675 (ior v1674 v1673))
      (v1676 (select v1668 v1660 v11))
      (v1677 (select v1667 v1660 v1676))
      (v1678 (select v1665 v11 v1677))
      (v1679 (select v1675 v1661 v1678))
      (v1680 (const i64 1))
      (v1681 (const i64 2))
      (v1682 (const i64 3))
      (v1683 (icmp eq v1633 v1680))
      (v1684 (icmp eq v1679 v1680))
      (v1685 (ior v1683 v1684))
      (v1686 (icmp eq v1633 v11))
      (v1687 (icmp eq v1679 v11))
      (v1688 (iand v1686 v1687))
      (v1689 (icmp slt v1434 v11))
      (v1690 (icmp eq v1434 v11))
      (v1691 (icmp slt v1456 v11))
      (v1692 (icmp eq v1456 v11))
      (v1693 (icmp eq v1633 v1682))
      (v1694 (icmp eq v1679 v1682))
      (v1695 (select v1686 v1689 v1693))
      (v1696 (select v1687 v1691 v1694))
      (v1697 (iand v1686 v1690))
      (v1698 (iand v1687 v1692))
      (v1699 (ior v1697 v1698))
      (v1700 (ixor v1695 v1696))
      (v1701 (select v1700 v1682 v1681))
      (v1702 (select v1699 v1680 v1701))
      (v1703 (select v1688 v11 v1702))
      (v1704 (select v1685 v1680 v1703))
      (br b150 v1704))
    (block b155 ()
      (v1727 (icmp eq v1330 v1712))
      (v1728 (icmp eq v1710 v1712))
      (v1729 (select v1727 v1329 v11))
      (v1730 (select v1728 v1709 v11))
      (v1731 (const i64 1))
      (v1732 (const i64 2))
      (v1733 (const i64 2))
      (v1734 (isub v1729 v1732))
      (v1735 (icmp ult v1734 v1733))
      (v1736 (isub v1730 v1732))
      (v1737 (icmp ult v1736 v1733))
      (v1738 (icmp eq v1729 v11))
      (v1739 (icmp eq v1729 v1731))
      (v1740 (icmp eq v1730 v1731))
      (v1741 (icmp ne v1729 v1730))
      (v1742 (iand v1735 v1737))
      (v1743 (iand v1742 v1741))
      (v1744 (ior v1739 v1740))
      (v1745 (ior v1744 v1743))
      (v1746 (select v1738 v1730 v1729))
      (v1747 (select v1737 v1730 v1746))
      (v1748 (select v1735 v1729 v1747))
      (v1749 (select v1745 v1731 v1748))
      (br b157 v1749 v1712))
    (block b156 ()
      (v1717 (iadd v1329 v1709))
      (v1718 (addhi v1329 v1709 v1330 v1710))
      (v1719 (const i64 4611686018427387904))
      (v1720 (const i64 -9223372036854775808))
      (v1721 (iadd v1718 v1719))
      (v1722 (icmp uge v1721 v1720))
      (v1723 (const i64 4))
      (v1724 (const i64 -9223372036854775808))
      (v1725 (select v1722 v1723 v1717))
      (v1726 (select v1722 v1724 v1718))
      (br b157 v1725 v1726))
    (block b157 ((v1715 i64) (v1716 i64))
      (v1750 (iadd v1324 v12))
      ((store v15 0 v11))
      (br b126 v1750 v1579 v1580 v1614 v1575 v1715 v1716 v1711))
    (block b158 ((v1751 i64) (v1752 i64) (v1753 i64) (v1754 i64) (v1755 i64) (v1756 i64) (v1757 i64) (v1758 i64) (v1759 i64) (v1760 i64))
      (v1837 (icmp eq v1751 v11))
      (condbr v1837 (b166 v1753 v1754 v1755 v1756 v1757 v1758 v1759 v1760) (b167)))
    (block b159 ((v1761 i64))
      (v1828 (icmp ne v41 v1762))
      (br b158 v1761 v11 v1324 v1325 v1326 v1327 v1328 v1329 v1330 v1331))
    (block b160 ()
      (v1793 (const i64 -7046029254386353131))
      (v1794 (imul v1353 v1793))
      (v1795 (const i64 64))
      (v1796 (isub v1795 v47))
      (v1797 (ushr v1794 v1796))
      (v1798 (const i64 0))
      (v1799 (icmp eq v47 v1798))
      (v1800 (select v1799 v1798 v1797))
      (v1801 (ptr_add v44 v1800 8 0))
      (v1802 (load i64 v1801 0))
      (v1803 (const i64 281474976710655))
      (v1804 (iand v1802 v1803))
      (v1805 (icmp eq v1804 v11))
      (v1806 (const i64 32))
      (v1807 (ushr v1794 v1806))
      (v1808 (ixor v1794 v1807))
      (v1809 (const i64 4294967295))
      (v1810 (iand v1808 v1809))
      (v1811 (const i64 15))
      (v1812 (iand v1810 v1811))
      (v1813 (const i64 48))
      (v1814 (iadd v1812 v1813))
      (v1815 (ushr v1802 v1814))
      (v1816 (const i64 1))
      (v1817 (iand v1815 v1816))
      (v1818 (const i64 0))
      (v1819 (icmp ne v1817 v1818))
      (v1820 (const bool true))
      (v1821 (ixor v1819 v1820))
      (v1822 (ior v1805 v1821))
      (v1823 (isub v1804 v12))
      (v1824 (const i64 24))
      (v1825 (imul v1823 v1824))
      (v1826 (iadd v54 v1825))
      (v1827 (select v1822 v11 v1826))
      (br b159 v1827))
    (block b161 ()
      (v1764 (isub v1353 v48))
      (v1765 (icmp ult v1764 v51))
      (condbr v1765 (b162) (b163 v11)))
    (block b162 ()
      (v1767 (const i64 2))
      (v1768 (icmp eq v41 v1767))
      (condbr v1768 (b164) (b165)))
    (block b163 ((v1766 i64))
      (br b159 v1766))
    (block b164 ()
      (v1769 (const i64 6))
      (v1770 (const i64 63))
      (v1771 (ushr v1764 v1769))
      (v1772 (ptr_add v44 v1771 8 0))
      (v1773 (load i64 v1772 0))
      (v1774 (iand v1764 v1770))
      (v1775 (ushr v1773 v1774))
      (v1776 (iand v1775 v12))
      (v1777 (icmp ne v1776 v11))
      (v1778 (const i64 16))
      (v1779 (imul v1764 v1778))
      (v1780 (ptrtoint v46))
      (v1781 (iadd v1780 v1779))
      (v1782 (const i64 8))
      (v1783 (isub v1781 v1782))
      (v1784 (select v1777 v1783 v11))
      (br b163 v1784))
    (block b165 ()
      (v1785 (ptr_add v44 v1764 4 0))
      (v1786 (loadz i32 v1785 0))
      (v1787 (isub v1786 v12))
      (v1788 (const i64 24))
      (v1789 (imul v1787 v1788))
      (v1790 (iadd v54 v1789))
      (v1791 (icmp eq v1786 v11))
      (v1792 (select v1791 v11 v1790))
      (br b163 v1792))
    (block b166 ((v1829 i64) (v1830 i64) (v1831 i64) (v1832 i64) (v1833 i64) (v1834 i64) (v1835 i64) (v1836 i64))
      ((store v15 0 v11))
      (br b126 v1829 v1830 v1831 v1832 v1833 v1834 v1835 v1836))
    (block b167 ()
      (v1838 (inttoptr v1751))
      (v1839 (load i64 v1838 8))
      (v1840 (const i64 4294967295))
      (v1841 (iand v1839 v1840))
      (v1842 (isub v1841 v12))
      (v1843 (const i64 24))
      (v1844 (imul v1842 v1843))
      (v1845 (iadd v54 v1844))
      (v1846 (icmp eq v1841 v11))
      (v1847 (select v1846 v11 v1845))
      (v1848 (load i64 v1838 0))
      (v1849 (const bool true))
      (v1850 (icmp eq v1353 v1848))
      (v1851 (ior v1850 v1828))
      (v1852 (iadd v1752 v12))
      (condbr v1851 (b168) (b158 v1847 v1752 v1753 v1754 v1755 v1756 v1757 v1758 v1759 v1760)))
    (block b168 ()
      (v1853 (load i64 v15 0))
      (v1854 (icmp slt v1752 v1853))
      (condbr v1854 (b158 v1847 v1852 v1753 v1754 v1755 v1756 v1757 v1758 v1759 v1760) (b169)))
    (block b169 ()
      (v1855 (const i64 1))
      (v1856 (const i64 0))
      (v1857 (load i64 v1838 16))
      (v1858 (const i64 32))
      (v1859 (ushr v1839 v1858))
      (v1860 (iand v1859 v1855))
      (v1861 (icmp ne v1860 v1856))
      ((store v15 0 v1852))
      (v1862 (const bool true))
      (v1863 (const bool true))
      (v1864 (ixor v1861 v1863))
      (v1865 (const bool true))
      (v1866 (const bool false))
      (v1867 (const i64 0))
      (v1868 (ixor v1864 v1862))
      (v1869 (const bool true))
      (v1870 (const bool false))
      (v1871 (const bool true))
      (v1872 (const bool true))
      (v1873 (ixor v1868 v1872))
      (v1874 (load ptr v23 96))
      (v1875 (const bool true))
      (v1876 (const bool false))
      (v1877 (const i64 0))
      (v1878 (icmp ne v1857 v1877))
      (v1879 (iand v1878 v1873))
      (v1880 (ixor v1879 v1871))
      (v1881 (const bool true))
      (v1882 (const bool true))
      (v1883 (const bool false))
      (v1884 (const i64 0))
      (br b170))
    (block b170 ()
      (v1886 (load ptr v0 352))
      (v1887 (loadz i8 v1886 49))
      (v1888 (const i64 1))
      (v1889 (icmp eq v1887 v1888))
      (v1890 (load i64 v1338 0))
      (condbr v1889 (b171) (b172 v1890)))
    (block b171 ()
      (v1891 (const i64 2))
      (v1892 (call_host rep_num_mantissa v1890 v1891))
      (br b172 v1892))
    (block b172 ((v1885 i64))
      (v1893 (const i64 2))
      (v1894 (const i64 -9223372036854775804))
      (v1895 (iadd v1885 v1893))
      (v1896 (icmp slt v1895 v1894))
      (v1897 (select v1896 v11 v1885))
      (v1898 (const bool true))
      (v1899 (const bool true))
      (v1900 (const i64 1))
      (v1901 (const bool true))
      (v1902 (const bool false))
      (v1903 (const i64 0))
      (br b173))
    (block b173 ()
      (v1905 (load ptr v0 352))
      (v1906 (loadz i8 v1905 81))
      (v1907 (const i64 1))
      (v1908 (icmp eq v1906 v1907))
      (v1909 (load i64 v1339 0))
      (condbr v1908 (b174) (b175 v1909)))
    (block b174 ()
      (v1910 (const i64 2))
      (v1911 (call_host rep_num_mantissa v1909 v1910))
      (br b175 v1911))
    (block b175 ((v1904 i64))
      (v1912 (const i64 2))
      (v1913 (const i64 -9223372036854775804))
      (v1914 (iadd v1904 v1912))
      (v1915 (icmp slt v1914 v1913))
      (v1916 (select v1915 v11 v1904))
      (v1917 (const i64 100))
      (v1918 (imul v1900 v1917))
      (v1919 (isub v1918 v1916))
      (v1920 (imul v1897 v1919))
      (v1921 (smulh v1897 v1919))
      (v1922 (select v1879 v1920 v11))
      (v1923 (select v1879 v1921 v11))
      (v1924 (select v1879 v1882 v1870))
      (v1925 (const i64 4))
      (v1926 (select v1879 v1925 v11))
      (v1927 (const bool true))
      (v1928 (const i64 0))
      (v1929 (const i64 10000))
      (v1930 (imul v1928 v1929))
      (v1931 (smulh v1928 v1929))
      (v1932 (select v1880 v1930 v1922))
      (v1933 (select v1880 v1931 v1923))
      (v1934 (select v1880 v1927 v1924))
      (v1935 (const i64 0))
      (v1936 (select v1880 v1935 v1926))
      (v1937 (ior v1896 v1915))
      (condbr v1937 (b176) (b177 v11)))
    (block b176 ()
      (v1939 (const i64 -9223372036854775808))
      (v1940 (icmp eq v1885 v1939))
      (condbr v1940 (b178) (b179)))
    (block b177 ((v1938 i64))
      (v2029 (zext i64 v1934))
      (v2030 (const i64 63))
      (v2031 (icmp ne v1938 v11))
      (v2032 (const i64 -9223372036854775808))
      (v2033 (select v2031 v1938 v1932))
      (v2034 (select v2031 v2032 v1933))
      (v2035 (select v1934 v2033 v11))
      (v2036 (select v1934 v2034 v11))
      (v2037 (select v1934 v1936 v11))
      (v2038 (iadd v1757 v2029))
      (v2039 (const i64 -9223372036854775808))
      (v2040 (smin v1755 v2036))
      (v2041 (icmp eq v2040 v2039))
      (condbr v2041 (b182) (b183)))
    (block b178 ()
      (v1941 (const i64 0))
      (v1942 (call_host class_num::fold_error v1941))
      (v1943 (const i64 128))
      (br b6 v1943))
    (block b179 ()
      (v1944 (const i64 -9223372036854775807))
      (v1945 (const i64 3))
      (v1946 (icmp eq v1885 v1944))
      (v1947 (select v1946 v1945 v11))
      (v1948 (const i64 9223372036854775806))
      (v1949 (const i64 2))
      (v1950 (icmp eq v1885 v1948))
      (v1951 (select v1950 v1949 v1947))
      (v1952 (const i64 9223372036854775807))
      (v1953 (const i64 1))
      (v1954 (icmp eq v1885 v1952))
      (v1955 (select v1954 v1953 v1951))
      (v1956 (icmp ne v1955 v11))
      (v1957 (select v1956 v11 v1885))
      (v1958 (const i64 -9223372036854775808))
      (v1959 (icmp eq v1904 v1958))
      (condbr v1959 (b180) (b181)))
    (block b180 ()
      (v1960 (const i64 0))
      (v1961 (call_host class_num::fold_error v1960))
      (v1962 (const i64 128))
      (br b6 v1962))
    (block b181 ()
      (v1963 (const i64 -9223372036854775807))
      (v1964 (const i64 3))
      (v1965 (icmp eq v1904 v1963))
      (v1966 (select v1965 v1964 v11))
      (v1967 (const i64 9223372036854775806))
      (v1968 (const i64 2))
      (v1969 (icmp eq v1904 v1967))
      (v1970 (select v1969 v1968 v1966))
      (v1971 (const i64 9223372036854775807))
      (v1972 (const i64 1))
      (v1973 (icmp eq v1904 v1971))
      (v1974 (select v1973 v1972 v1970))
      (v1975 (icmp ne v1974 v11))
      (v1976 (select v1975 v11 v1904))
      (v1977 (const i64 2))
      (v1978 (const i64 3))
      (v1979 (icmp eq v1974 v1977))
      (v1980 (icmp eq v1974 v1978))
      (v1981 (select v1979 v1978 v1974))
      (v1982 (select v1980 v1977 v1981))
      (v1983 (const i64 1))
      (v1984 (const i64 2))
      (v1985 (const i64 2))
      (v1986 (isub v11 v1984))
      (v1987 (icmp ult v1986 v1985))
      (v1988 (isub v1982 v1984))
      (v1989 (icmp ult v1988 v1985))
      (v1990 (icmp eq v11 v11))
      (v1991 (icmp eq v11 v1983))
      (v1992 (icmp eq v1982 v1983))
      (v1993 (icmp ne v11 v1982))
      (v1994 (iand v1987 v1989))
      (v1995 (iand v1994 v1993))
      (v1996 (ior v1991 v1992))
      (v1997 (ior v1996 v1995))
      (v1998 (select v1990 v1982 v11))
      (v1999 (select v1989 v1982 v1998))
      (v2000 (select v1987 v11 v1999))
      (v2001 (select v1997 v1983 v2000))
      (v2002 (const i64 1))
      (v2003 (const i64 2))
      (v2004 (const i64 3))
      (v2005 (icmp eq v1955 v2002))
      (v2006 (icmp eq v2001 v2002))
      (v2007 (ior v2005 v2006))
      (v2008 (icmp eq v1955 v11))
      (v2009 (icmp eq v2001 v11))
      (v2010 (iand v2008 v2009))
      (v2011 (icmp slt v1897 v11))
      (v2012 (icmp eq v1897 v11))
      (v2013 (icmp slt v1919 v11))
      (v2014 (icmp eq v1919 v11))
      (v2015 (icmp eq v1955 v2004))
      (v2016 (icmp eq v2001 v2004))
      (v2017 (select v2008 v2011 v2015))
      (v2018 (select v2009 v2013 v2016))
      (v2019 (iand v2008 v2012))
      (v2020 (iand v2009 v2014))
      (v2021 (ior v2019 v2020))
      (v2022 (ixor v2017 v2018))
      (v2023 (select v2022 v2004 v2003))
      (v2024 (select v2021 v2002 v2023))
      (v2025 (select v2010 v11 v2024))
      (v2026 (select v2007 v2002 v2025))
      (v2027 (select v1879 v2026 v11))
      (v2028 (select v1880 v11 v2027))
      (br b177 v2028))
    (block b182 ()
      (v2054 (icmp eq v1755 v2039))
      (v2055 (icmp eq v2036 v2039))
      (v2056 (select v2054 v1754 v11))
      (v2057 (select v2055 v2035 v11))
      (v2058 (const i64 1))
      (v2059 (const i64 2))
      (v2060 (const i64 2))
      (v2061 (isub v2056 v2059))
      (v2062 (icmp ult v2061 v2060))
      (v2063 (isub v2057 v2059))
      (v2064 (icmp ult v2063 v2060))
      (v2065 (icmp eq v2056 v11))
      (v2066 (icmp eq v2056 v2058))
      (v2067 (icmp eq v2057 v2058))
      (v2068 (icmp ne v2056 v2057))
      (v2069 (iand v2062 v2064))
      (v2070 (iand v2069 v2068))
      (v2071 (ior v2066 v2067))
      (v2072 (ior v2071 v2070))
      (v2073 (select v2065 v2057 v2056))
      (v2074 (select v2064 v2057 v2073))
      (v2075 (select v2062 v2056 v2074))
      (v2076 (select v2072 v2058 v2075))
      (br b184 v2076 v2039))
    (block b183 ()
      (v2044 (iadd v1754 v2035))
      (v2045 (addhi v1754 v2035 v1755 v2036))
      (v2046 (const i64 4611686018427387904))
      (v2047 (const i64 -9223372036854775808))
      (v2048 (iadd v2045 v2046))
      (v2049 (icmp uge v2048 v2047))
      (v2050 (const i64 4))
      (v2051 (const i64 -9223372036854775808))
      (v2052 (select v2049 v2050 v2044))
      (v2053 (select v2049 v2051 v2045))
      (br b184 v2052 v2053))
    (block b184 ((v2042 i64) (v2043 i64))
      (v2077 (smax v1756 v2037))
      (v2078 (ior v1896 v1915))
      (condbr v2078 (b185) (b186 v11)))
    (block b185 ()
      (v2080 (const i64 -9223372036854775808))
      (v2081 (icmp eq v1885 v2080))
      (condbr v2081 (b187) (b188)))
    (block b186 ((v2079 i64))
      (v2168 (const i64 1))
      (v2169 (const i64 63))
      (v2170 (icmp ne v2079 v11))
      (v2171 (const i64 -9223372036854775808))
      (v2172 (select v2170 v2079 v1920))
      (v2173 (select v2170 v2171 v1921))
      (v2174 (iadd v1760 v2168))
      (v2175 (const i64 -9223372036854775808))
      (v2176 (smin v1759 v2173))
      (v2177 (icmp eq v2176 v2175))
      (condbr v2177 (b191) (b192)))
    (block b187 ()
      (v2082 (const i64 0))
      (v2083 (call_host class_num::fold_error v2082))
      (v2084 (const i64 128))
      (br b6 v2084))
    (block b188 ()
      (v2085 (const i64 -9223372036854775807))
      (v2086 (const i64 3))
      (v2087 (icmp eq v1885 v2085))
      (v2088 (select v2087 v2086 v11))
      (v2089 (const i64 9223372036854775806))
      (v2090 (const i64 2))
      (v2091 (icmp eq v1885 v2089))
      (v2092 (select v2091 v2090 v2088))
      (v2093 (const i64 9223372036854775807))
      (v2094 (const i64 1))
      (v2095 (icmp eq v1885 v2093))
      (v2096 (select v2095 v2094 v2092))
      (v2097 (icmp ne v2096 v11))
      (v2098 (select v2097 v11 v1885))
      (v2099 (const i64 -9223372036854775808))
      (v2100 (icmp eq v1904 v2099))
      (condbr v2100 (b189) (b190)))
    (block b189 ()
      (v2101 (const i64 0))
      (v2102 (call_host class_num::fold_error v2101))
      (v2103 (const i64 128))
      (br b6 v2103))
    (block b190 ()
      (v2104 (const i64 -9223372036854775807))
      (v2105 (const i64 3))
      (v2106 (icmp eq v1904 v2104))
      (v2107 (select v2106 v2105 v11))
      (v2108 (const i64 9223372036854775806))
      (v2109 (const i64 2))
      (v2110 (icmp eq v1904 v2108))
      (v2111 (select v2110 v2109 v2107))
      (v2112 (const i64 9223372036854775807))
      (v2113 (const i64 1))
      (v2114 (icmp eq v1904 v2112))
      (v2115 (select v2114 v2113 v2111))
      (v2116 (icmp ne v2115 v11))
      (v2117 (select v2116 v11 v1904))
      (v2118 (const i64 2))
      (v2119 (const i64 3))
      (v2120 (icmp eq v2115 v2118))
      (v2121 (icmp eq v2115 v2119))
      (v2122 (select v2120 v2119 v2115))
      (v2123 (select v2121 v2118 v2122))
      (v2124 (const i64 1))
      (v2125 (const i64 2))
      (v2126 (const i64 2))
      (v2127 (isub v11 v2125))
      (v2128 (icmp ult v2127 v2126))
      (v2129 (isub v2123 v2125))
      (v2130 (icmp ult v2129 v2126))
      (v2131 (icmp eq v11 v11))
      (v2132 (icmp eq v11 v2124))
      (v2133 (icmp eq v2123 v2124))
      (v2134 (icmp ne v11 v2123))
      (v2135 (iand v2128 v2130))
      (v2136 (iand v2135 v2134))
      (v2137 (ior v2132 v2133))
      (v2138 (ior v2137 v2136))
      (v2139 (select v2131 v2123 v11))
      (v2140 (select v2130 v2123 v2139))
      (v2141 (select v2128 v11 v2140))
      (v2142 (select v2138 v2124 v2141))
      (v2143 (const i64 1))
      (v2144 (const i64 2))
      (v2145 (const i64 3))
      (v2146 (icmp eq v2096 v2143))
      (v2147 (icmp eq v2142 v2143))
      (v2148 (ior v2146 v2147))
      (v2149 (icmp eq v2096 v11))
      (v2150 (icmp eq v2142 v11))
      (v2151 (iand v2149 v2150))
      (v2152 (icmp slt v1897 v11))
      (v2153 (icmp eq v1897 v11))
      (v2154 (icmp slt v1919 v11))
      (v2155 (icmp eq v1919 v11))
      (v2156 (icmp eq v2096 v2145))
      (v2157 (icmp eq v2142 v2145))
      (v2158 (select v2149 v2152 v2156))
      (v2159 (select v2150 v2154 v2157))
      (v2160 (iand v2149 v2153))
      (v2161 (iand v2150 v2155))
      (v2162 (ior v2160 v2161))
      (v2163 (ixor v2158 v2159))
      (v2164 (select v2163 v2145 v2144))
      (v2165 (select v2162 v2143 v2164))
      (v2166 (select v2151 v11 v2165))
      (v2167 (select v2148 v2143 v2166))
      (br b186 v2167))
    (block b191 ()
      (v2190 (icmp eq v1759 v2175))
      (v2191 (icmp eq v2173 v2175))
      (v2192 (select v2190 v1758 v11))
      (v2193 (select v2191 v2172 v11))
      (v2194 (const i64 1))
      (v2195 (const i64 2))
      (v2196 (const i64 2))
      (v2197 (isub v2192 v2195))
      (v2198 (icmp ult v2197 v2196))
      (v2199 (isub v2193 v2195))
      (v2200 (icmp ult v2199 v2196))
      (v2201 (icmp eq v2192 v11))
      (v2202 (icmp eq v2192 v2194))
      (v2203 (icmp eq v2193 v2194))
      (v2204 (icmp ne v2192 v2193))
      (v2205 (iand v2198 v2200))
      (v2206 (iand v2205 v2204))
      (v2207 (ior v2202 v2203))
      (v2208 (ior v2207 v2206))
      (v2209 (select v2201 v2193 v2192))
      (v2210 (select v2200 v2193 v2209))
      (v2211 (select v2198 v2192 v2210))
      (v2212 (select v2208 v2194 v2211))
      (br b193 v2212 v2175))
    (block b192 ()
      (v2180 (iadd v1758 v2172))
      (v2181 (addhi v1758 v2172 v1759 v2173))
      (v2182 (const i64 4611686018427387904))
      (v2183 (const i64 -9223372036854775808))
      (v2184 (iadd v2181 v2182))
      (v2185 (icmp uge v2184 v2183))
      (v2186 (const i64 4))
      (v2187 (const i64 -9223372036854775808))
      (v2188 (select v2185 v2186 v2180))
      (v2189 (select v2185 v2187 v2181))
      (br b193 v2188 v2189))
    (block b193 ((v2178 i64) (v2179 i64))
      (v2213 (iadd v1753 v12))
      (br b158 v1847 v1852 v2213 v2042 v2043 v2077 v2038 v2178 v2179 v2174))
    (block b194 ()
      (v2214 (iadd v1322 v12))
      (v2215 (icmp slt v2214 v1317))
      (condbr v2215 (b123 v2214 v1323 v1342 v1343 v1344 v1345 v1346 v1347 v1348 v1349) (b105 v1144 v1342 v1343 v1344 v1345 v1346 v1347 v1348 v1349)))
    (block b195 ()
      (v2216 (icmp eq v1323 v11))
      (condbr v2216 (b105 v1144 v1342 v1343 v1344 v1345 v1346 v1347 v1348 v1349) (b196)))
    (block b196 ()
      (v2217 (ctz v1323))
      (v2218 (iadd v1125 v2217))
      (v2219 (isub v1323 v12))
      (v2220 (iand v1323 v2219))
      (br b123 v2218 v2220 v1342 v1343 v1344 v1345 v1346 v1347 v1348 v1349))
    (block b197 ((v2222 i64) (v2223 i64) (v2224 i64) (v2225 i64) (v2226 i64) (v2227 i64) (v2228 i64) (v2229 i64) (v2230 i64))
      (v2231 (const i64 64))
      (v2232 (iadd v2222 v2231))
      (v2233 (icmp sle v2232 v71))
      (condbr v2233 (b198) (b107 v2222 v2223 v2224 v2225 v2226 v2227 v2228 v2229 v2230)))
    (block b198 ()
      (v2234 (const i64 -1))
      (v2235 (itrunc i32 v105))
      (v2236 (vsplat v4i32 v2235))
      (v2237 (ptr_add v85 v2222 4 0))
      (v2238 (vload v4i32 v2237 0 unaligned))
      (v2239 (vcmp sge v2238 v2236))
      (v2240 (vmovmask v2239))
      (v2241 (vload v4i32 v2237 16 unaligned))
      (v2242 (vcmp sge v2241 v2236))
      (v2243 (vmovmask v2242))
      (v2244 (const i64 4))
      (v2245 (shl v2243 v2244))
      (v2246 (ior v2240 v2245))
      (v2247 (vload v4i32 v2237 32 unaligned))
      (v2248 (vcmp sge v2247 v2236))
      (v2249 (vmovmask v2248))
      (v2250 (const i64 8))
      (v2251 (shl v2249 v2250))
      (v2252 (ior v2246 v2251))
      (v2253 (vload v4i32 v2237 48 unaligned))
      (v2254 (vcmp sge v2253 v2236))
      (v2255 (vmovmask v2254))
      (v2256 (const i64 12))
      (v2257 (shl v2255 v2256))
      (v2258 (ior v2252 v2257))
      (v2259 (vload v4i32 v2237 64 unaligned))
      (v2260 (vcmp sge v2259 v2236))
      (v2261 (vmovmask v2260))
      (v2262 (const i64 16))
      (v2263 (shl v2261 v2262))
      (v2264 (ior v2258 v2263))
      (v2265 (vload v4i32 v2237 80 unaligned))
      (v2266 (vcmp sge v2265 v2236))
      (v2267 (vmovmask v2266))
      (v2268 (const i64 20))
      (v2269 (shl v2267 v2268))
      (v2270 (ior v2264 v2269))
      (v2271 (vload v4i32 v2237 96 unaligned))
      (v2272 (vcmp sge v2271 v2236))
      (v2273 (vmovmask v2272))
      (v2274 (const i64 24))
      (v2275 (shl v2273 v2274))
      (v2276 (ior v2270 v2275))
      (v2277 (vload v4i32 v2237 112 unaligned))
      (v2278 (vcmp sge v2277 v2236))
      (v2279 (vmovmask v2278))
      (v2280 (const i64 28))
      (v2281 (shl v2279 v2280))
      (v2282 (ior v2276 v2281))
      (v2283 (vload v4i32 v2237 128 unaligned))
      (v2284 (vcmp sge v2283 v2236))
      (v2285 (vmovmask v2284))
      (v2286 (const i64 32))
      (v2287 (shl v2285 v2286))
      (v2288 (ior v2282 v2287))
      (v2289 (vload v4i32 v2237 144 unaligned))
      (v2290 (vcmp sge v2289 v2236))
      (v2291 (vmovmask v2290))
      (v2292 (const i64 36))
      (v2293 (shl v2291 v2292))
      (v2294 (ior v2288 v2293))
      (v2295 (vload v4i32 v2237 160 unaligned))
      (v2296 (vcmp sge v2295 v2236))
      (v2297 (vmovmask v2296))
      (v2298 (const i64 40))
      (v2299 (shl v2297 v2298))
      (v2300 (ior v2294 v2299))
      (v2301 (vload v4i32 v2237 176 unaligned))
      (v2302 (vcmp sge v2301 v2236))
      (v2303 (vmovmask v2302))
      (v2304 (const i64 44))
      (v2305 (shl v2303 v2304))
      (v2306 (ior v2300 v2305))
      (v2307 (vload v4i32 v2237 192 unaligned))
      (v2308 (vcmp sge v2307 v2236))
      (v2309 (vmovmask v2308))
      (v2310 (const i64 48))
      (v2311 (shl v2309 v2310))
      (v2312 (ior v2306 v2311))
      (v2313 (vload v4i32 v2237 208 unaligned))
      (v2314 (vcmp sge v2313 v2236))
      (v2315 (vmovmask v2314))
      (v2316 (const i64 52))
      (v2317 (shl v2315 v2316))
      (v2318 (ior v2312 v2317))
      (v2319 (vload v4i32 v2237 224 unaligned))
      (v2320 (vcmp sge v2319 v2236))
      (v2321 (vmovmask v2320))
      (v2322 (const i64 56))
      (v2323 (shl v2321 v2322))
      (v2324 (ior v2318 v2323))
      (v2325 (vload v4i32 v2237 240 unaligned))
      (v2326 (vcmp sge v2325 v2236))
      (v2327 (vmovmask v2326))
      (v2328 (const i64 60))
      (v2329 (shl v2327 v2328))
      (v2330 (ior v2324 v2329))
      (v2331 (iand v2330 v2234))
      (v2332 (itrunc i32 v108))
      (v2333 (vsplat v4i32 v2332))
      (v2334 (ptr_add v85 v2222 4 0))
      (v2335 (vload v4i32 v2334 0 unaligned))
      (v2336 (vcmp slt v2335 v2333))
      (v2337 (vmovmask v2336))
      (v2338 (vload v4i32 v2334 16 unaligned))
      (v2339 (vcmp slt v2338 v2333))
      (v2340 (vmovmask v2339))
      (v2341 (const i64 4))
      (v2342 (shl v2340 v2341))
      (v2343 (ior v2337 v2342))
      (v2344 (vload v4i32 v2334 32 unaligned))
      (v2345 (vcmp slt v2344 v2333))
      (v2346 (vmovmask v2345))
      (v2347 (const i64 8))
      (v2348 (shl v2346 v2347))
      (v2349 (ior v2343 v2348))
      (v2350 (vload v4i32 v2334 48 unaligned))
      (v2351 (vcmp slt v2350 v2333))
      (v2352 (vmovmask v2351))
      (v2353 (const i64 12))
      (v2354 (shl v2352 v2353))
      (v2355 (ior v2349 v2354))
      (v2356 (vload v4i32 v2334 64 unaligned))
      (v2357 (vcmp slt v2356 v2333))
      (v2358 (vmovmask v2357))
      (v2359 (const i64 16))
      (v2360 (shl v2358 v2359))
      (v2361 (ior v2355 v2360))
      (v2362 (vload v4i32 v2334 80 unaligned))
      (v2363 (vcmp slt v2362 v2333))
      (v2364 (vmovmask v2363))
      (v2365 (const i64 20))
      (v2366 (shl v2364 v2365))
      (v2367 (ior v2361 v2366))
      (v2368 (vload v4i32 v2334 96 unaligned))
      (v2369 (vcmp slt v2368 v2333))
      (v2370 (vmovmask v2369))
      (v2371 (const i64 24))
      (v2372 (shl v2370 v2371))
      (v2373 (ior v2367 v2372))
      (v2374 (vload v4i32 v2334 112 unaligned))
      (v2375 (vcmp slt v2374 v2333))
      (v2376 (vmovmask v2375))
      (v2377 (const i64 28))
      (v2378 (shl v2376 v2377))
      (v2379 (ior v2373 v2378))
      (v2380 (vload v4i32 v2334 128 unaligned))
      (v2381 (vcmp slt v2380 v2333))
      (v2382 (vmovmask v2381))
      (v2383 (const i64 32))
      (v2384 (shl v2382 v2383))
      (v2385 (ior v2379 v2384))
      (v2386 (vload v4i32 v2334 144 unaligned))
      (v2387 (vcmp slt v2386 v2333))
      (v2388 (vmovmask v2387))
      (v2389 (const i64 36))
      (v2390 (shl v2388 v2389))
      (v2391 (ior v2385 v2390))
      (v2392 (vload v4i32 v2334 160 unaligned))
      (v2393 (vcmp slt v2392 v2333))
      (v2394 (vmovmask v2393))
      (v2395 (const i64 40))
      (v2396 (shl v2394 v2395))
      (v2397 (ior v2391 v2396))
      (v2398 (vload v4i32 v2334 176 unaligned))
      (v2399 (vcmp slt v2398 v2333))
      (v2400 (vmovmask v2399))
      (v2401 (const i64 44))
      (v2402 (shl v2400 v2401))
      (v2403 (ior v2397 v2402))
      (v2404 (vload v4i32 v2334 192 unaligned))
      (v2405 (vcmp slt v2404 v2333))
      (v2406 (vmovmask v2405))
      (v2407 (const i64 48))
      (v2408 (shl v2406 v2407))
      (v2409 (ior v2403 v2408))
      (v2410 (vload v4i32 v2334 208 unaligned))
      (v2411 (vcmp slt v2410 v2333))
      (v2412 (vmovmask v2411))
      (v2413 (const i64 52))
      (v2414 (shl v2412 v2413))
      (v2415 (ior v2409 v2414))
      (v2416 (vload v4i32 v2334 224 unaligned))
      (v2417 (vcmp slt v2416 v2333))
      (v2418 (vmovmask v2417))
      (v2419 (const i64 56))
      (v2420 (shl v2418 v2419))
      (v2421 (ior v2415 v2420))
      (v2422 (vload v4i32 v2334 240 unaligned))
      (v2423 (vcmp slt v2422 v2333))
      (v2424 (vmovmask v2423))
      (v2425 (const i64 60))
      (v2426 (shl v2424 v2425))
      (v2427 (ior v2421 v2426))
      (v2428 (iand v2427 v2331))
      (v2429 (icmp eq v2428 v11))
      (condbr v2429 (b200) (b199)))
    (block b199 ()
      (v2430 (stack_addr 5))
      (br b201 v2428 v11))
    (block b200 ()
      (v2461 (icmp ne v2428 v11))
      (condbr v2461 (b208) (b197 v2232 v2223 v2224 v2225 v2226 v2227 v2228 v2229 v2230)))
    (block b201 ((v2431 i64) (v2432 i64))
      (v2434 (icmp eq v2431 v11))
      (condbr v2434 (b203 v2432) (b202)))
    (block b202 ()
      (v2435 (ctz v2431))
      (v2436 (iadd v2222 v2435))
      (v2437 (itrunc i32 v2436))
      (v2438 (ptr_add v2430 v2432 4 0))
      ((store v2438 0 v2437))
      (v2439 (isub v2431 v12))
      (v2440 (iand v2431 v2439))
      (v2441 (iadd v2432 v12))
      (br b201 v2440 v2441))
    (block b203 ((v2433 i64))
      (v2442 (load ptr v0 400))
      (v2443 (load i32 v0 452))
      ((store v0 400 v2430))
      (v2444 (itrunc i32 v2433))
      ((store v0 452 v2444))
      (v2445 (const i64 1))
      (v2446 (const i64 0))
      (v2447 (call_host lane_fill v0 v2445 v2446))
      (v2448 (icmp slt v2447 v11))
      (condbr v2448 (b8 v2447) (b204)))
    (block b204 ()
      (v2449 (const i64 1))
      (v2450 (const i64 1))
      (v2451 (call_host lane_fill v0 v2449 v2450))
      (v2452 (icmp slt v2451 v11))
      (condbr v2452 (b8 v2451) (b205)))
    (block b205 ()
      (v2453 (const i64 1))
      (v2454 (const i64 2))
      (v2455 (call_host lane_fill v0 v2453 v2454))
      (v2456 (icmp slt v2455 v11))
      (condbr v2456 (b8 v2455) (b206)))
    (block b206 ()
      (v2457 (const i64 1))
      (v2458 (const i64 3))
      (v2459 (call_host lane_fill v0 v2457 v2458))
      (v2460 (icmp slt v2459 v11))
      (condbr v2460 (b8 v2459) (b207)))
    (block b207 ()
      ((store v0 400 v2442))
      ((store v0 452 v2443))
      (br b200))
    (block b208 ()
      (v2462 (const i64 -1))
      (v2463 (icmp eq v2428 v2462))
      (v2464 (const i64 64))
      (v2465 (iadd v2222 v2464))
      (v2466 (ctz v2428))
      (v2467 (iadd v2222 v2466))
      (v2468 (isub v2428 v12))
      (v2469 (iand v2428 v2468))
      (br b209 v2467 v2469 v2223 v2224 v2225 v2226 v2227 v2228 v2229 v2230))
    (block b209 ((v2470 i64) (v2471 i64) (v2472 i64) (v2473 i64) (v2474 i64) (v2475 i64) (v2476 i64) (v2477 i64) (v2478 i64) (v2479 i64))
      (v2480 (iadd v2470 v12))
      (v2481 (ptr_add v73 v2470 4 0))
      (v2482 (ptr_add v77 v2470 8 0))
      (v2483 (ptr_add v81 v2470 8 0))
      (v2484 (ptr_add v85 v2470 4 0))
      (v2485 (const bool true))
      (v2494 (const bool true))
      (v2495 (const bool false))
      (v2496 (load i32 v2481 0))
      (v2497 (sext i64 v2496))
      (v2498 (const i64 0))
      (v2499 (const i64 5))
      (v2500 (icmp eq v41 v2499))
      (condbr v2500 (b211) (b215)))
    (block b210 ((v2486 i64) (v2487 i64) (v2488 i64) (v2489 i64) (v2490 i64) (v2491 i64) (v2492 i64) (v2493 i64))
      (condbr v2463 (b278) (b279)))
    (block b211 ()
      (v2501 (isub v2497 v48))
      (v2502 (icmp ult v2501 v51))
      (condbr v2502 (b216) (b217 v11)))
    (block b212 ()
      (v2532 (load i64 v15 0))
      (v2533 (icmp sgt v2532 v11))
      (condbr v2533 (b213) (b214)))
    (block b213 ()
      ((store v15 0 v11))
      (br b210 v2472 v2473 v2474 v2475 v2476 v2477 v2478 v2479))
    (block b214 ()
      (v2534 (inttoptr v2503))
      (v2535 (load i64 v2534 8))
      (v2536 (const i64 1))
      (v2537 (const i64 0))
      (v2538 (load i64 v2534 16))
      (v2539 (const i64 32))
      (v2540 (ushr v2535 v2539))
      (v2541 (iand v2540 v2536))
      (v2542 (icmp ne v2541 v2537))
      ((store v15 0 v12))
      (v2543 (const bool true))
      (v2544 (const bool true))
      (v2545 (ixor v2542 v2544))
      (v2546 (const bool true))
      (v2547 (const bool false))
      (v2548 (const i64 0))
      (v2549 (ixor v2545 v2543))
      (v2550 (const bool true))
      (v2551 (const bool false))
      (v2552 (const bool true))
      (v2553 (const bool true))
      (v2554 (ixor v2549 v2553))
      (v2555 (load ptr v23 96))
      (v2556 (const bool true))
      (v2557 (const bool false))
      (v2558 (const i64 0))
      (v2559 (icmp ne v2538 v2558))
      (v2560 (iand v2559 v2554))
      (v2561 (ixor v2560 v2552))
      (v2562 (const bool true))
      (v2563 (const bool true))
      (v2564 (const bool false))
      (v2565 (const i64 0))
      (br b218))
    (block b215 ()
      (v2906 (const i64 1))
      (v2907 (icmp eq v41 v2906))
      (condbr v2907 (b244) (b245)))
    (block b216 ()
      (v2504 (const i64 6))
      (v2505 (const i64 63))
      (v2506 (ushr v2501 v2504))
      (v2507 (iand v2501 v2505))
      (v2508 (ptrtoint v44))
      (v2509 (ptrtoint v46))
      (v2510 (isub v2509 v2508))
      (v2511 (ptr_add v44 v2506 8 0))
      (v2512 (load i64 v2511 0))
      (v2513 (ushr v2512 v2507))
      (v2514 (iand v2513 v12))
      (v2515 (stack_addr 6))
      ((store v2515 0 v2497))
      (v2516 (ptr_add v44 v2510 1 0))
      (v2517 (ptr_add v2516 v2506 8 0))
      (v2518 (load i64 v2517 0))
      (v2519 (ushr v2518 v2507))
      (v2520 (iand v2519 v12))
      (v2521 (ptr_add v44 v2510 2 0))
      (v2522 (ptr_add v2521 v2506 8 0))
      (v2523 (load i64 v2522 0))
      (v2524 (ushr v2523 v2507))
      (v2525 (iand v2524 v12))
      (v2526 (const i64 32))
      ((store v2515 16 v2520))
      (v2527 (shl v2525 v2526))
      ((store v2515 8 v2527))
      (v2528 (ptrtoint v2515))
      (v2529 (icmp ne v2514 v11))
      (v2530 (select v2529 v2528 v11))
      (br b217 v2530))
    (block b217 ((v2503 i64))
      (v2531 (icmp eq v2503 v11))
      (condbr v2531 (b210 v2472 v2473 v2474 v2475 v2476 v2477 v2478 v2479) (b212)))
    (block b218 ()
      (v2567 (load ptr v0 352))
      (v2568 (loadz i8 v2567 49))
      (v2569 (const i64 1))
      (v2570 (icmp eq v2568 v2569))
      (v2571 (load i64 v2482 0))
      (condbr v2570 (b219) (b220 v2571)))
    (block b219 ()
      (v2572 (const i64 2))
      (v2573 (call_host rep_num_mantissa v2571 v2572))
      (br b220 v2573))
    (block b220 ((v2566 i64))
      (v2574 (const i64 2))
      (v2575 (const i64 -9223372036854775804))
      (v2576 (iadd v2566 v2574))
      (v2577 (icmp slt v2576 v2575))
      (v2578 (select v2577 v11 v2566))
      (v2579 (const bool true))
      (v2580 (const bool true))
      (v2581 (const i64 1))
      (v2582 (const bool true))
      (v2583 (const bool false))
      (v2584 (const i64 0))
      (br b221))
    (block b221 ()
      (v2586 (load ptr v0 352))
      (v2587 (loadz i8 v2586 81))
      (v2588 (const i64 1))
      (v2589 (icmp eq v2587 v2588))
      (v2590 (load i64 v2483 0))
      (condbr v2589 (b222) (b223 v2590)))
    (block b222 ()
      (v2591 (const i64 2))
      (v2592 (call_host rep_num_mantissa v2590 v2591))
      (br b223 v2592))
    (block b223 ((v2585 i64))
      (v2593 (const i64 2))
      (v2594 (const i64 -9223372036854775804))
      (v2595 (iadd v2585 v2593))
      (v2596 (icmp slt v2595 v2594))
      (v2597 (select v2596 v11 v2585))
      (v2598 (const i64 100))
      (v2599 (imul v2581 v2598))
      (v2600 (isub v2599 v2597))
      (v2601 (imul v2578 v2600))
      (v2602 (smulh v2578 v2600))
      (v2603 (select v2560 v2601 v11))
      (v2604 (select v2560 v2602 v11))
      (v2605 (select v2560 v2563 v2551))
      (v2606 (const i64 4))
      (v2607 (select v2560 v2606 v11))
      (v2608 (const bool true))
      (v2609 (const i64 0))
      (v2610 (const i64 10000))
      (v2611 (imul v2609 v2610))
      (v2612 (smulh v2609 v2610))
      (v2613 (select v2561 v2611 v2603))
      (v2614 (select v2561 v2612 v2604))
      (v2615 (select v2561 v2608 v2605))
      (v2616 (const i64 0))
      (v2617 (select v2561 v2616 v2607))
      (v2618 (ior v2577 v2596))
      (condbr v2618 (b224) (b225 v11)))
    (block b224 ()
      (v2620 (const i64 -9223372036854775808))
      (v2621 (icmp eq v2566 v2620))
      (condbr v2621 (b226) (b227)))
    (block b225 ((v2619 i64))
      (v2710 (zext i64 v2615))
      (v2711 (const i64 63))
      (v2712 (icmp ne v2619 v11))
      (v2713 (const i64 -9223372036854775808))
      (v2714 (select v2712 v2619 v2613))
      (v2715 (select v2712 v2713 v2614))
      (v2716 (select v2615 v2714 v11))
      (v2717 (select v2615 v2715 v11))
      (v2718 (select v2615 v2617 v11))
      (v2719 (iadd v2476 v2710))
      (v2720 (const i64 -9223372036854775808))
      (v2721 (smin v2474 v2717))
      (v2722 (icmp eq v2721 v2720))
      (condbr v2722 (b230) (b231)))
    (block b226 ()
      (v2622 (const i64 0))
      (v2623 (call_host class_num::fold_error v2622))
      (v2624 (const i64 128))
      (br b6 v2624))
    (block b227 ()
      (v2625 (const i64 -9223372036854775807))
      (v2626 (const i64 3))
      (v2627 (icmp eq v2566 v2625))
      (v2628 (select v2627 v2626 v11))
      (v2629 (const i64 9223372036854775806))
      (v2630 (const i64 2))
      (v2631 (icmp eq v2566 v2629))
      (v2632 (select v2631 v2630 v2628))
      (v2633 (const i64 9223372036854775807))
      (v2634 (const i64 1))
      (v2635 (icmp eq v2566 v2633))
      (v2636 (select v2635 v2634 v2632))
      (v2637 (icmp ne v2636 v11))
      (v2638 (select v2637 v11 v2566))
      (v2639 (const i64 -9223372036854775808))
      (v2640 (icmp eq v2585 v2639))
      (condbr v2640 (b228) (b229)))
    (block b228 ()
      (v2641 (const i64 0))
      (v2642 (call_host class_num::fold_error v2641))
      (v2643 (const i64 128))
      (br b6 v2643))
    (block b229 ()
      (v2644 (const i64 -9223372036854775807))
      (v2645 (const i64 3))
      (v2646 (icmp eq v2585 v2644))
      (v2647 (select v2646 v2645 v11))
      (v2648 (const i64 9223372036854775806))
      (v2649 (const i64 2))
      (v2650 (icmp eq v2585 v2648))
      (v2651 (select v2650 v2649 v2647))
      (v2652 (const i64 9223372036854775807))
      (v2653 (const i64 1))
      (v2654 (icmp eq v2585 v2652))
      (v2655 (select v2654 v2653 v2651))
      (v2656 (icmp ne v2655 v11))
      (v2657 (select v2656 v11 v2585))
      (v2658 (const i64 2))
      (v2659 (const i64 3))
      (v2660 (icmp eq v2655 v2658))
      (v2661 (icmp eq v2655 v2659))
      (v2662 (select v2660 v2659 v2655))
      (v2663 (select v2661 v2658 v2662))
      (v2664 (const i64 1))
      (v2665 (const i64 2))
      (v2666 (const i64 2))
      (v2667 (isub v11 v2665))
      (v2668 (icmp ult v2667 v2666))
      (v2669 (isub v2663 v2665))
      (v2670 (icmp ult v2669 v2666))
      (v2671 (icmp eq v11 v11))
      (v2672 (icmp eq v11 v2664))
      (v2673 (icmp eq v2663 v2664))
      (v2674 (icmp ne v11 v2663))
      (v2675 (iand v2668 v2670))
      (v2676 (iand v2675 v2674))
      (v2677 (ior v2672 v2673))
      (v2678 (ior v2677 v2676))
      (v2679 (select v2671 v2663 v11))
      (v2680 (select v2670 v2663 v2679))
      (v2681 (select v2668 v11 v2680))
      (v2682 (select v2678 v2664 v2681))
      (v2683 (const i64 1))
      (v2684 (const i64 2))
      (v2685 (const i64 3))
      (v2686 (icmp eq v2636 v2683))
      (v2687 (icmp eq v2682 v2683))
      (v2688 (ior v2686 v2687))
      (v2689 (icmp eq v2636 v11))
      (v2690 (icmp eq v2682 v11))
      (v2691 (iand v2689 v2690))
      (v2692 (icmp slt v2578 v11))
      (v2693 (icmp eq v2578 v11))
      (v2694 (icmp slt v2600 v11))
      (v2695 (icmp eq v2600 v11))
      (v2696 (icmp eq v2636 v2685))
      (v2697 (icmp eq v2682 v2685))
      (v2698 (select v2689 v2692 v2696))
      (v2699 (select v2690 v2694 v2697))
      (v2700 (iand v2689 v2693))
      (v2701 (iand v2690 v2695))
      (v2702 (ior v2700 v2701))
      (v2703 (ixor v2698 v2699))
      (v2704 (select v2703 v2685 v2684))
      (v2705 (select v2702 v2683 v2704))
      (v2706 (select v2691 v11 v2705))
      (v2707 (select v2688 v2683 v2706))
      (v2708 (select v2560 v2707 v11))
      (v2709 (select v2561 v11 v2708))
      (br b225 v2709))
    (block b230 ()
      (v2735 (icmp eq v2474 v2720))
      (v2736 (icmp eq v2717 v2720))
      (v2737 (select v2735 v2473 v11))
      (v2738 (select v2736 v2716 v11))
      (v2739 (const i64 1))
      (v2740 (const i64 2))
      (v2741 (const i64 2))
      (v2742 (isub v2737 v2740))
      (v2743 (icmp ult v2742 v2741))
      (v2744 (isub v2738 v2740))
      (v2745 (icmp ult v2744 v2741))
      (v2746 (icmp eq v2737 v11))
      (v2747 (icmp eq v2737 v2739))
      (v2748 (icmp eq v2738 v2739))
      (v2749 (icmp ne v2737 v2738))
      (v2750 (iand v2743 v2745))
      (v2751 (iand v2750 v2749))
      (v2752 (ior v2747 v2748))
      (v2753 (ior v2752 v2751))
      (v2754 (select v2746 v2738 v2737))
      (v2755 (select v2745 v2738 v2754))
      (v2756 (select v2743 v2737 v2755))
      (v2757 (select v2753 v2739 v2756))
      (br b232 v2757 v2720))
    (block b231 ()
      (v2725 (iadd v2473 v2716))
      (v2726 (addhi v2473 v2716 v2474 v2717))
      (v2727 (const i64 4611686018427387904))
      (v2728 (const i64 -9223372036854775808))
      (v2729 (iadd v2726 v2727))
      (v2730 (icmp uge v2729 v2728))
      (v2731 (const i64 4))
      (v2732 (const i64 -9223372036854775808))
      (v2733 (select v2730 v2731 v2725))
      (v2734 (select v2730 v2732 v2726))
      (br b232 v2733 v2734))
    (block b232 ((v2723 i64) (v2724 i64))
      (v2758 (smax v2475 v2718))
      (v2759 (ior v2577 v2596))
      (condbr v2759 (b233) (b234 v11)))
    (block b233 ()
      (v2761 (const i64 -9223372036854775808))
      (v2762 (icmp eq v2566 v2761))
      (condbr v2762 (b235) (b236)))
    (block b234 ((v2760 i64))
      (v2849 (const i64 1))
      (v2850 (const i64 63))
      (v2851 (icmp ne v2760 v11))
      (v2852 (const i64 -9223372036854775808))
      (v2853 (select v2851 v2760 v2601))
      (v2854 (select v2851 v2852 v2602))
      (v2855 (iadd v2479 v2849))
      (v2856 (const i64 -9223372036854775808))
      (v2857 (smin v2478 v2854))
      (v2858 (icmp eq v2857 v2856))
      (condbr v2858 (b239) (b240)))
    (block b235 ()
      (v2763 (const i64 0))
      (v2764 (call_host class_num::fold_error v2763))
      (v2765 (const i64 128))
      (br b6 v2765))
    (block b236 ()
      (v2766 (const i64 -9223372036854775807))
      (v2767 (const i64 3))
      (v2768 (icmp eq v2566 v2766))
      (v2769 (select v2768 v2767 v11))
      (v2770 (const i64 9223372036854775806))
      (v2771 (const i64 2))
      (v2772 (icmp eq v2566 v2770))
      (v2773 (select v2772 v2771 v2769))
      (v2774 (const i64 9223372036854775807))
      (v2775 (const i64 1))
      (v2776 (icmp eq v2566 v2774))
      (v2777 (select v2776 v2775 v2773))
      (v2778 (icmp ne v2777 v11))
      (v2779 (select v2778 v11 v2566))
      (v2780 (const i64 -9223372036854775808))
      (v2781 (icmp eq v2585 v2780))
      (condbr v2781 (b237) (b238)))
    (block b237 ()
      (v2782 (const i64 0))
      (v2783 (call_host class_num::fold_error v2782))
      (v2784 (const i64 128))
      (br b6 v2784))
    (block b238 ()
      (v2785 (const i64 -9223372036854775807))
      (v2786 (const i64 3))
      (v2787 (icmp eq v2585 v2785))
      (v2788 (select v2787 v2786 v11))
      (v2789 (const i64 9223372036854775806))
      (v2790 (const i64 2))
      (v2791 (icmp eq v2585 v2789))
      (v2792 (select v2791 v2790 v2788))
      (v2793 (const i64 9223372036854775807))
      (v2794 (const i64 1))
      (v2795 (icmp eq v2585 v2793))
      (v2796 (select v2795 v2794 v2792))
      (v2797 (icmp ne v2796 v11))
      (v2798 (select v2797 v11 v2585))
      (v2799 (const i64 2))
      (v2800 (const i64 3))
      (v2801 (icmp eq v2796 v2799))
      (v2802 (icmp eq v2796 v2800))
      (v2803 (select v2801 v2800 v2796))
      (v2804 (select v2802 v2799 v2803))
      (v2805 (const i64 1))
      (v2806 (const i64 2))
      (v2807 (const i64 2))
      (v2808 (isub v11 v2806))
      (v2809 (icmp ult v2808 v2807))
      (v2810 (isub v2804 v2806))
      (v2811 (icmp ult v2810 v2807))
      (v2812 (icmp eq v11 v11))
      (v2813 (icmp eq v11 v2805))
      (v2814 (icmp eq v2804 v2805))
      (v2815 (icmp ne v11 v2804))
      (v2816 (iand v2809 v2811))
      (v2817 (iand v2816 v2815))
      (v2818 (ior v2813 v2814))
      (v2819 (ior v2818 v2817))
      (v2820 (select v2812 v2804 v11))
      (v2821 (select v2811 v2804 v2820))
      (v2822 (select v2809 v11 v2821))
      (v2823 (select v2819 v2805 v2822))
      (v2824 (const i64 1))
      (v2825 (const i64 2))
      (v2826 (const i64 3))
      (v2827 (icmp eq v2777 v2824))
      (v2828 (icmp eq v2823 v2824))
      (v2829 (ior v2827 v2828))
      (v2830 (icmp eq v2777 v11))
      (v2831 (icmp eq v2823 v11))
      (v2832 (iand v2830 v2831))
      (v2833 (icmp slt v2578 v11))
      (v2834 (icmp eq v2578 v11))
      (v2835 (icmp slt v2600 v11))
      (v2836 (icmp eq v2600 v11))
      (v2837 (icmp eq v2777 v2826))
      (v2838 (icmp eq v2823 v2826))
      (v2839 (select v2830 v2833 v2837))
      (v2840 (select v2831 v2835 v2838))
      (v2841 (iand v2830 v2834))
      (v2842 (iand v2831 v2836))
      (v2843 (ior v2841 v2842))
      (v2844 (ixor v2839 v2840))
      (v2845 (select v2844 v2826 v2825))
      (v2846 (select v2843 v2824 v2845))
      (v2847 (select v2832 v11 v2846))
      (v2848 (select v2829 v2824 v2847))
      (br b234 v2848))
    (block b239 ()
      (v2871 (icmp eq v2478 v2856))
      (v2872 (icmp eq v2854 v2856))
      (v2873 (select v2871 v2477 v11))
      (v2874 (select v2872 v2853 v11))
      (v2875 (const i64 1))
      (v2876 (const i64 2))
      (v2877 (const i64 2))
      (v2878 (isub v2873 v2876))
      (v2879 (icmp ult v2878 v2877))
      (v2880 (isub v2874 v2876))
      (v2881 (icmp ult v2880 v2877))
      (v2882 (icmp eq v2873 v11))
      (v2883 (icmp eq v2873 v2875))
      (v2884 (icmp eq v2874 v2875))
      (v2885 (icmp ne v2873 v2874))
      (v2886 (iand v2879 v2881))
      (v2887 (iand v2886 v2885))
      (v2888 (ior v2883 v2884))
      (v2889 (ior v2888 v2887))
      (v2890 (select v2882 v2874 v2873))
      (v2891 (select v2881 v2874 v2890))
      (v2892 (select v2879 v2873 v2891))
      (v2893 (select v2889 v2875 v2892))
      (br b241 v2893 v2856))
    (block b240 ()
      (v2861 (iadd v2477 v2853))
      (v2862 (addhi v2477 v2853 v2478 v2854))
      (v2863 (const i64 4611686018427387904))
      (v2864 (const i64 -9223372036854775808))
      (v2865 (iadd v2862 v2863))
      (v2866 (icmp uge v2865 v2864))
      (v2867 (const i64 4))
      (v2868 (const i64 -9223372036854775808))
      (v2869 (select v2866 v2867 v2861))
      (v2870 (select v2866 v2868 v2862))
      (br b241 v2869 v2870))
    (block b241 ((v2859 i64) (v2860 i64))
      (v2894 (iadd v2472 v12))
      ((store v15 0 v11))
      (br b210 v2894 v2723 v2724 v2758 v2719 v2859 v2860 v2855))
    (block b242 ((v2895 i64) (v2896 i64) (v2897 i64) (v2898 i64) (v2899 i64) (v2900 i64) (v2901 i64) (v2902 i64) (v2903 i64) (v2904 i64))
      (v2981 (icmp eq v2895 v11))
      (condbr v2981 (b250 v2897 v2898 v2899 v2900 v2901 v2902 v2903 v2904) (b251)))
    (block b243 ((v2905 i64))
      (v2972 (icmp ne v41 v2906))
      (br b242 v2905 v11 v2472 v2473 v2474 v2475 v2476 v2477 v2478 v2479))
    (block b244 ()
      (v2937 (const i64 -7046029254386353131))
      (v2938 (imul v2497 v2937))
      (v2939 (const i64 64))
      (v2940 (isub v2939 v47))
      (v2941 (ushr v2938 v2940))
      (v2942 (const i64 0))
      (v2943 (icmp eq v47 v2942))
      (v2944 (select v2943 v2942 v2941))
      (v2945 (ptr_add v44 v2944 8 0))
      (v2946 (load i64 v2945 0))
      (v2947 (const i64 281474976710655))
      (v2948 (iand v2946 v2947))
      (v2949 (icmp eq v2948 v11))
      (v2950 (const i64 32))
      (v2951 (ushr v2938 v2950))
      (v2952 (ixor v2938 v2951))
      (v2953 (const i64 4294967295))
      (v2954 (iand v2952 v2953))
      (v2955 (const i64 15))
      (v2956 (iand v2954 v2955))
      (v2957 (const i64 48))
      (v2958 (iadd v2956 v2957))
      (v2959 (ushr v2946 v2958))
      (v2960 (const i64 1))
      (v2961 (iand v2959 v2960))
      (v2962 (const i64 0))
      (v2963 (icmp ne v2961 v2962))
      (v2964 (const bool true))
      (v2965 (ixor v2963 v2964))
      (v2966 (ior v2949 v2965))
      (v2967 (isub v2948 v12))
      (v2968 (const i64 24))
      (v2969 (imul v2967 v2968))
      (v2970 (iadd v54 v2969))
      (v2971 (select v2966 v11 v2970))
      (br b243 v2971))
    (block b245 ()
      (v2908 (isub v2497 v48))
      (v2909 (icmp ult v2908 v51))
      (condbr v2909 (b246) (b247 v11)))
    (block b246 ()
      (v2911 (const i64 2))
      (v2912 (icmp eq v41 v2911))
      (condbr v2912 (b248) (b249)))
    (block b247 ((v2910 i64))
      (br b243 v2910))
    (block b248 ()
      (v2913 (const i64 6))
      (v2914 (const i64 63))
      (v2915 (ushr v2908 v2913))
      (v2916 (ptr_add v44 v2915 8 0))
      (v2917 (load i64 v2916 0))
      (v2918 (iand v2908 v2914))
      (v2919 (ushr v2917 v2918))
      (v2920 (iand v2919 v12))
      (v2921 (icmp ne v2920 v11))
      (v2922 (const i64 16))
      (v2923 (imul v2908 v2922))
      (v2924 (ptrtoint v46))
      (v2925 (iadd v2924 v2923))
      (v2926 (const i64 8))
      (v2927 (isub v2925 v2926))
      (v2928 (select v2921 v2927 v11))
      (br b247 v2928))
    (block b249 ()
      (v2929 (ptr_add v44 v2908 4 0))
      (v2930 (loadz i32 v2929 0))
      (v2931 (isub v2930 v12))
      (v2932 (const i64 24))
      (v2933 (imul v2931 v2932))
      (v2934 (iadd v54 v2933))
      (v2935 (icmp eq v2930 v11))
      (v2936 (select v2935 v11 v2934))
      (br b247 v2936))
    (block b250 ((v2973 i64) (v2974 i64) (v2975 i64) (v2976 i64) (v2977 i64) (v2978 i64) (v2979 i64) (v2980 i64))
      ((store v15 0 v11))
      (br b210 v2973 v2974 v2975 v2976 v2977 v2978 v2979 v2980))
    (block b251 ()
      (v2982 (inttoptr v2895))
      (v2983 (load i64 v2982 8))
      (v2984 (const i64 4294967295))
      (v2985 (iand v2983 v2984))
      (v2986 (isub v2985 v12))
      (v2987 (const i64 24))
      (v2988 (imul v2986 v2987))
      (v2989 (iadd v54 v2988))
      (v2990 (icmp eq v2985 v11))
      (v2991 (select v2990 v11 v2989))
      (v2992 (load i64 v2982 0))
      (v2993 (const bool true))
      (v2994 (icmp eq v2497 v2992))
      (v2995 (ior v2994 v2972))
      (v2996 (iadd v2896 v12))
      (condbr v2995 (b252) (b242 v2991 v2896 v2897 v2898 v2899 v2900 v2901 v2902 v2903 v2904)))
    (block b252 ()
      (v2997 (load i64 v15 0))
      (v2998 (icmp slt v2896 v2997))
      (condbr v2998 (b242 v2991 v2996 v2897 v2898 v2899 v2900 v2901 v2902 v2903 v2904) (b253)))
    (block b253 ()
      (v2999 (const i64 1))
      (v3000 (const i64 0))
      (v3001 (load i64 v2982 16))
      (v3002 (const i64 32))
      (v3003 (ushr v2983 v3002))
      (v3004 (iand v3003 v2999))
      (v3005 (icmp ne v3004 v3000))
      ((store v15 0 v2996))
      (v3006 (const bool true))
      (v3007 (const bool true))
      (v3008 (ixor v3005 v3007))
      (v3009 (const bool true))
      (v3010 (const bool false))
      (v3011 (const i64 0))
      (v3012 (ixor v3008 v3006))
      (v3013 (const bool true))
      (v3014 (const bool false))
      (v3015 (const bool true))
      (v3016 (const bool true))
      (v3017 (ixor v3012 v3016))
      (v3018 (load ptr v23 96))
      (v3019 (const bool true))
      (v3020 (const bool false))
      (v3021 (const i64 0))
      (v3022 (icmp ne v3001 v3021))
      (v3023 (iand v3022 v3017))
      (v3024 (ixor v3023 v3015))
      (v3025 (const bool true))
      (v3026 (const bool true))
      (v3027 (const bool false))
      (v3028 (const i64 0))
      (br b254))
    (block b254 ()
      (v3030 (load ptr v0 352))
      (v3031 (loadz i8 v3030 49))
      (v3032 (const i64 1))
      (v3033 (icmp eq v3031 v3032))
      (v3034 (load i64 v2482 0))
      (condbr v3033 (b255) (b256 v3034)))
    (block b255 ()
      (v3035 (const i64 2))
      (v3036 (call_host rep_num_mantissa v3034 v3035))
      (br b256 v3036))
    (block b256 ((v3029 i64))
      (v3037 (const i64 2))
      (v3038 (const i64 -9223372036854775804))
      (v3039 (iadd v3029 v3037))
      (v3040 (icmp slt v3039 v3038))
      (v3041 (select v3040 v11 v3029))
      (v3042 (const bool true))
      (v3043 (const bool true))
      (v3044 (const i64 1))
      (v3045 (const bool true))
      (v3046 (const bool false))
      (v3047 (const i64 0))
      (br b257))
    (block b257 ()
      (v3049 (load ptr v0 352))
      (v3050 (loadz i8 v3049 81))
      (v3051 (const i64 1))
      (v3052 (icmp eq v3050 v3051))
      (v3053 (load i64 v2483 0))
      (condbr v3052 (b258) (b259 v3053)))
    (block b258 ()
      (v3054 (const i64 2))
      (v3055 (call_host rep_num_mantissa v3053 v3054))
      (br b259 v3055))
    (block b259 ((v3048 i64))
      (v3056 (const i64 2))
      (v3057 (const i64 -9223372036854775804))
      (v3058 (iadd v3048 v3056))
      (v3059 (icmp slt v3058 v3057))
      (v3060 (select v3059 v11 v3048))
      (v3061 (const i64 100))
      (v3062 (imul v3044 v3061))
      (v3063 (isub v3062 v3060))
      (v3064 (imul v3041 v3063))
      (v3065 (smulh v3041 v3063))
      (v3066 (select v3023 v3064 v11))
      (v3067 (select v3023 v3065 v11))
      (v3068 (select v3023 v3026 v3014))
      (v3069 (const i64 4))
      (v3070 (select v3023 v3069 v11))
      (v3071 (const bool true))
      (v3072 (const i64 0))
      (v3073 (const i64 10000))
      (v3074 (imul v3072 v3073))
      (v3075 (smulh v3072 v3073))
      (v3076 (select v3024 v3074 v3066))
      (v3077 (select v3024 v3075 v3067))
      (v3078 (select v3024 v3071 v3068))
      (v3079 (const i64 0))
      (v3080 (select v3024 v3079 v3070))
      (v3081 (ior v3040 v3059))
      (condbr v3081 (b260) (b261 v11)))
    (block b260 ()
      (v3083 (const i64 -9223372036854775808))
      (v3084 (icmp eq v3029 v3083))
      (condbr v3084 (b262) (b263)))
    (block b261 ((v3082 i64))
      (v3173 (zext i64 v3078))
      (v3174 (const i64 63))
      (v3175 (icmp ne v3082 v11))
      (v3176 (const i64 -9223372036854775808))
      (v3177 (select v3175 v3082 v3076))
      (v3178 (select v3175 v3176 v3077))
      (v3179 (select v3078 v3177 v11))
      (v3180 (select v3078 v3178 v11))
      (v3181 (select v3078 v3080 v11))
      (v3182 (iadd v2901 v3173))
      (v3183 (const i64 -9223372036854775808))
      (v3184 (smin v2899 v3180))
      (v3185 (icmp eq v3184 v3183))
      (condbr v3185 (b266) (b267)))
    (block b262 ()
      (v3085 (const i64 0))
      (v3086 (call_host class_num::fold_error v3085))
      (v3087 (const i64 128))
      (br b6 v3087))
    (block b263 ()
      (v3088 (const i64 -9223372036854775807))
      (v3089 (const i64 3))
      (v3090 (icmp eq v3029 v3088))
      (v3091 (select v3090 v3089 v11))
      (v3092 (const i64 9223372036854775806))
      (v3093 (const i64 2))
      (v3094 (icmp eq v3029 v3092))
      (v3095 (select v3094 v3093 v3091))
      (v3096 (const i64 9223372036854775807))
      (v3097 (const i64 1))
      (v3098 (icmp eq v3029 v3096))
      (v3099 (select v3098 v3097 v3095))
      (v3100 (icmp ne v3099 v11))
      (v3101 (select v3100 v11 v3029))
      (v3102 (const i64 -9223372036854775808))
      (v3103 (icmp eq v3048 v3102))
      (condbr v3103 (b264) (b265)))
    (block b264 ()
      (v3104 (const i64 0))
      (v3105 (call_host class_num::fold_error v3104))
      (v3106 (const i64 128))
      (br b6 v3106))
    (block b265 ()
      (v3107 (const i64 -9223372036854775807))
      (v3108 (const i64 3))
      (v3109 (icmp eq v3048 v3107))
      (v3110 (select v3109 v3108 v11))
      (v3111 (const i64 9223372036854775806))
      (v3112 (const i64 2))
      (v3113 (icmp eq v3048 v3111))
      (v3114 (select v3113 v3112 v3110))
      (v3115 (const i64 9223372036854775807))
      (v3116 (const i64 1))
      (v3117 (icmp eq v3048 v3115))
      (v3118 (select v3117 v3116 v3114))
      (v3119 (icmp ne v3118 v11))
      (v3120 (select v3119 v11 v3048))
      (v3121 (const i64 2))
      (v3122 (const i64 3))
      (v3123 (icmp eq v3118 v3121))
      (v3124 (icmp eq v3118 v3122))
      (v3125 (select v3123 v3122 v3118))
      (v3126 (select v3124 v3121 v3125))
      (v3127 (const i64 1))
      (v3128 (const i64 2))
      (v3129 (const i64 2))
      (v3130 (isub v11 v3128))
      (v3131 (icmp ult v3130 v3129))
      (v3132 (isub v3126 v3128))
      (v3133 (icmp ult v3132 v3129))
      (v3134 (icmp eq v11 v11))
      (v3135 (icmp eq v11 v3127))
      (v3136 (icmp eq v3126 v3127))
      (v3137 (icmp ne v11 v3126))
      (v3138 (iand v3131 v3133))
      (v3139 (iand v3138 v3137))
      (v3140 (ior v3135 v3136))
      (v3141 (ior v3140 v3139))
      (v3142 (select v3134 v3126 v11))
      (v3143 (select v3133 v3126 v3142))
      (v3144 (select v3131 v11 v3143))
      (v3145 (select v3141 v3127 v3144))
      (v3146 (const i64 1))
      (v3147 (const i64 2))
      (v3148 (const i64 3))
      (v3149 (icmp eq v3099 v3146))
      (v3150 (icmp eq v3145 v3146))
      (v3151 (ior v3149 v3150))
      (v3152 (icmp eq v3099 v11))
      (v3153 (icmp eq v3145 v11))
      (v3154 (iand v3152 v3153))
      (v3155 (icmp slt v3041 v11))
      (v3156 (icmp eq v3041 v11))
      (v3157 (icmp slt v3063 v11))
      (v3158 (icmp eq v3063 v11))
      (v3159 (icmp eq v3099 v3148))
      (v3160 (icmp eq v3145 v3148))
      (v3161 (select v3152 v3155 v3159))
      (v3162 (select v3153 v3157 v3160))
      (v3163 (iand v3152 v3156))
      (v3164 (iand v3153 v3158))
      (v3165 (ior v3163 v3164))
      (v3166 (ixor v3161 v3162))
      (v3167 (select v3166 v3148 v3147))
      (v3168 (select v3165 v3146 v3167))
      (v3169 (select v3154 v11 v3168))
      (v3170 (select v3151 v3146 v3169))
      (v3171 (select v3023 v3170 v11))
      (v3172 (select v3024 v11 v3171))
      (br b261 v3172))
    (block b266 ()
      (v3198 (icmp eq v2899 v3183))
      (v3199 (icmp eq v3180 v3183))
      (v3200 (select v3198 v2898 v11))
      (v3201 (select v3199 v3179 v11))
      (v3202 (const i64 1))
      (v3203 (const i64 2))
      (v3204 (const i64 2))
      (v3205 (isub v3200 v3203))
      (v3206 (icmp ult v3205 v3204))
      (v3207 (isub v3201 v3203))
      (v3208 (icmp ult v3207 v3204))
      (v3209 (icmp eq v3200 v11))
      (v3210 (icmp eq v3200 v3202))
      (v3211 (icmp eq v3201 v3202))
      (v3212 (icmp ne v3200 v3201))
      (v3213 (iand v3206 v3208))
      (v3214 (iand v3213 v3212))
      (v3215 (ior v3210 v3211))
      (v3216 (ior v3215 v3214))
      (v3217 (select v3209 v3201 v3200))
      (v3218 (select v3208 v3201 v3217))
      (v3219 (select v3206 v3200 v3218))
      (v3220 (select v3216 v3202 v3219))
      (br b268 v3220 v3183))
    (block b267 ()
      (v3188 (iadd v2898 v3179))
      (v3189 (addhi v2898 v3179 v2899 v3180))
      (v3190 (const i64 4611686018427387904))
      (v3191 (const i64 -9223372036854775808))
      (v3192 (iadd v3189 v3190))
      (v3193 (icmp uge v3192 v3191))
      (v3194 (const i64 4))
      (v3195 (const i64 -9223372036854775808))
      (v3196 (select v3193 v3194 v3188))
      (v3197 (select v3193 v3195 v3189))
      (br b268 v3196 v3197))
    (block b268 ((v3186 i64) (v3187 i64))
      (v3221 (smax v2900 v3181))
      (v3222 (ior v3040 v3059))
      (condbr v3222 (b269) (b270 v11)))
    (block b269 ()
      (v3224 (const i64 -9223372036854775808))
      (v3225 (icmp eq v3029 v3224))
      (condbr v3225 (b271) (b272)))
    (block b270 ((v3223 i64))
      (v3312 (const i64 1))
      (v3313 (const i64 63))
      (v3314 (icmp ne v3223 v11))
      (v3315 (const i64 -9223372036854775808))
      (v3316 (select v3314 v3223 v3064))
      (v3317 (select v3314 v3315 v3065))
      (v3318 (iadd v2904 v3312))
      (v3319 (const i64 -9223372036854775808))
      (v3320 (smin v2903 v3317))
      (v3321 (icmp eq v3320 v3319))
      (condbr v3321 (b275) (b276)))
    (block b271 ()
      (v3226 (const i64 0))
      (v3227 (call_host class_num::fold_error v3226))
      (v3228 (const i64 128))
      (br b6 v3228))
    (block b272 ()
      (v3229 (const i64 -9223372036854775807))
      (v3230 (const i64 3))
      (v3231 (icmp eq v3029 v3229))
      (v3232 (select v3231 v3230 v11))
      (v3233 (const i64 9223372036854775806))
      (v3234 (const i64 2))
      (v3235 (icmp eq v3029 v3233))
      (v3236 (select v3235 v3234 v3232))
      (v3237 (const i64 9223372036854775807))
      (v3238 (const i64 1))
      (v3239 (icmp eq v3029 v3237))
      (v3240 (select v3239 v3238 v3236))
      (v3241 (icmp ne v3240 v11))
      (v3242 (select v3241 v11 v3029))
      (v3243 (const i64 -9223372036854775808))
      (v3244 (icmp eq v3048 v3243))
      (condbr v3244 (b273) (b274)))
    (block b273 ()
      (v3245 (const i64 0))
      (v3246 (call_host class_num::fold_error v3245))
      (v3247 (const i64 128))
      (br b6 v3247))
    (block b274 ()
      (v3248 (const i64 -9223372036854775807))
      (v3249 (const i64 3))
      (v3250 (icmp eq v3048 v3248))
      (v3251 (select v3250 v3249 v11))
      (v3252 (const i64 9223372036854775806))
      (v3253 (const i64 2))
      (v3254 (icmp eq v3048 v3252))
      (v3255 (select v3254 v3253 v3251))
      (v3256 (const i64 9223372036854775807))
      (v3257 (const i64 1))
      (v3258 (icmp eq v3048 v3256))
      (v3259 (select v3258 v3257 v3255))
      (v3260 (icmp ne v3259 v11))
      (v3261 (select v3260 v11 v3048))
      (v3262 (const i64 2))
      (v3263 (const i64 3))
      (v3264 (icmp eq v3259 v3262))
      (v3265 (icmp eq v3259 v3263))
      (v3266 (select v3264 v3263 v3259))
      (v3267 (select v3265 v3262 v3266))
      (v3268 (const i64 1))
      (v3269 (const i64 2))
      (v3270 (const i64 2))
      (v3271 (isub v11 v3269))
      (v3272 (icmp ult v3271 v3270))
      (v3273 (isub v3267 v3269))
      (v3274 (icmp ult v3273 v3270))
      (v3275 (icmp eq v11 v11))
      (v3276 (icmp eq v11 v3268))
      (v3277 (icmp eq v3267 v3268))
      (v3278 (icmp ne v11 v3267))
      (v3279 (iand v3272 v3274))
      (v3280 (iand v3279 v3278))
      (v3281 (ior v3276 v3277))
      (v3282 (ior v3281 v3280))
      (v3283 (select v3275 v3267 v11))
      (v3284 (select v3274 v3267 v3283))
      (v3285 (select v3272 v11 v3284))
      (v3286 (select v3282 v3268 v3285))
      (v3287 (const i64 1))
      (v3288 (const i64 2))
      (v3289 (const i64 3))
      (v3290 (icmp eq v3240 v3287))
      (v3291 (icmp eq v3286 v3287))
      (v3292 (ior v3290 v3291))
      (v3293 (icmp eq v3240 v11))
      (v3294 (icmp eq v3286 v11))
      (v3295 (iand v3293 v3294))
      (v3296 (icmp slt v3041 v11))
      (v3297 (icmp eq v3041 v11))
      (v3298 (icmp slt v3063 v11))
      (v3299 (icmp eq v3063 v11))
      (v3300 (icmp eq v3240 v3289))
      (v3301 (icmp eq v3286 v3289))
      (v3302 (select v3293 v3296 v3300))
      (v3303 (select v3294 v3298 v3301))
      (v3304 (iand v3293 v3297))
      (v3305 (iand v3294 v3299))
      (v3306 (ior v3304 v3305))
      (v3307 (ixor v3302 v3303))
      (v3308 (select v3307 v3289 v3288))
      (v3309 (select v3306 v3287 v3308))
      (v3310 (select v3295 v11 v3309))
      (v3311 (select v3292 v3287 v3310))
      (br b270 v3311))
    (block b275 ()
      (v3334 (icmp eq v2903 v3319))
      (v3335 (icmp eq v3317 v3319))
      (v3336 (select v3334 v2902 v11))
      (v3337 (select v3335 v3316 v11))
      (v3338 (const i64 1))
      (v3339 (const i64 2))
      (v3340 (const i64 2))
      (v3341 (isub v3336 v3339))
      (v3342 (icmp ult v3341 v3340))
      (v3343 (isub v3337 v3339))
      (v3344 (icmp ult v3343 v3340))
      (v3345 (icmp eq v3336 v11))
      (v3346 (icmp eq v3336 v3338))
      (v3347 (icmp eq v3337 v3338))
      (v3348 (icmp ne v3336 v3337))
      (v3349 (iand v3342 v3344))
      (v3350 (iand v3349 v3348))
      (v3351 (ior v3346 v3347))
      (v3352 (ior v3351 v3350))
      (v3353 (select v3345 v3337 v3336))
      (v3354 (select v3344 v3337 v3353))
      (v3355 (select v3342 v3336 v3354))
      (v3356 (select v3352 v3338 v3355))
      (br b277 v3356 v3319))
    (block b276 ()
      (v3324 (iadd v2902 v3316))
      (v3325 (addhi v2902 v3316 v2903 v3317))
      (v3326 (const i64 4611686018427387904))
      (v3327 (const i64 -9223372036854775808))
      (v3328 (iadd v3325 v3326))
      (v3329 (icmp uge v3328 v3327))
      (v3330 (const i64 4))
      (v3331 (const i64 -9223372036854775808))
      (v3332 (select v3329 v3330 v3324))
      (v3333 (select v3329 v3331 v3325))
      (br b277 v3332 v3333))
    (block b277 ((v3322 i64) (v3323 i64))
      (v3357 (iadd v2897 v12))
      (br b242 v2991 v2996 v3357 v3186 v3187 v3221 v3182 v3322 v3323 v3318))
    (block b278 ()
      (v3358 (iadd v2470 v12))
      (v3359 (icmp slt v3358 v2465))
      (condbr v3359 (b209 v3358 v2471 v2486 v2487 v2488 v2489 v2490 v2491 v2492 v2493) (b197 v2232 v2486 v2487 v2488 v2489 v2490 v2491 v2492 v2493)))
    (block b279 ()
      (v3360 (icmp eq v2471 v11))
      (condbr v3360 (b197 v2232 v2486 v2487 v2488 v2489 v2490 v2491 v2492 v2493) (b280)))
    (block b280 ()
      (v3361 (ctz v2471))
      (v3362 (iadd v2222 v3361))
      (v3363 (isub v2471 v12))
      (v3364 (iand v2471 v3363))
      (br b209 v3362 v3364 v2486 v2487 v2488 v2489 v2490 v2491 v2492 v2493))
    (block b281 ()
      (v3366 (const i64 1))
      (v3367 (const i64 0))
      (v3368 (call_host lane_fill v0 v3366 v3367))
      (v3369 (icmp slt v3368 v11))
      (condbr v3369 (b8 v3368) (b283)))
    (block b282 ()
      (br b287 v140 v141 v142 v143 v144 v145 v146 v147 v148))
    (block b283 ()
      (v3370 (const i64 1))
      (v3371 (const i64 1))
      (v3372 (call_host lane_fill v0 v3370 v3371))
      (v3373 (icmp slt v3372 v11))
      (condbr v3373 (b8 v3372) (b284)))
    (block b284 ()
      (v3374 (const i64 1))
      (v3375 (const i64 2))
      (v3376 (call_host lane_fill v0 v3374 v3375))
      (v3377 (icmp slt v3376 v11))
      (condbr v3377 (b8 v3376) (b285)))
    (block b285 ()
      (v3378 (const i64 1))
      (v3379 (const i64 3))
      (v3380 (call_host lane_fill v0 v3378 v3379))
      (v3381 (icmp slt v3380 v11))
      (condbr v3381 (b8 v3380) (b286)))
    (block b286 ()
      (br b282))
    (block b287 ((v3382 i64) (v3383 i64) (v3384 i64) (v3385 i64) (v3386 i64) (v3387 i64) (v3388 i64) (v3389 i64) (v3390 i64))
      (v3391 (icmp slt v3382 v71))
      (condbr v3391 (b288) (b22 v3383 v3384 v3385 v3386 v3387 v3388 v3389 v3390)))
    (block b288 ()
      (v3392 (iadd v3382 v12))
      (condbr v68 (b290 v3382) (b289)))
    (block b289 ()
      (v3394 (ptr_add v66 v3382 4 0))
      (v3395 (load i32 v3394 0))
      (v3396 (zext i64 v3395))
      (br b290 v3396))
    (block b290 ((v3393 i64))
      (v3397 (ptr_add v73 v3393 4 0))
      (v3398 (ptr_add v77 v3393 8 0))
      (v3399 (ptr_add v81 v3393 8 0))
      (v3400 (ptr_add v85 v3393 4 0))
      (v3409 (const bool true))
      (v3410 (const bool false))
      (v3411 (load i32 v3400 0))
      (v3412 (sext i64 v3411))
      (v3413 (load ptr v23 24))
      (v3414 (const bool true))
      (v3415 (const bool false))
      (v3416 (const i64 0))
      (v3417 (ixor v107 v3414))
      (v3418 (const i64 0))
      (v3419 (icmp sge v3412 v105))
      (v3420 (zext i64 v3419))
      (v3421 (icmp ne v3420 v3416))
      (v3422 (iand v3421 v3417))
      (condbr v3422 (b292) (b291 v3383 v3384 v3385 v3386 v3387 v3388 v3389 v3390)))
    (block b291 ((v3401 i64) (v3402 i64) (v3403 i64) (v3404 i64) (v3405 i64) (v3406 i64) (v3407 i64) (v3408 i64))
      (v4315 (iadd v3382 v12))
      (br b287 v4315 v3401 v3402 v3403 v3404 v3405 v3406 v3407 v3408))
    (block b292 ()
      (v3431 (const bool true))
      (v3432 (load ptr v23 32))
      (v3433 (const bool true))
      (v3434 (const bool false))
      (v3435 (const i64 0))
      (v3436 (ixor v110 v3433))
      (v3437 (const i64 0))
      (v3438 (icmp slt v3412 v108))
      (v3439 (zext i64 v3438))
      (v3440 (icmp ne v3439 v3435))
      (v3441 (iand v3440 v3436))
      (condbr v3441 (b294) (b293 v3383 v3384 v3385 v3386 v3387 v3388 v3389 v3390)))
    (block b293 ((v3423 i64) (v3424 i64) (v3425 i64) (v3426 i64) (v3427 i64) (v3428 i64) (v3429 i64) (v3430 i64))
      (br b291 v3423 v3424 v3425 v3426 v3427 v3428 v3429 v3430))
    (block b294 ()
      (v3442 (const bool true))
      (v3451 (const bool true))
      (v3452 (const bool false))
      (v3453 (load i32 v3397 0))
      (v3454 (sext i64 v3453))
      (v3455 (const i64 0))
      (v3456 (const i64 5))
      (v3457 (icmp eq v41 v3456))
      (condbr v3457 (b296) (b300)))
    (block b295 ((v3443 i64) (v3444 i64) (v3445 i64) (v3446 i64) (v3447 i64) (v3448 i64) (v3449 i64) (v3450 i64))
      (br b293 v3443 v3444 v3445 v3446 v3447 v3448 v3449 v3450))
    (block b296 ()
      (v3458 (isub v3454 v48))
      (v3459 (icmp ult v3458 v51))
      (condbr v3459 (b301) (b302 v11)))
    (block b297 ()
      (v3489 (load i64 v15 0))
      (v3490 (icmp sgt v3489 v11))
      (condbr v3490 (b298) (b299)))
    (block b298 ()
      ((store v15 0 v11))
      (br b295 v3383 v3384 v3385 v3386 v3387 v3388 v3389 v3390))
    (block b299 ()
      (v3491 (inttoptr v3460))
      (v3492 (load i64 v3491 8))
      (v3493 (const i64 1))
      (v3494 (const i64 0))
      (v3495 (load i64 v3491 16))
      (v3496 (const i64 32))
      (v3497 (ushr v3492 v3496))
      (v3498 (iand v3497 v3493))
      (v3499 (icmp ne v3498 v3494))
      ((store v15 0 v12))
      (v3500 (const bool true))
      (v3501 (const bool true))
      (v3502 (ixor v3499 v3501))
      (v3503 (const bool true))
      (v3504 (const bool false))
      (v3505 (const i64 0))
      (v3506 (ixor v3502 v3500))
      (v3507 (const bool true))
      (v3508 (const bool false))
      (v3509 (const bool true))
      (v3510 (const bool true))
      (v3511 (ixor v3506 v3510))
      (v3512 (load ptr v23 96))
      (v3513 (const bool true))
      (v3514 (const bool false))
      (v3515 (const i64 0))
      (v3516 (icmp ne v3495 v3515))
      (v3517 (iand v3516 v3511))
      (v3518 (ixor v3517 v3509))
      (v3519 (const bool true))
      (v3520 (const bool true))
      (v3521 (const bool false))
      (v3522 (const i64 0))
      (br b303))
    (block b300 ()
      (v3863 (const i64 1))
      (v3864 (icmp eq v41 v3863))
      (condbr v3864 (b329) (b330)))
    (block b301 ()
      (v3461 (const i64 6))
      (v3462 (const i64 63))
      (v3463 (ushr v3458 v3461))
      (v3464 (iand v3458 v3462))
      (v3465 (ptrtoint v44))
      (v3466 (ptrtoint v46))
      (v3467 (isub v3466 v3465))
      (v3468 (ptr_add v44 v3463 8 0))
      (v3469 (load i64 v3468 0))
      (v3470 (ushr v3469 v3464))
      (v3471 (iand v3470 v12))
      (v3472 (stack_addr 7))
      ((store v3472 0 v3454))
      (v3473 (ptr_add v44 v3467 1 0))
      (v3474 (ptr_add v3473 v3463 8 0))
      (v3475 (load i64 v3474 0))
      (v3476 (ushr v3475 v3464))
      (v3477 (iand v3476 v12))
      (v3478 (ptr_add v44 v3467 2 0))
      (v3479 (ptr_add v3478 v3463 8 0))
      (v3480 (load i64 v3479 0))
      (v3481 (ushr v3480 v3464))
      (v3482 (iand v3481 v12))
      (v3483 (const i64 32))
      ((store v3472 16 v3477))
      (v3484 (shl v3482 v3483))
      ((store v3472 8 v3484))
      (v3485 (ptrtoint v3472))
      (v3486 (icmp ne v3471 v11))
      (v3487 (select v3486 v3485 v11))
      (br b302 v3487))
    (block b302 ((v3460 i64))
      (v3488 (icmp eq v3460 v11))
      (condbr v3488 (b295 v3383 v3384 v3385 v3386 v3387 v3388 v3389 v3390) (b297)))
    (block b303 ()
      (v3524 (load ptr v0 352))
      (v3525 (loadz i8 v3524 49))
      (v3526 (const i64 1))
      (v3527 (icmp eq v3525 v3526))
      (v3528 (load i64 v3398 0))
      (condbr v3527 (b304) (b305 v3528)))
    (block b304 ()
      (v3529 (const i64 2))
      (v3530 (call_host rep_num_mantissa v3528 v3529))
      (br b305 v3530))
    (block b305 ((v3523 i64))
      (v3531 (const i64 2))
      (v3532 (const i64 -9223372036854775804))
      (v3533 (iadd v3523 v3531))
      (v3534 (icmp slt v3533 v3532))
      (v3535 (select v3534 v11 v3523))
      (v3536 (const bool true))
      (v3537 (const bool true))
      (v3538 (const i64 1))
      (v3539 (const bool true))
      (v3540 (const bool false))
      (v3541 (const i64 0))
      (br b306))
    (block b306 ()
      (v3543 (load ptr v0 352))
      (v3544 (loadz i8 v3543 81))
      (v3545 (const i64 1))
      (v3546 (icmp eq v3544 v3545))
      (v3547 (load i64 v3399 0))
      (condbr v3546 (b307) (b308 v3547)))
    (block b307 ()
      (v3548 (const i64 2))
      (v3549 (call_host rep_num_mantissa v3547 v3548))
      (br b308 v3549))
    (block b308 ((v3542 i64))
      (v3550 (const i64 2))
      (v3551 (const i64 -9223372036854775804))
      (v3552 (iadd v3542 v3550))
      (v3553 (icmp slt v3552 v3551))
      (v3554 (select v3553 v11 v3542))
      (v3555 (const i64 100))
      (v3556 (imul v3538 v3555))
      (v3557 (isub v3556 v3554))
      (v3558 (imul v3535 v3557))
      (v3559 (smulh v3535 v3557))
      (v3560 (select v3517 v3558 v11))
      (v3561 (select v3517 v3559 v11))
      (v3562 (select v3517 v3520 v3508))
      (v3563 (const i64 4))
      (v3564 (select v3517 v3563 v11))
      (v3565 (const bool true))
      (v3566 (const i64 0))
      (v3567 (const i64 10000))
      (v3568 (imul v3566 v3567))
      (v3569 (smulh v3566 v3567))
      (v3570 (select v3518 v3568 v3560))
      (v3571 (select v3518 v3569 v3561))
      (v3572 (select v3518 v3565 v3562))
      (v3573 (const i64 0))
      (v3574 (select v3518 v3573 v3564))
      (v3575 (ior v3534 v3553))
      (condbr v3575 (b309) (b310 v11)))
    (block b309 ()
      (v3577 (const i64 -9223372036854775808))
      (v3578 (icmp eq v3523 v3577))
      (condbr v3578 (b311) (b312)))
    (block b310 ((v3576 i64))
      (v3667 (zext i64 v3572))
      (v3668 (const i64 63))
      (v3669 (icmp ne v3576 v11))
      (v3670 (const i64 -9223372036854775808))
      (v3671 (select v3669 v3576 v3570))
      (v3672 (select v3669 v3670 v3571))
      (v3673 (select v3572 v3671 v11))
      (v3674 (select v3572 v3672 v11))
      (v3675 (select v3572 v3574 v11))
      (v3676 (iadd v3387 v3667))
      (v3677 (const i64 -9223372036854775808))
      (v3678 (smin v3385 v3674))
      (v3679 (icmp eq v3678 v3677))
      (condbr v3679 (b315) (b316)))
    (block b311 ()
      (v3579 (const i64 0))
      (v3580 (call_host class_num::fold_error v3579))
      (v3581 (const i64 128))
      (br b6 v3581))
    (block b312 ()
      (v3582 (const i64 -9223372036854775807))
      (v3583 (const i64 3))
      (v3584 (icmp eq v3523 v3582))
      (v3585 (select v3584 v3583 v11))
      (v3586 (const i64 9223372036854775806))
      (v3587 (const i64 2))
      (v3588 (icmp eq v3523 v3586))
      (v3589 (select v3588 v3587 v3585))
      (v3590 (const i64 9223372036854775807))
      (v3591 (const i64 1))
      (v3592 (icmp eq v3523 v3590))
      (v3593 (select v3592 v3591 v3589))
      (v3594 (icmp ne v3593 v11))
      (v3595 (select v3594 v11 v3523))
      (v3596 (const i64 -9223372036854775808))
      (v3597 (icmp eq v3542 v3596))
      (condbr v3597 (b313) (b314)))
    (block b313 ()
      (v3598 (const i64 0))
      (v3599 (call_host class_num::fold_error v3598))
      (v3600 (const i64 128))
      (br b6 v3600))
    (block b314 ()
      (v3601 (const i64 -9223372036854775807))
      (v3602 (const i64 3))
      (v3603 (icmp eq v3542 v3601))
      (v3604 (select v3603 v3602 v11))
      (v3605 (const i64 9223372036854775806))
      (v3606 (const i64 2))
      (v3607 (icmp eq v3542 v3605))
      (v3608 (select v3607 v3606 v3604))
      (v3609 (const i64 9223372036854775807))
      (v3610 (const i64 1))
      (v3611 (icmp eq v3542 v3609))
      (v3612 (select v3611 v3610 v3608))
      (v3613 (icmp ne v3612 v11))
      (v3614 (select v3613 v11 v3542))
      (v3615 (const i64 2))
      (v3616 (const i64 3))
      (v3617 (icmp eq v3612 v3615))
      (v3618 (icmp eq v3612 v3616))
      (v3619 (select v3617 v3616 v3612))
      (v3620 (select v3618 v3615 v3619))
      (v3621 (const i64 1))
      (v3622 (const i64 2))
      (v3623 (const i64 2))
      (v3624 (isub v11 v3622))
      (v3625 (icmp ult v3624 v3623))
      (v3626 (isub v3620 v3622))
      (v3627 (icmp ult v3626 v3623))
      (v3628 (icmp eq v11 v11))
      (v3629 (icmp eq v11 v3621))
      (v3630 (icmp eq v3620 v3621))
      (v3631 (icmp ne v11 v3620))
      (v3632 (iand v3625 v3627))
      (v3633 (iand v3632 v3631))
      (v3634 (ior v3629 v3630))
      (v3635 (ior v3634 v3633))
      (v3636 (select v3628 v3620 v11))
      (v3637 (select v3627 v3620 v3636))
      (v3638 (select v3625 v11 v3637))
      (v3639 (select v3635 v3621 v3638))
      (v3640 (const i64 1))
      (v3641 (const i64 2))
      (v3642 (const i64 3))
      (v3643 (icmp eq v3593 v3640))
      (v3644 (icmp eq v3639 v3640))
      (v3645 (ior v3643 v3644))
      (v3646 (icmp eq v3593 v11))
      (v3647 (icmp eq v3639 v11))
      (v3648 (iand v3646 v3647))
      (v3649 (icmp slt v3535 v11))
      (v3650 (icmp eq v3535 v11))
      (v3651 (icmp slt v3557 v11))
      (v3652 (icmp eq v3557 v11))
      (v3653 (icmp eq v3593 v3642))
      (v3654 (icmp eq v3639 v3642))
      (v3655 (select v3646 v3649 v3653))
      (v3656 (select v3647 v3651 v3654))
      (v3657 (iand v3646 v3650))
      (v3658 (iand v3647 v3652))
      (v3659 (ior v3657 v3658))
      (v3660 (ixor v3655 v3656))
      (v3661 (select v3660 v3642 v3641))
      (v3662 (select v3659 v3640 v3661))
      (v3663 (select v3648 v11 v3662))
      (v3664 (select v3645 v3640 v3663))
      (v3665 (select v3517 v3664 v11))
      (v3666 (select v3518 v11 v3665))
      (br b310 v3666))
    (block b315 ()
      (v3692 (icmp eq v3385 v3677))
      (v3693 (icmp eq v3674 v3677))
      (v3694 (select v3692 v3384 v11))
      (v3695 (select v3693 v3673 v11))
      (v3696 (const i64 1))
      (v3697 (const i64 2))
      (v3698 (const i64 2))
      (v3699 (isub v3694 v3697))
      (v3700 (icmp ult v3699 v3698))
      (v3701 (isub v3695 v3697))
      (v3702 (icmp ult v3701 v3698))
      (v3703 (icmp eq v3694 v11))
      (v3704 (icmp eq v3694 v3696))
      (v3705 (icmp eq v3695 v3696))
      (v3706 (icmp ne v3694 v3695))
      (v3707 (iand v3700 v3702))
      (v3708 (iand v3707 v3706))
      (v3709 (ior v3704 v3705))
      (v3710 (ior v3709 v3708))
      (v3711 (select v3703 v3695 v3694))
      (v3712 (select v3702 v3695 v3711))
      (v3713 (select v3700 v3694 v3712))
      (v3714 (select v3710 v3696 v3713))
      (br b317 v3714 v3677))
    (block b316 ()
      (v3682 (iadd v3384 v3673))
      (v3683 (addhi v3384 v3673 v3385 v3674))
      (v3684 (const i64 4611686018427387904))
      (v3685 (const i64 -9223372036854775808))
      (v3686 (iadd v3683 v3684))
      (v3687 (icmp uge v3686 v3685))
      (v3688 (const i64 4))
      (v3689 (const i64 -9223372036854775808))
      (v3690 (select v3687 v3688 v3682))
      (v3691 (select v3687 v3689 v3683))
      (br b317 v3690 v3691))
    (block b317 ((v3680 i64) (v3681 i64))
      (v3715 (smax v3386 v3675))
      (v3716 (ior v3534 v3553))
      (condbr v3716 (b318) (b319 v11)))
    (block b318 ()
      (v3718 (const i64 -9223372036854775808))
      (v3719 (icmp eq v3523 v3718))
      (condbr v3719 (b320) (b321)))
    (block b319 ((v3717 i64))
      (v3806 (const i64 1))
      (v3807 (const i64 63))
      (v3808 (icmp ne v3717 v11))
      (v3809 (const i64 -9223372036854775808))
      (v3810 (select v3808 v3717 v3558))
      (v3811 (select v3808 v3809 v3559))
      (v3812 (iadd v3390 v3806))
      (v3813 (const i64 -9223372036854775808))
      (v3814 (smin v3389 v3811))
      (v3815 (icmp eq v3814 v3813))
      (condbr v3815 (b324) (b325)))
    (block b320 ()
      (v3720 (const i64 0))
      (v3721 (call_host class_num::fold_error v3720))
      (v3722 (const i64 128))
      (br b6 v3722))
    (block b321 ()
      (v3723 (const i64 -9223372036854775807))
      (v3724 (const i64 3))
      (v3725 (icmp eq v3523 v3723))
      (v3726 (select v3725 v3724 v11))
      (v3727 (const i64 9223372036854775806))
      (v3728 (const i64 2))
      (v3729 (icmp eq v3523 v3727))
      (v3730 (select v3729 v3728 v3726))
      (v3731 (const i64 9223372036854775807))
      (v3732 (const i64 1))
      (v3733 (icmp eq v3523 v3731))
      (v3734 (select v3733 v3732 v3730))
      (v3735 (icmp ne v3734 v11))
      (v3736 (select v3735 v11 v3523))
      (v3737 (const i64 -9223372036854775808))
      (v3738 (icmp eq v3542 v3737))
      (condbr v3738 (b322) (b323)))
    (block b322 ()
      (v3739 (const i64 0))
      (v3740 (call_host class_num::fold_error v3739))
      (v3741 (const i64 128))
      (br b6 v3741))
    (block b323 ()
      (v3742 (const i64 -9223372036854775807))
      (v3743 (const i64 3))
      (v3744 (icmp eq v3542 v3742))
      (v3745 (select v3744 v3743 v11))
      (v3746 (const i64 9223372036854775806))
      (v3747 (const i64 2))
      (v3748 (icmp eq v3542 v3746))
      (v3749 (select v3748 v3747 v3745))
      (v3750 (const i64 9223372036854775807))
      (v3751 (const i64 1))
      (v3752 (icmp eq v3542 v3750))
      (v3753 (select v3752 v3751 v3749))
      (v3754 (icmp ne v3753 v11))
      (v3755 (select v3754 v11 v3542))
      (v3756 (const i64 2))
      (v3757 (const i64 3))
      (v3758 (icmp eq v3753 v3756))
      (v3759 (icmp eq v3753 v3757))
      (v3760 (select v3758 v3757 v3753))
      (v3761 (select v3759 v3756 v3760))
      (v3762 (const i64 1))
      (v3763 (const i64 2))
      (v3764 (const i64 2))
      (v3765 (isub v11 v3763))
      (v3766 (icmp ult v3765 v3764))
      (v3767 (isub v3761 v3763))
      (v3768 (icmp ult v3767 v3764))
      (v3769 (icmp eq v11 v11))
      (v3770 (icmp eq v11 v3762))
      (v3771 (icmp eq v3761 v3762))
      (v3772 (icmp ne v11 v3761))
      (v3773 (iand v3766 v3768))
      (v3774 (iand v3773 v3772))
      (v3775 (ior v3770 v3771))
      (v3776 (ior v3775 v3774))
      (v3777 (select v3769 v3761 v11))
      (v3778 (select v3768 v3761 v3777))
      (v3779 (select v3766 v11 v3778))
      (v3780 (select v3776 v3762 v3779))
      (v3781 (const i64 1))
      (v3782 (const i64 2))
      (v3783 (const i64 3))
      (v3784 (icmp eq v3734 v3781))
      (v3785 (icmp eq v3780 v3781))
      (v3786 (ior v3784 v3785))
      (v3787 (icmp eq v3734 v11))
      (v3788 (icmp eq v3780 v11))
      (v3789 (iand v3787 v3788))
      (v3790 (icmp slt v3535 v11))
      (v3791 (icmp eq v3535 v11))
      (v3792 (icmp slt v3557 v11))
      (v3793 (icmp eq v3557 v11))
      (v3794 (icmp eq v3734 v3783))
      (v3795 (icmp eq v3780 v3783))
      (v3796 (select v3787 v3790 v3794))
      (v3797 (select v3788 v3792 v3795))
      (v3798 (iand v3787 v3791))
      (v3799 (iand v3788 v3793))
      (v3800 (ior v3798 v3799))
      (v3801 (ixor v3796 v3797))
      (v3802 (select v3801 v3783 v3782))
      (v3803 (select v3800 v3781 v3802))
      (v3804 (select v3789 v11 v3803))
      (v3805 (select v3786 v3781 v3804))
      (br b319 v3805))
    (block b324 ()
      (v3828 (icmp eq v3389 v3813))
      (v3829 (icmp eq v3811 v3813))
      (v3830 (select v3828 v3388 v11))
      (v3831 (select v3829 v3810 v11))
      (v3832 (const i64 1))
      (v3833 (const i64 2))
      (v3834 (const i64 2))
      (v3835 (isub v3830 v3833))
      (v3836 (icmp ult v3835 v3834))
      (v3837 (isub v3831 v3833))
      (v3838 (icmp ult v3837 v3834))
      (v3839 (icmp eq v3830 v11))
      (v3840 (icmp eq v3830 v3832))
      (v3841 (icmp eq v3831 v3832))
      (v3842 (icmp ne v3830 v3831))
      (v3843 (iand v3836 v3838))
      (v3844 (iand v3843 v3842))
      (v3845 (ior v3840 v3841))
      (v3846 (ior v3845 v3844))
      (v3847 (select v3839 v3831 v3830))
      (v3848 (select v3838 v3831 v3847))
      (v3849 (select v3836 v3830 v3848))
      (v3850 (select v3846 v3832 v3849))
      (br b326 v3850 v3813))
    (block b325 ()
      (v3818 (iadd v3388 v3810))
      (v3819 (addhi v3388 v3810 v3389 v3811))
      (v3820 (const i64 4611686018427387904))
      (v3821 (const i64 -9223372036854775808))
      (v3822 (iadd v3819 v3820))
      (v3823 (icmp uge v3822 v3821))
      (v3824 (const i64 4))
      (v3825 (const i64 -9223372036854775808))
      (v3826 (select v3823 v3824 v3818))
      (v3827 (select v3823 v3825 v3819))
      (br b326 v3826 v3827))
    (block b326 ((v3816 i64) (v3817 i64))
      (v3851 (iadd v3383 v12))
      ((store v15 0 v11))
      (br b295 v3851 v3680 v3681 v3715 v3676 v3816 v3817 v3812))
    (block b327 ((v3852 i64) (v3853 i64) (v3854 i64) (v3855 i64) (v3856 i64) (v3857 i64) (v3858 i64) (v3859 i64) (v3860 i64) (v3861 i64))
      (v3938 (icmp eq v3852 v11))
      (condbr v3938 (b335 v3854 v3855 v3856 v3857 v3858 v3859 v3860 v3861) (b336)))
    (block b328 ((v3862 i64))
      (v3929 (icmp ne v41 v3863))
      (br b327 v3862 v11 v3383 v3384 v3385 v3386 v3387 v3388 v3389 v3390))
    (block b329 ()
      (v3894 (const i64 -7046029254386353131))
      (v3895 (imul v3454 v3894))
      (v3896 (const i64 64))
      (v3897 (isub v3896 v47))
      (v3898 (ushr v3895 v3897))
      (v3899 (const i64 0))
      (v3900 (icmp eq v47 v3899))
      (v3901 (select v3900 v3899 v3898))
      (v3902 (ptr_add v44 v3901 8 0))
      (v3903 (load i64 v3902 0))
      (v3904 (const i64 281474976710655))
      (v3905 (iand v3903 v3904))
      (v3906 (icmp eq v3905 v11))
      (v3907 (const i64 32))
      (v3908 (ushr v3895 v3907))
      (v3909 (ixor v3895 v3908))
      (v3910 (const i64 4294967295))
      (v3911 (iand v3909 v3910))
      (v3912 (const i64 15))
      (v3913 (iand v3911 v3912))
      (v3914 (const i64 48))
      (v3915 (iadd v3913 v3914))
      (v3916 (ushr v3903 v3915))
      (v3917 (const i64 1))
      (v3918 (iand v3916 v3917))
      (v3919 (const i64 0))
      (v3920 (icmp ne v3918 v3919))
      (v3921 (const bool true))
      (v3922 (ixor v3920 v3921))
      (v3923 (ior v3906 v3922))
      (v3924 (isub v3905 v12))
      (v3925 (const i64 24))
      (v3926 (imul v3924 v3925))
      (v3927 (iadd v54 v3926))
      (v3928 (select v3923 v11 v3927))
      (br b328 v3928))
    (block b330 ()
      (v3865 (isub v3454 v48))
      (v3866 (icmp ult v3865 v51))
      (condbr v3866 (b331) (b332 v11)))
    (block b331 ()
      (v3868 (const i64 2))
      (v3869 (icmp eq v41 v3868))
      (condbr v3869 (b333) (b334)))
    (block b332 ((v3867 i64))
      (br b328 v3867))
    (block b333 ()
      (v3870 (const i64 6))
      (v3871 (const i64 63))
      (v3872 (ushr v3865 v3870))
      (v3873 (ptr_add v44 v3872 8 0))
      (v3874 (load i64 v3873 0))
      (v3875 (iand v3865 v3871))
      (v3876 (ushr v3874 v3875))
      (v3877 (iand v3876 v12))
      (v3878 (icmp ne v3877 v11))
      (v3879 (const i64 16))
      (v3880 (imul v3865 v3879))
      (v3881 (ptrtoint v46))
      (v3882 (iadd v3881 v3880))
      (v3883 (const i64 8))
      (v3884 (isub v3882 v3883))
      (v3885 (select v3878 v3884 v11))
      (br b332 v3885))
    (block b334 ()
      (v3886 (ptr_add v44 v3865 4 0))
      (v3887 (loadz i32 v3886 0))
      (v3888 (isub v3887 v12))
      (v3889 (const i64 24))
      (v3890 (imul v3888 v3889))
      (v3891 (iadd v54 v3890))
      (v3892 (icmp eq v3887 v11))
      (v3893 (select v3892 v11 v3891))
      (br b332 v3893))
    (block b335 ((v3930 i64) (v3931 i64) (v3932 i64) (v3933 i64) (v3934 i64) (v3935 i64) (v3936 i64) (v3937 i64))
      ((store v15 0 v11))
      (br b295 v3930 v3931 v3932 v3933 v3934 v3935 v3936 v3937))
    (block b336 ()
      (v3939 (inttoptr v3852))
      (v3940 (load i64 v3939 8))
      (v3941 (const i64 4294967295))
      (v3942 (iand v3940 v3941))
      (v3943 (isub v3942 v12))
      (v3944 (const i64 24))
      (v3945 (imul v3943 v3944))
      (v3946 (iadd v54 v3945))
      (v3947 (icmp eq v3942 v11))
      (v3948 (select v3947 v11 v3946))
      (v3949 (load i64 v3939 0))
      (v3950 (const bool true))
      (v3951 (icmp eq v3454 v3949))
      (v3952 (ior v3951 v3929))
      (v3953 (iadd v3853 v12))
      (condbr v3952 (b337) (b327 v3948 v3853 v3854 v3855 v3856 v3857 v3858 v3859 v3860 v3861)))
    (block b337 ()
      (v3954 (load i64 v15 0))
      (v3955 (icmp slt v3853 v3954))
      (condbr v3955 (b327 v3948 v3953 v3854 v3855 v3856 v3857 v3858 v3859 v3860 v3861) (b338)))
    (block b338 ()
      (v3956 (const i64 1))
      (v3957 (const i64 0))
      (v3958 (load i64 v3939 16))
      (v3959 (const i64 32))
      (v3960 (ushr v3940 v3959))
      (v3961 (iand v3960 v3956))
      (v3962 (icmp ne v3961 v3957))
      ((store v15 0 v3953))
      (v3963 (const bool true))
      (v3964 (const bool true))
      (v3965 (ixor v3962 v3964))
      (v3966 (const bool true))
      (v3967 (const bool false))
      (v3968 (const i64 0))
      (v3969 (ixor v3965 v3963))
      (v3970 (const bool true))
      (v3971 (const bool false))
      (v3972 (const bool true))
      (v3973 (const bool true))
      (v3974 (ixor v3969 v3973))
      (v3975 (load ptr v23 96))
      (v3976 (const bool true))
      (v3977 (const bool false))
      (v3978 (const i64 0))
      (v3979 (icmp ne v3958 v3978))
      (v3980 (iand v3979 v3974))
      (v3981 (ixor v3980 v3972))
      (v3982 (const bool true))
      (v3983 (const bool true))
      (v3984 (const bool false))
      (v3985 (const i64 0))
      (br b339))
    (block b339 ()
      (v3987 (load ptr v0 352))
      (v3988 (loadz i8 v3987 49))
      (v3989 (const i64 1))
      (v3990 (icmp eq v3988 v3989))
      (v3991 (load i64 v3398 0))
      (condbr v3990 (b340) (b341 v3991)))
    (block b340 ()
      (v3992 (const i64 2))
      (v3993 (call_host rep_num_mantissa v3991 v3992))
      (br b341 v3993))
    (block b341 ((v3986 i64))
      (v3994 (const i64 2))
      (v3995 (const i64 -9223372036854775804))
      (v3996 (iadd v3986 v3994))
      (v3997 (icmp slt v3996 v3995))
      (v3998 (select v3997 v11 v3986))
      (v3999 (const bool true))
      (v4000 (const bool true))
      (v4001 (const i64 1))
      (v4002 (const bool true))
      (v4003 (const bool false))
      (v4004 (const i64 0))
      (br b342))
    (block b342 ()
      (v4006 (load ptr v0 352))
      (v4007 (loadz i8 v4006 81))
      (v4008 (const i64 1))
      (v4009 (icmp eq v4007 v4008))
      (v4010 (load i64 v3399 0))
      (condbr v4009 (b343) (b344 v4010)))
    (block b343 ()
      (v4011 (const i64 2))
      (v4012 (call_host rep_num_mantissa v4010 v4011))
      (br b344 v4012))
    (block b344 ((v4005 i64))
      (v4013 (const i64 2))
      (v4014 (const i64 -9223372036854775804))
      (v4015 (iadd v4005 v4013))
      (v4016 (icmp slt v4015 v4014))
      (v4017 (select v4016 v11 v4005))
      (v4018 (const i64 100))
      (v4019 (imul v4001 v4018))
      (v4020 (isub v4019 v4017))
      (v4021 (imul v3998 v4020))
      (v4022 (smulh v3998 v4020))
      (v4023 (select v3980 v4021 v11))
      (v4024 (select v3980 v4022 v11))
      (v4025 (select v3980 v3983 v3971))
      (v4026 (const i64 4))
      (v4027 (select v3980 v4026 v11))
      (v4028 (const bool true))
      (v4029 (const i64 0))
      (v4030 (const i64 10000))
      (v4031 (imul v4029 v4030))
      (v4032 (smulh v4029 v4030))
      (v4033 (select v3981 v4031 v4023))
      (v4034 (select v3981 v4032 v4024))
      (v4035 (select v3981 v4028 v4025))
      (v4036 (const i64 0))
      (v4037 (select v3981 v4036 v4027))
      (v4038 (ior v3997 v4016))
      (condbr v4038 (b345) (b346 v11)))
    (block b345 ()
      (v4040 (const i64 -9223372036854775808))
      (v4041 (icmp eq v3986 v4040))
      (condbr v4041 (b347) (b348)))
    (block b346 ((v4039 i64))
      (v4130 (zext i64 v4035))
      (v4131 (const i64 63))
      (v4132 (icmp ne v4039 v11))
      (v4133 (const i64 -9223372036854775808))
      (v4134 (select v4132 v4039 v4033))
      (v4135 (select v4132 v4133 v4034))
      (v4136 (select v4035 v4134 v11))
      (v4137 (select v4035 v4135 v11))
      (v4138 (select v4035 v4037 v11))
      (v4139 (iadd v3858 v4130))
      (v4140 (const i64 -9223372036854775808))
      (v4141 (smin v3856 v4137))
      (v4142 (icmp eq v4141 v4140))
      (condbr v4142 (b351) (b352)))
    (block b347 ()
      (v4042 (const i64 0))
      (v4043 (call_host class_num::fold_error v4042))
      (v4044 (const i64 128))
      (br b6 v4044))
    (block b348 ()
      (v4045 (const i64 -9223372036854775807))
      (v4046 (const i64 3))
      (v4047 (icmp eq v3986 v4045))
      (v4048 (select v4047 v4046 v11))
      (v4049 (const i64 9223372036854775806))
      (v4050 (const i64 2))
      (v4051 (icmp eq v3986 v4049))
      (v4052 (select v4051 v4050 v4048))
      (v4053 (const i64 9223372036854775807))
      (v4054 (const i64 1))
      (v4055 (icmp eq v3986 v4053))
      (v4056 (select v4055 v4054 v4052))
      (v4057 (icmp ne v4056 v11))
      (v4058 (select v4057 v11 v3986))
      (v4059 (const i64 -9223372036854775808))
      (v4060 (icmp eq v4005 v4059))
      (condbr v4060 (b349) (b350)))
    (block b349 ()
      (v4061 (const i64 0))
      (v4062 (call_host class_num::fold_error v4061))
      (v4063 (const i64 128))
      (br b6 v4063))
    (block b350 ()
      (v4064 (const i64 -9223372036854775807))
      (v4065 (const i64 3))
      (v4066 (icmp eq v4005 v4064))
      (v4067 (select v4066 v4065 v11))
      (v4068 (const i64 9223372036854775806))
      (v4069 (const i64 2))
      (v4070 (icmp eq v4005 v4068))
      (v4071 (select v4070 v4069 v4067))
      (v4072 (const i64 9223372036854775807))
      (v4073 (const i64 1))
      (v4074 (icmp eq v4005 v4072))
      (v4075 (select v4074 v4073 v4071))
      (v4076 (icmp ne v4075 v11))
      (v4077 (select v4076 v11 v4005))
      (v4078 (const i64 2))
      (v4079 (const i64 3))
      (v4080 (icmp eq v4075 v4078))
      (v4081 (icmp eq v4075 v4079))
      (v4082 (select v4080 v4079 v4075))
      (v4083 (select v4081 v4078 v4082))
      (v4084 (const i64 1))
      (v4085 (const i64 2))
      (v4086 (const i64 2))
      (v4087 (isub v11 v4085))
      (v4088 (icmp ult v4087 v4086))
      (v4089 (isub v4083 v4085))
      (v4090 (icmp ult v4089 v4086))
      (v4091 (icmp eq v11 v11))
      (v4092 (icmp eq v11 v4084))
      (v4093 (icmp eq v4083 v4084))
      (v4094 (icmp ne v11 v4083))
      (v4095 (iand v4088 v4090))
      (v4096 (iand v4095 v4094))
      (v4097 (ior v4092 v4093))
      (v4098 (ior v4097 v4096))
      (v4099 (select v4091 v4083 v11))
      (v4100 (select v4090 v4083 v4099))
      (v4101 (select v4088 v11 v4100))
      (v4102 (select v4098 v4084 v4101))
      (v4103 (const i64 1))
      (v4104 (const i64 2))
      (v4105 (const i64 3))
      (v4106 (icmp eq v4056 v4103))
      (v4107 (icmp eq v4102 v4103))
      (v4108 (ior v4106 v4107))
      (v4109 (icmp eq v4056 v11))
      (v4110 (icmp eq v4102 v11))
      (v4111 (iand v4109 v4110))
      (v4112 (icmp slt v3998 v11))
      (v4113 (icmp eq v3998 v11))
      (v4114 (icmp slt v4020 v11))
      (v4115 (icmp eq v4020 v11))
      (v4116 (icmp eq v4056 v4105))
      (v4117 (icmp eq v4102 v4105))
      (v4118 (select v4109 v4112 v4116))
      (v4119 (select v4110 v4114 v4117))
      (v4120 (iand v4109 v4113))
      (v4121 (iand v4110 v4115))
      (v4122 (ior v4120 v4121))
      (v4123 (ixor v4118 v4119))
      (v4124 (select v4123 v4105 v4104))
      (v4125 (select v4122 v4103 v4124))
      (v4126 (select v4111 v11 v4125))
      (v4127 (select v4108 v4103 v4126))
      (v4128 (select v3980 v4127 v11))
      (v4129 (select v3981 v11 v4128))
      (br b346 v4129))
    (block b351 ()
      (v4155 (icmp eq v3856 v4140))
      (v4156 (icmp eq v4137 v4140))
      (v4157 (select v4155 v3855 v11))
      (v4158 (select v4156 v4136 v11))
      (v4159 (const i64 1))
      (v4160 (const i64 2))
      (v4161 (const i64 2))
      (v4162 (isub v4157 v4160))
      (v4163 (icmp ult v4162 v4161))
      (v4164 (isub v4158 v4160))
      (v4165 (icmp ult v4164 v4161))
      (v4166 (icmp eq v4157 v11))
      (v4167 (icmp eq v4157 v4159))
      (v4168 (icmp eq v4158 v4159))
      (v4169 (icmp ne v4157 v4158))
      (v4170 (iand v4163 v4165))
      (v4171 (iand v4170 v4169))
      (v4172 (ior v4167 v4168))
      (v4173 (ior v4172 v4171))
      (v4174 (select v4166 v4158 v4157))
      (v4175 (select v4165 v4158 v4174))
      (v4176 (select v4163 v4157 v4175))
      (v4177 (select v4173 v4159 v4176))
      (br b353 v4177 v4140))
    (block b352 ()
      (v4145 (iadd v3855 v4136))
      (v4146 (addhi v3855 v4136 v3856 v4137))
      (v4147 (const i64 4611686018427387904))
      (v4148 (const i64 -9223372036854775808))
      (v4149 (iadd v4146 v4147))
      (v4150 (icmp uge v4149 v4148))
      (v4151 (const i64 4))
      (v4152 (const i64 -9223372036854775808))
      (v4153 (select v4150 v4151 v4145))
      (v4154 (select v4150 v4152 v4146))
      (br b353 v4153 v4154))
    (block b353 ((v4143 i64) (v4144 i64))
      (v4178 (smax v3857 v4138))
      (v4179 (ior v3997 v4016))
      (condbr v4179 (b354) (b355 v11)))
    (block b354 ()
      (v4181 (const i64 -9223372036854775808))
      (v4182 (icmp eq v3986 v4181))
      (condbr v4182 (b356) (b357)))
    (block b355 ((v4180 i64))
      (v4269 (const i64 1))
      (v4270 (const i64 63))
      (v4271 (icmp ne v4180 v11))
      (v4272 (const i64 -9223372036854775808))
      (v4273 (select v4271 v4180 v4021))
      (v4274 (select v4271 v4272 v4022))
      (v4275 (iadd v3861 v4269))
      (v4276 (const i64 -9223372036854775808))
      (v4277 (smin v3860 v4274))
      (v4278 (icmp eq v4277 v4276))
      (condbr v4278 (b360) (b361)))
    (block b356 ()
      (v4183 (const i64 0))
      (v4184 (call_host class_num::fold_error v4183))
      (v4185 (const i64 128))
      (br b6 v4185))
    (block b357 ()
      (v4186 (const i64 -9223372036854775807))
      (v4187 (const i64 3))
      (v4188 (icmp eq v3986 v4186))
      (v4189 (select v4188 v4187 v11))
      (v4190 (const i64 9223372036854775806))
      (v4191 (const i64 2))
      (v4192 (icmp eq v3986 v4190))
      (v4193 (select v4192 v4191 v4189))
      (v4194 (const i64 9223372036854775807))
      (v4195 (const i64 1))
      (v4196 (icmp eq v3986 v4194))
      (v4197 (select v4196 v4195 v4193))
      (v4198 (icmp ne v4197 v11))
      (v4199 (select v4198 v11 v3986))
      (v4200 (const i64 -9223372036854775808))
      (v4201 (icmp eq v4005 v4200))
      (condbr v4201 (b358) (b359)))
    (block b358 ()
      (v4202 (const i64 0))
      (v4203 (call_host class_num::fold_error v4202))
      (v4204 (const i64 128))
      (br b6 v4204))
    (block b359 ()
      (v4205 (const i64 -9223372036854775807))
      (v4206 (const i64 3))
      (v4207 (icmp eq v4005 v4205))
      (v4208 (select v4207 v4206 v11))
      (v4209 (const i64 9223372036854775806))
      (v4210 (const i64 2))
      (v4211 (icmp eq v4005 v4209))
      (v4212 (select v4211 v4210 v4208))
      (v4213 (const i64 9223372036854775807))
      (v4214 (const i64 1))
      (v4215 (icmp eq v4005 v4213))
      (v4216 (select v4215 v4214 v4212))
      (v4217 (icmp ne v4216 v11))
      (v4218 (select v4217 v11 v4005))
      (v4219 (const i64 2))
      (v4220 (const i64 3))
      (v4221 (icmp eq v4216 v4219))
      (v4222 (icmp eq v4216 v4220))
      (v4223 (select v4221 v4220 v4216))
      (v4224 (select v4222 v4219 v4223))
      (v4225 (const i64 1))
      (v4226 (const i64 2))
      (v4227 (const i64 2))
      (v4228 (isub v11 v4226))
      (v4229 (icmp ult v4228 v4227))
      (v4230 (isub v4224 v4226))
      (v4231 (icmp ult v4230 v4227))
      (v4232 (icmp eq v11 v11))
      (v4233 (icmp eq v11 v4225))
      (v4234 (icmp eq v4224 v4225))
      (v4235 (icmp ne v11 v4224))
      (v4236 (iand v4229 v4231))
      (v4237 (iand v4236 v4235))
      (v4238 (ior v4233 v4234))
      (v4239 (ior v4238 v4237))
      (v4240 (select v4232 v4224 v11))
      (v4241 (select v4231 v4224 v4240))
      (v4242 (select v4229 v11 v4241))
      (v4243 (select v4239 v4225 v4242))
      (v4244 (const i64 1))
      (v4245 (const i64 2))
      (v4246 (const i64 3))
      (v4247 (icmp eq v4197 v4244))
      (v4248 (icmp eq v4243 v4244))
      (v4249 (ior v4247 v4248))
      (v4250 (icmp eq v4197 v11))
      (v4251 (icmp eq v4243 v11))
      (v4252 (iand v4250 v4251))
      (v4253 (icmp slt v3998 v11))
      (v4254 (icmp eq v3998 v11))
      (v4255 (icmp slt v4020 v11))
      (v4256 (icmp eq v4020 v11))
      (v4257 (icmp eq v4197 v4246))
      (v4258 (icmp eq v4243 v4246))
      (v4259 (select v4250 v4253 v4257))
      (v4260 (select v4251 v4255 v4258))
      (v4261 (iand v4250 v4254))
      (v4262 (iand v4251 v4256))
      (v4263 (ior v4261 v4262))
      (v4264 (ixor v4259 v4260))
      (v4265 (select v4264 v4246 v4245))
      (v4266 (select v4263 v4244 v4265))
      (v4267 (select v4252 v11 v4266))
      (v4268 (select v4249 v4244 v4267))
      (br b355 v4268))
    (block b360 ()
      (v4291 (icmp eq v3860 v4276))
      (v4292 (icmp eq v4274 v4276))
      (v4293 (select v4291 v3859 v11))
      (v4294 (select v4292 v4273 v11))
      (v4295 (const i64 1))
      (v4296 (const i64 2))
      (v4297 (const i64 2))
      (v4298 (isub v4293 v4296))
      (v4299 (icmp ult v4298 v4297))
      (v4300 (isub v4294 v4296))
      (v4301 (icmp ult v4300 v4297))
      (v4302 (icmp eq v4293 v11))
      (v4303 (icmp eq v4293 v4295))
      (v4304 (icmp eq v4294 v4295))
      (v4305 (icmp ne v4293 v4294))
      (v4306 (iand v4299 v4301))
      (v4307 (iand v4306 v4305))
      (v4308 (ior v4303 v4304))
      (v4309 (ior v4308 v4307))
      (v4310 (select v4302 v4294 v4293))
      (v4311 (select v4301 v4294 v4310))
      (v4312 (select v4299 v4293 v4311))
      (v4313 (select v4309 v4295 v4312))
      (br b362 v4313 v4276))
    (block b361 ()
      (v4281 (iadd v3859 v4273))
      (v4282 (addhi v3859 v4273 v3860 v4274))
      (v4283 (const i64 4611686018427387904))
      (v4284 (const i64 -9223372036854775808))
      (v4285 (iadd v4282 v4283))
      (v4286 (icmp uge v4285 v4284))
      (v4287 (const i64 4))
      (v4288 (const i64 -9223372036854775808))
      (v4289 (select v4286 v4287 v4281))
      (v4290 (select v4286 v4288 v4282))
      (br b362 v4289 v4290))
    (block b362 ((v4279 i64) (v4280 i64))
      (v4314 (iadd v3854 v12))
      (br b327 v3948 v3953 v4314 v4143 v4144 v4178 v4139 v4279 v4280 v4275))
    (block b363 ()
      (v4320 (stack_addr 8))
      (br b365 v4318 v11))
    (block b364 ()
      (br b287 v1134 v1135 v1136 v1137 v1138 v1139 v1140 v1141 v1142))
    (block b365 ((v4321 i64) (v4322 i64))
      (v4324 (icmp eq v4321 v11))
      (condbr v4324 (b367 v4322) (b366)))
    (block b366 ()
      (v4325 (ctz v4321))
      (v4326 (iadd v1134 v4325))
      (v4327 (itrunc i32 v4326))
      (v4328 (ptr_add v4320 v4322 4 0))
      ((store v4328 0 v4327))
      (v4329 (isub v4321 v12))
      (v4330 (iand v4321 v4329))
      (v4331 (iadd v4322 v12))
      (br b365 v4330 v4331))
    (block b367 ((v4323 i64))
      (v4332 (load ptr v0 400))
      (v4333 (load i32 v0 452))
      ((store v0 400 v4320))
      (v4334 (itrunc i32 v4323))
      ((store v0 452 v4334))
      (v4335 (const i64 1))
      (v4336 (const i64 0))
      (v4337 (call_host lane_fill v0 v4335 v4336))
      (v4338 (icmp slt v4337 v11))
      (condbr v4338 (b8 v4337) (b368)))
    (block b368 ()
      (v4339 (const i64 1))
      (v4340 (const i64 1))
      (v4341 (call_host lane_fill v0 v4339 v4340))
      (v4342 (icmp slt v4341 v11))
      (condbr v4342 (b8 v4341) (b369)))
    (block b369 ()
      (v4343 (const i64 1))
      (v4344 (const i64 2))
      (v4345 (call_host lane_fill v0 v4343 v4344))
      (v4346 (icmp slt v4345 v11))
      (condbr v4346 (b8 v4345) (b370)))
    (block b370 ()
      (v4347 (const i64 1))
      (v4348 (const i64 3))
      (v4349 (call_host lane_fill v0 v4347 v4348))
      (v4350 (icmp slt v4349 v11))
      (condbr v4350 (b8 v4349) (b371)))
    (block b371 ()
      ((store v0 400 v4332))
      ((store v0 452 v4333))
      (br b364))
    (block b372 ()
      (v4380 (icmp eq v4360 v4365))
      (v4381 (icmp eq v161 v4365))
      (v4382 (select v4380 v4359 v11))
      (v4383 (select v4381 v160 v11))
      (v4384 (const i64 1))
      (v4385 (const i64 2))
      (v4386 (const i64 2))
      (v4387 (isub v4382 v4385))
      (v4388 (icmp ult v4387 v4386))
      (v4389 (isub v4383 v4385))
      (v4390 (icmp ult v4389 v4386))
      (v4391 (icmp eq v4382 v11))
      (v4392 (icmp eq v4382 v4384))
      (v4393 (icmp eq v4383 v4384))
      (v4394 (icmp ne v4382 v4383))
      (v4395 (iand v4388 v4390))
      (v4396 (iand v4395 v4394))
      (v4397 (ior v4392 v4393))
      (v4398 (ior v4397 v4396))
      (v4399 (select v4391 v4383 v4382))
      (v4400 (select v4390 v4383 v4399))
      (v4401 (select v4388 v4382 v4400))
      (v4402 (select v4398 v4384 v4401))
      (br b374 v4402 v4365))
    (block b373 ()
      (v4370 (iadd v4359 v160))
      (v4371 (addhi v4359 v160 v4360 v161))
      (v4372 (const i64 4611686018427387904))
      (v4373 (const i64 -9223372036854775808))
      (v4374 (iadd v4371 v4372))
      (v4375 (icmp uge v4374 v4373))
      (v4376 (const i64 4))
      (v4377 (const i64 -9223372036854775808))
      (v4378 (select v4375 v4376 v4370))
      (v4379 (select v4375 v4377 v4371))
      (br b374 v4378 v4379))
    (block b374 ((v4368 i64) (v4369 i64))
      (v4403 (smax v4361 v162))
      ((store v129 0 v4368))
      ((store v129 8 v4369))
      (v4404 (icmp ne v4364 v11))
      ((store v129 16 v4403))
      (v4405 (loadz i8 v129 48))
      (v4406 (const i64 2))
      (v4407 (select v4404 v4406 v11))
      (v4408 (ior v4405 v4407))
      (v4409 (itrunc i8 v4408))
      ((store v129 48 v4409))
      (v4410 (loadz i8 v129 48))
      (v4411 (const i64 1))
      (v4412 (select v4404 v4411 v11))
      (v4413 (ior v4410 v4412))
      (v4414 (itrunc i8 v4413))
      ((store v129 48 v4414))
      (v4415 (loadz i8 v129 48))
      (v4416 (const i64 4))
      (v4417 (iand v4415 v4416))
      (v4418 (icmp ne v4417 v11))
      (v4419 (const i64 0))
      (v4420 (load i64 v129 24))
      (v4421 (load i64 v129 32))
      (v4422 (select v4418 v4420 v4419))
      (v4423 (select v4418 v4421 v4419))
      (v4424 (zext i64 v4418))
      (v4425 (select v4418 v4424 v11))
      (v4426 (iadd v4425 v166))
      (v4427 (const i64 -9223372036854775808))
      (v4428 (smin v4423 v165))
      (v4429 (icmp eq v4428 v4427))
      (condbr v4429 (b375) (b376)))
    (block b375 ()
      (v4442 (icmp eq v4423 v4427))
      (v4443 (icmp eq v165 v4427))
      (v4444 (select v4442 v4422 v11))
      (v4445 (select v4443 v164 v11))
      (v4446 (const i64 1))
      (v4447 (const i64 2))
      (v4448 (const i64 2))
      (v4449 (isub v4444 v4447))
      (v4450 (icmp ult v4449 v4448))
      (v4451 (isub v4445 v4447))
      (v4452 (icmp ult v4451 v4448))
      (v4453 (icmp eq v4444 v11))
      (v4454 (icmp eq v4444 v4446))
      (v4455 (icmp eq v4445 v4446))
      (v4456 (icmp ne v4444 v4445))
      (v4457 (iand v4450 v4452))
      (v4458 (iand v4457 v4456))
      (v4459 (ior v4454 v4455))
      (v4460 (ior v4459 v4458))
      (v4461 (select v4453 v4445 v4444))
      (v4462 (select v4452 v4445 v4461))
      (v4463 (select v4450 v4444 v4462))
      (v4464 (select v4460 v4446 v4463))
      (br b377 v4464 v4427))
    (block b376 ()
      (v4432 (iadd v4422 v164))
      (v4433 (addhi v4422 v164 v4423 v165))
      (v4434 (const i64 4611686018427387904))
      (v4435 (const i64 -9223372036854775808))
      (v4436 (iadd v4433 v4434))
      (v4437 (icmp uge v4436 v4435))
      (v4438 (const i64 4))
      (v4439 (const i64 -9223372036854775808))
      (v4440 (select v4437 v4438 v4432))
      (v4441 (select v4437 v4439 v4433))
      (br b377 v4440 v4441))
    (block b377 ((v4430 i64) (v4431 i64))
      ((store v129 24 v4430))
      ((store v129 32 v4431))
      (v4465 (icmp ne v4426 v11))
      (v4466 (loadz i8 v129 48))
      (v4467 (const i64 4))
      (v4468 (select v4465 v4467 v11))
      (v4469 (ior v4466 v4468))
      (v4470 (itrunc i8 v4469))
      ((store v129 48 v4470))
      (v4471 (load i64 v129 40))
      (v4472 (iadd v4471 v157))
      ((store v129 40 v4472))
      (v4473 (icmp ne v157 v11))
      (v4474 (loadz i8 v129 48))
      (v4475 (const i64 8))
      (v4476 (select v4473 v4475 v11))
      (v4477 (ior v4474 v4476))
      (v4478 (itrunc i8 v4477))
      ((store v129 48 v4478))
      (br b2 v157 v158 v159))
    (block b378 ()
      (v4508 (icmp eq v4488 v4493))
      (v4509 (icmp eq v170 v4493))
      (v4510 (select v4508 v4487 v11))
      (v4511 (select v4509 v169 v11))
      (v4512 (const i64 1))
      (v4513 (const i64 2))
      (v4514 (const i64 2))
      (v4515 (isub v4510 v4513))
      (v4516 (icmp ult v4515 v4514))
      (v4517 (isub v4511 v4513))
      (v4518 (icmp ult v4517 v4514))
      (v4519 (icmp eq v4510 v11))
      (v4520 (icmp eq v4510 v4512))
      (v4521 (icmp eq v4511 v4512))
      (v4522 (icmp ne v4510 v4511))
      (v4523 (iand v4516 v4518))
      (v4524 (iand v4523 v4522))
      (v4525 (ior v4520 v4521))
      (v4526 (ior v4525 v4524))
      (v4527 (select v4519 v4511 v4510))
      (v4528 (select v4518 v4511 v4527))
      (v4529 (select v4516 v4510 v4528))
      (v4530 (select v4526 v4512 v4529))
      (br b380 v4530 v4493))
    (block b379 ()
      (v4498 (iadd v4487 v169))
      (v4499 (addhi v4487 v169 v4488 v170))
      (v4500 (const i64 4611686018427387904))
      (v4501 (const i64 -9223372036854775808))
      (v4502 (iadd v4499 v4500))
      (v4503 (icmp uge v4502 v4501))
      (v4504 (const i64 4))
      (v4505 (const i64 -9223372036854775808))
      (v4506 (select v4503 v4504 v4498))
      (v4507 (select v4503 v4505 v4499))
      (br b380 v4506 v4507))
    (block b380 ((v4496 i64) (v4497 i64))
      (v4531 (smax v4489 v171))
      ((store v129 0 v4496))
      ((store v129 8 v4497))
      (v4532 (icmp ne v4492 v11))
      ((store v129 16 v4531))
      (v4533 (loadz i8 v129 48))
      (v4534 (const i64 2))
      (v4535 (select v4532 v4534 v11))
      (v4536 (ior v4533 v4535))
      (v4537 (itrunc i8 v4536))
      ((store v129 48 v4537))
      (v4538 (loadz i8 v129 48))
      (v4539 (const i64 1))
      (v4540 (select v4532 v4539 v11))
      (v4541 (ior v4538 v4540))
      (v4542 (itrunc i8 v4541))
      ((store v129 48 v4542))
      (v4543 (loadz i8 v129 48))
      (v4544 (const i64 4))
      (v4545 (iand v4543 v4544))
      (v4546 (icmp ne v4545 v11))
      (v4547 (const i64 0))
      (v4548 (load i64 v129 24))
      (v4549 (load i64 v129 32))
      (v4550 (select v4546 v4548 v4547))
      (v4551 (select v4546 v4549 v4547))
      (v4552 (zext i64 v4546))
      (v4553 (select v4546 v4552 v11))
      (v4554 (iadd v4553 v175))
      (v4555 (const i64 -9223372036854775808))
      (v4556 (smin v4551 v174))
      (v4557 (icmp eq v4556 v4555))
      (condbr v4557 (b381) (b382)))
    (block b381 ()
      (v4570 (icmp eq v4551 v4555))
      (v4571 (icmp eq v174 v4555))
      (v4572 (select v4570 v4550 v11))
      (v4573 (select v4571 v173 v11))
      (v4574 (const i64 1))
      (v4575 (const i64 2))
      (v4576 (const i64 2))
      (v4577 (isub v4572 v4575))
      (v4578 (icmp ult v4577 v4576))
      (v4579 (isub v4573 v4575))
      (v4580 (icmp ult v4579 v4576))
      (v4581 (icmp eq v4572 v11))
      (v4582 (icmp eq v4572 v4574))
      (v4583 (icmp eq v4573 v4574))
      (v4584 (icmp ne v4572 v4573))
      (v4585 (iand v4578 v4580))
      (v4586 (iand v4585 v4584))
      (v4587 (ior v4582 v4583))
      (v4588 (ior v4587 v4586))
      (v4589 (select v4581 v4573 v4572))
      (v4590 (select v4580 v4573 v4589))
      (v4591 (select v4578 v4572 v4590))
      (v4592 (select v4588 v4574 v4591))
      (br b383 v4592 v4555))
    (block b382 ()
      (v4560 (iadd v4550 v173))
      (v4561 (addhi v4550 v173 v4551 v174))
      (v4562 (const i64 4611686018427387904))
      (v4563 (const i64 -9223372036854775808))
      (v4564 (iadd v4561 v4562))
      (v4565 (icmp uge v4564 v4563))
      (v4566 (const i64 4))
      (v4567 (const i64 -9223372036854775808))
      (v4568 (select v4565 v4566 v4560))
      (v4569 (select v4565 v4567 v4561))
      (br b383 v4568 v4569))
    (block b383 ((v4558 i64) (v4559 i64))
      ((store v129 24 v4558))
      ((store v129 32 v4559))
      (v4593 (icmp ne v4554 v11))
      (v4594 (loadz i8 v129 48))
      (v4595 (const i64 4))
      (v4596 (select v4593 v4595 v11))
      (v4597 (ior v4594 v4596))
      (v4598 (itrunc i8 v4597))
      ((store v129 48 v4598))
      (v4599 (load i64 v129 40))
      (v4600 (iadd v4599 v167))
      ((store v129 40 v4600))
      (v4601 (icmp ne v167 v11))
      (v4602 (loadz i8 v129 48))
      (v4603 (const i64 8))
      (v4604 (select v4601 v4603 v11))
      (v4605 (ior v4602 v4604))
      (v4606 (itrunc i8 v4605))
      ((store v129 48 v4606))
      (br b3 v167 v168))
    (block b384 ()
      (v4636 (icmp eq v4616 v4621))
      (v4637 (icmp eq v151 v4621))
      (v4638 (select v4636 v4615 v11))
      (v4639 (select v4637 v150 v11))
      (v4640 (const i64 1))
      (v4641 (const i64 2))
      (v4642 (const i64 2))
      (v4643 (isub v4638 v4641))
      (v4644 (icmp ult v4643 v4642))
      (v4645 (isub v4639 v4641))
      (v4646 (icmp ult v4645 v4642))
      (v4647 (icmp eq v4638 v11))
      (v4648 (icmp eq v4638 v4640))
      (v4649 (icmp eq v4639 v4640))
      (v4650 (icmp ne v4638 v4639))
      (v4651 (iand v4644 v4646))
      (v4652 (iand v4651 v4650))
      (v4653 (ior v4648 v4649))
      (v4654 (ior v4653 v4652))
      (v4655 (select v4647 v4639 v4638))
      (v4656 (select v4646 v4639 v4655))
      (v4657 (select v4644 v4638 v4656))
      (v4658 (select v4654 v4640 v4657))
      (br b386 v4658 v4621))
    (block b385 ()
      (v4626 (iadd v4615 v150))
      (v4627 (addhi v4615 v150 v4616 v151))
      (v4628 (const i64 4611686018427387904))
      (v4629 (const i64 -9223372036854775808))
      (v4630 (iadd v4627 v4628))
      (v4631 (icmp uge v4630 v4629))
      (v4632 (const i64 4))
      (v4633 (const i64 -9223372036854775808))
      (v4634 (select v4631 v4632 v4626))
      (v4635 (select v4631 v4633 v4627))
      (br b386 v4634 v4635))
    (block b386 ((v4624 i64) (v4625 i64))
      (v4659 (smax v4617 v152))
      ((store v129 0 v4624))
      ((store v129 8 v4625))
      (v4660 (icmp ne v4620 v11))
      ((store v129 16 v4659))
      (v4661 (loadz i8 v129 48))
      (v4662 (const i64 2))
      (v4663 (select v4660 v4662 v11))
      (v4664 (ior v4661 v4663))
      (v4665 (itrunc i8 v4664))
      ((store v129 48 v4665))
      (v4666 (loadz i8 v129 48))
      (v4667 (const i64 1))
      (v4668 (select v4660 v4667 v11))
      (v4669 (ior v4666 v4668))
      (v4670 (itrunc i8 v4669))
      ((store v129 48 v4670))
      (v4671 (loadz i8 v129 48))
      (v4672 (const i64 4))
      (v4673 (iand v4671 v4672))
      (v4674 (icmp ne v4673 v11))
      (v4675 (const i64 0))
      (v4676 (load i64 v129 24))
      (v4677 (load i64 v129 32))
      (v4678 (select v4674 v4676 v4675))
      (v4679 (select v4674 v4677 v4675))
      (v4680 (zext i64 v4674))
      (v4681 (select v4674 v4680 v11))
      (v4682 (iadd v4681 v156))
      (v4683 (const i64 -9223372036854775808))
      (v4684 (smin v4679 v155))
      (v4685 (icmp eq v4684 v4683))
      (condbr v4685 (b387) (b388)))
    (block b387 ()
      (v4698 (icmp eq v4679 v4683))
      (v4699 (icmp eq v155 v4683))
      (v4700 (select v4698 v4678 v11))
      (v4701 (select v4699 v154 v11))
      (v4702 (const i64 1))
      (v4703 (const i64 2))
      (v4704 (const i64 2))
      (v4705 (isub v4700 v4703))
      (v4706 (icmp ult v4705 v4704))
      (v4707 (isub v4701 v4703))
      (v4708 (icmp ult v4707 v4704))
      (v4709 (icmp eq v4700 v11))
      (v4710 (icmp eq v4700 v4702))
      (v4711 (icmp eq v4701 v4702))
      (v4712 (icmp ne v4700 v4701))
      (v4713 (iand v4706 v4708))
      (v4714 (iand v4713 v4712))
      (v4715 (ior v4710 v4711))
      (v4716 (ior v4715 v4714))
      (v4717 (select v4709 v4701 v4700))
      (v4718 (select v4708 v4701 v4717))
      (v4719 (select v4706 v4700 v4718))
      (v4720 (select v4716 v4702 v4719))
      (br b389 v4720 v4683))
    (block b388 ()
      (v4688 (iadd v4678 v154))
      (v4689 (addhi v4678 v154 v4679 v155))
      (v4690 (const i64 4611686018427387904))
      (v4691 (const i64 -9223372036854775808))
      (v4692 (iadd v4689 v4690))
      (v4693 (icmp uge v4692 v4691))
      (v4694 (const i64 4))
      (v4695 (const i64 -9223372036854775808))
      (v4696 (select v4693 v4694 v4688))
      (v4697 (select v4693 v4695 v4689))
      (br b389 v4696 v4697))
    (block b389 ((v4686 i64) (v4687 i64))
      ((store v129 24 v4686))
      ((store v129 32 v4687))
      (v4721 (icmp ne v4682 v11))
      (v4722 (loadz i8 v129 48))
      (v4723 (const i64 4))
      (v4724 (select v4721 v4723 v11))
      (v4725 (ior v4722 v4724))
      (v4726 (itrunc i8 v4725))
      ((store v129 48 v4726))
      (v4727 (load i64 v129 40))
      (v4728 (iadd v4727 v149))
      ((store v129 40 v4728))
      (v4729 (icmp ne v149 v11))
      (v4730 (loadz i8 v129 48))
      (v4731 (const i64 8))
      (v4732 (select v4729 v4731 v11))
      (v4733 (ior v4730 v4732))
      (v4734 (itrunc i8 v4733))
      ((store v129 48 v4734))
      (br b1 v149 v71))
    (block b390 ()
      (v4745 (call_host stopped v0))
      (br b8 v4745)))
)
