From f30020eca9d1a9b0ab1c83ade6e6aaf37abcd25d Mon Sep 17 00:00:00 2001
From: Jacob Johannsen <jajocnn@gmail.com>
Date: Tue, 24 Oct 2023 23:11:06 +0200
Subject: [PATCH] Updated dlmalloc expected output

---
 frontend-wasm/tests/expected/dlmalloc.mir | 1232 +++++++++++++++++++--
 1 file changed, 1134 insertions(+), 98 deletions(-)

diff --git a/frontend-wasm/tests/expected/dlmalloc.mir b/frontend-wasm/tests/expected/dlmalloc.mir
index 042965f73..408ad86f7 100644
--- a/frontend-wasm/tests/expected/dlmalloc.mir
+++ b/frontend-wasm/tests/expected/dlmalloc.mir
@@ -4,18 +4,24 @@ global external gv1 : i32 = 0x001001c8 { id = gvar1 };
 global external gv2 : i32 = 0x001001d0 { id = gvar2 };
 
 
-pub fn dlmalloc::dlmalloc::Dlmalloc<A>::dispose_chunk(i32, i32, i32) {
+pub fn dlmalloc::dlmalloc::Dlmalloc<A>::dispose_chunk(i32, i32, i32) {}
+
 block0(v0: i32, v1: i32, v2: i32):
+{
     v3 = const.i32 0  : i32
     v4 = call noname::dlmalloc::dlmalloc::Chunk::plus_offset(v1, v2)  : i32
     v5 = call noname::dlmalloc::dlmalloc::Chunk::pinuse(v1)  : i32
     v6 = neq v5, 0  : i1
     condbr v6, block4(v1, v2), block5
+}
 
 block1:
+{
     ret 
+}
 
 block2(v205: i32, v212: i32, v213: i32):
+{
     v206 = const.i32 256  : i32
     v207 = cast v205  : u32
     v208 = cast v206  : u32
@@ -23,26 +29,34 @@ block2(v205: i32, v212: i32, v213: i32):
     v210 = cast v209  : i32
     v211 = neq v210, 0  : i1
     condbr v211, block29, block30
+}
 
 block3:
+{
     ret 
+}
 
 block4(v93: i32, v94: i32):
+{
     v89 = call noname::dlmalloc::dlmalloc::Chunk::cinuse(v4)  : i32
     v90 = eq v89, 0  : i1
     v91 = cast v90  : i32
     v92 = neq v91, 0  : i1
     condbr v92, block16, block17
+}
 
 block5:
+{
     v7 = cast v1  : u32
     v8 = inttoptr v7  : *mut i32
     v9 = load v8  : i32
     v10 = call noname::dlmalloc::dlmalloc::Chunk::mmapped(v1)  : i32
     v11 = neq v10, 0  : i1
     condbr v11, block6, block7
+}
 
 block6:
+{
     v72 = sub v1, v9  : i32
     v73 = add v2, v9  : i32
     v74 = const.i32 16  : i32
@@ -52,8 +66,10 @@ block6:
     v78 = cast v77  : i32
     v79 = neq v78, 0  : i1
     condbr v79, block3, block15
+}
 
 block7:
+{
     v12 = add v9, v2  : i32
     v13 = call noname::dlmalloc::dlmalloc::Chunk::minus_offset(v1, v9)  : i32
     v14 = cast v0  : u32
@@ -64,8 +80,10 @@ block7:
     v19 = cast v18  : i32
     v20 = neq v19, 0  : i1
     condbr v20, block8, block9
+}
 
 block8:
+{
     v34 = const.i32 256  : i32
     v35 = cast v9  : u32
     v36 = cast v34  : u32
@@ -73,8 +91,10 @@ block8:
     v38 = cast v37  : i32
     v39 = neq v38, 0  : i1
     condbr v39, block11, block12
+}
 
 block9:
+{
     v21 = cast v4  : u32
     v22 = add v21, 4  : u32
     v23 = inttoptr v22  : *mut i32
@@ -86,16 +106,20 @@ block9:
     v29 = cast v28  : i32
     v30 = neq v29, 0  : i1
     condbr v30, block4(v13, v12), block10
+}
 
 block10:
+{
     v31 = cast v0  : u32
     v32 = add v31, 416  : u32
     v33 = inttoptr v32  : *mut i32
     store v33, v12
     call noname::dlmalloc::dlmalloc::Chunk::set_free_with_pinuse(v13, v12, v4)
     ret 
+}
 
 block11:
+{
     v40 = cast v13  : u32
     v41 = add v40, 12  : u32
     v42 = inttoptr v41  : *mut i32
@@ -108,12 +132,16 @@ block11:
     v49 = cast v48  : i32
     v50 = neq v49, 0  : i1
     condbr v50, block13, block14
+}
 
 block12:
+{
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::unlink_large_chunk(v0, v13)
     br block4(v13, v12)
+}
 
 block13:
+{
     v57 = cast v0  : u32
     v58 = add v57, 408  : u32
     v59 = inttoptr v58  : *mut i32
@@ -131,8 +159,10 @@ block13:
     v71 = inttoptr v70  : *mut i32
     store v71, v68
     br block4(v13, v12)
+}
 
 block14:
+{
     v51 = cast v47  : u32
     v52 = add v51, 12  : u32
     v53 = inttoptr v52  : *mut i32
@@ -142,8 +172,10 @@ block14:
     v56 = inttoptr v55  : *mut i32
     store v56, v47
     br block4(v13, v12)
+}
 
 block15:
+{
     v80 = cast v0  : u32
     v81 = add v80, 432  : u32
     v82 = inttoptr v81  : *mut i32
@@ -154,8 +186,10 @@ block15:
     v87 = inttoptr v86  : *mut i32
     store v87, v84
     ret 
+}
 
 block16:
+{
     v96 = cast v0  : u32
     v97 = add v96, 428  : u32
     v98 = inttoptr v97  : *mut i32
@@ -164,12 +198,16 @@ block16:
     v101 = cast v100  : i32
     v102 = neq v101, 0  : i1
     condbr v102, block19, block20
+}
 
 block17:
+{
     call noname::dlmalloc::dlmalloc::Chunk::set_free_with_pinuse(v93, v94, v88)
     br block2(v94, v95, v93)
+}
 
 block18:
+{
     v194 = cast v95  : u32
     v195 = add v194, 424  : u32
     v196 = inttoptr v195  : *mut i32
@@ -185,8 +223,10 @@ block18:
     store v204, v201
     call noname::dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_free_chunk(v93, v201)
     ret 
+}
 
 block19:
+{
     v163 = cast v95  : u32
     v164 = add v163, 428  : u32
     v165 = inttoptr v164  : *mut i32
@@ -214,8 +254,10 @@ block19:
     v184 = cast v183  : i32
     v185 = neq v184, 0  : i1
     condbr v185, block3, block28
+}
 
 block20:
+{
     v103 = cast v95  : u32
     v104 = add v103, 424  : u32
     v105 = inttoptr v104  : *mut i32
@@ -224,8 +266,10 @@ block20:
     v108 = cast v107  : i32
     v109 = neq v108, 0  : i1
     condbr v109, block18, block21
+}
 
 block21:
+{
     v110 = call noname::dlmalloc::dlmalloc::Chunk::size(v88)  : i32
     v111 = add v110, v94  : i32
     v112 = const.i32 256  : i32
@@ -235,8 +279,10 @@ block21:
     v116 = cast v115  : i32
     v117 = neq v116, 0  : i1
     condbr v117, block23, block24
+}
 
 block22:
+{
     call noname::dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_free_chunk(v93, v111)
     v153 = cast v95  : u32
     v154 = add v153, 424  : u32
@@ -246,8 +292,10 @@ block22:
     v158 = cast v157  : i32
     v159 = neq v158, 0  : i1
     condbr v159, block2(v151, v152, v150), block27
+}
 
 block23:
+{
     v118 = cast v88  : u32
     v119 = add v118, 12  : u32
     v120 = inttoptr v119  : *mut i32
@@ -260,12 +308,16 @@ block23:
     v127 = cast v126  : i32
     v128 = neq v127, 0  : i1
     condbr v128, block25, block26
+}
 
 block24:
+{
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::unlink_large_chunk(v95, v88)
     br block22
+}
 
 block25:
+{
     v135 = cast v95  : u32
     v136 = add v135, 408  : u32
     v137 = inttoptr v136  : *mut i32
@@ -283,8 +335,10 @@ block25:
     v149 = inttoptr v148  : *mut i32
     store v149, v146
     br block22
+}
 
 block26:
+{
     v129 = cast v125  : u32
     v130 = add v129, 12  : u32
     v131 = inttoptr v130  : *mut i32
@@ -294,15 +348,19 @@ block26:
     v134 = inttoptr v133  : *mut i32
     store v134, v125
     br block22
+}
 
 block27:
+{
     v160 = cast v152  : u32
     v161 = add v160, 416  : u32
     v162 = inttoptr v161  : *mut i32
     store v162, v151
     br block3
+}
 
 block28:
+{
     v186 = const.i32 0  : i32
     v187 = cast v95  : u32
     v188 = add v187, 416  : u32
@@ -314,8 +372,10 @@ block28:
     v193 = inttoptr v192  : *mut i32
     store v193, v190
     ret 
+}
 
 block29:
+{
     v214 = const.i32 -8  : i32
     v215 = band v205, v214  : i32
     v216 = add v212, v215  : i32
@@ -337,12 +397,16 @@ block29:
     v232 = cast v231  : i32
     v233 = neq v232, 0  : i1
     condbr v233, block32, block33
+}
 
 block30:
+{
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::insert_large_chunk(v212, v213, v205)
     ret 
+}
 
 block31(v247: i32):
+{
     v244 = cast v218  : u32
     v245 = add v244, 8  : u32
     v246 = inttoptr v245  : *mut i32
@@ -360,16 +424,20 @@ block31(v247: i32):
     v256 = inttoptr v255  : *mut i32
     store v256, v247
     br block1
+}
 
 block32:
+{
     v238 = bor v222, v229  : i32
     v239 = cast v212  : u32
     v240 = add v239, 408  : u32
     v241 = inttoptr v240  : *mut i32
     store v241, v238
     br block31(v218)
+}
 
 block33:
+{
     v234 = cast v218  : u32
     v235 = add v234, 8  : u32
     v236 = inttoptr v235  : *mut i32
@@ -377,8 +445,10 @@ block33:
     br block31(v237)
 }
 
-pub fn dlmalloc::dlmalloc::Dlmalloc<A>::unlink_large_chunk(i32, i32) {
+pub fn dlmalloc::dlmalloc::Dlmalloc<A>::unlink_large_chunk(i32, i32) {}
+
 block0(v0: i32, v1: i32):
+{
     v2 = const.i32 0  : i32
     v3 = cast v1  : u32
     v4 = add v3, 24  : u32
@@ -389,24 +459,32 @@ block0(v0: i32, v1: i32):
     v9 = cast v8  : i32
     v10 = neq v9, 0  : i1
     condbr v10, block4, block5
+}
 
 block1:
+{
     ret 
+}
 
 block2(v96: i32):
+{
     v65 = eq v6, 0  : i1
     v66 = cast v65  : i32
     v67 = neq v66, 0  : i1
     condbr v67, block10, block11
+}
 
 block3:
+{
     v36 = const.i32 16  : i32
     v37 = add v1, v36  : i32
     v38 = neq v17, 0  : i1
     v39 = select v38, v14, v37  : i32
     br block7(v39, v23)
+}
 
 block4:
+{
     v26 = call noname::dlmalloc::dlmalloc::TreeChunk::prev(v1)  : i32
     v27 = call noname::dlmalloc::dlmalloc::TreeChunk::next(v1)  : i32
     v28 = call noname::dlmalloc::dlmalloc::TreeChunk::chunk(v27)  : i32
@@ -420,8 +498,10 @@ block4:
     v35 = inttoptr v34  : *mut i32
     store v35, v32
     br block2(v27)
+}
 
 block5:
+{
     v11 = const.i32 20  : i32
     v12 = const.i32 16  : i32
     v13 = const.i32 20  : i32
@@ -437,12 +517,16 @@ block5:
     v23 = load v22  : i32
     v24 = neq v23, 0  : i1
     condbr v24, block3, block6
+}
 
 block6:
+{
     v25 = const.i32 0  : i32
     br block2(v25)
+}
 
 block7(v40: i32, v41: i32):
+{
     v42 = const.i32 20  : i32
     v43 = add v41, v42  : i32
     v44 = const.i32 16  : i32
@@ -462,21 +546,29 @@ block7(v40: i32, v41: i32):
     v58 = load v57  : i32
     v59 = neq v58, 0  : i1
     condbr v59, block7(v50, v58), block9
+}
 
 block8:
+{
     v60 = const.i32 0  : i32
     v61 = cast v40  : u32
     v62 = inttoptr v61  : *mut i32
     store v62, v60
     br block2(v41)
+}
 
 block9:
+{
     br block8
+}
 
 block10:
+{
     br block1
+}
 
 block11:
+{
     v72 = cast v1  : u32
     v73 = add v72, 28  : u32
     v74 = inttoptr v73  : *mut i32
@@ -491,8 +583,10 @@ block11:
     v83 = cast v82  : i32
     v84 = neq v83, 0  : i1
     condbr v84, block13, block14
+}
 
 block12:
+{
     v115 = cast v96  : u32
     v116 = add v115, 24  : u32
     v117 = inttoptr v116  : *mut i32
@@ -505,15 +599,19 @@ block12:
     v124 = cast v123  : i32
     v125 = neq v124, 0  : i1
     condbr v125, block17, block18
+}
 
 block13:
+{
     v100 = cast v78  : u32
     v101 = inttoptr v100  : *mut i32
     store v101, v96
     v102 = neq v96, 0  : i1
     condbr v102, block12, block16
+}
 
 block14:
+{
     v85 = const.i32 16  : i32
     v86 = const.i32 20  : i32
     v87 = cast v63  : u32
@@ -530,11 +628,15 @@ block14:
     store v98, v96
     v99 = neq v96, 0  : i1
     condbr v99, block12, block15
+}
 
 block15:
+{
     br block10
+}
 
 block16:
+{
     v103 = cast v68  : u32
     v104 = add v103, 412  : u32
     v105 = inttoptr v104  : *mut i32
@@ -547,8 +649,10 @@ block16:
     v112 = inttoptr v111  : *mut i32
     store v112, v109
     ret 
+}
 
 block17:
+{
     v133 = const.i32 20  : i32
     v134 = add v118, v133  : i32
     v135 = cast v134  : u32
@@ -558,8 +662,10 @@ block17:
     v139 = cast v138  : i32
     v140 = neq v139, 0  : i1
     condbr v140, block10, block19
+}
 
 block18:
+{
     v126 = cast v113  : u32
     v127 = add v126, 16  : u32
     v128 = inttoptr v127  : *mut i32
@@ -569,8 +675,10 @@ block18:
     v131 = inttoptr v130  : *mut i32
     store v131, v113
     br block17
+}
 
 block19:
+{
     v142 = const.i32 20  : i32
     v143 = add v113, v142  : i32
     v144 = cast v143  : u32
@@ -583,8 +691,10 @@ block19:
     ret 
 }
 
-pub fn dlmalloc::dlmalloc::Dlmalloc<A>::insert_large_chunk(i32, i32, i32) {
+pub fn dlmalloc::dlmalloc::Dlmalloc<A>::insert_large_chunk(i32, i32, i32) {}
+
 block0(v0: i32, v1: i32, v2: i32):
+{
     v3 = const.i32 0  : i32
     v4 = const.i32 0  : i32
     v5 = const.i32 256  : i32
@@ -594,11 +704,15 @@ block0(v0: i32, v1: i32, v2: i32):
     v9 = cast v8  : i32
     v10 = neq v9, 0  : i1
     condbr v10, block2(v4), block3
+}
 
 block1:
+{
     ret 
+}
 
 block2(v42: i32):
+{
     v38 = const.i64 0  : i64
     v39 = cast v1  : u32
     v40 = add v39, 16  : u32
@@ -623,8 +737,10 @@ block2(v42: i32):
     v59 = cast v58  : i32
     v60 = neq v59, 0  : i1
     condbr v60, block6, block7
+}
 
 block3:
+{
     v11 = const.i32 31  : i32
     v12 = const.i32 16777215  : i32
     v13 = cast v2  : u32
@@ -633,8 +749,10 @@ block3:
     v16 = cast v15  : i32
     v17 = neq v16, 0  : i1
     condbr v17, block2(v11), block4
+}
 
 block4:
+{
     v18 = const.i32 6  : i32
     v19 = const.i32 8  : i32
     v20 = cast v2  : u32
@@ -655,8 +773,10 @@ block4:
     v35 = const.i32 62  : i32
     v36 = add v34, v35  : i32
     br block2(v36)
+}
 
 block5(v128: i32):
+{
     v129 = cast v128  : u32
     v130 = add v129, 8  : u32
     v131 = inttoptr v130  : *mut i32
@@ -666,8 +786,10 @@ block5(v128: i32):
     v134 = inttoptr v133  : *mut i32
     store v134, v128
     br block1
+}
 
 block6:
+{
     v119 = bor v54, v56  : i32
     v120 = cast v46  : u32
     v121 = add v120, 412  : u32
@@ -681,24 +803,30 @@ block6:
     v127 = inttoptr v126  : *mut i32
     store v127, v37
     br block5(v50)
+}
 
 block7:
+{
     v61 = cast v49  : u32
     v62 = inttoptr v61  : *mut i32
     v63 = load v62  : i32
     v65 = call noname::dlmalloc::dlmalloc::leftshift_for_tree_index(v42)  : i32
     v66 = shl v2, v65  : i32
     br block8(v63, v66)
+}
 
 block8(v67: i32, v97: i32):
+{
     v68 = call noname::dlmalloc::dlmalloc::TreeChunk::chunk(v67)  : i32
     v69 = call noname::dlmalloc::dlmalloc::Chunk::size(v68)  : i32
     v71 = neq v69, v70  : i1
     v72 = cast v71  : i32
     v73 = neq v72, 0  : i1
     condbr v73, block10, block11
+}
 
 block9:
+{
     v114 = cast v109  : u32
     v115 = inttoptr v114  : *mut i32
     store v115, v92
@@ -707,8 +835,10 @@ block9:
     v118 = inttoptr v117  : *mut i32
     store v118, v67
     br block5(v79)
+}
 
 block10:
+{
     v98 = const.i32 29  : i32
     v99 = cast v97  : u32
     v100 = cast v98  : u32
@@ -726,8 +856,10 @@ block10:
     v112 = load v111  : i32
     v113 = neq v112, 0  : i1
     condbr v113, block8(v112, v104), block12
+}
 
 block11:
+{
     v74 = call noname::dlmalloc::dlmalloc::TreeChunk::chunk(v67)  : i32
     v75 = cast v74  : u32
     v76 = add v75, 8  : u32
@@ -755,13 +887,17 @@ block11:
     v96 = inttoptr v95  : *mut i32
     store v96, v93
     ret 
+}
 
 block12:
+{
     br block9
 }
 
-pub fn dlmalloc::dlmalloc::Dlmalloc<A>::release_unused_segments(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::Dlmalloc<A>::release_unused_segments(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = const.i32 0  : i32
     v3 = const.i32 136  : i32
     v4 = add v0, v3  : i32
@@ -770,11 +906,15 @@ block0(v0: i32):
     v7 = load v6  : i32
     v8 = neq v7, 0  : i1
     condbr v8, block3, block4
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
+}
 
 block2(v126: i32, v127: i32, v139: i32):
+{
     v128 = const.i32 4095  : i32
     v129 = const.i32 4095  : i32
     v130 = cast v127  : u32
@@ -788,20 +928,26 @@ block2(v126: i32, v127: i32, v139: i32):
     v138 = inttoptr v137  : *mut i32
     store v138, v135
     br block1(v139)
+}
 
 block3:
+{
     v11 = const.i32 128  : i32
     v12 = add v0, v11  : i32
     v13 = const.i32 0  : i32
     v14 = const.i32 0  : i32
     br block5(v7, v0, v12, v13, v14)
+}
 
 block4:
+{
     v9 = const.i32 0  : i32
     v10 = const.i32 0  : i32
     br block2(v0, v9, v10)
+}
 
 block5(v15: i32, v27: i32, v102: i32, v108: i32, v114: i32):
+{
     v16 = cast v15  : u32
     v17 = add v16, 8  : u32
     v18 = inttoptr v17  : *mut i32
@@ -827,25 +973,35 @@ block5(v15: i32, v27: i32, v102: i32, v108: i32, v114: i32):
     v39 = cast v38  : i32
     v40 = neq v39, 0  : i1
     condbr v40, block8(v114, v19, v27, v108), block9
+}
 
 block6:
+{
     br block2(v121, v117, v124)
+}
 
 block7(v112: i32, v118: i32, v121: i32, v123: i32, v124: i32):
+{
     v116 = const.i32 1  : i32
     v117 = add v112, v116  : i32
     v120 = neq v118, 0  : i1
     condbr v120, block5(v118, v121, v123, v124, v117), block18
+}
 
 block8(v115: i32, v119: i32, v122: i32, v125: i32):
+{
     br block7(v115, v119, v122, v15, v125)
+}
 
 block9:
+{
     v41 = call noname::dlmalloc::dlmalloc::Segment::is_extern(v15)  : i32
     v42 = neq v41, 0  : i1
     condbr v42, block8(v114, v19, v27, v108), block10
+}
 
 block10:
+{
     v43 = call noname::dlmalloc::dlmalloc::Chunk::to_mem(v26)  : i32
     v44 = const.i32 8  : i32
     v45 = call noname::dlmalloc::dlmalloc::align_up(v43, v44)  : i32
@@ -864,8 +1020,10 @@ block10:
     v58 = call noname::dlmalloc::dlmalloc::Chunk::inuse(v47)  : i32
     v59 = neq v58, 0  : i1
     condbr v59, block8(v114, v19, v27, v108), block11
+}
 
 block11:
+{
     v60 = add v47, v48  : i32
     v61 = add v49, v23  : i32
     v62 = add v51, v54  : i32
@@ -878,8 +1036,10 @@ block11:
     v69 = cast v68  : i32
     v70 = neq v69, 0  : i1
     condbr v70, block8(v114, v19, v27, v108), block12
+}
 
 block12:
+{
     v71 = cast v27  : u32
     v72 = add v71, 424  : u32
     v73 = inttoptr v72  : *mut i32
@@ -888,13 +1048,17 @@ block12:
     v76 = cast v75  : i32
     v77 = neq v76, 0  : i1
     condbr v77, block14, block15
+}
 
 block13:
+{
     v89 = call noname::<dlmalloc::sys::System as dlmalloc::Allocator>::free(v27, v26, v23)  : i32
     v90 = neq v89, 0  : i1
     condbr v90, block16, block17
+}
 
 block14:
+{
     v78 = const.i32 0  : i32
     v79 = cast v27  : u32
     v80 = add v79, 416  : u32
@@ -906,12 +1070,16 @@ block14:
     v85 = inttoptr v84  : *mut i32
     store v85, v82
     br block13
+}
 
 block15:
+{
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::unlink_large_chunk(v27, v47)
     br block13
+}
 
 block16:
+{
     v93 = cast v86  : u32
     v94 = add v93, 432  : u32
     v95 = inttoptr v94  : *mut i32
@@ -927,17 +1095,23 @@ block16:
     store v106, v19
     v109 = add v88, v108  : i32
     br block7(v114, v103, v86, v101, v109)
+}
 
 block17:
+{
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::insert_large_chunk(v86, v47, v48)
     br block8(v113, v103, v86, v107)
+}
 
 block18:
+{
     br block6
 }
 
-pub fn dlmalloc::dlmalloc::Dlmalloc<A>::free(i32, i32) {
+pub fn dlmalloc::dlmalloc::Dlmalloc<A>::free(i32, i32) {}
+
 block0(v0: i32, v1: i32):
+{
     v2 = const.i32 0  : i32
     v3 = call noname::dlmalloc::dlmalloc::Chunk::from_mem(v1)  : i32
     v4 = call noname::dlmalloc::dlmalloc::Chunk::size(v3)  : i32
@@ -945,29 +1119,39 @@ block0(v0: i32, v1: i32):
     v6 = call noname::dlmalloc::dlmalloc::Chunk::pinuse(v3)  : i32
     v7 = neq v6, 0  : i1
     condbr v7, block3(v3, v4), block4
+}
 
 block1:
+{
     ret 
+}
 
 block2:
+{
     br block1
+}
 
 block3(v94: i32, v95: i32):
+{
     v90 = call noname::dlmalloc::dlmalloc::Chunk::cinuse(v5)  : i32
     v91 = eq v90, 0  : i1
     v92 = cast v91  : i32
     v93 = neq v92, 0  : i1
     condbr v93, block16, block17
+}
 
 block4:
+{
     v8 = cast v3  : u32
     v9 = inttoptr v8  : *mut i32
     v10 = load v9  : i32
     v11 = call noname::dlmalloc::dlmalloc::Chunk::mmapped(v3)  : i32
     v12 = neq v11, 0  : i1
     condbr v12, block5, block6
+}
 
 block5:
+{
     v73 = sub v3, v10  : i32
     v74 = add v4, v10  : i32
     v75 = const.i32 16  : i32
@@ -977,8 +1161,10 @@ block5:
     v79 = cast v78  : i32
     v80 = neq v79, 0  : i1
     condbr v80, block2, block14
+}
 
 block6:
+{
     v13 = add v10, v4  : i32
     v14 = call noname::dlmalloc::dlmalloc::Chunk::minus_offset(v3, v10)  : i32
     v15 = cast v0  : u32
@@ -989,8 +1175,10 @@ block6:
     v20 = cast v19  : i32
     v21 = neq v20, 0  : i1
     condbr v21, block7, block8
+}
 
 block7:
+{
     v35 = const.i32 256  : i32
     v36 = cast v10  : u32
     v37 = cast v35  : u32
@@ -998,8 +1186,10 @@ block7:
     v39 = cast v38  : i32
     v40 = neq v39, 0  : i1
     condbr v40, block10, block11
+}
 
 block8:
+{
     v22 = cast v5  : u32
     v23 = add v22, 4  : u32
     v24 = inttoptr v23  : *mut i32
@@ -1011,16 +1201,20 @@ block8:
     v30 = cast v29  : i32
     v31 = neq v30, 0  : i1
     condbr v31, block3(v14, v13), block9
+}
 
 block9:
+{
     v32 = cast v0  : u32
     v33 = add v32, 416  : u32
     v34 = inttoptr v33  : *mut i32
     store v34, v13
     call noname::dlmalloc::dlmalloc::Chunk::set_free_with_pinuse(v14, v13, v5)
     ret 
+}
 
 block10:
+{
     v41 = cast v14  : u32
     v42 = add v41, 12  : u32
     v43 = inttoptr v42  : *mut i32
@@ -1033,12 +1227,16 @@ block10:
     v50 = cast v49  : i32
     v51 = neq v50, 0  : i1
     condbr v51, block12, block13
+}
 
 block11:
+{
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::unlink_large_chunk(v0, v14)
     br block3(v14, v13)
+}
 
 block12:
+{
     v58 = cast v0  : u32
     v59 = add v58, 408  : u32
     v60 = inttoptr v59  : *mut i32
@@ -1056,8 +1254,10 @@ block12:
     v72 = inttoptr v71  : *mut i32
     store v72, v69
     br block3(v14, v13)
+}
 
 block13:
+{
     v52 = cast v48  : u32
     v53 = add v52, 12  : u32
     v54 = inttoptr v53  : *mut i32
@@ -1067,8 +1267,10 @@ block13:
     v57 = inttoptr v56  : *mut i32
     store v57, v48
     br block3(v14, v13)
+}
 
 block14:
+{
     v81 = cast v0  : u32
     v82 = add v81, 432  : u32
     v83 = inttoptr v82  : *mut i32
@@ -1079,8 +1281,10 @@ block14:
     v88 = inttoptr v87  : *mut i32
     store v88, v85
     ret 
+}
 
 block15(v474: i32, v481: i32, v482: i32):
+{
     v475 = const.i32 256  : i32
     v476 = cast v474  : u32
     v477 = cast v475  : u32
@@ -1088,8 +1292,10 @@ block15(v474: i32, v481: i32, v482: i32):
     v479 = cast v478  : i32
     v480 = neq v479, 0  : i1
     condbr v480, block55, block56
+}
 
 block16:
+{
     v97 = cast v0  : u32
     v98 = add v97, 428  : u32
     v99 = inttoptr v98  : *mut i32
@@ -1098,12 +1304,16 @@ block16:
     v102 = cast v101  : i32
     v103 = neq v102, 0  : i1
     condbr v103, block21, block22
+}
 
 block17:
+{
     call noname::dlmalloc::dlmalloc::Chunk::set_free_with_pinuse(v94, v95, v89)
     br block15(v95, v96, v94)
+}
 
 block18:
+{
     v208 = cast v96  : u32
     v209 = add v208, 440  : u32
     v210 = inttoptr v209  : *mut i32
@@ -1114,8 +1324,10 @@ block18:
     v215 = cast v214  : i32
     v216 = neq v215, 0  : i1
     condbr v216, block2, block31
+}
 
 block19:
+{
     v198 = const.i32 0  : i32
     v199 = cast v96  : u32
     v200 = add v199, 416  : u32
@@ -1127,8 +1339,10 @@ block19:
     v205 = inttoptr v204  : *mut i32
     store v205, v202
     br block18
+}
 
 block20:
+{
     v187 = cast v96  : u32
     v188 = add v187, 424  : u32
     v189 = inttoptr v188  : *mut i32
@@ -1144,8 +1358,10 @@ block20:
     store v197, v194
     call noname::dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_free_chunk(v94, v194)
     ret 
+}
 
 block21:
+{
     v164 = cast v96  : u32
     v165 = add v164, 428  : u32
     v166 = inttoptr v165  : *mut i32
@@ -1173,8 +1389,10 @@ block21:
     v185 = cast v184  : i32
     v186 = neq v185, 0  : i1
     condbr v186, block19, block30
+}
 
 block22:
+{
     v104 = cast v96  : u32
     v105 = add v104, 424  : u32
     v106 = inttoptr v105  : *mut i32
@@ -1183,8 +1401,10 @@ block22:
     v109 = cast v108  : i32
     v110 = neq v109, 0  : i1
     condbr v110, block20, block23
+}
 
 block23:
+{
     v111 = call noname::dlmalloc::dlmalloc::Chunk::size(v89)  : i32
     v112 = add v111, v95  : i32
     v113 = const.i32 256  : i32
@@ -1194,8 +1414,10 @@ block23:
     v117 = cast v116  : i32
     v118 = neq v117, 0  : i1
     condbr v118, block25, block26
+}
 
 block24:
+{
     call noname::dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_free_chunk(v94, v112)
     v154 = cast v96  : u32
     v155 = add v154, 424  : u32
@@ -1205,8 +1427,10 @@ block24:
     v159 = cast v158  : i32
     v160 = neq v159, 0  : i1
     condbr v160, block15(v152, v153, v151), block29
+}
 
 block25:
+{
     v119 = cast v89  : u32
     v120 = add v119, 12  : u32
     v121 = inttoptr v120  : *mut i32
@@ -1219,12 +1443,16 @@ block25:
     v128 = cast v127  : i32
     v129 = neq v128, 0  : i1
     condbr v129, block27, block28
+}
 
 block26:
+{
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::unlink_large_chunk(v96, v89)
     br block24
+}
 
 block27:
+{
     v136 = cast v96  : u32
     v137 = add v136, 408  : u32
     v138 = inttoptr v137  : *mut i32
@@ -1242,8 +1470,10 @@ block27:
     v150 = inttoptr v149  : *mut i32
     store v150, v147
     br block24
+}
 
 block28:
+{
     v130 = cast v126  : u32
     v131 = add v130, 12  : u32
     v132 = inttoptr v131  : *mut i32
@@ -1253,18 +1483,24 @@ block28:
     v135 = inttoptr v134  : *mut i32
     store v135, v126
     br block24
+}
 
 block29:
+{
     v161 = cast v153  : u32
     v162 = add v161, 416  : u32
     v163 = inttoptr v162  : *mut i32
     store v163, v152
     ret 
+}
 
 block30:
+{
     br block18
+}
 
 block31:
+{
     v217 = call noname::dlmalloc::dlmalloc::Chunk::mem_offset()  : i32
     v218 = const.i32 8  : i32
     v219 = call noname::dlmalloc::dlmalloc::align_up(v217, v218)  : i32
@@ -1300,8 +1536,10 @@ block31:
     v249 = cast v248  : i32
     v250 = neq v249, 0  : i1
     condbr v250, block2, block32
+}
 
 block32:
+{
     v251 = cast v207  : u32
     v252 = add v251, 428  : u32
     v253 = inttoptr v252  : *mut i32
@@ -1310,8 +1548,10 @@ block32:
     v256 = cast v255  : i32
     v257 = neq v256, 0  : i1
     condbr v257, block2, block33
+}
 
 block33:
+{
     v258 = call noname::dlmalloc::dlmalloc::Chunk::mem_offset()  : i32
     v259 = const.i32 8  : i32
     v260 = call noname::dlmalloc::dlmalloc::align_up(v258, v259)  : i32
@@ -1335,8 +1575,10 @@ block33:
     v278 = cast v277  : i32
     v279 = neq v278, 0  : i1
     condbr v279, block34(v207, v267), block35
+}
 
 block34(v449: i32, v452: i32):
+{
     v450 = call noname::dlmalloc::dlmalloc::Dlmalloc<A>::release_unused_segments(v449)  : i32
     v451 = const.i32 0  : i32
     v453 = sub v451, v452  : i32
@@ -1344,8 +1586,10 @@ block34(v449: i32, v452: i32):
     v455 = cast v454  : i32
     v456 = neq v455, 0  : i1
     condbr v456, block2, block53
+}
 
 block35:
+{
     v280 = sub v271, v274  : i32
     v281 = const.i32 65535  : i32
     v282 = add v280, v281  : i32
@@ -1356,14 +1600,18 @@ block35:
     v287 = const.i32 128  : i32
     v288 = add v207, v287  : i32
     br block37(v288)
+}
 
 block36(v314: i32, v318: i32, v339: i32, v359: i32, v414: i32):
+{
     v313 = const.i32 0  : i32
     v315 = call noname::dlmalloc::dlmalloc::Segment::is_extern(v314)  : i32
     v316 = neq v315, 0  : i1
     condbr v316, block34(v318, v313), block43
+}
 
 block37(v289: i32):
+{
     v290 = cast v289  : u32
     v291 = inttoptr v290  : *mut i32
     v292 = load v291  : i32
@@ -1373,20 +1621,26 @@ block37(v289: i32):
     v297 = cast v296  : i32
     v298 = neq v297, 0  : i1
     condbr v298, block39, block40
+}
 
 block38:
+{
     v312 = const.i32 0  : i32
     br block36(v312, v320, v341, v361, v416)
+}
 
 block39:
+{
     v306 = cast v289  : u32
     v307 = add v306, 8  : u32
     v308 = inttoptr v307  : *mut i32
     v309 = load v308  : i32
     v310 = neq v309, 0  : i1
     condbr v310, block37(v309), block42
+}
 
 block40:
+{
     v299 = call noname::dlmalloc::dlmalloc::Segment::top(v289)  : i32
     v300 = cast v299  : u32
     v301 = cast v293  : u32
@@ -1394,14 +1648,20 @@ block40:
     v303 = cast v302  : i32
     v304 = neq v303, 0  : i1
     condbr v304, block36(v289, v207, v286, v288, v284), block41
+}
 
 block41:
+{
     br block39
+}
 
 block42:
+{
     br block38
+}
 
 block43:
+{
     v317 = const.i32 0  : i32
     v321 = cast v314  : u32
     v322 = add v321, 12  : u32
@@ -1417,8 +1677,10 @@ block43:
     v332 = cast v331  : i32
     v333 = neq v332, 0  : i1
     condbr v333, block34(v318, v317), block44
+}
 
 block44:
+{
     v334 = const.i32 0  : i32
     v335 = cast v314  : u32
     v336 = add v335, 4  : u32
@@ -1430,18 +1692,24 @@ block44:
     v345 = cast v344  : i32
     v346 = neq v345, 0  : i1
     condbr v346, block34(v318, v334), block45
+}
 
 block45:
+{
     br block46(v359)
+}
 
 block46(v348: i32):
+{
     v349 = call noname::dlmalloc::dlmalloc::Segment::holds(v347, v348)  : i32
     v350 = eq v349, 0  : i1
     v351 = cast v350  : i32
     v352 = neq v351, 0  : i1
     condbr v352, block48, block49
+}
 
 block47:
+{
     v363 = cast v347  : u32
     v364 = inttoptr v363  : *mut i32
     v365 = load v364  : i32
@@ -1456,30 +1724,40 @@ block47:
     v375 = cast v374  : i32
     v376 = neq v375, 0  : i1
     condbr v376, block34(v362, v373), block51
+}
 
 block48:
+{
     v354 = cast v348  : u32
     v355 = add v354, 8  : u32
     v356 = inttoptr v355  : *mut i32
     v357 = load v356  : i32
     v358 = neq v357, 0  : i1
     condbr v358, block46(v357), block50
+}
 
 block49:
+{
     v353 = const.i32 0  : i32
     br block34(v362, v353)
+}
 
 block50:
+{
     br block47
+}
 
 block51:
+{
     v377 = const.i32 0  : i32
     v378 = eq v372, 0  : i1
     v379 = cast v378  : i32
     v380 = neq v379, 0  : i1
     condbr v380, block34(v362, v377), block52
+}
 
 block52:
+{
     v381 = cast v347  : u32
     v382 = add v381, 4  : u32
     v383 = inttoptr v382  : *mut i32
@@ -1552,8 +1830,10 @@ block52:
     v448 = inttoptr v447  : *mut i32
     store v448, v445
     br block34(v362, v370)
+}
 
 block53:
+{
     v457 = cast v449  : u32
     v458 = add v457, 420  : u32
     v459 = inttoptr v458  : *mut i32
@@ -1568,16 +1848,20 @@ block53:
     v468 = cast v467  : i32
     v469 = neq v468, 0  : i1
     condbr v469, block2, block54
+}
 
 block54:
+{
     v470 = const.i32 -1  : i32
     v471 = cast v449  : u32
     v472 = add v471, 440  : u32
     v473 = inttoptr v472  : *mut i32
     store v473, v470
     ret 
+}
 
 block55:
+{
     v494 = const.i32 -8  : i32
     v495 = band v474, v494  : i32
     v496 = add v481, v495  : i32
@@ -1599,8 +1883,10 @@ block55:
     v512 = cast v511  : i32
     v513 = neq v512, 0  : i1
     condbr v513, block59, block60
+}
 
 block56:
+{
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::insert_large_chunk(v481, v482, v474)
     v483 = cast v481  : u32
     v484 = add v483, 448  : u32
@@ -1614,12 +1900,16 @@ block56:
     store v491, v488
     v492 = neq v488, 0  : i1
     condbr v492, block2, block57
+}
 
 block57:
+{
     v493 = call noname::dlmalloc::dlmalloc::Dlmalloc<A>::release_unused_segments(v481)  : i32
     ret 
+}
 
 block58(v527: i32):
+{
     v524 = cast v498  : u32
     v525 = add v524, 8  : u32
     v526 = inttoptr v525  : *mut i32
@@ -1637,16 +1927,20 @@ block58(v527: i32):
     v536 = inttoptr v535  : *mut i32
     store v536, v527
     br block2
+}
 
 block59:
+{
     v518 = bor v502, v509  : i32
     v519 = cast v481  : u32
     v520 = add v519, 408  : u32
     v521 = inttoptr v520  : *mut i32
     store v521, v518
     br block58(v498)
+}
 
 block60:
+{
     v514 = cast v498  : u32
     v515 = add v514, 8  : u32
     v516 = inttoptr v515  : *mut i32
@@ -1654,8 +1948,10 @@ block60:
     br block58(v517)
 }
 
-pub fn dlmalloc::dlmalloc::Dlmalloc<A>::malloc(i32, i32) -> i32 {
+pub fn dlmalloc::dlmalloc::Dlmalloc<A>::malloc(i32, i32) -> i32 {}
+
 block0(v0: i32, v1: i32):
+{
     v3 = const.i32 0  : i32
     v4 = const.i64 0  : i64
     v5 = global.load (@__stack_pointer) as *mut i8  : i32
@@ -1670,18 +1966,24 @@ block0(v0: i32, v1: i32):
     v13 = cast v12  : i32
     v14 = neq v13, 0  : i1
     condbr v14, block7, block8
+}
 
 block1(v2: i32):
-    ret v2
+{
+    ret (v2)
+}
 
 block2(v1477: i32, v1501: i32):
+{
     v1498 = const.i32 16  : i32
     v1499 = add v1477, v1498  : i32
     v1500 = global.symbol @__stack_pointer  : *mut i32
     store v1500, v1499
     br block1(v1501)
+}
 
 block3(v654: i32, v662: i32, v682: i32):
+{
     v658 = cast v654  : u32
     v659 = add v658, 416  : u32
     v660 = inttoptr v659  : *mut i32
@@ -1692,22 +1994,30 @@ block3(v654: i32, v662: i32, v682: i32):
     v671 = cast v670  : i32
     v672 = neq v671, 0  : i1
     condbr v672, block83, block84
+}
 
 block4(v561: i32, v565: i32, v573: i32, v579: i32, v692: i32):
+{
     v562 = eq v561, 0  : i1
     v563 = cast v562  : i32
     v564 = neq v563, 0  : i1
     condbr v564, block3(v565, v573, v692), block63
+}
 
 block5(v552: i32, v553: i32, v555: i32, v558: i32, v568: i32, v695: i32):
+{
     br block60(v552, v553, v558)
+}
 
 block6(v493: i32, v495: i32, v501: i32, v506: i32, v514: i32, v557: i32, v560: i32, v688: i32):
+{
     v498 = bor v493, v495  : i32
     v499 = neq v498, 0  : i1
     condbr v499, block56(v493, v495), block57
+}
 
 block7:
+{
     v168 = const.i32 16  : i32
     v169 = const.i32 4  : i32
     v170 = add v1, v169  : i32
@@ -1743,8 +2053,10 @@ block7:
     v200 = cast v199  : i32
     v201 = neq v200, 0  : i1
     condbr v201, block23, block24
+}
 
 block8:
+{
     v15 = call noname::dlmalloc::dlmalloc::Chunk::mem_offset()  : i32
     v16 = const.i32 8  : i32
     v17 = call noname::dlmalloc::dlmalloc::align_up(v15, v16)  : i32
@@ -1783,8 +2095,10 @@ block8:
     v50 = cast v49  : i32
     v51 = neq v50, 0  : i1
     condbr v51, block2(v7, v24), block9
+}
 
 block9:
+{
     v52 = const.i32 4  : i32
     v53 = add v1, v52  : i32
     v54 = const.i32 8  : i32
@@ -1797,8 +2111,10 @@ block9:
     v61 = cast v60  : i32
     v62 = neq v61, 0  : i1
     condbr v62, block3(v0, v55, v7), block10
+}
 
 block10:
+{
     v63 = const.i32 0  : i32
     v64 = const.i32 0  : i32
     v65 = const.i32 256  : i32
@@ -1808,8 +2124,10 @@ block10:
     v69 = cast v68  : i32
     v70 = neq v69, 0  : i1
     condbr v70, block11(v64), block12
+}
 
 block11(v101: i32):
+{
     v97 = const.i32 0  : i32
     v99 = sub v97, v55  : i32
     v102 = const.i32 2  : i32
@@ -1820,8 +2138,10 @@ block11(v101: i32):
     v107 = load v106  : i32
     v108 = neq v107, 0  : i1
     condbr v108, block14, block15
+}
 
 block12:
+{
     v71 = const.i32 31  : i32
     v72 = const.i32 16777215  : i32
     v73 = cast v55  : u32
@@ -1830,8 +2150,10 @@ block12:
     v76 = cast v75  : i32
     v77 = neq v76, 0  : i1
     condbr v77, block11(v71), block13
+}
 
 block13:
+{
     v78 = const.i32 6  : i32
     v79 = const.i32 8  : i32
     v80 = cast v55  : u32
@@ -1852,19 +2174,25 @@ block13:
     v95 = const.i32 62  : i32
     v96 = add v94, v95  : i32
     br block11(v96)
+}
 
 block14:
+{
     v110 = call noname::dlmalloc::dlmalloc::leftshift_for_tree_index(v101)  : i32
     v111 = shl v98, v110  : i32
     v112 = const.i32 0  : i32
     v113 = const.i32 0  : i32
     br block16(v107, v99, v112, v111, v113, v101, v507, v100, v689)
+}
 
 block15:
+{
     v109 = const.i32 0  : i32
     br block6(v63, v109, v101, v59, v100, v98, v99, v7)
+}
 
 block16(v114: i32, v124: i32, v139: i32, v141: i32, v497: i32, v503: i32, v509: i32, v516: i32, v691: i32):
+{
     v115 = call noname::dlmalloc::dlmalloc::TreeChunk::chunk(v114)  : i32
     v116 = call noname::dlmalloc::dlmalloc::Chunk::size(v115)  : i32
     v118 = cast v116  : u32
@@ -1873,10 +2201,14 @@ block16(v114: i32, v124: i32, v139: i32, v141: i32, v497: i32, v503: i32, v509:
     v121 = cast v120  : i32
     v122 = neq v121, 0  : i1
     condbr v122, block18(v124, v497), block19
+}
 
 block17:
+{
+}
 
 block18(v167: i32, v496: i32):
+{
     v133 = const.i32 20  : i32
     v134 = add v114, v133  : i32
     v135 = cast v134  : u32
@@ -1907,8 +2239,10 @@ block18(v167: i32, v496: i32):
     v164 = cast v163  : i32
     v165 = neq v164, 0  : i1
     condbr v165, block6(v160, v496, v503, v509, v516, v166, v167, v691), block22
+}
 
 block19:
+{
     v123 = sub v116, v117  : i32
     v125 = cast v123  : u32
     v126 = cast v124  : u32
@@ -1916,19 +2250,27 @@ block19:
     v128 = cast v127  : i32
     v129 = neq v128, 0  : i1
     condbr v129, block18(v124, v497), block20
+}
 
 block20:
+{
     v130 = neq v123, 0  : i1
     condbr v130, block18(v123, v114), block21
+}
 
 block21:
+{
     v131 = const.i32 0  : i32
     br block5(v114, v114, v117, v131, v516, v691)
+}
 
 block22:
+{
     br block16(v154, v167, v160, v162, v496, v502, v508, v515, v690)
+}
 
 block23:
+{
     v241 = cast v0  : u32
     v242 = add v241, 416  : u32
     v243 = inttoptr v242  : *mut i32
@@ -1939,8 +2281,10 @@ block23:
     v248 = cast v247  : i32
     v249 = neq v248, 0  : i1
     condbr v249, block3(v0, v183, v7), block28
+}
 
 block24:
+{
     v202 = const.i32 -1  : i32
     v203 = bxor v196, v202  : i32
     v204 = const.i32 1  : i32
@@ -1964,15 +2308,19 @@ block24:
     v222 = cast v221  : i32
     v223 = neq v222, 0  : i1
     condbr v223, block26, block27
+}
 
 block25:
+{
     v238 = const.i32 3  : i32
     v239 = shl v206, v238  : i32
     call noname::dlmalloc::dlmalloc::Chunk::set_inuse_and_pinuse(v214, v239)
     v240 = call noname::dlmalloc::dlmalloc::Chunk::to_mem(v236)  : i32
     br block2(v7, v240)
+}
 
 block26:
+{
     v230 = const.i32 -2  : i32
     v231 = shl v230, v206  : i32
     v232 = band v187, v231  : i32
@@ -1981,8 +2329,10 @@ block26:
     v235 = inttoptr v234  : *mut i32
     store v235, v232
     br block25
+}
 
 block27:
+{
     v224 = cast v218  : u32
     v225 = add v224, 12  : u32
     v226 = inttoptr v225  : *mut i32
@@ -1992,19 +2342,25 @@ block27:
     v229 = inttoptr v228  : *mut i32
     store v229, v218
     br block25
+}
 
 block28:
+{
     v250 = neq v196, 0  : i1
     condbr v250, block35, block36
+}
 
 block29(v655: i32, v683: i32):
+{
     v489 = call noname::dlmalloc::dlmalloc::Chunk::to_mem(v291)  : i32
     v490 = eq v489, 0  : i1
     v491 = cast v490  : i32
     v492 = neq v491, 0  : i1
     condbr v492, block3(v655, v292, v683), block55
+}
 
 block30:
+{
     v478 = cast v294  : u32
     v479 = add v478, 424  : u32
     v480 = inttoptr v479  : *mut i32
@@ -2014,8 +2370,10 @@ block30:
     v485 = inttoptr v484  : *mut i32
     store v485, v296
     br block29(v474, v684)
+}
 
 block31(v1479: i32):
+{
     v463 = cast v359  : u32
     v464 = add v463, 424  : u32
     v465 = inttoptr v464  : *mut i32
@@ -2026,8 +2384,10 @@ block31(v1479: i32):
     store v470, v358
     v473 = call noname::dlmalloc::dlmalloc::Chunk::to_mem(v352)  : i32
     br block2(v1479, v473)
+}
 
 block32:
+{
     v414 = const.i32 -8  : i32
     v415 = band v363, v414  : i32
     v416 = add v312, v415  : i32
@@ -2051,13 +2411,17 @@ block32:
     v434 = cast v433  : i32
     v435 = neq v434, 0  : i1
     condbr v435, block53, block54
+}
 
 block33:
+{
     v412 = add v296, v292  : i32
     call noname::dlmalloc::dlmalloc::Chunk::set_inuse_and_pinuse(v291, v412)
     br block29(v294, v7)
+}
 
 block34:
+{
     v365 = const.i32 -8  : i32
     v366 = band v309, v365  : i32
     v367 = add v294, v366  : i32
@@ -2083,8 +2447,10 @@ block34:
     v387 = cast v386  : i32
     v388 = neq v387, 0  : i1
     condbr v388, block50, block51
+}
 
 block35:
+{
     v311 = const.i32 144  : i32
     v312 = add v0, v311  : i32
     v313 = const.i32 1  : i32
@@ -2111,8 +2477,10 @@ block35:
     v334 = cast v333  : i32
     v335 = neq v334, 0  : i1
     condbr v335, block46, block47
+}
 
 block36:
+{
     v251 = cast v0  : u32
     v252 = add v251, 412  : u32
     v253 = inttoptr v252  : *mut i32
@@ -2121,8 +2489,10 @@ block36:
     v256 = cast v255  : i32
     v257 = neq v256, 0  : i1
     condbr v257, block3(v0, v183, v7), block37
+}
 
 block37:
+{
     v258 = call noname::dlmalloc::dlmalloc::least_bit(v254)  : i32
     v259 = popcnt v258  : i32
     v260 = const.i32 2  : i32
@@ -2139,8 +2509,10 @@ block37:
     v271 = cast v270  : i32
     v272 = neq v271, 0  : i1
     condbr v272, block38(v265, v183, v268), block39
+}
 
 block38(v290: i32, v292: i32, v296: i32):
+{
     v291 = call noname::dlmalloc::dlmalloc::TreeChunk::chunk(v290)  : i32
     v293 = call noname::dlmalloc::dlmalloc::Chunk::plus_offset(v291, v292)  : i32
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::unlink_large_chunk(v0, v290)
@@ -2153,11 +2525,15 @@ block38(v290: i32, v292: i32, v296: i32):
     v303 = cast v302  : i32
     v304 = neq v303, 0  : i1
     condbr v304, block33, block43
+}
 
 block39:
+{
     br block40(v269, v268, v265)
+}
 
 block40(v273: i32, v278: i32, v285: i32):
+{
     v274 = call noname::dlmalloc::dlmalloc::TreeChunk::chunk(v273)  : i32
     v275 = call noname::dlmalloc::dlmalloc::Chunk::size(v274)  : i32
     v277 = sub v275, v276  : i32
@@ -2172,14 +2548,20 @@ block40(v273: i32, v278: i32, v285: i32):
     v288 = call noname::dlmalloc::dlmalloc::TreeChunk::leftmost_child(v273)  : i32
     v289 = neq v288, 0  : i1
     condbr v289, block40(v288, v284, v287), block42
+}
 
 block41:
+{
     br block38(v287, v276, v284)
+}
 
 block42:
+{
     br block41
+}
 
 block43:
+{
     v305 = call noname::dlmalloc::dlmalloc::TreeChunk::chunk(v293)  : i32
     call noname::dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_inuse_chunk(v291, v292)
     call noname::dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_free_chunk(v305, v296)
@@ -2189,11 +2571,15 @@ block43:
     v309 = load v308  : i32
     v310 = neq v309, 0  : i1
     condbr v310, block34, block44
+}
 
 block44:
+{
     br block30
+}
 
 block45:
+{
     call noname::dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_inuse_chunk(v328, v183)
     v354 = call noname::dlmalloc::dlmalloc::Chunk::plus_offset(v352, v353)  : i32
     v356 = const.i32 3  : i32
@@ -2206,8 +2592,10 @@ block45:
     v363 = load v362  : i32
     v364 = neq v363, 0  : i1
     condbr v364, block32, block48
+}
 
 block46:
+{
     v342 = cast v0  : u32
     v343 = add v342, 408  : u32
     v344 = inttoptr v343  : *mut i32
@@ -2220,8 +2608,10 @@ block46:
     v351 = inttoptr v350  : *mut i32
     store v351, v348
     br block45
+}
 
 block47:
+{
     v336 = cast v332  : u32
     v337 = add v336, 12  : u32
     v338 = inttoptr v337  : *mut i32
@@ -2231,11 +2621,15 @@ block47:
     v341 = inttoptr v340  : *mut i32
     store v341, v332
     br block45
+}
 
 block48:
+{
     br block31(v7)
+}
 
 block49(v402: i32):
+{
     v399 = cast v369  : u32
     v400 = add v399, 8  : u32
     v401 = inttoptr v400  : *mut i32
@@ -2253,23 +2647,29 @@ block49(v402: i32):
     v411 = inttoptr v410  : *mut i32
     store v411, v402
     br block30
+}
 
 block50:
+{
     v393 = bor v377, v384  : i32
     v394 = cast v294  : u32
     v395 = add v394, 408  : u32
     v396 = inttoptr v395  : *mut i32
     store v396, v393
     br block49(v369)
+}
 
 block51:
+{
     v389 = cast v369  : u32
     v390 = add v389, 8  : u32
     v391 = inttoptr v390  : *mut i32
     v392 = load v391  : i32
     br block49(v392)
+}
 
 block52(v449: i32):
+{
     v446 = cast v416  : u32
     v447 = add v446, 8  : u32
     v448 = inttoptr v447  : *mut i32
@@ -2287,32 +2687,42 @@ block52(v449: i32):
     v458 = inttoptr v457  : *mut i32
     store v458, v449
     br block31(v1480)
+}
 
 block53:
+{
     v440 = bor v424, v431  : i32
     v441 = cast v359  : u32
     v442 = add v441, 408  : u32
     v443 = inttoptr v442  : *mut i32
     store v443, v440
     br block52(v416)
+}
 
 block54:
+{
     v436 = cast v416  : u32
     v437 = add v436, 8  : u32
     v438 = inttoptr v437  : *mut i32
     v439 = load v438  : i32
     br block52(v439)
+}
 
 block55:
+{
     br block2(v683, v489)
+}
 
 block56(v526: i32, v554: i32):
+{
     v527 = eq v526, 0  : i1
     v528 = cast v527  : i32
     v529 = neq v528, 0  : i1
     condbr v529, block4(v554, v514, v556, v559, v688), block59
+}
 
 block57:
+{
     v500 = const.i32 1  : i32
     v504 = shl v500, v501  : i32
     v505 = call noname::dlmalloc::dlmalloc::left_bits(v504)  : i32
@@ -2321,8 +2731,10 @@ block57:
     v512 = cast v511  : i32
     v513 = neq v512, 0  : i1
     condbr v513, block3(v514, v557, v688), block58
+}
 
 block58:
+{
     v517 = call noname::dlmalloc::dlmalloc::least_bit(v510)  : i32
     v518 = popcnt v517  : i32
     v519 = const.i32 2  : i32
@@ -2333,11 +2745,15 @@ block58:
     v524 = load v523  : i32
     v525 = const.i32 0  : i32
     br block56(v524, v525)
+}
 
 block59:
+{
     br block5(v526, v554, v557, v560, v566, v693)
+}
 
 block60(v530: i32, v531: i32, v540: i32):
+{
     v532 = call noname::dlmalloc::dlmalloc::TreeChunk::chunk(v530)  : i32
     v533 = call noname::dlmalloc::dlmalloc::Chunk::size(v532)  : i32
     v535 = cast v533  : u32
@@ -2357,14 +2773,20 @@ block60(v530: i32, v531: i32, v540: i32):
     v550 = call noname::dlmalloc::dlmalloc::TreeChunk::leftmost_child(v530)  : i32
     v551 = neq v550, 0  : i1
     condbr v551, block60(v550, v547, v549), block62
+}
 
 block61:
+{
     br block4(v547, v568, v534, v549, v695)
+}
 
 block62:
+{
     br block61
+}
 
 block63:
+{
     v569 = cast v565  : u32
     v570 = add v569, 416  : u32
     v571 = inttoptr v570  : *mut i32
@@ -2375,8 +2797,10 @@ block63:
     v577 = cast v576  : i32
     v578 = neq v577, 0  : i1
     condbr v578, block64, block65
+}
 
 block64:
+{
     v587 = call noname::dlmalloc::dlmalloc::TreeChunk::chunk(v561)  : i32
     v589 = call noname::dlmalloc::dlmalloc::Chunk::plus_offset(v587, v573)  : i32
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::unlink_large_chunk(v565, v586)
@@ -2389,8 +2813,10 @@ block64:
     v598 = cast v597  : i32
     v599 = neq v598, 0  : i1
     condbr v599, block68, block69
+}
 
 block65:
+{
     v580 = sub v572, v573  : i32
     v581 = cast v579  : u32
     v582 = cast v580  : u32
@@ -2398,21 +2824,29 @@ block65:
     v584 = cast v583  : i32
     v585 = neq v584, 0  : i1
     condbr v585, block3(v565, v573, v692), block66
+}
 
 block66:
+{
     br block64
+}
 
 block67(v696: i32):
+{
     v652 = call noname::dlmalloc::dlmalloc::Chunk::to_mem(v587)  : i32
     v653 = neq v652, 0  : i1
     condbr v653, block2(v696, v652), block75
+}
 
 block68:
+{
     v649 = add v591, v588  : i32
     call noname::dlmalloc::dlmalloc::Chunk::set_inuse_and_pinuse(v587, v649)
     br block67(v697)
+}
 
 block69:
+{
     call noname::dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_inuse_chunk(v587, v588)
     call noname::dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_free_chunk(v589, v591)
     v600 = const.i32 256  : i32
@@ -2422,8 +2856,10 @@ block69:
     v604 = cast v603  : i32
     v605 = neq v604, 0  : i1
     condbr v605, block70, block71
+}
 
 block70:
+{
     v606 = const.i32 -8  : i32
     v607 = band v591, v606  : i32
     v608 = add v590, v607  : i32
@@ -2445,12 +2881,16 @@ block70:
     v624 = cast v623  : i32
     v625 = neq v624, 0  : i1
     condbr v625, block73, block74
+}
 
 block71:
+{
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::insert_large_chunk(v590, v589, v591)
     br block67(v692)
+}
 
 block72(v639: i32):
+{
     v636 = cast v610  : u32
     v637 = add v636, 8  : u32
     v638 = inttoptr v637  : *mut i32
@@ -2468,26 +2908,34 @@ block72(v639: i32):
     v648 = inttoptr v647  : *mut i32
     store v648, v639
     br block67(v697)
+}
 
 block73:
+{
     v630 = bor v614, v621  : i32
     v631 = cast v590  : u32
     v632 = add v631, 408  : u32
     v633 = inttoptr v632  : *mut i32
     store v633, v630
     br block72(v610)
+}
 
 block74:
+{
     v626 = cast v610  : u32
     v627 = add v626, 8  : u32
     v628 = inttoptr v627  : *mut i32
     v629 = load v628  : i32
     br block72(v629)
+}
 
 block75:
+{
     br block3(v590, v588, v696)
+}
 
 block76(v1438: i32, v1444: i32, v1488: i32, v1502: i32):
+{
     v1440 = cast v1438  : u32
     v1441 = add v1440, 420  : u32
     v1442 = inttoptr v1441  : *mut i32
@@ -2498,8 +2946,10 @@ block76(v1438: i32, v1444: i32, v1488: i32, v1502: i32):
     v1457 = cast v1456  : i32
     v1458 = neq v1457, 0  : i1
     condbr v1458, block2(v1488, v1502), block144
+}
 
 block77(v1321: i32, v1326: i32):
+{
     v1322 = const.i32 4095  : i32
     v1323 = cast v1321  : u32
     v1324 = add v1323, 448  : u32
@@ -2521,8 +2971,10 @@ block77(v1321: i32, v1326: i32):
     store v1341, v737
     v1342 = const.i32 0  : i32
     br block141(v1342)
+}
 
 block78(v1263: i32, v1264: i32):
+{
     call noname::dlmalloc::dlmalloc::Chunk::set_free_with_pinuse(v1093, v1263, v1264)
     v1265 = const.i32 256  : i32
     v1266 = cast v1263  : u32
@@ -2531,8 +2983,10 @@ block78(v1263: i32, v1264: i32):
     v1269 = cast v1268  : i32
     v1270 = neq v1269, 0  : i1
     condbr v1270, block136, block137
+}
 
 block79:
+{
     v1248 = const.i32 0  : i32
     v1249 = cast v654  : u32
     v1250 = add v1249, 424  : u32
@@ -2550,8 +3004,10 @@ block79:
     call noname::dlmalloc::dlmalloc::Chunk::set_inuse_and_pinuse(v1196, v1255)
     v1260 = call noname::dlmalloc::dlmalloc::Chunk::to_mem(v1196)  : i32
     br block2(v682, v1260)
+}
 
 block80:
+{
     v1236 = cast v841  : u32
     v1237 = add v1236, 424  : u32
     v1238 = inttoptr v1237  : *mut i32
@@ -2568,8 +3024,10 @@ block80:
     call noname::dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_free_chunk(v1093, v1243)
     v1247 = call noname::dlmalloc::dlmalloc::Chunk::to_mem(v1089)  : i32
     br block2(v1482, v1247)
+}
 
 block81:
+{
     v1219 = cast v775  : u32
     v1220 = add v1219, 4  : u32
     v1221 = inttoptr v1220  : *mut i32
@@ -2590,15 +3048,19 @@ block81:
     v1235 = add v1234, v815  : i32
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::init_top(v792, v1230, v1235)
     br block76(v792, v1092, v1484, v1509)
+}
 
 block82:
+{
     v1216 = cast v654  : u32
     v1217 = add v1216, 444  : u32
     v1218 = inttoptr v1217  : *mut i32
     store v1218, v722
     br block77(v1214, v1215)
+}
 
 block83:
+{
     v1193 = cast v654  : u32
     v1194 = add v1193, 424  : u32
     v1195 = inttoptr v1194  : *mut i32
@@ -2613,8 +3075,10 @@ block83:
     v1204 = cast v1203  : i32
     v1205 = neq v1204, 0  : i1
     condbr v1205, block79, block135
+}
 
 block84:
+{
     v673 = cast v654  : u32
     v674 = add v673, 420  : u32
     v675 = inttoptr v674  : *mut i32
@@ -2625,8 +3089,10 @@ block84:
     v680 = cast v679  : i32
     v681 = neq v680, 0  : i1
     condbr v681, block85, block86
+}
 
 block85:
+{
     v1175 = sub v676, v662  : i32
     v1176 = cast v654  : u32
     v1177 = add v1176, 420  : u32
@@ -2650,8 +3116,10 @@ block85:
     call noname::dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_inuse_chunk(v1182, v662)
     v1192 = call noname::dlmalloc::dlmalloc::Chunk::to_mem(v1182)  : i32
     br block2(v682, v1192)
+}
 
 block86:
+{
     v699 = const.i32 4  : i32
     v700 = add v682, v699  : i32
     v701 = call noname::dlmalloc::dlmalloc::Chunk::mem_offset()  : i32
@@ -2681,8 +3149,10 @@ block86:
     v724 = cast v723  : i32
     v725 = neq v724, 0  : i1
     condbr v725, block2(v682, v718), block87
+}
 
 block87:
+{
     v726 = cast v682  : u32
     v727 = add v726, 12  : u32
     v728 = inttoptr v727  : *mut i32
@@ -2720,13 +3190,17 @@ block87:
     v758 = load v757  : i32
     v759 = neq v758, 0  : i1
     condbr v759, block88, block89
+}
 
 block88:
+{
     v772 = const.i32 128  : i32
     v773 = add v654, v772  : i32
     br block94(v773)
+}
 
 block89:
+{
     v760 = cast v654  : u32
     v761 = add v760, 444  : u32
     v762 = inttoptr v761  : *mut i32
@@ -2735,19 +3209,25 @@ block89:
     v765 = cast v764  : i32
     v766 = neq v765, 0  : i1
     condbr v766, block82, block90
+}
 
 block90:
+{
     v767 = cast v722  : u32
     v768 = cast v763  : u32
     v769 = lt v767, v768  : i1
     v770 = cast v769  : i32
     v771 = neq v770, 0  : i1
     condbr v771, block82, block91
+}
 
 block91:
+{
     br block77(v654, v722)
+}
 
 block92(v814: i32, v817: i32, v1091: i32, v1483: i32, v1508: i32):
+{
     v800 = cast v799  : u32
     v801 = add v800, 444  : u32
     v802 = inttoptr v801  : *mut i32
@@ -2764,40 +3244,54 @@ block92(v814: i32, v817: i32, v1091: i32, v1483: i32, v1508: i32):
     store v813, v810
     v816 = add v804, v814  : i32
     br block104(v817)
+}
 
 block93:
+{
     v785 = call noname::dlmalloc::dlmalloc::Segment::is_extern(v775)  : i32
     v786 = neq v785, 0  : i1
     condbr v786, block92(v815, v818, v1092, v1484, v1509), block98
+}
 
 block94(v775: i32):
+{
     v776 = call noname::dlmalloc::dlmalloc::Segment::top(v775)  : i32
     v777 = eq v774, v776  : i1
     v778 = cast v777  : i32
     v779 = neq v778, 0  : i1
     condbr v779, block93, block96
+}
 
 block95:
+{
+}
 
 block96:
+{
     v780 = cast v775  : u32
     v781 = add v780, 8  : u32
     v782 = inttoptr v781  : *mut i32
     v783 = load v782  : i32
     v784 = neq v783, 0  : i1
     condbr v784, block94(v783), block97
+}
 
 block97:
+{
     br block92(v737, v773, v662, v682, v718)
+}
 
 block98:
+{
     v787 = call noname::dlmalloc::dlmalloc::Segment::sys_flags(v775)  : i32
     v789 = neq v787, v729  : i1
     v790 = cast v789  : i32
     v791 = neq v790, 0  : i1
     condbr v791, block92(v815, v818, v1092, v1484, v1509), block99
+}
 
 block99:
+{
     v793 = cast v654  : u32
     v794 = add v793, 428  : u32
     v795 = inttoptr v794  : *mut i32
@@ -2805,11 +3299,15 @@ block99:
     v797 = call noname::dlmalloc::dlmalloc::Segment::holds(v775, v796)  : i32
     v798 = neq v797, 0  : i1
     condbr v798, block81, block100
+}
 
 block100:
+{
     br block92(v815, v818, v1092, v1484, v1509)
+}
 
 block101:
+{
     v1069 = cast v819  : u32
     v1070 = inttoptr v1069  : *mut i32
     v1071 = load v1070  : i32
@@ -2847,20 +3345,26 @@ block101:
     v1103 = cast v1102  : i32
     v1104 = neq v1103, 0  : i1
     condbr v1104, block126, block127
+}
 
 block102(v840: i32, v846: i32, v912: i32, v925: i32, v1506: i32):
+{
     v842 = cast v840  : u32
     v843 = add v842, 428  : u32
     v844 = inttoptr v843  : *mut i32
     v845 = load v844  : i32
     br block111(v846)
+}
 
 block103:
+{
     v832 = call noname::dlmalloc::dlmalloc::Segment::is_extern(v819)  : i32
     v833 = neq v832, 0  : i1
     condbr v833, block102(v841, v847, v913, v926, v1507), block108
+}
 
 block104(v819: i32):
+{
     v820 = cast v819  : u32
     v821 = inttoptr v820  : *mut i32
     v822 = load v821  : i32
@@ -2868,31 +3372,43 @@ block104(v819: i32):
     v825 = cast v824  : i32
     v826 = neq v825, 0  : i1
     condbr v826, block103, block106
+}
 
 block105:
+{
+}
 
 block106:
+{
     v827 = cast v819  : u32
     v828 = add v827, 8  : u32
     v829 = inttoptr v828  : *mut i32
     v830 = load v829  : i32
     v831 = neq v830, 0  : i1
     condbr v831, block104(v830), block107
+}
 
 block107:
+{
     br block102(v799, v817, v804, v814, v1508)
+}
 
 block108:
+{
     v834 = call noname::dlmalloc::dlmalloc::Segment::sys_flags(v819)  : i32
     v837 = eq v834, v788  : i1
     v838 = cast v837  : i32
     v839 = neq v838, 0  : i1
     condbr v839, block101, block109
+}
 
 block109:
+{
     br block102(v841, v847, v913, v926, v1507)
+}
 
 block110(v872: i32, v880: i32, v907: i32, v910: i32, v923: i32, v961: i32, v980: i32, v1446: i32, v1490: i32, v1504: i32):
+{
     v873 = call noname::dlmalloc::dlmalloc::Segment::top(v872)  : i32
     v874 = const.i32 20  : i32
     v875 = const.i32 8  : i32
@@ -3009,8 +3525,10 @@ block110(v872: i32, v880: i32, v907: i32, v910: i32, v923: i32, v961: i32, v980:
     v996 = inttoptr v995  : *mut i32
     store v996, v896
     br block117(v897)
+}
 
 block111(v848: i32):
+{
     v849 = cast v848  : u32
     v850 = inttoptr v849  : *mut i32
     v851 = load v850  : i32
@@ -3020,20 +3538,26 @@ block111(v848: i32):
     v856 = cast v855  : i32
     v857 = neq v856, 0  : i1
     condbr v857, block113, block114
+}
 
 block112:
+{
     v871 = const.i32 0  : i32
     br block110(v871, v870, v909, v914, v927, v963, v983, v1449, v1493, v1510)
+}
 
 block113:
+{
     v865 = cast v848  : u32
     v866 = add v865, 8  : u32
     v867 = inttoptr v866  : *mut i32
     v868 = load v867  : i32
     v869 = neq v868, 0  : i1
     condbr v869, block111(v868), block116
+}
 
 block114:
+{
     v858 = call noname::dlmalloc::dlmalloc::Segment::top(v848)  : i32
     v859 = cast v858  : u32
     v860 = cast v852  : u32
@@ -3041,14 +3565,20 @@ block114:
     v862 = cast v861  : i32
     v863 = neq v862, 0  : i1
     condbr v863, block110(v848, v852, v840, v912, v925, v846, v835, v1090, v1482, v1506), block115
+}
 
 block115:
+{
     br block113
+}
 
 block116:
+{
     br block112
+}
 
 block117(v997: i32):
+{
     v998 = const.i32 4  : i32
     v999 = call noname::dlmalloc::dlmalloc::Chunk::plus_offset(v997, v998)  : i32
     v1000 = call noname::dlmalloc::dlmalloc::Chunk::fencepost_head()  : i32
@@ -3064,17 +3594,23 @@ block117(v997: i32):
     v1010 = cast v1009  : i32
     v1011 = neq v1010, 0  : i1
     condbr v1011, block117(v999), block119
+}
 
 block118:
+{
     v1014 = eq v895, v880  : i1
     v1015 = cast v1014  : i32
     v1016 = neq v1015, 0  : i1
     condbr v1016, block76(v1025, v1446, v1490, v1504), block120
+}
 
 block119:
+{
     br block118
+}
 
 block120:
+{
     v1017 = sub v1012, v1013  : i32
     v1018 = call noname::dlmalloc::dlmalloc::Chunk::plus_offset(v1013, v1017)  : i32
     call noname::dlmalloc::dlmalloc::Chunk::set_free_with_pinuse(v1013, v1017, v1018)
@@ -3085,8 +3621,10 @@ block120:
     v1023 = cast v1022  : i32
     v1024 = neq v1023, 0  : i1
     condbr v1024, block121, block122
+}
 
 block121:
+{
     v1026 = const.i32 -8  : i32
     v1027 = band v1017, v1026  : i32
     v1028 = add v1025, v1027  : i32
@@ -3108,12 +3646,16 @@ block121:
     v1044 = cast v1043  : i32
     v1045 = neq v1044, 0  : i1
     condbr v1045, block124, block125
+}
 
 block122:
+{
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::insert_large_chunk(v907, v1013, v1017)
     br block76(v1025, v1445, v1489, v1503)
+}
 
 block123(v1059: i32):
+{
     v1056 = cast v1030  : u32
     v1057 = add v1056, 8  : u32
     v1058 = inttoptr v1057  : *mut i32
@@ -3131,23 +3673,29 @@ block123(v1059: i32):
     v1068 = inttoptr v1067  : *mut i32
     store v1068, v1059
     br block76(v1025, v1445, v1489, v1503)
+}
 
 block124:
+{
     v1050 = bor v1034, v1041  : i32
     v1051 = cast v1025  : u32
     v1052 = add v1051, 408  : u32
     v1053 = inttoptr v1052  : *mut i32
     store v1053, v1050
     br block123(v1030)
+}
 
 block125:
+{
     v1046 = cast v1030  : u32
     v1047 = add v1046, 8  : u32
     v1048 = inttoptr v1047  : *mut i32
     v1049 = load v1048  : i32
     br block123(v1049)
+}
 
 block126:
+{
     v1158 = cast v841  : u32
     v1159 = add v1158, 428  : u32
     v1160 = inttoptr v1159  : *mut i32
@@ -3169,8 +3717,10 @@ block126:
     store v1173, v1170
     v1174 = call noname::dlmalloc::dlmalloc::Chunk::to_mem(v1089)  : i32
     br block2(v1483, v1174)
+}
 
 block127:
+{
     v1105 = cast v841  : u32
     v1106 = add v1105, 424  : u32
     v1107 = inttoptr v1106  : *mut i32
@@ -3179,13 +3729,17 @@ block127:
     v1110 = cast v1109  : i32
     v1111 = neq v1110, 0  : i1
     condbr v1111, block80, block128
+}
 
 block128:
+{
     v1112 = call noname::dlmalloc::dlmalloc::Chunk::inuse(v1095)  : i32
     v1113 = neq v1112, 0  : i1
     condbr v1113, block78(v1097, v1095), block129
+}
 
 block129:
+{
     v1114 = call noname::dlmalloc::dlmalloc::Chunk::size(v1095)  : i32
     v1115 = const.i32 256  : i32
     v1116 = cast v1114  : u32
@@ -3194,13 +3748,17 @@ block129:
     v1119 = cast v1118  : i32
     v1120 = neq v1119, 0  : i1
     condbr v1120, block131, block132
+}
 
 block130:
+{
     v1155 = add v1114, v1097  : i32
     v1157 = call noname::dlmalloc::dlmalloc::Chunk::plus_offset(v1095, v1153)  : i32
     br block78(v1155, v1157)
+}
 
 block131:
+{
     v1121 = cast v1095  : u32
     v1122 = add v1121, 12  : u32
     v1123 = inttoptr v1122  : *mut i32
@@ -3213,12 +3771,16 @@ block131:
     v1130 = cast v1129  : i32
     v1131 = neq v1130, 0  : i1
     condbr v1131, block133, block134
+}
 
 block132:
+{
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::unlink_large_chunk(v841, v1095)
     br block130
+}
 
 block133:
+{
     v1138 = cast v841  : u32
     v1139 = add v1138, 408  : u32
     v1140 = inttoptr v1139  : *mut i32
@@ -3236,8 +3798,10 @@ block133:
     v1152 = inttoptr v1151  : *mut i32
     store v1152, v1149
     br block130
+}
 
 block134:
+{
     v1132 = cast v1128  : u32
     v1133 = add v1132, 12  : u32
     v1134 = inttoptr v1133  : *mut i32
@@ -3247,8 +3811,10 @@ block134:
     v1137 = inttoptr v1136  : *mut i32
     store v1137, v1128
     br block130
+}
 
 block135:
+{
     v1206 = call noname::dlmalloc::dlmalloc::Chunk::plus_offset(v1196, v662)  : i32
     v1207 = cast v654  : u32
     v1208 = add v1207, 416  : u32
@@ -3262,8 +3828,10 @@ block135:
     call noname::dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_inuse_chunk(v1196, v662)
     v1213 = call noname::dlmalloc::dlmalloc::Chunk::to_mem(v1196)  : i32
     br block2(v682, v1213)
+}
 
 block136:
+{
     v1276 = const.i32 -8  : i32
     v1277 = band v1263, v1276  : i32
     v1278 = add v1271, v1277  : i32
@@ -3285,13 +3853,17 @@ block136:
     v1294 = cast v1293  : i32
     v1295 = neq v1294, 0  : i1
     condbr v1295, block139, block140
+}
 
 block137:
+{
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::insert_large_chunk(v841, v1261, v1263)
     v1275 = call noname::dlmalloc::dlmalloc::Chunk::to_mem(v1089)  : i32
     br block2(v1482, v1275)
+}
 
 block138(v1309: i32):
+{
     v1306 = cast v1280  : u32
     v1307 = add v1306, 8  : u32
     v1308 = inttoptr v1307  : *mut i32
@@ -3310,23 +3882,29 @@ block138(v1309: i32):
     store v1318, v1309
     v1320 = call noname::dlmalloc::dlmalloc::Chunk::to_mem(v1273)  : i32
     br block2(v1485, v1320)
+}
 
 block139:
+{
     v1300 = bor v1284, v1291  : i32
     v1301 = cast v1271  : u32
     v1302 = add v1301, 408  : u32
     v1303 = inttoptr v1302  : *mut i32
     store v1303, v1300
     br block138(v1280)
+}
 
 block140:
+{
     v1296 = cast v1280  : u32
     v1297 = add v1296, 8  : u32
     v1298 = inttoptr v1297  : *mut i32
     v1299 = load v1298  : i32
     br block138(v1299)
+}
 
 block141(v1344: i32):
+{
     v1345 = add v1343, v1344  : i32
     v1346 = const.i32 164  : i32
     v1347 = add v1345, v1346  : i32
@@ -3377,8 +3955,10 @@ block141(v1344: i32):
     v1384 = cast v1383  : i32
     v1385 = neq v1384, 0  : i1
     condbr v1385, block141(v1381), block143
+}
 
 block142:
+{
     v1386 = call noname::dlmalloc::dlmalloc::Chunk::mem_offset()  : i32
     v1387 = const.i32 8  : i32
     v1388 = call noname::dlmalloc::dlmalloc::align_up(v1386, v1387)  : i32
@@ -3435,11 +4015,15 @@ block142:
     v1437 = inttoptr v1436  : *mut i32
     store v1437, v1434
     br block76(v1343, v662, v682, v718)
+}
 
 block143:
+{
     br block142
+}
 
 block144:
+{
     v1459 = sub v1443, v1444  : i32
     v1460 = cast v1438  : u32
     v1461 = add v1460, 420  : u32
@@ -3465,8 +4049,10 @@ block144:
     br block2(v1488, v1476)
 }
 
-pub fn dlmalloc::dlmalloc::Dlmalloc<A>::init_top(i32, i32, i32) {
+pub fn dlmalloc::dlmalloc::Dlmalloc<A>::init_top(i32, i32, i32) {}
+
 block0(v0: i32, v1: i32, v2: i32):
+{
     v3 = const.i32 0  : i32
     v4 = call noname::dlmalloc::dlmalloc::Chunk::to_mem(v1)  : i32
     v5 = const.i32 8  : i32
@@ -3511,13 +4097,17 @@ block0(v0: i32, v1: i32, v2: i32):
     v40 = inttoptr v39  : *mut i32
     store v40, v37
     br block1
+}
 
 block1:
+{
     ret 
 }
 
-pub fn dlmalloc::dlmalloc::Dlmalloc<A>::memalign(i32, i32, i32) -> i32 {
+pub fn dlmalloc::dlmalloc::Dlmalloc<A>::memalign(i32, i32, i32) -> i32 {}
+
 block0(v0: i32, v1: i32, v2: i32):
+{
     v4 = const.i32 0  : i32
     v5 = const.i32 16  : i32
     v6 = const.i32 8  : i32
@@ -3528,11 +4118,15 @@ block0(v0: i32, v1: i32, v2: i32):
     v11 = cast v10  : i32
     v12 = neq v11, 0  : i1
     condbr v12, block2(v1), block3
+}
 
 block1(v3: i32):
-    ret v3
+{
+    ret (v3)
+}
 
 block2(v48: i32):
+{
     v16 = call noname::dlmalloc::dlmalloc::Chunk::mem_offset()  : i32
     v17 = const.i32 8  : i32
     v18 = call noname::dlmalloc::dlmalloc::align_up(v16, v17)  : i32
@@ -3572,17 +4166,23 @@ block2(v48: i32):
     v54 = cast v53  : i32
     v55 = neq v54, 0  : i1
     condbr v55, block4(v25), block5
+}
 
 block3:
+{
     v13 = const.i32 16  : i32
     v14 = const.i32 8  : i32
     v15 = call noname::dlmalloc::dlmalloc::align_up(v13, v14)  : i32
     br block2(v15)
+}
 
 block4(v140: i32):
+{
     br block1(v140)
+}
 
 block5:
+{
     v57 = const.i32 16  : i32
     v58 = const.i32 4  : i32
     v59 = add v50, v58  : i32
@@ -3611,21 +4211,27 @@ block5:
     v82 = cast v81  : i32
     v83 = neq v82, 0  : i1
     condbr v83, block4(v25), block6
+}
 
 block6:
+{
     v84 = call noname::dlmalloc::dlmalloc::Chunk::from_mem(v80)  : i32
     v85 = const.i32 -1  : i32
     v86 = add v48, v85  : i32
     v87 = band v86, v80  : i32
     v88 = neq v87, 0  : i1
     condbr v88, block8, block9
+}
 
 block7(v120: i32):
+{
     v121 = call noname::dlmalloc::dlmalloc::Chunk::mmapped(v120)  : i32
     v122 = neq v121, 0  : i1
     condbr v122, block12, block13
+}
 
 block8:
+{
     v89 = add v86, v80  : i32
     v90 = const.i32 0  : i32
     v91 = sub v90, v48  : i32
@@ -3649,11 +4255,15 @@ block8:
     v109 = call noname::dlmalloc::dlmalloc::Chunk::mmapped(v84)  : i32
     v110 = neq v109, 0  : i1
     condbr v110, block10, block11
+}
 
 block9:
+{
     br block7(v84)
+}
 
 block10:
+{
     v111 = cast v84  : u32
     v112 = inttoptr v111  : *mut i32
     v113 = load v112  : i32
@@ -3666,19 +4276,25 @@ block10:
     v119 = inttoptr v118  : *mut i32
     store v119, v117
     br block7(v106)
+}
 
 block11:
+{
     call noname::dlmalloc::dlmalloc::Chunk::set_inuse(v106, v108)
     call noname::dlmalloc::dlmalloc::Chunk::set_inuse(v84, v107)
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::dispose_chunk(v56, v84, v107)
     br block7(v106)
+}
 
 block12:
+{
     v138 = call noname::dlmalloc::dlmalloc::Chunk::to_mem(v120)  : i32
     v139 = call noname::dlmalloc::dlmalloc::Chunk::mmapped(v137)  : i32
     br block4(v138)
+}
 
 block13:
+{
     v123 = call noname::dlmalloc::dlmalloc::Chunk::size(v120)  : i32
     v124 = const.i32 16  : i32
     v125 = const.i32 8  : i32
@@ -3690,8 +4306,10 @@ block13:
     v132 = cast v131  : i32
     v133 = neq v132, 0  : i1
     condbr v133, block12, block14
+}
 
 block14:
+{
     v134 = call noname::dlmalloc::dlmalloc::Chunk::plus_offset(v120, v127)  : i32
     call noname::dlmalloc::dlmalloc::Chunk::set_inuse(v120, v127)
     v135 = sub v123, v127  : i32
@@ -3700,17 +4318,23 @@ block14:
     br block12
 }
 
-pub fn __main() -> i32 {
+pub fn __main() -> i32 {}
+
 block0:
+{
     v1 = call noname::vec_alloc()  : i32
     br block1(v1)
+}
 
 block1(v0: i32):
-    ret v0
+{
+    ret (v0)
 }
 
-pub fn __rust_alloc(i32, i32) -> i32 {
+pub fn __rust_alloc(i32, i32) -> i32 {}
+
 block0(v0: i32, v1: i32):
+{
     v3 = const.i32 0  : i32
     v4 = global.load (@__stack_pointer) as *mut i8  : i32
     v5 = const.i32 16  : i32
@@ -3728,11 +4352,15 @@ block0(v0: i32, v1: i32):
     v15 = cast v14  : i32
     v16 = neq v15, 0  : i1
     condbr v16, block3, block4
+}
 
 block1(v2: i32):
-    ret v2
+{
+    ret (v2)
+}
 
 block2(v25: i32):
+{
     v20 = const.i32 15  : i32
     v21 = add v6, v20  : i32
     call noname::<dlmalloc::global::Instance as core::ops::drop::Drop>::drop(v21)
@@ -3741,18 +4369,24 @@ block2(v25: i32):
     v24 = global.symbol @__stack_pointer  : *mut i32
     store v24, v23
     br block1(v25)
+}
 
 block3:
+{
     v18 = call noname::dlmalloc::dlmalloc::Dlmalloc<A>::malloc(v10, v0)  : i32
     br block2(v18)
+}
 
 block4:
+{
     v17 = call noname::dlmalloc::dlmalloc::Dlmalloc<A>::memalign(v10, v1, v0)  : i32
     br block2(v17)
 }
 
-pub fn __rust_dealloc(i32, i32, i32) {
+pub fn __rust_dealloc(i32, i32, i32) {}
+
 block0(v0: i32, v1: i32, v2: i32):
+{
     v3 = const.i32 0  : i32
     v4 = global.load (@__stack_pointer) as *mut i8  : i32
     v5 = const.i32 16  : i32
@@ -3772,13 +4406,17 @@ block0(v0: i32, v1: i32, v2: i32):
     v15 = global.symbol @__stack_pointer  : *mut i32
     store v15, v14
     br block1
+}
 
 block1:
+{
     ret 
 }
 
-pub fn __rust_realloc(i32, i32, i32, i32) -> i32 {
+pub fn __rust_realloc(i32, i32, i32, i32) -> i32 {}
+
 block0(v0: i32, v1: i32, v2: i32, v3: i32):
+{
     v5 = const.i32 0  : i32
     v6 = global.load (@__stack_pointer) as *mut i8  : i32
     v7 = const.i32 16  : i32
@@ -3796,11 +4434,15 @@ block0(v0: i32, v1: i32, v2: i32, v3: i32):
     v17 = cast v16  : i32
     v18 = neq v17, 0  : i1
     condbr v18, block7, block8
+}
 
 block1(v4: i32):
-    ret v4
+{
+    ret (v4)
+}
 
 block2(v369: i32, v381: i32):
+{
     v376 = const.i32 15  : i32
     v377 = add v369, v376  : i32
     call noname::<dlmalloc::global::Instance as core::ops::drop::Drop>::drop(v377)
@@ -3809,20 +4451,26 @@ block2(v369: i32, v381: i32):
     v380 = global.symbol @__stack_pointer  : *mut i32
     store v380, v379
     br block1(v381)
+}
 
 block3(v366: i32, v375: i32):
+{
     v367 = call noname::dlmalloc::dlmalloc::Chunk::mmapped(v366)  : i32
     v368 = call noname::dlmalloc::dlmalloc::Chunk::to_mem(v366)  : i32
     br block2(v375, v368)
+}
 
 block4(v335: i32, v337: i32, v346: i32, v351: i32, v370: i32, v382: i32):
+{
     v342 = call noname::dlmalloc::dlmalloc::Dlmalloc<A>::malloc(v335, v337)  : i32
     v343 = eq v342, 0  : i1
     v344 = cast v343  : i32
     v345 = neq v344, 0  : i1
     condbr v345, block2(v370, v382), block45
+}
 
 block5:
+{
     v321 = call noname::dlmalloc::dlmalloc::Chunk::plus_offset(v75, v74)  : i32
     call noname::dlmalloc::dlmalloc::Chunk::set_inuse(v75, v74)
     v322 = cast v12  : u32
@@ -3842,8 +4490,10 @@ block5:
     store v333, v325
     v334 = neq v75, 0  : i1
     condbr v334, block3(v75, v8), block44
+}
 
 block6:
+{
     v314 = cast v1  : u32
     v315 = cast v3  : u32
     v316 = lt v314, v315  : i1
@@ -3853,8 +4503,10 @@ block6:
     v320 = call noname::memcpy(v19, v0, v319)  : i32
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::free(v12, v0)
     br block2(v8, v19)
+}
 
 block7:
+{
     v22 = call noname::dlmalloc::dlmalloc::Chunk::mem_offset()  : i32
     v23 = const.i32 8  : i32
     v24 = call noname::dlmalloc::dlmalloc::align_up(v22, v23)  : i32
@@ -3893,17 +4545,23 @@ block7:
     v57 = cast v56  : i32
     v58 = neq v57, 0  : i1
     condbr v58, block2(v8, v31), block10
+}
 
 block8:
+{
     v19 = call noname::dlmalloc::dlmalloc::Dlmalloc<A>::memalign(v12, v2, v3)  : i32
     v20 = neq v19, 0  : i1
     condbr v20, block6, block9
+}
 
 block9:
+{
     v21 = const.i32 0  : i32
     br block2(v8, v21)
+}
 
 block10:
+{
     v59 = const.i32 16  : i32
     v60 = const.i32 4  : i32
     v61 = add v3, v60  : i32
@@ -3926,8 +4584,10 @@ block10:
     v78 = call noname::dlmalloc::dlmalloc::Chunk::mmapped(v75)  : i32
     v79 = neq v78, 0  : i1
     condbr v79, block17, block18
+}
 
 block11:
+{
     v304 = cast v12  : u32
     v305 = add v304, 420  : u32
     v306 = inttoptr v305  : *mut i32
@@ -3939,12 +4599,16 @@ block11:
     v312 = cast v311  : i32
     v313 = neq v312, 0  : i1
     condbr v313, block5, block43
+}
 
 block12:
+{
     v303 = neq v75, 0  : i1
     condbr v303, block3(v302, v374), block42
+}
 
 block13:
+{
     v292 = sub v76, v74  : i32
     v293 = const.i32 16  : i32
     v294 = const.i32 8  : i32
@@ -3955,8 +4619,10 @@ block13:
     v299 = cast v298  : i32
     v300 = neq v299, 0  : i1
     condbr v300, block12, block41
+}
 
 block14:
+{
     v258 = cast v12  : u32
     v259 = add v258, 416  : u32
     v260 = inttoptr v259  : *mut i32
@@ -3968,8 +4634,10 @@ block14:
     v266 = cast v265  : i32
     v267 = neq v266, 0  : i1
     condbr v267, block4(v12, v3, v0, v75, v8, v31), block36
+}
 
 block15:
+{
     v243 = const.i32 16  : i32
     v244 = const.i32 8  : i32
     v245 = call noname::dlmalloc::dlmalloc::align_up(v243, v244)  : i32
@@ -3979,8 +4647,10 @@ block15:
     v249 = cast v248  : i32
     v250 = neq v249, 0  : i1
     condbr v250, block32, block33
+}
 
 block16:
+{
     v210 = cast v77  : u32
     v211 = add v210, 12  : u32
     v212 = inttoptr v211  : *mut i32
@@ -3993,8 +4663,10 @@ block16:
     v219 = cast v218  : i32
     v220 = neq v219, 0  : i1
     condbr v220, block30, block31
+}
 
 block17:
+{
     v115 = call noname::dlmalloc::dlmalloc::Chunk::size(v75)  : i32
     v116 = const.i32 256  : i32
     v117 = cast v74  : u32
@@ -4003,16 +4675,20 @@ block17:
     v120 = cast v119  : i32
     v121 = neq v120, 0  : i1
     condbr v121, block4(v12, v3, v0, v75, v8, v31), block25
+}
 
 block18:
+{
     v80 = cast v76  : u32
     v81 = cast v74  : u32
     v82 = gte v80, v81  : i1
     v83 = cast v82  : i32
     v84 = neq v83, 0  : i1
     condbr v84, block13, block19
+}
 
 block19:
+{
     v85 = cast v12  : u32
     v86 = add v85, 428  : u32
     v87 = inttoptr v86  : *mut i32
@@ -4021,8 +4697,10 @@ block19:
     v90 = cast v89  : i32
     v91 = neq v90, 0  : i1
     condbr v91, block11, block20
+}
 
 block20:
+{
     v92 = cast v12  : u32
     v93 = add v92, 424  : u32
     v94 = inttoptr v93  : *mut i32
@@ -4031,13 +4709,17 @@ block20:
     v97 = cast v96  : i32
     v98 = neq v97, 0  : i1
     condbr v98, block14, block21
+}
 
 block21:
+{
     v99 = call noname::dlmalloc::dlmalloc::Chunk::cinuse(v77)  : i32
     v100 = neq v99, 0  : i1
     condbr v100, block4(v12, v3, v0, v75, v8, v31), block22
+}
 
 block22:
+{
     v101 = call noname::dlmalloc::dlmalloc::Chunk::size(v77)  : i32
     v102 = add v101, v76  : i32
     v103 = cast v102  : u32
@@ -4046,8 +4728,10 @@ block22:
     v106 = cast v105  : i32
     v107 = neq v106, 0  : i1
     condbr v107, block4(v12, v3, v0, v75, v8, v31), block23
+}
 
 block23:
+{
     v108 = sub v102, v74  : i32
     v109 = const.i32 256  : i32
     v110 = cast v101  : u32
@@ -4056,12 +4740,16 @@ block23:
     v113 = cast v112  : i32
     v114 = neq v113, 0  : i1
     condbr v114, block16, block24
+}
 
 block24:
+{
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::unlink_large_chunk(v12, v77)
     br block15
+}
 
 block25:
+{
     v122 = const.i32 4  : i32
     v123 = add v74, v122  : i32
     v124 = cast v115  : u32
@@ -4070,8 +4758,10 @@ block25:
     v127 = cast v126  : i32
     v128 = neq v127, 0  : i1
     condbr v128, block26, block27
+}
 
 block26:
+{
     v138 = cast v137  : u32
     v139 = inttoptr v138  : *mut i32
     v140 = load v139  : i32
@@ -4089,8 +4779,10 @@ block26:
     v154 = cast v153  : i32
     v155 = neq v154, 0  : i1
     condbr v155, block4(v136, v3, v0, v137, v8, v31), block29
+}
 
 block27:
+{
     v129 = sub v115, v74  : i32
     v130 = const.i32 131073  : i32
     v131 = cast v129  : u32
@@ -4099,11 +4791,15 @@ block27:
     v134 = cast v133  : i32
     v135 = neq v134, 0  : i1
     condbr v135, block12, block28
+}
 
 block28:
+{
     br block26
+}
 
 block29:
+{
     v156 = add v152, v140  : i32
     v157 = sub v150, v140  : i32
     v158 = const.i32 -16  : i32
@@ -4165,8 +4861,10 @@ block29:
     v209 = inttoptr v208  : *mut i32
     store v209, v206
     br block3(v156, v371)
+}
 
 block30:
+{
     v227 = cast v12  : u32
     v228 = add v227, 408  : u32
     v229 = inttoptr v228  : *mut i32
@@ -4184,8 +4882,10 @@ block30:
     v241 = inttoptr v240  : *mut i32
     store v241, v238
     br block15
+}
 
 block31:
+{
     v221 = cast v217  : u32
     v222 = add v221, 12  : u32
     v223 = inttoptr v222  : *mut i32
@@ -4195,27 +4895,37 @@ block31:
     v226 = inttoptr v225  : *mut i32
     store v226, v217
     br block15
+}
 
 block32:
+{
     call noname::dlmalloc::dlmalloc::Chunk::set_inuse(v251, v102)
     v257 = neq v251, 0  : i1
     condbr v257, block3(v251, v372), block35
+}
 
 block33:
+{
     v253 = call noname::dlmalloc::dlmalloc::Chunk::plus_offset(v75, v74)  : i32
     call noname::dlmalloc::dlmalloc::Chunk::set_inuse(v251, v252)
     call noname::dlmalloc::dlmalloc::Chunk::set_inuse(v253, v242)
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::dispose_chunk(v12, v253, v242)
     v255 = neq v251, 0  : i1
     condbr v255, block3(v251, v372), block34
+}
 
 block34:
+{
     br block4(v254, v3, v0, v251, v8, v31)
+}
 
 block35:
+{
     br block4(v254, v339, v348, v251, v372, v384)
+}
 
 block36:
+{
     v268 = sub v262, v74  : i32
     v269 = const.i32 16  : i32
     v270 = const.i32 8  : i32
@@ -4226,8 +4936,10 @@ block36:
     v275 = cast v274  : i32
     v276 = neq v275, 0  : i1
     condbr v276, block38, block39
+}
 
 block37(v282: i32, v286: i32):
+{
     v283 = cast v12  : u32
     v284 = add v283, 424  : u32
     v285 = inttoptr v284  : *mut i32
@@ -4238,41 +4950,57 @@ block37(v282: i32, v286: i32):
     store v289, v286
     v291 = neq v75, 0  : i1
     condbr v291, block3(v290, v373), block40
+}
 
 block38:
+{
     v279 = call noname::dlmalloc::dlmalloc::Chunk::plus_offset(v75, v74)  : i32
     v280 = call noname::dlmalloc::dlmalloc::Chunk::plus_offset(v279, v268)  : i32
     call noname::dlmalloc::dlmalloc::Chunk::set_inuse(v75, v74)
     call noname::dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_free_chunk(v279, v268)
     call noname::dlmalloc::dlmalloc::Chunk::clear_pinuse(v280)
     br block37(v279, v268)
+}
 
 block39:
+{
     call noname::dlmalloc::dlmalloc::Chunk::set_inuse(v75, v262)
     v277 = const.i32 0  : i32
     v278 = const.i32 0  : i32
     br block37(v278, v277)
+}
 
 block40:
+{
     br block4(v281, v3, v0, v290, v8, v31)
+}
 
 block41:
+{
     v301 = call noname::dlmalloc::dlmalloc::Chunk::plus_offset(v75, v74)  : i32
     call noname::dlmalloc::dlmalloc::Chunk::set_inuse(v75, v74)
     call noname::dlmalloc::dlmalloc::Chunk::set_inuse(v301, v292)
     call noname::dlmalloc::dlmalloc::Dlmalloc<A>::dispose_chunk(v12, v301, v292)
     br block12
+}
 
 block42:
+{
     br block4(v12, v3, v0, v302, v8, v31)
+}
 
 block43:
+{
     br block4(v12, v3, v0, v75, v8, v31)
+}
 
 block44:
+{
     br block4(v12, v3, v0, v75, v8, v31)
+}
 
 block45:
+{
     v352 = call noname::dlmalloc::dlmalloc::Chunk::size(v351)  : i32
     v353 = const.i32 -8  : i32
     v354 = const.i32 -4  : i32
@@ -4291,41 +5019,55 @@ block45:
     br block2(v370, v365)
 }
 
-pub fn __rust_alloc_error_handler(i32, i32) {
+pub fn __rust_alloc_error_handler(i32, i32) {}
+
 block0(v0: i32, v1: i32):
+{
     call noname::__rdl_oom(v0, v1)
     ret 
+}
 
 block1:
+{
 }
 
-pub fn alloc::raw_vec::finish_grow(i32, i32, i32, i32) {
+pub fn alloc::raw_vec::finish_grow(i32, i32, i32, i32) {}
+
 block0(v0: i32, v1: i32, v2: i32, v3: i32):
+{
     v4 = const.i32 0  : i32
     v5 = eq v1, 0  : i1
     v6 = cast v5  : i32
     v7 = neq v6, 0  : i1
     condbr v7, block4, block5
+}
 
 block1:
+{
     ret 
+}
 
 block2(v83: i32):
+{
     v84 = const.i32 1  : i32
     v85 = cast v83  : u32
     v86 = inttoptr v85  : *mut i32
     store v86, v84
     br block1
+}
 
 block3:
+{
     v79 = const.i32 0  : i32
     v80 = cast v0  : u32
     v81 = add v80, 4  : u32
     v82 = inttoptr v81  : *mut i32
     store v82, v79
     br block2(v0)
+}
 
 block4:
+{
     v71 = const.i32 0  : i32
     v72 = cast v0  : u32
     v73 = add v72, 4  : u32
@@ -4337,15 +5079,19 @@ block4:
     v78 = inttoptr v77  : *mut i32
     store v78, v2
     br block2(v0)
+}
 
 block5:
+{
     v8 = const.i32 -1  : i32
     v9 = lte v2, v8  : i1
     v10 = cast v9  : i32
     v11 = neq v10, 0  : i1
     condbr v11, block3, block6
+}
 
 block6:
+{
     v12 = cast v3  : u32
     v13 = add v12, 4  : u32
     v14 = inttoptr v13  : *mut i32
@@ -4354,22 +5100,30 @@ block6:
     v17 = cast v16  : i32
     v18 = neq v17, 0  : i1
     condbr v18, block9, block10
+}
 
 block7(v46: i32, v57: i32, v63: i32):
+{
     v47 = eq v46, 0  : i1
     v48 = cast v47  : i32
     v49 = neq v48, 0  : i1
     condbr v49, block17, block18
+}
 
 block8:
+{
     v45 = call noname::__rust_alloc(v2, v1)  : i32
     br block7(v45, v43, v44)
+}
 
 block9:
+{
     v36 = neq v2, 0  : i1
     condbr v36, block15, block16
+}
 
 block10:
+{
     v19 = const.i32 8  : i32
     v20 = add v3, v19  : i32
     v21 = cast v20  : u32
@@ -4377,19 +5131,25 @@ block10:
     v23 = load v22  : i32
     v24 = neq v23, 0  : i1
     condbr v24, block11, block12
+}
 
 block11:
+{
     v32 = cast v3  : u32
     v33 = inttoptr v32  : *mut i32
     v34 = load v33  : i32
     v35 = call noname::__rust_realloc(v34, v23, v1, v2)  : i32
     br block7(v35, v2, v1)
+}
 
 block12:
+{
     v25 = neq v2, 0  : i1
     condbr v25, block13, block14
+}
 
 block13:
+{
     v26 = const.i32 0  : i32
     v27 = cast v26  : u32
     v28 = add v27, 1048576  : u32
@@ -4397,11 +5157,15 @@ block13:
     v30 = load v29  : u8
     v31 = zext v30  : i32
     br block8
+}
 
 block14:
+{
     br block7(v1, v2, v1)
+}
 
 block15:
+{
     v37 = const.i32 0  : i32
     v38 = cast v37  : u32
     v39 = add v38, 1048576  : u32
@@ -4409,11 +5173,15 @@ block15:
     v41 = load v40  : u8
     v42 = zext v41  : i32
     br block8
+}
 
 block16:
+{
     br block7(v1, v2, v1)
+}
 
 block17:
+{
     v64 = cast v50  : u32
     v65 = add v64, 4  : u32
     v66 = inttoptr v65  : *mut i32
@@ -4424,8 +5192,10 @@ block17:
     v70 = inttoptr v69  : *mut i32
     store v70, v57
     br block2(v50)
+}
 
 block18:
+{
     v52 = cast v0  : u32
     v53 = add v52, 4  : u32
     v54 = inttoptr v53  : *mut i32
@@ -4442,8 +5212,10 @@ block18:
     ret 
 }
 
-pub fn alloc::raw_vec::RawVec<T,A>::reserve_for_push(i32) {
+pub fn alloc::raw_vec::RawVec<T,A>::reserve_for_push(i32) {}
+
 block0(v0: i32):
+{
     v1 = const.i32 0  : i32
     v2 = global.load (@__stack_pointer) as *mut i8  : i32
     v3 = const.i32 32  : i32
@@ -4477,11 +5249,15 @@ block0(v0: i32):
     v30 = cast v29  : i32
     v31 = neq v30, 0  : i1
     condbr v31, block3, block4
+}
 
 block1:
+{
     ret 
+}
 
 block2:
+{
     v52 = const.i32 8  : i32
     v53 = add v4, v52  : i32
     v56 = const.i32 20  : i32
@@ -4497,16 +5273,20 @@ block2:
     v65 = load v64  : i32
     v66 = neq v65, 0  : i1
     condbr v66, block6, block7
+}
 
 block3:
+{
     v47 = const.i32 0  : i32
     v48 = cast v4  : u32
     v49 = add v48, 24  : u32
     v50 = inttoptr v49  : *mut i32
     store v50, v47
     br block2
+}
 
 block4:
+{
     v32 = const.i32 4  : i32
     v33 = cast v4  : u32
     v34 = add v33, 24  : u32
@@ -4526,22 +5306,28 @@ block4:
     v46 = inttoptr v45  : *mut i32
     store v46, v43
     br block2
+}
 
 block5:
+{
     v87 = const.i32 32  : i32
     v88 = add v51, v87  : i32
     v89 = global.symbol @__stack_pointer  : *mut i32
     store v89, v88
     br block1
+}
 
 block6:
+{
     v74 = const.i32 -2147483647  : i32
     v75 = eq v61, v74  : i1
     v76 = cast v75  : i32
     v77 = neq v76, 0  : i1
     condbr v77, block5, block8
+}
 
 block7:
+{
     v69 = cast v0  : u32
     v70 = add v69, 4  : u32
     v71 = inttoptr v70  : *mut i32
@@ -4550,18 +5336,24 @@ block7:
     v73 = inttoptr v72  : *mut i32
     store v73, v61
     br block5
+}
 
 block8:
+{
     v78 = eq v61, 0  : i1
     v79 = cast v78  : i32
     v80 = neq v79, 0  : i1
     condbr v80, block9, block10
+}
 
 block9:
+{
     call noname::alloc::raw_vec::capacity_overflow()
     unreachable 
+}
 
 block10:
+{
     v81 = const.i32 16  : i32
     v82 = add v51, v81  : i32
     v83 = cast v82  : u32
@@ -4571,8 +5363,10 @@ block10:
     unreachable 
 }
 
-pub fn vec_alloc() -> i32 {
+pub fn vec_alloc() -> i32 {}
+
 block0:
+{
     v1 = const.i32 0  : i32
     v2 = global.load (@__stack_pointer) as *mut i8  : i32
     v3 = const.i32 16  : i32
@@ -4612,13 +5406,19 @@ block0:
     v32 = cast v31  : i32
     v33 = neq v32, 0  : i1
     condbr v33, block2, block3
+}
 
 block1(v0: i32):
+{
+}
 
 block2:
+{
     unreachable 
+}
 
 block3:
+{
     v34 = cast v4  : u32
     v35 = add v34, 8  : u32
     v36 = inttoptr v35  : *mut i32
@@ -4627,16 +5427,20 @@ block3:
     v39 = cast v38  : i32
     v40 = neq v39, 0  : i1
     condbr v40, block4, block5
+}
 
 block4:
+{
     v45 = const.i32 16  : i32
     v46 = add v4, v45  : i32
     v47 = global.symbol @__stack_pointer  : *mut i32
     store v47, v46
     v48 = const.i32 1  : i32
-    ret v48
+    ret (v48)
+}
 
 block5:
+{
     v41 = const.i32 2  : i32
     v42 = shl v37, v41  : i32
     v43 = const.i32 4  : i32
@@ -4644,38 +5448,56 @@ block5:
     br block4
 }
 
-pub fn alloc::raw_vec::capacity_overflow() {
+pub fn alloc::raw_vec::capacity_overflow() {}
+
 block0:
+{
     unreachable 
+}
 
 block1:
+{
 }
 
-pub fn alloc::alloc::handle_alloc_error(i32, i32) {
+pub fn alloc::alloc::handle_alloc_error(i32, i32) {}
+
 block0(v0: i32, v1: i32):
+{
     call noname::alloc::alloc::handle_alloc_error::rt_error(v0, v1)
     unreachable 
+}
 
 block1:
+{
 }
 
-pub fn alloc::alloc::handle_alloc_error::rt_error(i32, i32) {
+pub fn alloc::alloc::handle_alloc_error::rt_error(i32, i32) {}
+
 block0(v0: i32, v1: i32):
+{
     call noname::__rust_alloc_error_handler(v1, v0)
     unreachable 
+}
 
 block1:
+{
 }
 
-pub fn __rdl_oom(i32, i32) {
+pub fn __rdl_oom(i32, i32) {}
+
 block0(v0: i32, v1: i32):
+{
     unreachable 
+}
 
 block1:
+{
 }
 
-pub fn dlmalloc::dlmalloc::align_up(i32, i32) -> i32 {
+pub fn dlmalloc::dlmalloc::align_up(i32, i32) -> i32 {}
+
 block0(v0: i32, v1: i32):
+{
     v3 = add v0, v1  : i32
     v4 = const.i32 -1  : i32
     v5 = add v3, v4  : i32
@@ -4683,37 +5505,49 @@ block0(v0: i32, v1: i32):
     v7 = sub v6, v1  : i32
     v8 = band v5, v7  : i32
     br block1(v8)
+}
 
 block1(v2: i32):
-    ret v2
+{
+    ret (v2)
 }
 
-pub fn dlmalloc::dlmalloc::left_bits(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::left_bits(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = const.i32 1  : i32
     v3 = shl v0, v2  : i32
     v4 = const.i32 0  : i32
     v5 = sub v4, v3  : i32
     v6 = bor v3, v5  : i32
     br block1(v6)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn dlmalloc::dlmalloc::least_bit(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::least_bit(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = const.i32 0  : i32
     v3 = sub v2, v0  : i32
     v4 = band v3, v0  : i32
     br block1(v4)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn dlmalloc::dlmalloc::leftshift_for_tree_index(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::leftshift_for_tree_index(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = const.i32 0  : i32
     v3 = const.i32 25  : i32
     v4 = const.i32 1  : i32
@@ -4728,22 +5562,30 @@ block0(v0: i32):
     v13 = neq v12, 0  : i1
     v14 = select v13, v2, v9  : i32
     br block1(v14)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::fencepost_head() -> i32 {
+pub fn dlmalloc::dlmalloc::Chunk::fencepost_head() -> i32 {}
+
 block0:
+{
     v1 = const.i32 7  : i32
     br block1(v1)
+}
 
 block1(v0: i32):
-    ret v0
+{
+    ret (v0)
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::size(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::Chunk::size(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = cast v0  : u32
     v3 = add v2, 4  : u32
     v4 = inttoptr v3  : *mut i32
@@ -4751,13 +5593,17 @@ block0(v0: i32):
     v6 = const.i32 -8  : i32
     v7 = band v5, v6  : i32
     br block1(v7)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::cinuse(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::Chunk::cinuse(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = cast v0  : u32
     v3 = add v2, 4  : u32
     v4 = inttoptr v3  : *mut u8
@@ -4771,13 +5617,17 @@ block0(v0: i32):
     v12 = shr v10, v11  : u32
     v13 = cast v12  : i32
     br block1(v13)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::pinuse(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::Chunk::pinuse(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = cast v0  : u32
     v3 = add v2, 4  : u32
     v4 = inttoptr v3  : *mut i32
@@ -4785,13 +5635,17 @@ block0(v0: i32):
     v6 = const.i32 1  : i32
     v7 = band v5, v6  : i32
     br block1(v7)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::clear_pinuse(i32) {
+pub fn dlmalloc::dlmalloc::Chunk::clear_pinuse(i32) {}
+
 block0(v0: i32):
+{
     v1 = cast v0  : u32
     v2 = add v1, 4  : u32
     v3 = inttoptr v2  : *mut i32
@@ -4803,13 +5657,17 @@ block0(v0: i32):
     v9 = inttoptr v8  : *mut i32
     store v9, v6
     br block1
+}
 
 block1:
+{
     ret 
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::inuse(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::Chunk::inuse(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = cast v0  : u32
     v3 = add v2, 4  : u32
     v4 = inttoptr v3  : *mut i32
@@ -4820,13 +5678,17 @@ block0(v0: i32):
     v9 = neq v7, v8  : i1
     v10 = cast v9  : i32
     br block1(v10)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::mmapped(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::Chunk::mmapped(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = cast v0  : u32
     v3 = add v2, 4  : u32
     v4 = inttoptr v3  : *mut u8
@@ -4837,13 +5699,17 @@ block0(v0: i32):
     v9 = eq v8, 0  : i1
     v10 = cast v9  : i32
     br block1(v10)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::set_inuse(i32, i32) {
+pub fn dlmalloc::dlmalloc::Chunk::set_inuse(i32, i32) {}
+
 block0(v0: i32, v1: i32):
+{
     v2 = cast v0  : u32
     v3 = add v2, 4  : u32
     v4 = inttoptr v3  : *mut i32
@@ -4869,13 +5735,17 @@ block0(v0: i32, v1: i32):
     v23 = inttoptr v22  : *mut i32
     store v23, v20
     br block1
+}
 
 block1:
+{
     ret 
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::set_inuse_and_pinuse(i32, i32) {
+pub fn dlmalloc::dlmalloc::Chunk::set_inuse_and_pinuse(i32, i32) {}
+
 block0(v0: i32, v1: i32):
+{
     v2 = const.i32 3  : i32
     v3 = bor v1, v2  : i32
     v4 = cast v0  : u32
@@ -4894,13 +5764,17 @@ block0(v0: i32, v1: i32):
     v16 = inttoptr v15  : *mut i32
     store v16, v13
     br block1
+}
 
 block1:
+{
     ret 
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_inuse_chunk(i32, i32) {
+pub fn dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_inuse_chunk(i32, i32) {}
+
 block0(v0: i32, v1: i32):
+{
     v2 = const.i32 3  : i32
     v3 = bor v1, v2  : i32
     v4 = cast v0  : u32
@@ -4908,13 +5782,17 @@ block0(v0: i32, v1: i32):
     v6 = inttoptr v5  : *mut i32
     store v6, v3
     br block1
+}
 
 block1:
+{
     ret 
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_free_chunk(i32, i32) {
+pub fn dlmalloc::dlmalloc::Chunk::set_size_and_pinuse_of_free_chunk(i32, i32) {}
+
 block0(v0: i32, v1: i32):
+{
     v2 = const.i32 1  : i32
     v3 = bor v1, v2  : i32
     v4 = cast v0  : u32
@@ -4926,13 +5804,17 @@ block0(v0: i32, v1: i32):
     v9 = inttoptr v8  : *mut i32
     store v9, v1
     br block1
+}
 
 block1:
+{
     ret 
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::set_free_with_pinuse(i32, i32, i32) {
+pub fn dlmalloc::dlmalloc::Chunk::set_free_with_pinuse(i32, i32, i32) {}
+
 block0(v0: i32, v1: i32, v2: i32):
+{
     v3 = cast v2  : u32
     v4 = add v3, 4  : u32
     v5 = inttoptr v4  : *mut i32
@@ -4954,60 +5836,84 @@ block0(v0: i32, v1: i32, v2: i32):
     v19 = inttoptr v18  : *mut i32
     store v19, v1
     br block1
+}
 
 block1:
+{
     ret 
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::plus_offset(i32, i32) -> i32 {
+pub fn dlmalloc::dlmalloc::Chunk::plus_offset(i32, i32) -> i32 {}
+
 block0(v0: i32, v1: i32):
+{
     v3 = add v0, v1  : i32
     br block1(v3)
+}
 
 block1(v2: i32):
-    ret v2
+{
+    ret (v2)
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::minus_offset(i32, i32) -> i32 {
+pub fn dlmalloc::dlmalloc::Chunk::minus_offset(i32, i32) -> i32 {}
+
 block0(v0: i32, v1: i32):
+{
     v3 = sub v0, v1  : i32
     br block1(v3)
+}
 
 block1(v2: i32):
-    ret v2
+{
+    ret (v2)
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::to_mem(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::Chunk::to_mem(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = const.i32 8  : i32
     v3 = add v0, v2  : i32
     br block1(v3)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::mem_offset() -> i32 {
+pub fn dlmalloc::dlmalloc::Chunk::mem_offset() -> i32 {}
+
 block0:
+{
     v1 = const.i32 8  : i32
     br block1(v1)
+}
 
 block1(v0: i32):
-    ret v0
+{
+    ret (v0)
 }
 
-pub fn dlmalloc::dlmalloc::Chunk::from_mem(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::Chunk::from_mem(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = const.i32 -8  : i32
     v3 = add v0, v2  : i32
     br block1(v3)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn dlmalloc::dlmalloc::TreeChunk::leftmost_child(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::TreeChunk::leftmost_child(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = const.i32 0  : i32
     v3 = cast v0  : u32
     v4 = add v3, 16  : u32
@@ -5015,14 +5921,20 @@ block0(v0: i32):
     v6 = load v5  : i32
     v7 = neq v6, 0  : i1
     condbr v7, block2(v6), block3
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
+}
 
 block2(v13: i32):
+{
     br block1(v13)
+}
 
 block3:
+{
     v8 = const.i32 20  : i32
     v9 = add v0, v8  : i32
     v10 = cast v9  : u32
@@ -5031,40 +5943,54 @@ block3:
     br block2(v12)
 }
 
-pub fn dlmalloc::dlmalloc::TreeChunk::chunk(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::TreeChunk::chunk(i32) -> i32 {}
+
 block0(v0: i32):
+{
     br block1(v0)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn dlmalloc::dlmalloc::TreeChunk::next(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::TreeChunk::next(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = cast v0  : u32
     v3 = add v2, 12  : u32
     v4 = inttoptr v3  : *mut i32
     v5 = load v4  : i32
     br block1(v5)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn dlmalloc::dlmalloc::TreeChunk::prev(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::TreeChunk::prev(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = cast v0  : u32
     v3 = add v2, 8  : u32
     v4 = inttoptr v3  : *mut i32
     v5 = load v4  : i32
     br block1(v5)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn dlmalloc::dlmalloc::Segment::is_extern(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::Segment::is_extern(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = cast v0  : u32
     v3 = add v2, 12  : u32
     v4 = inttoptr v3  : *mut i32
@@ -5072,13 +5998,17 @@ block0(v0: i32):
     v6 = const.i32 1  : i32
     v7 = band v5, v6  : i32
     br block1(v7)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn dlmalloc::dlmalloc::Segment::sys_flags(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::Segment::sys_flags(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = cast v0  : u32
     v3 = add v2, 12  : u32
     v4 = inttoptr v3  : *mut i32
@@ -5089,13 +6019,17 @@ block0(v0: i32):
     v9 = shr v7, v8  : u32
     v10 = cast v9  : i32
     br block1(v10)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn dlmalloc::dlmalloc::Segment::holds(i32, i32) -> i32 {
+pub fn dlmalloc::dlmalloc::Segment::holds(i32, i32) -> i32 {}
+
 block0(v0: i32, v1: i32):
+{
     v3 = const.i32 0  : i32
     v4 = const.i32 0  : i32
     v5 = cast v0  : u32
@@ -5107,14 +6041,20 @@ block0(v0: i32, v1: i32):
     v11 = cast v10  : i32
     v12 = neq v11, 0  : i1
     condbr v12, block2(v4), block3
+}
 
 block1(v2: i32):
-    ret v2
+{
+    ret (v2)
+}
 
 block2(v22: i32):
+{
     br block1(v22)
+}
 
 block3:
+{
     v13 = cast v0  : u32
     v14 = add v13, 4  : u32
     v15 = inttoptr v14  : *mut i32
@@ -5127,8 +6067,10 @@ block3:
     br block2(v21)
 }
 
-pub fn dlmalloc::dlmalloc::Segment::top(i32) -> i32 {
+pub fn dlmalloc::dlmalloc::Segment::top(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = cast v0  : u32
     v3 = inttoptr v2  : *mut i32
     v4 = load v3  : i32
@@ -5138,30 +6080,42 @@ block0(v0: i32):
     v8 = load v7  : i32
     v9 = add v4, v8  : i32
     br block1(v9)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn <dlmalloc::global::Instance as core::ops::deref::DerefMut>::deref_mut(i32) -> i32 {
+pub fn <dlmalloc::global::Instance as core::ops::deref::DerefMut>::deref_mut(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = const.i32 1048580  : i32
     br block1(v2)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn <dlmalloc::global::Instance as core::ops::drop::Drop>::drop(i32) {
+pub fn <dlmalloc::global::Instance as core::ops::drop::Drop>::drop(i32) {}
+
 block0(v0: i32):
+{
     br block1
+}
 
 block1:
+{
     ret 
 }
 
-pub fn <dlmalloc::sys::System as dlmalloc::Allocator>::alloc(i32, i32, i32) {
+pub fn <dlmalloc::sys::System as dlmalloc::Allocator>::alloc(i32, i32, i32) {}
+
 block0(v0: i32, v1: i32, v2: i32):
+{
     v3 = const.i32 0  : i32
     v4 = const.i32 16  : i32
     v5 = cast v2  : u32
@@ -5196,75 +6150,107 @@ block0(v0: i32, v1: i32, v2: i32):
     v32 = inttoptr v31  : *mut i32
     store v32, v30
     br block1
+}
 
 block1:
+{
     ret 
 }
 
-pub fn <dlmalloc::sys::System as dlmalloc::Allocator>::remap(i32, i32, i32, i32, i32) -> i32 {
+pub fn <dlmalloc::sys::System as dlmalloc::Allocator>::remap(i32, i32, i32, i32, i32) -> i32 {}
+
 block0(v0: i32, v1: i32, v2: i32, v3: i32, v4: i32):
+{
     v6 = const.i32 0  : i32
     br block1(v6)
+}
 
 block1(v5: i32):
-    ret v5
+{
+    ret (v5)
 }
 
-pub fn <dlmalloc::sys::System as dlmalloc::Allocator>::free_part(i32, i32, i32, i32) -> i32 {
+pub fn <dlmalloc::sys::System as dlmalloc::Allocator>::free_part(i32, i32, i32, i32) -> i32 {}
+
 block0(v0: i32, v1: i32, v2: i32, v3: i32):
+{
     v5 = const.i32 0  : i32
     br block1(v5)
+}
 
 block1(v4: i32):
-    ret v4
+{
+    ret (v4)
 }
 
-pub fn <dlmalloc::sys::System as dlmalloc::Allocator>::free(i32, i32, i32) -> i32 {
+pub fn <dlmalloc::sys::System as dlmalloc::Allocator>::free(i32, i32, i32) -> i32 {}
+
 block0(v0: i32, v1: i32, v2: i32):
+{
     v4 = const.i32 0  : i32
     br block1(v4)
+}
 
 block1(v3: i32):
-    ret v3
+{
+    ret (v3)
 }
 
-pub fn <dlmalloc::sys::System as dlmalloc::Allocator>::can_release_part(i32, i32) -> i32 {
+pub fn <dlmalloc::sys::System as dlmalloc::Allocator>::can_release_part(i32, i32) -> i32 {}
+
 block0(v0: i32, v1: i32):
+{
     v3 = const.i32 0  : i32
     br block1(v3)
+}
 
 block1(v2: i32):
-    ret v2
+{
+    ret (v2)
 }
 
-pub fn <dlmalloc::sys::System as dlmalloc::Allocator>::page_size(i32) -> i32 {
+pub fn <dlmalloc::sys::System as dlmalloc::Allocator>::page_size(i32) -> i32 {}
+
 block0(v0: i32):
+{
     v2 = const.i32 65536  : i32
     br block1(v2)
+}
 
 block1(v1: i32):
-    ret v1
+{
+    ret (v1)
 }
 
-pub fn dlmalloc::sys::enable_alloc_after_fork() {
+pub fn dlmalloc::sys::enable_alloc_after_fork() {}
+
 block0:
+{
     br block1
+}
 
 block1:
+{
     ret 
 }
 
-pub fn memcpy(i32, i32, i32) -> i32 {
+pub fn memcpy(i32, i32, i32) -> i32 {}
+
 block0(v0: i32, v1: i32, v2: i32):
+{
     v4 = call noname::compiler_builtins::mem::memcpy(v0, v1, v2)  : i32
     br block1(v4)
+}
 
 block1(v3: i32):
-    ret v3
+{
+    ret (v3)
 }
 
-pub fn compiler_builtins::mem::memcpy(i32, i32, i32) -> i32 {
+pub fn compiler_builtins::mem::memcpy(i32, i32, i32) -> i32 {}
+
 block0(v0: i32, v1: i32, v2: i32):
+{
     v4 = const.i32 0  : i32
     v5 = const.i32 15  : i32
     v6 = cast v2  : u32
@@ -5273,17 +6259,23 @@ block0(v0: i32, v1: i32, v2: i32):
     v9 = cast v8  : i32
     v10 = neq v9, 0  : i1
     condbr v10, block3, block4
+}
 
 block1(v3: i32):
-    ret v3
+{
+    ret (v3)
+}
 
 block2(v133: i32, v137: i32, v159: i32, v161: i32):
+{
     v134 = eq v133, 0  : i1
     v135 = cast v134  : i32
     v136 = neq v135, 0  : i1
     condbr v136, block21, block22
+}
 
 block3:
+{
     v11 = const.i32 0  : i32
     v12 = sub v11, v0  : i32
     v13 = const.i32 3  : i32
@@ -5293,11 +6285,15 @@ block3:
     v17 = cast v16  : i32
     v18 = neq v17, 0  : i1
     condbr v18, block5(v15), block6
+}
 
 block4:
+{
     br block2(v2, v0, v1, v0)
+}
 
 block5(v38: i32):
+{
     v43 = sub v2, v14  : i32
     v44 = const.i32 -4  : i32
     v45 = band v43, v44  : i32
@@ -5309,11 +6305,15 @@ block5(v38: i32):
     v53 = cast v52  : i32
     v54 = neq v53, 0  : i1
     condbr v54, block11, block12
+}
 
 block6:
+{
     br block7(v0, v1)
+}
 
 block7(v19: i32, v20: i32):
+{
     v21 = cast v20  : u32
     v22 = inttoptr v21  : *mut u8
     v23 = load v22  : u8
@@ -5332,34 +6332,46 @@ block7(v19: i32, v20: i32):
     v36 = cast v35  : i32
     v37 = neq v36, 0  : i1
     condbr v37, block7(v31, v29), block9
+}
 
 block8:
+{
     br block5(v32)
+}
 
 block9:
+{
     br block8
+}
 
 block10(v138: i32, v162: i32):
+{
     v124 = const.i32 3  : i32
     v125 = band v43, v124  : i32
     v132 = add v49, v45  : i32
     br block2(v125, v138, v132, v162)
+}
 
 block11:
+{
     v100 = const.i32 1  : i32
     v101 = lt v45, v100  : i1
     v102 = cast v101  : i32
     v103 = neq v102, 0  : i1
     condbr v103, block10(v46, v163), block17
+}
 
 block12:
+{
     v55 = const.i32 1  : i32
     v56 = lt v45, v55  : i1
     v57 = cast v56  : i32
     v58 = neq v57, 0  : i1
     condbr v58, block10(v46, v0), block13
+}
 
 block13:
+{
     v59 = const.i32 3  : i32
     v60 = shl v49, v59  : i32
     v61 = const.i32 24  : i32
@@ -5376,8 +6388,10 @@ block13:
     v72 = inttoptr v71  : *mut i32
     v73 = load v72  : i32
     br block14(v38, v73, v66)
+}
 
 block14(v74: i32, v75: i32, v81: i32):
+{
     v77 = cast v75  : u32
     v78 = cast v76  : u32
     v79 = shr v77, v78  : u32
@@ -5400,16 +6414,24 @@ block14(v74: i32, v75: i32, v81: i32):
     v98 = cast v97  : i32
     v99 = neq v98, 0  : i1
     condbr v99, block14(v93, v84, v91), block16
+}
 
 block15:
+{
+}
 
 block16:
+{
     br block10(v94, v163)
+}
 
 block17:
+{
     br block18(v38, v49)
+}
 
 block18(v104: i32, v105: i32):
+{
     v106 = cast v105  : u32
     v107 = inttoptr v106  : *mut i32
     v108 = load v107  : i32
@@ -5426,21 +6448,31 @@ block18(v104: i32, v105: i32):
     v119 = cast v118  : i32
     v120 = neq v119, 0  : i1
     condbr v120, block18(v114, v112), block20
+}
 
 block19:
+{
     br block10(v115, v163)
+}
 
 block20:
+{
     br block19
+}
 
 block21:
+{
     br block1(v161)
+}
 
 block22:
+{
     v139 = add v137, v133  : i32
     br block23(v137, v159)
+}
 
 block23(v140: i32, v141: i32):
+{
     v142 = cast v141  : u32
     v143 = inttoptr v142  : *mut u8
     v144 = load v143  : u8
@@ -5459,10 +6491,14 @@ block23(v140: i32, v141: i32):
     v157 = cast v156  : i32
     v158 = neq v157, 0  : i1
     condbr v158, block23(v152, v150), block25
+}
 
 block24:
+{
     br block21
+}
 
 block25:
+{
     br block24
 }