(program
  (host gravity_raise (ptr i64) void may_error touches_memory)
  (host gravity_float_cold (ptr i64 i64 i64 i64) i64 may_error touches_memory)
  (host gravity_fmgr_call (ptr i64 ptr ptr ptr) i64 may_error touches_memory)
  (host gravity_srf_call (ptr i64 ptr ptr ptr) i64 may_error touches_memory)
  (host gravity_param (ptr i64 ptr) i64 may_error touches_memory)
  (host gravity_agg_value (ptr i64 ptr) i64 may_error touches_memory)
  (host gravity_grouping (ptr i64 ptr) i64 may_error touches_memory)
  (host gravity_subplan (ptr i64 ptr ptr ptr) i64 may_error touches_memory)
  (host gravity_var (ptr i64 ptr) i64 may_error touches_memory)
  (host gravity_array_construct (ptr i64 ptr ptr ptr) i64 may_error touches_memory)
  (host gravity_row_construct (ptr i64 ptr ptr ptr) i64 may_error touches_memory)
  (host gravity_field_select (ptr i64 i64 i64 ptr) i64 may_error touches_memory)
  (host gravity_field_store_deform (ptr i64 i64 i64) i64 may_error touches_memory)
  (host gravity_field_store_old (ptr i64 i64 ptr) i64 may_error touches_memory)
  (host gravity_field_store_set (ptr i64 i64 i64 i64) i64 may_error touches_memory)
  (host gravity_field_store_form (ptr i64 ptr) i64 may_error touches_memory)
  (host gravity_coerce_via_io (ptr i64 i64 i64 ptr) i64 may_error touches_memory)
  (host gravity_convert_rowtype (ptr i64 i64 i64 ptr) i64 may_error touches_memory)
  (host gravity_scalar_array_op (ptr i64 i64 i64 i64 i64 ptr) i64 may_error touches_memory)
  (host gravity_array_iter_begin (ptr i64 i64 ptr) i64 may_error touches_memory)
  (host gravity_array_iter_next (ptr ptr ptr) i64 may_error touches_memory)
  (host gravity_array_iter_push (ptr ptr i64 i64) i64 may_error touches_memory)
  (host gravity_array_iter_finish (ptr i64 ptr ptr) i64 may_error touches_memory)
  (host gravity_sbsref_fetch (ptr i64 ptr ptr) i64 may_error touches_memory)
  (host gravity_sbsref_old (ptr i64 ptr ptr) i64 may_error touches_memory)
  (host gravity_sbsref_assign (ptr i64 ptr ptr) i64 may_error touches_memory)
  (host gravity_domain_not_null (ptr i64) i64 may_error touches_memory)
  (host gravity_domain_check_failed (ptr i64) i64 may_error touches_memory)
  (host gravity_make_readonly (ptr i64 i64) i64 may_error touches_memory)
  (host gravity_case_test_ext (ptr ptr) i64 may_error touches_memory)
  (host gravity_domain_test_ext (ptr ptr) i64 may_error touches_memory)
  (host gravity_sql_value_function (ptr i64 ptr) i64 may_error touches_memory)
  (host gravity_next_value (ptr i64 ptr) i64 may_error touches_memory)
  (host gravity_current_of (ptr i64 ptr) i64 may_error touches_memory)
  (host gravity_merge_support (ptr i64 ptr) i64 may_error touches_memory)
  (host gravity_xml_expr (ptr i64 ptr ptr ptr ptr ptr) i64 may_error touches_memory)
  (host gravity_json_constructor (ptr i64 ptr ptr ptr) i64 may_error touches_memory)
  (host gravity_json_is_predicate (ptr i64 i64 i64 ptr) i64 may_error touches_memory)
  (host gravity_json_path (ptr i64 i64 i64 ptr ptr ptr) i64 may_error touches_memory)
  (host gravity_json_coerce (ptr i64 i64 i64 ptr) i64 may_error touches_memory)
  (host gravity_json_null_branch (ptr i64) i64 may_error touches_memory)
  (host gravity_returning_applies (ptr i64) i64 may_error touches_memory)
  (host gravity_row_null_test (ptr i64 i64 i64 ptr) i64 may_error touches_memory)
  (host gravity_unrecognized (ptr i64) i64 may_error touches_memory)
  (host gravity_source_next (ptr i64) i64 may_error touches_memory)
  (host gravity_source_spool (ptr i64) i64 may_error touches_memory)
  (host gravity_deform (ptr i64 i64) i64 may_error touches_memory)
  (host gravity_source_batch (ptr i64 i64) i64 may_error touches_memory)
  (host gravity_page_next (ptr i64) i64 may_error touches_memory)
  (host gravity_granule_next (ptr i64) i64 may_error touches_memory)
  (host gravity_dict_entry (ptr i64 i64) i64 may_error touches_memory)
  (host gravity_dict_bitmap (ptr i64 i64) i64 may_error touches_memory)
  (host gravity_stage_tuple (ptr i64 i64) i64 may_error touches_memory)
  (host gravity_deform_slow (ptr i64 i64 i64) i64 may_error touches_memory)
  (host gravity_hashagg_insert (ptr i64) i64 may_error touches_memory)
  (host gravity_hashagg_fp (ptr i64 i64 i64) i64 may_error touches_memory)
  (host gravity_hashagg_dense_reset (ptr i64) i64 may_error touches_memory)
  (host gravity_hashagg_row (ptr i64) i64 may_error touches_memory)
  (host gravity_hashagg_advance (ptr i64 i64) i64 may_error touches_memory)
  (host gravity_hashagg_advance_batch (ptr i64) i64 may_error touches_memory)
  (host gravity_hashagg_set_insert (ptr i64 i64 i64) i64 may_error touches_memory)
  (host gravity_hash_build (ptr i64) i64 may_error touches_memory)
  (host gravity_hash_probe_fp (ptr i64 i64 i64) i64 may_error touches_memory)
  (host gravity_hash_probe_detoast (ptr i64 i64) i64 may_error touches_memory)
  (host gravity_bytes_eq (ptr ptr i64) i64 touches_memory)
  (host gravity_hashagg_detoast (ptr i64) i64 may_error touches_memory)
  (host gravity_hash_probe_unmatched (ptr i64 i64) i64 may_error touches_memory)
  (host gravity_row_keep (ptr i64 ptr ptr) i64 may_error touches_memory)
  (host gravity_sortagg_init (ptr i64) i64 may_error touches_memory)
  (host gravity_sortagg_advance (ptr i64) i64 may_error touches_memory)
  (host gravity_sortagg_finalize (ptr i64 i64) i64 may_error touches_memory)
  (host gravity_sortagg_set_insert (ptr i64 i64 i64 i64) i64 may_error touches_memory)
  (host gravity_join_rescan (ptr i64) i64 may_error touches_memory)
  (host gravity_join_next (ptr i64) i64 may_error touches_memory)
  (host gravity_join_mark (ptr i64) i64 may_error touches_memory)
  (host gravity_join_restore (ptr i64 i64) i64 may_error touches_memory)
  (host gravity_check_interrupts (ptr) i64 may_error touches_memory)
  (host gravity_array_more (ptr i64 i64) i64 may_error touches_memory)
  (host gravity_recursive_dedup (ptr i64 i64) i64 may_error touches_memory)
  (fn pipeline ((v0 ptr)) (i64)
    (hints (cold b1 b18 b45) (freq b2 0.01) (freq b3 0.02) (freq b14 0.02) (freq b16 0.01) (freq b24 1) (freq b25 1) (freq b26 1) (freq b27 1) (freq b28 1) (freq b29 1) (freq b22 1) (freq b34 0.05) (freq b39 0.05) (freq b19 1) (freq b35 1) (freq b36 1) (freq b37 1) (freq b38 1) (freq b41 0.02) (freq b43 0.01) (freq b51 1) (freq b52 1) (freq b53 1) (freq b54 1) (freq b55 1) (freq b56 1) (freq b49 1) (freq b63 0.05) (freq b70 0.05) (freq b46 1) (freq b64 1) (freq b65 1) (freq b66 1) (freq b67 1) (freq b68 1) (freq b69 1) (loop b8 b12) (likely b8 else) (likely b13 then) (likely b15 then) (likely b21 then) (likely b17 then) (likely b32 then) (likely b37 then) (likely b12 else) (likely b40 then) (likely b42 then) (likely b48 then) (likely b44 then) (likely b61 then) (likely b68 then))
    (block b0 ((v0 ptr))
      (v1 (load i64 v0 40))
      (v2 (const i64 1))
      (v3 (iand v1 v2))
      (v4 (const i64 0))
      (v5 (icmp ne v3 v4))
      (condbr v5 (b6) (b5)))
    (block b1 ()
      (v909 (const i64 -1))
      (return v909))
    (block b2 ()
      (v908 (const i64 0))
      (return v908))
    (block b3 ()
      (v905 (load i64 v0 112))
      (v906 (const i64 0))
      (v907 (load i64 v0 104))
      (br b11 v905 v906 v907))
    (block b4 ()
      (br b2))
    (block b5 ()
      (v6 (const i64 -1))
      (v7 (const i64 0))
      (v8 (const i64 1))
      ((store v0 56 v6))
      ((store v0 64 v7))
      ((store v0 48 v8))
      ((store v0 72 v7))
      (v9 (const i64 0))
      (v10 (const i64 256))
      (v11 (const i64 0))
      ((store v0 184 v9))
      ((store v0 192 v10))
      ((store v0 200 v11))
      (v12 (ior v1 v2))
      ((store v0 40 v12))
      (v13 (const i64 2))
      (v14 (iand v1 v13))
      (v15 (const i64 0))
      (v16 (icmp ne v14 v15))
      (condbr v16 (b2) (b6)))
    (block b6 ()
      (v17 (load ptr v0 0))
      (v18 (load ptr v0 8))
      (v19 (load ptr v0 16))
      (v20 (load ptr v0 24))
      (v21 (load ptr v0 32))
      (v22 (load i64 v0 128))
      (v26 (load i64 v0 40))
      (v27 (const i64 4))
      (v28 (iand v26 v27))
      (v29 (const i64 0))
      (v30 (icmp ne v28 v29))
      (condbr v30 (b10) (b9)))
    (block b7 ()
      (v36 (load i64 v0 96))
      (v37 (load ptr v0 88))
      (v38 (load ptr v0 80))
      (v39 (load i64 v0 344))
      (v40 (const i64 2))
      (v41 (icmp sge v39 v40))
      (v42 (load ptr v0 152))
      (v43 (load ptr v42 96))
      (v527 (load i64 v0 104))
      (v528 (load i64 v0 184))
      (v529 (load i64 v0 112))
      (v530 (load i64 v0 200))
      (v531 (const i64 0))
      (v532 (icmp eq v530 v531))
      (condbr v532 (b8 v527 v528 v529) (b12 v527 v528 v529)))
    (block b8 ((v23 i64) (v24 i64) (v25 i64))
      (v47 (icmp eq v25 v22))
      (condbr v47 (b14) (b13)))
    (block b9 ()
      (br b7))
    (block b10 ()
      (v31 (load i64 v0 112))
      (v32 (const i64 2))
      (br b11 v31 v32 v29))
    (block b11 ((v33 i64) (v34 i64) (v35 i64))
      (v533 (load ptr v0 152))
      (v534 (load i64 v533 16))
      (v535 (const i64 65535))
      (v536 (icmp uge v534 v535))
      (v537 (const i64 2097151))
      (v538 (icmp ult v534 v537))
      (v539 (iand v536 v538))
      (condbr v539 (b72) (b73)))
    (block b12 ((v44 i64) (v45 i64) (v46 i64))
      (v292 (icmp eq v46 v22))
      (condbr v292 (b41) (b40)))
    (block b13 ()
      (v49 (icmp slt v23 v36))
      (condbr v49 (b15 v23) (b16)))
    (block b14 ()
      ((store v0 184 v24))
      (v48 (const i64 0))
      (br b11 v25 v48 v23))
    (block b15 ((v50 i64))
      (v79 (const i64 1))
      (v80 (ptr_add v37 v50 2 0))
      (v81 (loadz i16 v80 0))
      (v82 (ptr_add v38 v81 4 20))
      (v83 (loadz i32 v82 0))
      (v84 (const i64 32767))
      (v85 (iand v83 v84))
      (v86 (ptr_add v38 v85 1 0))
      (condbr v41 (b20) (b21)))
    (block b16 ()
      ((store v0 104 v23))
      ((store v0 112 v25))
      (v51 (const i64 1))
      (v52 (const i64 2))
      (v53 (shl v24 v51))
      (v54 (ixor v24 v53))
      (v55 (popcnt v54))
      (v56 (shl v24 v52))
      (v57 (ixor v24 v56))
      (v58 (popcnt v57))
      (v59 (icmp slt v55 v58))
      (v60 (select v59 v55 v58))
      (v61 (load i64 v0 192))
      (v62 (const i64 3))
      (v63 (ushr v61 v62))
      (v64 (isub v61 v63))
      (v65 (iadd v64 v60))
      ((store v0 192 v65))
      ((store v0 184 v24))
      (v66 (load i64 v0 200))
      (v67 (const i64 0))
      (v68 (icmp eq v66 v67))
      (v69 (const i64 64))
      (v70 (const i64 96))
      (v71 (icmp slt v65 v69))
      (v72 (icmp sle v65 v70))
      (v73 (zext i64 v71))
      (v74 (zext i64 v72))
      (v75 (select v68 v73 v74))
      ((store v0 200 v75))
      (v76 (load ptr v0 0))
      (v77 (const i64 0))
      (v78 (call_host gravity_page_next v76 v77))
      (switch v78 (case 1 (b7)) (case 0 (b4)) (case 2 (b3)) (default (b1))))
    (block b17 ()
      (v98 (loadz i16 v86 20))
      (v99 (const i64 1))
      (v100 (iand v98 v99))
      (v101 (const i64 0))
      (v102 (icmp eq v100 v101))
      (v103 (loadz i8 v86 22))
      (v104 (const i64 24))
      (v105 (icmp eq v103 v104))
      (v106 (iand v102 v105))
      (condbr v106 (b20) (b23)))
    (block b18 ()
      (v92 (load ptr v0 0))
      (v93 (const i64 0))
      (v94 (const i64 2))
      (v95 (call_host gravity_deform_slow v92 v93 v50 v94))
      (v96 (const i64 0))
      (v97 (icmp eq v95 v96))
      (condbr v97 (b19) (b1)))
    (block b19 ()
      (v227 (load i64 v18 8))
      (v228 (load i8 v19 1))
      (v229 (const i8 0))
      (v230 (icmp ne v228 v229))
      (v231 (const i64 500))
      (v232 (const bool false))
      (v233 (icmp sgt v227 v231))
      (v234 (const bool true))
      (v235 (ixor v230 v234))
      (v236 (iand v233 v235))
      (v237 (ptr_add v20 v25 8 0))
      (v238 (ptr_add v21 v25 1 0))
      (v239 (load i64 v18 0))
      (v240 (load i8 v19 0))
      (v241 (const i8 0))
      (v242 (icmp ne v240 v241))
      (v243 (const i64 0))
      (v244 (const bool true))
      (v245 (const i64 0))
      (v246 (const bool true))
      (v247 (const i64 0))
      (v248 (const i64 0))
      (v249 (const i64 33333))
      (v250 (isub v239 v248))
      (v251 (icmp ult v250 v249))
      (v252 (const bool false))
      (v253 (icmp eq v242 v252))
      (v254 (iand v251 v253))
      (condbr v254 (b36) (b37 v247)))
    (block b20 ()
      (v159 (load i64 v86 24))
      (v160 (const bool false))
      (v161 (load i64 v86 32))
      (v162 (const bool false))
      (v167 (const i64 500))
      (v168 (const bool false))
      (v169 (icmp sgt v161 v167))
      (v170 (const bool true))
      (v171 (ptr_add v20 v25 8 0))
      (v172 (ptr_add v21 v25 1 0))
      (v173 (const i64 0))
      (v174 (const bool true))
      (v175 (const i64 0))
      (v176 (const bool true))
      (v177 (const i64 0))
      (v178 (const i64 0))
      (v179 (const i64 33333))
      (v180 (isub v159 v178))
      (v181 (icmp ult v180 v179))
      (v182 (const bool false))
      (v183 (icmp eq v160 v182))
      (v184 (iand v181 v183))
      (condbr v184 (b31) (b32 v177)))
    (block b21 ()
      (v87 (loadz i16 v86 18))
      (v88 (const i64 2047))
      (v89 (iand v87 v88))
      (v90 (const i64 2))
      (v91 (icmp sge v89 v90))
      (condbr v91 (b17) (b18)))
    (block b22 ()
      (v107 (const i64 0))
      (v108 (loadz i8 v86 22))
      (v109 (ptr_add v86 v108 1 0))
      (v110 (const i64 0))
      (v114 (loadz i8 v86 23))
      (v115 (const i64 1))
      (v116 (iand v114 v115))
      (v117 (const i64 0))
      (v118 (icmp ne v116 v117))
      (condbr v118 (b24) (b25)))
    (block b23 ()
      (condbr v102 (b18) (b22)))
    (block b24 ()
      (v122 (const i64 7))
      (v123 (const i64 -8))
      (v124 (iadd v107 v122))
      (v125 (iand v124 v123))
      (v126 (ptr_add v109 v125 1 0))
      (v127 (load i64 v126 0))
      (v128 (const i64 8))
      (v129 (iadd v125 v128))
      (br b26 v129 v110 v127))
    (block b25 ()
      (v119 (const i64 1))
      (v120 (ior v110 v119))
      (v121 (const i64 0))
      (br b26 v107 v120 v121))
    (block b26 ((v111 i64) (v112 i64) (v113 i64))
      (v133 (loadz i8 v86 23))
      (v134 (const i64 2))
      (v135 (iand v133 v134))
      (v136 (const i64 0))
      (v137 (icmp ne v135 v136))
      (condbr v137 (b27) (b28)))
    (block b27 ()
      (v141 (const i64 7))
      (v142 (const i64 -8))
      (v143 (iadd v111 v141))
      (v144 (iand v143 v142))
      (v145 (ptr_add v109 v144 1 0))
      (v146 (load i64 v145 0))
      (v147 (const i64 8))
      (v148 (iadd v144 v147))
      (br b29 v148 v112 v146))
    (block b28 ()
      (v138 (const i64 2))
      (v139 (ior v112 v138))
      (v140 (const i64 0))
      (br b29 v111 v139 v140))
    (block b29 ((v130 i64) (v131 i64) (v132 i64))
      (v149 (const i64 0))
      (v150 (const i64 1))
      ((store v18 0 v113))
      (v151 (const i64 0))
      (v152 (ushr v131 v151))
      (v153 (iand v152 v150))
      (v154 (itrunc i8 v153))
      ((store v19 0 v154))
      ((store v18 8 v132))
      (v155 (const i64 1))
      (v156 (ushr v131 v155))
      (v157 (iand v156 v150))
      (v158 (itrunc i8 v157))
      ((store v19 1 v158))
      (br b19))
    (block b30 ()
      (v163 (const i64 1))
      (v164 (iadd v50 v163))
      (v165 (const i64 1))
      (v166 (shl v24 v165))
      (br b8 v164 v166 v25))
    (block b31 ()
      (v186 (ptr_add v43 v180 8 0))
      (v187 (load i64 v186 0))
      (br b32 v187))
    (block b32 ((v185 i64))
      (v188 (icmp eq v185 v177))
      (v189 (iand v184 v188))
      (v190 (iand v189 v169))
      (v191 (const i64 0))
      (v192 (icmp ne v185 v191))
      (condbr v192 (b33) (b34)))
    (block b33 ()
      (v196 (inttoptr v185))
      (v197 (const i64 0))
      (v198 (const i64 1))
      (v199 (load i64 v196 24))
      (v200 (zext i64 v169))
      (v201 (iadd v199 v200))
      ((store v196 24 v201))
      (v202 (const i64 1))
      (v203 (iadd v50 v202))
      (v204 (const i64 1))
      (v205 (shl v24 v204))
      (v206 (zext i64 v169))
      (v207 (ior v205 v206))
      (br b8 v203 v207 v25))
    (block b34 ()
      ((store v171 0 v159))
      ((store v171 512 v173))
      ((store v171 1024 v175))
      (v193 (const i8 0))
      ((store v172 0 v193))
      (v194 (const i8 1))
      ((store v172 64 v194))
      (v195 (const i8 1))
      ((store v172 128 v195))
      (v208 (zext i64 v169))
      (v209 (iadd v25 v208))
      (v210 (const i64 1))
      (v211 (shl v24 v210))
      (v212 (ior v211 v208))
      (v213 (const i64 0))
      (v214 (const i64 1))
      (v215 (iadd v50 v214))
      (v216 (const i64 0))
      (v217 (icmp eq v209 v22))
      (v218 (ior v217 v190))
      (v219 (const i64 1))
      (v220 (iadd v50 v219))
      (v221 (const i64 1))
      (v222 (shl v24 v221))
      (condbr v190 (b11 v209 v216 v215) (b8 v220 v212 v209)))
    (block b35 ()
      (v223 (const i64 1))
      (v224 (iadd v50 v223))
      (v225 (const i64 1))
      (v226 (shl v24 v225))
      (br b8 v224 v226 v25))
    (block b36 ()
      (v256 (ptr_add v43 v250 8 0))
      (v257 (load i64 v256 0))
      (br b37 v257))
    (block b37 ((v255 i64))
      (v258 (icmp eq v255 v247))
      (v259 (iand v254 v258))
      (v260 (iand v259 v236))
      (v261 (const i64 0))
      (v262 (icmp ne v255 v261))
      (condbr v262 (b38) (b39)))
    (block b38 ()
      (v265 (inttoptr v255))
      (v266 (const i64 0))
      (v267 (const i64 1))
      (v268 (load i64 v265 24))
      (v269 (zext i64 v236))
      (v270 (iadd v268 v269))
      ((store v265 24 v270))
      (v271 (const i64 1))
      (v272 (iadd v50 v271))
      (v273 (const i64 1))
      (v274 (shl v24 v273))
      (v275 (zext i64 v236))
      (v276 (ior v274 v275))
      (br b8 v272 v276 v25))
    (block b39 ()
      ((store v237 0 v239))
      ((store v237 512 v243))
      ((store v237 1024 v245))
      ((store v238 0 v240))
      (v263 (const i8 1))
      ((store v238 64 v263))
      (v264 (const i8 1))
      ((store v238 128 v264))
      (v277 (zext i64 v236))
      (v278 (iadd v25 v277))
      (v279 (const i64 1))
      (v280 (shl v24 v279))
      (v281 (ior v280 v277))
      (v282 (const i64 0))
      (v283 (const i64 1))
      (v284 (iadd v50 v283))
      (v285 (const i64 0))
      (v286 (icmp eq v278 v22))
      (v287 (ior v286 v260))
      (v288 (const i64 1))
      (v289 (iadd v50 v288))
      (v290 (const i64 1))
      (v291 (shl v24 v290))
      (condbr v260 (b11 v278 v285 v284) (b8 v289 v281 v278)))
    (block b40 ()
      (v294 (icmp slt v44 v36))
      (condbr v294 (b42 v44) (b43)))
    (block b41 ()
      ((store v0 184 v45))
      (v293 (const i64 0))
      (br b11 v46 v293 v44))
    (block b42 ((v295 i64))
      (v324 (const i64 1))
      (v325 (ptr_add v37 v295 2 0))
      (v326 (loadz i16 v325 0))
      (v327 (ptr_add v38 v326 4 20))
      (v328 (loadz i32 v327 0))
      (v329 (const i64 32767))
      (v330 (iand v328 v329))
      (v331 (ptr_add v38 v330 1 0))
      (condbr v41 (b47) (b48)))
    (block b43 ()
      ((store v0 104 v44))
      ((store v0 112 v46))
      (v296 (const i64 1))
      (v297 (const i64 2))
      (v298 (shl v45 v296))
      (v299 (ixor v45 v298))
      (v300 (popcnt v299))
      (v301 (shl v45 v297))
      (v302 (ixor v45 v301))
      (v303 (popcnt v302))
      (v304 (icmp slt v300 v303))
      (v305 (select v304 v300 v303))
      (v306 (load i64 v0 192))
      (v307 (const i64 3))
      (v308 (ushr v306 v307))
      (v309 (isub v306 v308))
      (v310 (iadd v309 v305))
      ((store v0 192 v310))
      ((store v0 184 v45))
      (v311 (load i64 v0 200))
      (v312 (const i64 0))
      (v313 (icmp eq v311 v312))
      (v314 (const i64 64))
      (v315 (const i64 96))
      (v316 (icmp slt v310 v314))
      (v317 (icmp sle v310 v315))
      (v318 (zext i64 v316))
      (v319 (zext i64 v317))
      (v320 (select v313 v318 v319))
      ((store v0 200 v320))
      (v321 (load ptr v0 0))
      (v322 (const i64 0))
      (v323 (call_host gravity_page_next v321 v322))
      (switch v323 (case 1 (b7)) (case 0 (b4)) (case 2 (b3)) (default (b1))))
    (block b44 ()
      (v343 (loadz i16 v331 20))
      (v344 (const i64 1))
      (v345 (iand v343 v344))
      (v346 (const i64 0))
      (v347 (icmp eq v345 v346))
      (v348 (loadz i8 v331 22))
      (v349 (const i64 24))
      (v350 (icmp eq v348 v349))
      (v351 (iand v347 v350))
      (condbr v351 (b47) (b50)))
    (block b45 ()
      (v337 (load ptr v0 0))
      (v338 (const i64 0))
      (v339 (const i64 2))
      (v340 (call_host gravity_deform_slow v337 v338 v295 v339))
      (v341 (const i64 0))
      (v342 (icmp eq v340 v341))
      (condbr v342 (b46) (b1)))
    (block b46 ()
      (v468 (load i64 v18 8))
      (v469 (load i8 v19 1))
      (v470 (const i8 0))
      (v471 (icmp ne v469 v470))
      (v472 (const i64 500))
      (v473 (const bool false))
      (condbr v471 (b64) (b65)))
    (block b47 ()
      (v404 (load i64 v331 24))
      (v405 (const bool false))
      (v406 (load i64 v331 32))
      (v407 (const bool false))
      (v412 (const i64 500))
      (v413 (const bool false))
      (br b58))
    (block b48 ()
      (v332 (loadz i16 v331 18))
      (v333 (const i64 2047))
      (v334 (iand v332 v333))
      (v335 (const i64 2))
      (v336 (icmp sge v334 v335))
      (condbr v336 (b44) (b45)))
    (block b49 ()
      (v352 (const i64 0))
      (v353 (loadz i8 v331 22))
      (v354 (ptr_add v331 v353 1 0))
      (v355 (const i64 0))
      (v359 (loadz i8 v331 23))
      (v360 (const i64 1))
      (v361 (iand v359 v360))
      (v362 (const i64 0))
      (v363 (icmp ne v361 v362))
      (condbr v363 (b51) (b52)))
    (block b50 ()
      (condbr v347 (b45) (b49)))
    (block b51 ()
      (v367 (const i64 7))
      (v368 (const i64 -8))
      (v369 (iadd v352 v367))
      (v370 (iand v369 v368))
      (v371 (ptr_add v354 v370 1 0))
      (v372 (load i64 v371 0))
      (v373 (const i64 8))
      (v374 (iadd v370 v373))
      (br b53 v374 v355 v372))
    (block b52 ()
      (v364 (const i64 1))
      (v365 (ior v355 v364))
      (v366 (const i64 0))
      (br b53 v352 v365 v366))
    (block b53 ((v356 i64) (v357 i64) (v358 i64))
      (v378 (loadz i8 v331 23))
      (v379 (const i64 2))
      (v380 (iand v378 v379))
      (v381 (const i64 0))
      (v382 (icmp ne v380 v381))
      (condbr v382 (b54) (b55)))
    (block b54 ()
      (v386 (const i64 7))
      (v387 (const i64 -8))
      (v388 (iadd v356 v386))
      (v389 (iand v388 v387))
      (v390 (ptr_add v354 v389 1 0))
      (v391 (load i64 v390 0))
      (v392 (const i64 8))
      (v393 (iadd v389 v392))
      (br b56 v393 v357 v391))
    (block b55 ()
      (v383 (const i64 2))
      (v384 (ior v357 v383))
      (v385 (const i64 0))
      (br b56 v356 v384 v385))
    (block b56 ((v375 i64) (v376 i64) (v377 i64))
      (v394 (const i64 0))
      (v395 (const i64 1))
      ((store v18 0 v358))
      (v396 (const i64 0))
      (v397 (ushr v376 v396))
      (v398 (iand v397 v395))
      (v399 (itrunc i8 v398))
      ((store v19 0 v399))
      ((store v18 8 v377))
      (v400 (const i64 1))
      (v401 (ushr v376 v400))
      (v402 (iand v401 v395))
      (v403 (itrunc i8 v402))
      ((store v19 1 v403))
      (br b46))
    (block b57 ()
      (v408 (const i64 1))
      (v409 (iadd v295 v408))
      (v410 (const i64 1))
      (v411 (shl v45 v410))
      (br b12 v409 v411 v46))
    (block b58 ()
      (v414 (icmp sgt v406 v412))
      (condbr v414 (b59) (b57)))
    (block b59 ()
      (v415 (ptr_add v20 v46 8 0))
      (v416 (ptr_add v21 v46 1 0))
      (v417 (const i64 0))
      (v418 (const bool true))
      (v419 (const i64 0))
      (v420 (const bool true))
      (v421 (const i64 0))
      (v422 (const i64 0))
      (v423 (const i64 33333))
      (v424 (isub v404 v422))
      (v425 (icmp ult v424 v423))
      (v426 (const bool false))
      (v427 (icmp eq v405 v426))
      (v428 (iand v425 v427))
      (condbr v428 (b60) (b61 v421)))
    (block b60 ()
      (v430 (ptr_add v43 v424 8 0))
      (v431 (load i64 v430 0))
      (br b61 v431))
    (block b61 ((v429 i64))
      (v432 (icmp eq v429 v421))
      (v433 (iand v428 v432))
      (v434 (const i64 0))
      (v435 (icmp ne v429 v434))
      (condbr v435 (b62) (b63)))
    (block b62 ()
      (v439 (inttoptr v429))
      (v440 (const i64 0))
      (v441 (const i64 1))
      (v442 (load i64 v439 24))
      (v443 (iadd v442 v441))
      ((store v439 24 v443))
      (v444 (const i64 1))
      (v445 (iadd v295 v444))
      (v446 (const i64 1))
      (v447 (shl v45 v446))
      (v448 (ior v447 v441))
      (br b12 v445 v448 v46))
    (block b63 ()
      ((store v415 0 v404))
      ((store v415 512 v417))
      ((store v415 1024 v419))
      (v436 (const i8 0))
      ((store v416 0 v436))
      (v437 (const i8 1))
      ((store v416 64 v437))
      (v438 (const i8 1))
      ((store v416 128 v438))
      (v449 (const i64 1))
      (v450 (iadd v46 v449))
      (v451 (const i64 1))
      (v452 (shl v45 v451))
      (v453 (ior v452 v449))
      (v454 (const i64 0))
      (v455 (const i64 1))
      (v456 (iadd v295 v455))
      (v457 (const i64 0))
      (v458 (icmp eq v450 v22))
      (v459 (ior v458 v433))
      (v460 (const i64 1))
      (v461 (iadd v295 v460))
      (v462 (const i64 1))
      (v463 (shl v45 v462))
      (condbr v433 (b11 v450 v457 v456) (b12 v461 v453 v450)))
    (block b64 ()
      (v464 (const i64 1))
      (v465 (iadd v295 v464))
      (v466 (const i64 1))
      (v467 (shl v45 v466))
      (br b12 v465 v467 v46))
    (block b65 ()
      (v474 (icmp sgt v468 v472))
      (condbr v474 (b66) (b64)))
    (block b66 ()
      (v475 (ptr_add v20 v46 8 0))
      (v476 (ptr_add v21 v46 1 0))
      (v477 (load i64 v18 0))
      (v478 (load i8 v19 0))
      (v479 (const i8 0))
      (v480 (icmp ne v478 v479))
      (v481 (const i64 0))
      (v482 (const bool true))
      (v483 (const i64 0))
      (v484 (const bool true))
      (v485 (const i64 0))
      (v486 (const i64 0))
      (v487 (const i64 33333))
      (v488 (isub v477 v486))
      (v489 (icmp ult v488 v487))
      (v490 (const bool false))
      (v491 (icmp eq v480 v490))
      (v492 (iand v489 v491))
      (condbr v492 (b67) (b68 v485)))
    (block b67 ()
      (v494 (ptr_add v43 v488 8 0))
      (v495 (load i64 v494 0))
      (br b68 v495))
    (block b68 ((v493 i64))
      (v496 (icmp eq v493 v485))
      (v497 (iand v492 v496))
      (v498 (const i64 0))
      (v499 (icmp ne v493 v498))
      (condbr v499 (b69) (b70)))
    (block b69 ()
      (v502 (inttoptr v493))
      (v503 (const i64 0))
      (v504 (const i64 1))
      (v505 (load i64 v502 24))
      (v506 (iadd v505 v504))
      ((store v502 24 v506))
      (v507 (const i64 1))
      (v508 (iadd v295 v507))
      (v509 (const i64 1))
      (v510 (shl v45 v509))
      (v511 (ior v510 v504))
      (br b12 v508 v511 v46))
    (block b70 ()
      ((store v475 0 v477))
      ((store v475 512 v481))
      ((store v475 1024 v483))
      ((store v476 0 v478))
      (v500 (const i8 1))
      ((store v476 64 v500))
      (v501 (const i8 1))
      ((store v476 128 v501))
      (v512 (const i64 1))
      (v513 (iadd v46 v512))
      (v514 (const i64 1))
      (v515 (shl v45 v514))
      (v516 (ior v515 v512))
      (v517 (const i64 0))
      (v518 (const i64 1))
      (v519 (iadd v295 v518))
      (v520 (const i64 0))
      (v521 (icmp eq v513 v22))
      (v522 (ior v521 v497))
      (v523 (const i64 1))
      (v524 (iadd v295 v523))
      (v525 (const i64 1))
      (v526 (shl v45 v525))
      (condbr v497 (b11 v513 v520 v519) (b12 v524 v516 v513)))
    (block b71 ()
      (v904 (const i64 0))
      ((store v0 112 v904))
      ((store v0 104 v35))
      (switch v34 (case 0 (b159)) (default (b2))))
    (block b72 ()
      (v540 (load ptr v533 152))
      (v541 (load ptr v533 0))
      (v542 (load i64 v533 8))
      (v543 (const i64 0))
      (v544 (const i64 16))
      (br b74 v543))
    (block b73 ()
      (v729 (const i64 0))
      (v730 (const i64 0))
      (v731 (const i64 1))
      (br b119 v729))
    (block b74 ((v545 i64))
      (v546 (iadd v545 v544))
      (v547 (icmp sgt v546 v33))
      (v548 (select v547 v33 v546))
      (v549 (const i64 1))
      (br b76 v545))
    (block b75 ()
      (v728 (icmp slt v548 v33))
      (condbr v728 (b74 v548) (b71)))
    (block b76 ((v550 i64))
      (v551 (icmp slt v550 v548))
      (condbr v551 (b77) (b78)))
    (block b77 ()
      (v552 (ptr_add v20 v550 8 0))
      (v553 (load i64 v552 0))
      (v554 (ptr_add v21 v550 1 0))
      (v555 (loadz i8 v554 0))
      (v556 (load i64 v533 72))
      (v557 (const i64 0))
      (v558 (icmp ne v555 v557))
      (v559 (select v558 v556 v553))
      (v560 (const i64 0))
      (v561 (load i64 v533 64))
      (v562 (const i64 32))
      (v563 (imul v559 v561))
      (v564 (ushr v563 v562))
      (v565 (ixor v563 v564))
      (v566 (ptr_add v540 v550 8 0))
      ((store v566 0 v565))
      (v567 (ushr v565 v542))
      (v568 (ptr_add v541 v567 8 0))
      ((prefetch v568 0))
      (v569 (iadd v550 v549))
      (br b76 v569))
    (block b78 ()
      (v570 (const i64 0))
      (v571 (const i64 1))
      (br b79 v545))
    (block b79 ((v572 i64))
      (v573 (icmp slt v572 v548))
      (condbr v573 (b81) (b80)))
    (block b80 ()
      (br b75))
    (block b81 ()
      (v574 (iadd v572 v571))
      (v576 (ptr_add v20 v572 8 0))
      (v577 (load i64 v576 0))
      (v578 (ptr_add v21 v572 1 0))
      (v579 (loadz i8 v578 0))
      (v580 (const i64 0))
      (v581 (icmp ne v579 v580))
      (condbr v581 (b84) (b83)))
    (block b82 ((v575 i64))
      (v725 (inttoptr v575))
      (v726 (load i64 v725 24))
      (v727 (iadd v726 v571))
      ((store v725 24 v727))
      (br b79 v574))
    (block b83 ()
      (v582 (load i64 v533 104))
      (v583 (load i64 v533 112))
      (v584 (isub v577 v582))
      (v585 (icmp ult v584 v583))
      (condbr v585 (b85) (b86)))
    (block b84 ()
      (v679 (ptr_add v540 v572 8 0))
      (v680 (load i64 v679 0))
      (v681 (load ptr v533 0))
      (v682 (load i64 v533 8))
      (v683 (load i64 v533 16))
      (v684 (ushr v680 v682))
      (v685 (const i64 65535))
      (v686 (iand v680 v685))
      (br b109 v684))
    (block b85 ()
      (v586 (load ptr v533 96))
      (v587 (ptr_add v586 v584 8 0))
      (v588 (load i64 v587 0))
      (v589 (const i64 0))
      (v590 (icmp ne v588 v589))
      (condbr v590 (b82 v588) (b87)))
    (block b86 ()
      (v635 (ptr_add v540 v572 8 0))
      (v636 (load i64 v635 0))
      (v637 (load ptr v533 0))
      (v638 (load i64 v533 8))
      (v639 (load i64 v533 16))
      (v640 (ushr v636 v638))
      (v641 (const i64 65535))
      (v642 (iand v636 v641))
      (br b99 v640))
    (block b87 ()
      (v591 (ptr_add v540 v572 8 0))
      (v592 (load i64 v591 0))
      (v593 (load ptr v533 0))
      (v594 (load i64 v533 8))
      (v595 (load i64 v533 16))
      (v596 (ushr v592 v594))
      (v597 (const i64 65535))
      (v598 (iand v592 v597))
      (br b88 v596))
    (block b88 ((v599 i64))
      (v600 (ptr_add v593 v599 8 0))
      (v601 (load i64 v600 0))
      (v602 (const i64 0))
      (v603 (icmp eq v601 v602))
      (condbr v603 (b90) (b91)))
    (block b89 ()
      (v615 (const i64 1))
      (v616 (iadd v599 v615))
      (v617 (iand v616 v595))
      (br b88 v617))
    (block b90 ()
      (v618 (load i64 v533 80))
      (v619 (load i64 v533 88))
      (v620 (const i64 40))
      (v621 (iadd v618 v620))
      (v622 (icmp ule v621 v619))
      (condbr v622 (b95) (b96)))
    (block b91 ()
      (v604 (const i64 65535))
      (v605 (iand v601 v604))
      (v606 (icmp eq v605 v598))
      (condbr v606 (b92) (b89)))
    (block b92 ()
      (v607 (const i64 16))
      (v608 (ushr v601 v607))
      (v609 (inttoptr v608))
      (v610 (loadz i8 v609 16))
      (v611 (const i64 0))
      (v612 (icmp eq v610 v611))
      (condbr v612 (b93) (b89)))
    (block b93 ()
      (v613 (load i64 v609 8))
      (v614 (icmp eq v613 v577))
      (condbr v614 (b94) (b89)))
    (block b94 ()
      (br b82 v608))
    (block b95 ()
      ((store v533 80 v621))
      (v623 (inttoptr v618))
      ((store v623 0 v592))
      ((store v623 8 v577))
      (v624 (const i8 0))
      ((store v623 16 v624))
      (v625 (const i64 16))
      (v626 (shl v618 v625))
      (v627 (ior v626 v598))
      ((store v600 0 v627))
      (v628 (load i64 v533 24))
      (v629 (const i64 1))
      (v630 (iadd v628 v629))
      ((store v533 24 v630))
      ((store v587 0 v618))
      (br b82 v618))
    (block b96 ()
      (v631 (call_host gravity_hashagg_insert v17 v572))
      (v632 (const i64 0))
      (v633 (icmp slt v631 v632))
      (condbr v633 (b1) (b97)))
    (block b97 ()
      (v634 (icmp eq v631 v632))
      (condbr v634 (b79 v574) (b98)))
    (block b98 ()
      ((store v587 0 v631))
      (br b82 v631))
    (block b99 ((v643 i64))
      (v644 (ptr_add v637 v643 8 0))
      (v645 (load i64 v644 0))
      (v646 (const i64 0))
      (v647 (icmp eq v645 v646))
      (condbr v647 (b101) (b102)))
    (block b100 ()
      (v659 (const i64 1))
      (v660 (iadd v643 v659))
      (v661 (iand v660 v639))
      (br b99 v661))
    (block b101 ()
      (v662 (load i64 v533 80))
      (v663 (load i64 v533 88))
      (v664 (const i64 40))
      (v665 (iadd v662 v664))
      (v666 (icmp ule v665 v663))
      (condbr v666 (b106) (b107)))
    (block b102 ()
      (v648 (const i64 65535))
      (v649 (iand v645 v648))
      (v650 (icmp eq v649 v642))
      (condbr v650 (b103) (b100)))
    (block b103 ()
      (v651 (const i64 16))
      (v652 (ushr v645 v651))
      (v653 (inttoptr v652))
      (v654 (loadz i8 v653 16))
      (v655 (const i64 0))
      (v656 (icmp eq v654 v655))
      (condbr v656 (b104) (b100)))
    (block b104 ()
      (v657 (load i64 v653 8))
      (v658 (icmp eq v657 v577))
      (condbr v658 (b105) (b100)))
    (block b105 ()
      (br b82 v652))
    (block b106 ()
      ((store v533 80 v665))
      (v667 (inttoptr v662))
      ((store v667 0 v636))
      ((store v667 8 v577))
      (v668 (const i8 0))
      ((store v667 16 v668))
      (v669 (const i64 16))
      (v670 (shl v662 v669))
      (v671 (ior v670 v642))
      ((store v644 0 v671))
      (v672 (load i64 v533 24))
      (v673 (const i64 1))
      (v674 (iadd v672 v673))
      ((store v533 24 v674))
      (br b82 v662))
    (block b107 ()
      (v675 (call_host gravity_hashagg_insert v17 v572))
      (v676 (const i64 0))
      (v677 (icmp slt v675 v676))
      (condbr v677 (b1) (b108)))
    (block b108 ()
      (v678 (icmp eq v675 v676))
      (condbr v678 (b79 v574) (b82 v675)))
    (block b109 ((v687 i64))
      (v688 (ptr_add v681 v687 8 0))
      (v689 (load i64 v688 0))
      (v690 (const i64 0))
      (v691 (icmp eq v689 v690))
      (condbr v691 (b111) (b112)))
    (block b110 ()
      (v705 (const i64 1))
      (v706 (iadd v687 v705))
      (v707 (iand v706 v683))
      (br b109 v707))
    (block b111 ()
      (v708 (load i64 v533 80))
      (v709 (load i64 v533 88))
      (v710 (const i64 40))
      (v711 (iadd v708 v710))
      (v712 (icmp ule v711 v709))
      (condbr v712 (b116) (b117)))
    (block b112 ()
      (v692 (const i64 65535))
      (v693 (iand v689 v692))
      (v694 (icmp eq v693 v686))
      (condbr v694 (b113) (b110)))
    (block b113 ()
      (v695 (const i64 16))
      (v696 (ushr v689 v695))
      (v697 (inttoptr v696))
      (v698 (loadz i8 v697 16))
      (v699 (const i64 0))
      (v700 (icmp eq v698 v579))
      (condbr v700 (b114) (b110)))
    (block b114 ()
      (v701 (icmp ne v579 v699))
      (v702 (load i64 v697 8))
      (v703 (icmp eq v702 v577))
      (v704 (ior v703 v701))
      (condbr v704 (b115) (b110)))
    (block b115 ()
      (br b82 v696))
    (block b116 ()
      ((store v533 80 v711))
      (v713 (inttoptr v708))
      ((store v713 0 v680))
      ((store v713 8 v577))
      (v714 (itrunc i8 v579))
      ((store v713 16 v714))
      (v715 (const i64 16))
      (v716 (shl v708 v715))
      (v717 (ior v716 v686))
      ((store v688 0 v717))
      (v718 (load i64 v533 24))
      (v719 (const i64 1))
      (v720 (iadd v718 v719))
      ((store v533 24 v720))
      (br b82 v708))
    (block b117 ()
      (v721 (call_host gravity_hashagg_insert v17 v572))
      (v722 (const i64 0))
      (v723 (icmp slt v721 v722))
      (condbr v723 (b1) (b118)))
    (block b118 ()
      (v724 (icmp eq v721 v722))
      (condbr v724 (b79 v574) (b82 v721)))
    (block b119 ((v732 i64))
      (v733 (icmp slt v732 v33))
      (condbr v733 (b121) (b120)))
    (block b120 ()
      (br b71))
    (block b121 ()
      (v734 (iadd v732 v731))
      (v736 (ptr_add v20 v732 8 0))
      (v737 (load i64 v736 0))
      (v738 (ptr_add v21 v732 1 0))
      (v739 (loadz i8 v738 0))
      (v740 (const i64 0))
      (v741 (icmp ne v739 v740))
      (condbr v741 (b124) (b123)))
    (block b122 ((v735 i64))
      (v901 (inttoptr v735))
      (v902 (load i64 v901 24))
      (v903 (iadd v902 v731))
      ((store v901 24 v903))
      (br b119 v734))
    (block b123 ()
      (v742 (load i64 v533 104))
      (v743 (load i64 v533 112))
      (v744 (isub v737 v742))
      (v745 (icmp ult v744 v743))
      (condbr v745 (b125) (b126)))
    (block b124 ()
      (v847 (load i64 v533 72))
      (v848 (const i64 0))
      (v849 (icmp ne v739 v848))
      (v850 (select v849 v847 v737))
      (v851 (const i64 0))
      (v852 (load i64 v533 64))
      (v853 (const i64 32))
      (v854 (imul v850 v852))
      (v855 (ushr v854 v853))
      (v856 (ixor v854 v855))
      (v857 (load ptr v533 0))
      (v858 (load i64 v533 8))
      (v859 (load i64 v533 16))
      (v860 (ushr v856 v858))
      (v861 (const i64 65535))
      (v862 (iand v856 v861))
      (br b149 v860))
    (block b125 ()
      (v746 (load ptr v533 96))
      (v747 (ptr_add v746 v744 8 0))
      (v748 (load i64 v747 0))
      (v749 (const i64 0))
      (v750 (icmp ne v748 v749))
      (condbr v750 (b122 v748) (b127)))
    (block b126 ()
      (v799 (const i64 0))
      (v800 (load i64 v533 64))
      (v801 (const i64 32))
      (v802 (imul v737 v800))
      (v803 (ushr v802 v801))
      (v804 (ixor v802 v803))
      (v805 (load ptr v533 0))
      (v806 (load i64 v533 8))
      (v807 (load i64 v533 16))
      (v808 (ushr v804 v806))
      (v809 (const i64 65535))
      (v810 (iand v804 v809))
      (br b139 v808))
    (block b127 ()
      (v751 (const i64 0))
      (v752 (load i64 v533 64))
      (v753 (const i64 32))
      (v754 (imul v737 v752))
      (v755 (ushr v754 v753))
      (v756 (ixor v754 v755))
      (v757 (load ptr v533 0))
      (v758 (load i64 v533 8))
      (v759 (load i64 v533 16))
      (v760 (ushr v756 v758))
      (v761 (const i64 65535))
      (v762 (iand v756 v761))
      (br b128 v760))
    (block b128 ((v763 i64))
      (v764 (ptr_add v757 v763 8 0))
      (v765 (load i64 v764 0))
      (v766 (const i64 0))
      (v767 (icmp eq v765 v766))
      (condbr v767 (b130) (b131)))
    (block b129 ()
      (v779 (const i64 1))
      (v780 (iadd v763 v779))
      (v781 (iand v780 v759))
      (br b128 v781))
    (block b130 ()
      (v782 (load i64 v533 80))
      (v783 (load i64 v533 88))
      (v784 (const i64 40))
      (v785 (iadd v782 v784))
      (v786 (icmp ule v785 v783))
      (condbr v786 (b135) (b136)))
    (block b131 ()
      (v768 (const i64 65535))
      (v769 (iand v765 v768))
      (v770 (icmp eq v769 v762))
      (condbr v770 (b132) (b129)))
    (block b132 ()
      (v771 (const i64 16))
      (v772 (ushr v765 v771))
      (v773 (inttoptr v772))
      (v774 (loadz i8 v773 16))
      (v775 (const i64 0))
      (v776 (icmp eq v774 v775))
      (condbr v776 (b133) (b129)))
    (block b133 ()
      (v777 (load i64 v773 8))
      (v778 (icmp eq v777 v737))
      (condbr v778 (b134) (b129)))
    (block b134 ()
      (br b122 v772))
    (block b135 ()
      ((store v533 80 v785))
      (v787 (inttoptr v782))
      ((store v787 0 v756))
      ((store v787 8 v737))
      (v788 (const i8 0))
      ((store v787 16 v788))
      (v789 (const i64 16))
      (v790 (shl v782 v789))
      (v791 (ior v790 v762))
      ((store v764 0 v791))
      (v792 (load i64 v533 24))
      (v793 (const i64 1))
      (v794 (iadd v792 v793))
      ((store v533 24 v794))
      ((store v747 0 v782))
      (br b122 v782))
    (block b136 ()
      (v795 (call_host gravity_hashagg_insert v17 v732))
      (v796 (const i64 0))
      (v797 (icmp slt v795 v796))
      (condbr v797 (b1) (b137)))
    (block b137 ()
      (v798 (icmp eq v795 v796))
      (condbr v798 (b119 v734) (b138)))
    (block b138 ()
      ((store v747 0 v795))
      (br b122 v795))
    (block b139 ((v811 i64))
      (v812 (ptr_add v805 v811 8 0))
      (v813 (load i64 v812 0))
      (v814 (const i64 0))
      (v815 (icmp eq v813 v814))
      (condbr v815 (b141) (b142)))
    (block b140 ()
      (v827 (const i64 1))
      (v828 (iadd v811 v827))
      (v829 (iand v828 v807))
      (br b139 v829))
    (block b141 ()
      (v830 (load i64 v533 80))
      (v831 (load i64 v533 88))
      (v832 (const i64 40))
      (v833 (iadd v830 v832))
      (v834 (icmp ule v833 v831))
      (condbr v834 (b146) (b147)))
    (block b142 ()
      (v816 (const i64 65535))
      (v817 (iand v813 v816))
      (v818 (icmp eq v817 v810))
      (condbr v818 (b143) (b140)))
    (block b143 ()
      (v819 (const i64 16))
      (v820 (ushr v813 v819))
      (v821 (inttoptr v820))
      (v822 (loadz i8 v821 16))
      (v823 (const i64 0))
      (v824 (icmp eq v822 v823))
      (condbr v824 (b144) (b140)))
    (block b144 ()
      (v825 (load i64 v821 8))
      (v826 (icmp eq v825 v737))
      (condbr v826 (b145) (b140)))
    (block b145 ()
      (br b122 v820))
    (block b146 ()
      ((store v533 80 v833))
      (v835 (inttoptr v830))
      ((store v835 0 v804))
      ((store v835 8 v737))
      (v836 (const i8 0))
      ((store v835 16 v836))
      (v837 (const i64 16))
      (v838 (shl v830 v837))
      (v839 (ior v838 v810))
      ((store v812 0 v839))
      (v840 (load i64 v533 24))
      (v841 (const i64 1))
      (v842 (iadd v840 v841))
      ((store v533 24 v842))
      (br b122 v830))
    (block b147 ()
      (v843 (call_host gravity_hashagg_insert v17 v732))
      (v844 (const i64 0))
      (v845 (icmp slt v843 v844))
      (condbr v845 (b1) (b148)))
    (block b148 ()
      (v846 (icmp eq v843 v844))
      (condbr v846 (b119 v734) (b122 v843)))
    (block b149 ((v863 i64))
      (v864 (ptr_add v857 v863 8 0))
      (v865 (load i64 v864 0))
      (v866 (const i64 0))
      (v867 (icmp eq v865 v866))
      (condbr v867 (b151) (b152)))
    (block b150 ()
      (v881 (const i64 1))
      (v882 (iadd v863 v881))
      (v883 (iand v882 v859))
      (br b149 v883))
    (block b151 ()
      (v884 (load i64 v533 80))
      (v885 (load i64 v533 88))
      (v886 (const i64 40))
      (v887 (iadd v884 v886))
      (v888 (icmp ule v887 v885))
      (condbr v888 (b156) (b157)))
    (block b152 ()
      (v868 (const i64 65535))
      (v869 (iand v865 v868))
      (v870 (icmp eq v869 v862))
      (condbr v870 (b153) (b150)))
    (block b153 ()
      (v871 (const i64 16))
      (v872 (ushr v865 v871))
      (v873 (inttoptr v872))
      (v874 (loadz i8 v873 16))
      (v875 (const i64 0))
      (v876 (icmp eq v874 v739))
      (condbr v876 (b154) (b150)))
    (block b154 ()
      (v877 (icmp ne v739 v875))
      (v878 (load i64 v873 8))
      (v879 (icmp eq v878 v737))
      (v880 (ior v879 v877))
      (condbr v880 (b155) (b150)))
    (block b155 ()
      (br b122 v872))
    (block b156 ()
      ((store v533 80 v887))
      (v889 (inttoptr v884))
      ((store v889 0 v856))
      ((store v889 8 v737))
      (v890 (itrunc i8 v739))
      ((store v889 16 v890))
      (v891 (const i64 16))
      (v892 (shl v884 v891))
      (v893 (ior v892 v862))
      ((store v864 0 v893))
      (v894 (load i64 v533 24))
      (v895 (const i64 1))
      (v896 (iadd v894 v895))
      ((store v533 24 v896))
      (br b122 v884))
    (block b157 ()
      (v897 (call_host gravity_hashagg_insert v17 v732))
      (v898 (const i64 0))
      (v899 (icmp slt v897 v898))
      (condbr v899 (b1) (b158)))
    (block b158 ()
      (v900 (icmp eq v897 v898))
      (condbr v900 (b119 v734) (b122 v897)))
    (block b159 ()
      (br b7))
  )
)

