13 files changed, 10 insertions, 4143 deletions

diff --git a/src/passes/ReorderLocals.cpp b/src/passes/ReorderLocals.cpp
index e378408b6..7f64c00f3 100644
--- a/src/passes/ReorderLocals.cpp
+++ b/src/passes/ReorderLocals.cpp
@@ -31,12 +31,17 @@ struct ReorderLocals : public WalkerPass<PostWalker<ReorderLocals>> {
   std::map<Name, uint32_t> counts;
 
   void visitFunction(Function *curr) {
-    sort(curr->locals.begin(), curr->locals.end(), [this](NameType a, NameType b) -> bool {
+    auto& locals = curr->locals;
+    sort(locals.begin(), locals.end(), [this](NameType a, NameType b) -> bool {
       if (this->counts[a.name] == this->counts[b.name]) {
         return strcmp(a.name.str, b.name.str) > 0;
       }
       return this->counts[a.name] > this->counts[b.name];
     });
+    // drop completely unused locals
+    while (locals.size() > 0 && counts[locals.back().name] == 0) {
+      locals.pop_back();
+    }
     counts.clear();
   }
 
diff --git a/src/passes/SimplifyLocals.cpp b/src/passes/SimplifyLocals.cpp
index faf6e3a6e..408fea7ab 100644
--- a/src/passes/SimplifyLocals.cpp
+++ b/src/passes/SimplifyLocals.cpp
@@ -20,6 +20,10 @@
 // This "sinks" set_locals, pushing them to the next get_local where possible,
 // and removing the set if there are no gets remaining (the latter is
 // particularly useful in ssa mode, but not only).
+//
+// After this pass, some locals may be completely unused. reorder-locals
+// can get rid of those (the operation is trivial there after it sorts by use
+// frequency).
 
 #include <wasm.h>
 #include <wasm-traversal.h>
diff --git a/test/emcc_O2_hello_world.fromasm b/test/emcc_O2_hello_world.fromasm
index 26f092448..ef166e465 100644
--- a/test/emcc_O2_hello_world.fromasm
+++ b/test/emcc_O2_hello_world.fromasm
@@ -133,7 +133,6 @@
     (local $i64 i32)
     (local $i48 i32)
     (local $i27 i32)
-    (local $i13 i32)
     (block $do-once$0
       (if
         (i32.lt_u
diff --git a/test/emcc_O2_hello_world.fromasm.imprecise b/test/emcc_O2_hello_world.fromasm.imprecise
index 26f092448..ef166e465 100644
--- a/test/emcc_O2_hello_world.fromasm.imprecise
+++ b/test/emcc_O2_hello_world.fromasm.imprecise
@@ -133,7 +133,6 @@
     (local $i64 i32)
     (local $i48 i32)
     (local $i27 i32)
-    (local $i13 i32)
     (block $do-once$0
       (if
         (i32.lt_u
diff --git a/test/emcc_hello_world.fromasm b/test/emcc_hello_world.fromasm
index 71181add9..ce5bd76e0 100644
--- a/test/emcc_hello_world.fromasm
+++ b/test/emcc_hello_world.fromasm
@@ -253,9 +253,6 @@
   )
   (func $_main (result i32)
     (local $sp i32)
-    (local $label i32)
-    (local $$vararg_buffer i32)
-    (local $$retval i32)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -303,17 +300,6 @@
     (local $$2 i32)
     (local $$1 i32)
     (local $$0 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$tobool1 i32)
-    (local $$sub8 i32)
-    (local $$sub i32)
-    (local $$mul f64)
-    (local $$7 f64)
-    (local $$6 i32)
-    (local $$5 i32)
-    (local $$4 i32)
-    (local $$3 i32)
     (i32.load
       (i32.const 8)
     )
@@ -451,9 +437,6 @@
     )
   )
   (func $_frexpl (param $$x f64) (param $$e i32) (result f64)
-    (local $sp i32)
-    (local $label i32)
-    (local $$call f64)
     (i32.load
       (i32.const 8)
     )
@@ -476,16 +459,6 @@
     (local $$i$012$lcssa i32)
     (local $$inc i32)
     (local $$dec i32)
-    (local $sp i32)
-    (local $$tobool8 i32)
-    (local $$tobool5$9 i32)
-    (local $$tobool5 i32)
-    (local $$tobool i32)
-    (local $$conv i32)
-    (local $$cmp i32)
-    (local $$arrayidx i32)
-    (local $$1 i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -648,13 +621,6 @@
   )
   (func $___errno_location (result i32)
     (local $$retval$0 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$tobool i32)
-    (local $$errno_ptr i32)
-    (local $$call$i i32)
-    (local $$1 i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -682,10 +648,6 @@
     (local $sp i32)
     (local $$vararg_buffer i32)
     (local $$call1 i32)
-    (local $label i32)
-    (local $$fd i32)
-    (local $$call i32)
-    (local $$0 i32)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -740,18 +702,6 @@
     (local $sp i32)
     (local $$tio i32)
     (local $$call3 i32)
-    (local $label i32)
-    (local $$write i32)
-    (local $$vararg_ptr2 i32)
-    (local $$vararg_ptr1 i32)
-    (local $$tobool2 i32)
-    (local $$tobool i32)
-    (local $$lbf i32)
-    (local $$fd i32)
-    (local $$call i32)
-    (local $$and i32)
-    (local $$1 i32)
-    (local $$0 i32)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -852,17 +802,6 @@
     (local $sp i32)
     (local $$ret i32)
     (local $$1 i32)
-    (local $label i32)
-    (local $$vararg_ptr4 i32)
-    (local $$vararg_ptr3 i32)
-    (local $$vararg_ptr2 i32)
-    (local $$vararg_ptr1 i32)
-    (local $$fd i32)
-    (local $$cmp i32)
-    (local $$call1 i32)
-    (local $$call i32)
-    (local $$0 i32)
-    (local $$$pre i32)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -962,33 +901,6 @@
     (local $$phitmp i32)
     (local $$f$addr$0$19 i32)
     (local $$f$addr$0 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$wpos i32)
-    (local $$wbase i32)
-    (local $$tobool5 i32)
-    (local $$tobool24 i32)
-    (local $$tobool11$20 i32)
-    (local $$tobool11 i32)
-    (local $$tobool i32)
-    (local $$or i32)
-    (local $$next i32)
-    (local $$lock13 i32)
-    (local $$lock i32)
-    (local $$cmp20 i32)
-    (local $$cmp14 i32)
-    (local $$cmp i32)
-    (local $$call7 i32)
-    (local $$call22 i32)
-    (local $$call16 i32)
-    (local $$call1$18 i32)
-    (local $$call i32)
-    (local $$5 i32)
-    (local $$4 i32)
-    (local $$3 i32)
-    (local $$2 i32)
-    (local $$1 i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -1180,8 +1092,6 @@
     (local $sp i32)
     (local $$call i32)
     (local $$ap i32)
-    (local $label i32)
-    (local $$0 i32)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -1231,8 +1141,6 @@
     )
   )
   (func $___lockfile (param $$f i32) (result i32)
-    (local $sp i32)
-    (local $label i32)
     (i32.load
       (i32.const 8)
     )
@@ -1241,8 +1149,6 @@
     )
   )
   (func $___unlockfile (param $$f i32)
-    (local $sp i32)
-    (local $label i32)
     (i32.load
       (i32.const 8)
     )
@@ -1277,49 +1183,6 @@
     (local $$5 i32)
     (local $$11 i32)
     (local $$0 i32)
-    (local $$wend19 i32)
-    (local $$wend i32)
-    (local $$vararg_ptr7 i32)
-    (local $$vararg_ptr6 i32)
-    (local $$vararg_ptr2 i32)
-    (local $$vararg_ptr1 i32)
-    (local $$tobool i32)
-    (local $$sub51 i32)
-    (local $$sub36 i32)
-    (local $$sub i32)
-    (local $$or i32)
-    (local $$iov_len50$phi$trans$insert i32)
-    (local $$iov_len50 i32)
-    (local $$iov_len3 i32)
-    (local $$iov_len28 i32)
-    (local $$iov_len24 i32)
-    (local $$iov_len i32)
-    (local $$iov_base2 i32)
-    (local $$incdec$ptr i32)
-    (local $$dec i32)
-    (local $$cmp38 i32)
-    (local $$cmp29 i32)
-    (local $$cmp22 i32)
-    (local $$cmp17 i32)
-    (local $$cmp i32)
-    (local $$call9 i32)
-    (local $$call10 i32)
-    (local $$call i32)
-    (local $$buf_size i32)
-    (local $$add$ptr46 i32)
-    (local $$add$ptr41 i32)
-    (local $$add$ptr i32)
-    (local $$add i32)
-    (local $$9 i32)
-    (local $$8 i32)
-    (local $$6 i32)
-    (local $$4 i32)
-    (local $$3 i32)
-    (local $$2 i32)
-    (local $$13 i32)
-    (local $$12 i32)
-    (local $$1 i32)
-    (local $$$pre i32)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -1751,31 +1614,6 @@
     (local $$7 i32)
     (local $$1 i32)
     (local $$$call21 i32)
-    (local $label i32)
-    (local $$write i32)
-    (local $$vacopy_currentptr i32)
-    (local $$tobool41 i32)
-    (local $$tobool37 i32)
-    (local $$tobool26 i32)
-    (local $$tobool22 i32)
-    (local $$tobool i32)
-    (local $$or i32)
-    (local $$mode i32)
-    (local $$lock i32)
-    (local $$cmp7 i32)
-    (local $$cmp5 i32)
-    (local $$cmp i32)
-    (local $$call6 i32)
-    (local $$call21$30 i32)
-    (local $$call i32)
-    (local $$and36 i32)
-    (local $$and11 i32)
-    (local $$add$ptr i32)
-    (local $$6 i32)
-    (local $$5 i32)
-    (local $$3 i32)
-    (local $$2 i32)
-    (local $$0 i32)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -2120,33 +1958,6 @@
     (local $$cmp i32)
     (local $$2 i32)
     (local $$0 i32)
-    (local $sp i32)
-    (local $$write15 i32)
-    (local $$write i32)
-    (local $$tobool9 i32)
-    (local $$tobool1 i32)
-    (local $$tobool i32)
-    (local $$sub21 i32)
-    (local $$sub$ptr$sub i32)
-    (local $$lbf i32)
-    (local $$cmp6 i32)
-    (local $$cmp17 i32)
-    (local $$cmp11 i32)
-    (local $$call4 i32)
-    (local $$call16 i32)
-    (local $$call i32)
-    (local $$arrayidx i32)
-    (local $$add$ptr26 i32)
-    (local $$add$ptr i32)
-    (local $$add i32)
-    (local $$8 i32)
-    (local $$7 i32)
-    (local $$6 i32)
-    (local $$5 i32)
-    (local $$10 i32)
-    (local $$1 i32)
-    (local $$$pre31 i32)
-    (local $$$pre i32)
     (i32.load
       (i32.const 8)
     )
@@ -2413,24 +2224,6 @@
     (local $$conv3 i32)
     (local $$conv i32)
     (local $$1 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$wpos i32)
-    (local $$wend i32)
-    (local $$wbase i32)
-    (local $$tobool i32)
-    (local $$sub i32)
-    (local $$rpos i32)
-    (local $$rend i32)
-    (local $$or5 i32)
-    (local $$or i32)
-    (local $$buf_size i32)
-    (local $$buf i32)
-    (local $$and i32)
-    (local $$add$ptr i32)
-    (local $$4 i32)
-    (local $$3 i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -2530,55 +2323,6 @@
   )
   (func $_wcrtomb (param $$s i32) (param $$wc i32) (param $$st i32) (result i32)
     (local $$retval$0 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$tobool i32)
-    (local $$sub27 i32)
-    (local $$shr40$25 i32)
-    (local $$shr35$24 i32)
-    (local $$shr31$23 i32)
-    (local $$shr18$27 i32)
-    (local $$shr14$26 i32)
-    (local $$shr$28 i32)
-    (local $$or6 i32)
-    (local $$or46 i32)
-    (local $$or42 i32)
-    (local $$or37 i32)
-    (local $$or32 i32)
-    (local $$or24 i32)
-    (local $$or20 i32)
-    (local $$or15 i32)
-    (local $$or$cond i32)
-    (local $$or i32)
-    (local $$incdec$ptr44 i32)
-    (local $$incdec$ptr39 i32)
-    (local $$incdec$ptr34 i32)
-    (local $$incdec$ptr22 i32)
-    (local $$incdec$ptr17 i32)
-    (local $$incdec$ptr i32)
-    (local $$conv7 i32)
-    (local $$conv5 i32)
-    (local $$conv47 i32)
-    (local $$conv43 i32)
-    (local $$conv38 i32)
-    (local $$conv33 i32)
-    (local $$conv25 i32)
-    (local $$conv21 i32)
-    (local $$conv16 i32)
-    (local $$conv i32)
-    (local $$cmp9 i32)
-    (local $$cmp28 i32)
-    (local $$cmp2 i32)
-    (local $$cmp11 i32)
-    (local $$cmp i32)
-    (local $$call i32)
-    (local $$and45 i32)
-    (local $$and41 i32)
-    (local $$and36 i32)
-    (local $$and23 i32)
-    (local $$and19 i32)
-    (local $$and i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -2804,10 +2548,6 @@
   )
   (func $_wctomb (param $$s i32) (param $$wc i32) (result i32)
     (local $$retval$0 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$tobool i32)
-    (local $$call i32)
     (i32.load
       (i32.const 8)
     )
@@ -2864,32 +2604,6 @@
     (local $$conv1 i32)
     (local $$5 i32)
     (local $$1 i32)
-    (local $sp i32)
-    (local $$tobool36 i32)
-    (local $$tobool25$26 i32)
-    (local $$tobool25 i32)
-    (local $$tobool$40 i32)
-    (local $$tobool i32)
-    (local $$or$cond$42 i32)
-    (local $$or$cond i32)
-    (local $$neg i32)
-    (local $$lnot i32)
-    (local $$cond i32)
-    (local $$cmp8 i32)
-    (local $$cmp28 i32)
-    (local $$cmp11$32 i32)
-    (local $$cmp11 i32)
-    (local $$cmp i32)
-    (local $$and16 i32)
-    (local $$and15 i32)
-    (local $$and$39 i32)
-    (local $$and i32)
-    (local $$7 i32)
-    (local $$6 i32)
-    (local $$4 i32)
-    (local $$3 i32)
-    (local $$2 i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -3328,11 +3042,6 @@
   )
   (func $___syscall_ret (param $$r i32) (result i32)
     (local $$retval$0 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$sub i32)
-    (local $$cmp i32)
-    (local $$call i32)
     (i32.load
       (i32.const 8)
     )
@@ -3370,21 +3079,6 @@
     (local $$rend i32)
     (local $$5 i32)
     (local $$4 i32)
-    (local $sp i32)
-    (local $$write i32)
-    (local $$wend i32)
-    (local $$tobool i32)
-    (local $$sub$ptr$sub i32)
-    (local $$sub$ptr$rhs$cast i32)
-    (local $$sub$ptr$lhs$cast i32)
-    (local $$seek i32)
-    (local $$cmp4 i32)
-    (local $$cmp i32)
-    (local $$6 i32)
-    (local $$3 i32)
-    (local $$2 i32)
-    (local $$1 i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -3518,11 +3212,6 @@
     )
   )
   (func $_cleanup (param $$p i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$tobool i32)
-    (local $$lockcount i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -4012,598 +3701,6 @@
     (local $$$l10n$0 i32)
     (local $$$$i i32)
     (local $$$ i32)
-    (local $$xor816$i i32)
-    (local $$xor655$i i32)
-    (local $$xor457 i32)
-    (local $$xor449 i32)
-    (local $$xor186$i i32)
-    (local $$xor167$i i32)
-    (local $$xor$i i32)
-    (local $$xor i32)
-    (local $$w$add653$i i32)
-    (local $$w$add165$i i32)
-    (local $$tobool90 i32)
-    (local $$tobool9$i i32)
-    (local $$tobool79$i i32)
-    (local $$tobool76552$i i32)
-    (local $$tobool76$i i32)
-    (local $$tobool63$i i32)
-    (local $$tobool55 i32)
-    (local $$tobool490$i i32)
-    (local $$tobool484$i i32)
-    (local $$tobool470 i32)
-    (local $$tobool462 i32)
-    (local $$tobool459 i32)
-    (local $$tobool407 i32)
-    (local $$tobool400$i i32)
-    (local $$tobool380$i i32)
-    (local $$tobool380 i32)
-    (local $$tobool371$i i32)
-    (local $$tobool349 i32)
-    (local $$tobool314 i32)
-    (local $$tobool295 i32)
-    (local $$tobool294$i i32)
-    (local $$tobool290$i i32)
-    (local $$tobool290$569$i i32)
-    (local $$tobool290 i32)
-    (local $$tobool28 i32)
-    (local $$tobool264 i32)
-    (local $$tobool255 i32)
-    (local $$tobool244$i i32)
-    (local $$tobool222$i i32)
-    (local $$tobool217 i32)
-    (local $$tobool208 i32)
-    (local $$tobool178 i32)
-    (local $$tobool141 i32)
-    (local $$tobool140$i i32)
-    (local $$tobool139$i i32)
-    (local $$tobool13$i i32)
-    (local $$tobool$i$i i32)
-    (local $$tobool$i$473$i i32)
-    (local $$tobool$i$467$i i32)
-    (local $$tobool$i$461$i i32)
-    (local $$tobool$i$455$i i32)
-    (local $$tobool$i$449$i i32)
-    (local $$tobool$i$443$i i32)
-    (local $$tobool$i$437$i i32)
-    (local $$tobool$i$431$i i32)
-    (local $$tobool$i$425$i i32)
-    (local $$tobool$i$419$i i32)
-    (local $$tobool$i$413$i i32)
-    (local $$tobool$i$407$i i32)
-    (local $$tobool$i$245 i32)
-    (local $$tobool$i$232 i32)
-    (local $$tobool$i$217 i32)
-    (local $$tobool$i i32)
-    (local $$tobool i32)
-    (local $$sum i32)
-    (local $$sub91$i f64)
-    (local $$sub88$i f64)
-    (local $$sub86$i f64)
-    (local $$sub85$i f64)
-    (local $$sub84 i32)
-    (local $$sub59 i32)
-    (local $$sub54 i32)
-    (local $$sub480$i i32)
-    (local $$sub478$i i32)
-    (local $$sub389 i32)
-    (local $$sub357$i i32)
-    (local $$sub336$i i32)
-    (local $$sub219$i f64)
-    (local $$sub181$i i32)
-    (local $$sub175 i32)
-    (local $$sub146$i i32)
-    (local $$sub135 i32)
-    (local $$sub124$i f64)
-    (local $$sub101 i32)
-    (local $$sub$ptr$sub813$i i32)
-    (local $$sub$ptr$sub696$i i32)
-    (local $$sub$ptr$sub650$i i32)
-    (local $$sub$ptr$sub635$i i32)
-    (local $$sub$ptr$sub635$505$i i32)
-    (local $$sub$ptr$sub510$i i32)
-    (local $$sub$ptr$sub429$i i32)
-    (local $$sub$ptr$sub346$i i32)
-    (local $$sub$ptr$sub320$i i32)
-    (local $$sub$ptr$sub319 i32)
-    (local $$sub$ptr$sub307$i i32)
-    (local $$sub$ptr$sub268 i32)
-    (local $$sub$ptr$sub162$i i32)
-    (local $$sub$ptr$sub$i i32)
-    (local $$sub$ptr$rhs$cast812$i i32)
-    (local $$sub$ptr$rhs$cast788$i i32)
-    (local $$sub$ptr$rhs$cast695$i i32)
-    (local $$sub$ptr$rhs$cast649$i i32)
-    (local $$sub$ptr$rhs$cast634$i i32)
-    (local $$sub$ptr$rhs$cast634$504$i i32)
-    (local $$sub$ptr$rhs$cast432 i32)
-    (local $$sub$ptr$rhs$cast428$i i32)
-    (local $$sub$ptr$rhs$cast362 i32)
-    (local $$sub$ptr$rhs$cast319$i i32)
-    (local $$sub$ptr$rhs$cast318 i32)
-    (local $$sub$ptr$rhs$cast306$i i32)
-    (local $$sub$ptr$rhs$cast267 i32)
-    (local $$sub$ptr$rhs$cast174$i i32)
-    (local $$sub$ptr$rhs$cast161$i i32)
-    (local $$sub$ptr$rhs$cast152$i i32)
-    (local $$sub$ptr$rhs$cast i32)
-    (local $$sub$ptr$lhs$cast508$i i32)
-    (local $$sub$ptr$lhs$cast431 i32)
-    (local $$sub$ptr$lhs$cast361 i32)
-    (local $$sub$ptr$lhs$cast344$i i32)
-    (local $$sub$ptr$lhs$cast305$i i32)
-    (local $$sub$ptr$lhs$cast$i i32)
-    (local $$sub$ptr$lhs$cast i32)
-    (local $$sub$ptr$div511$i i32)
-    (local $$sub$ptr$div430$i i32)
-    (local $$sub$ptr$div347$i i32)
-    (local $$sub$ptr$div321$i i32)
-    (local $$sub$ptr$div$i i32)
-    (local $$sub$i f64)
-    (local $$sub i32)
-    (local $$shr283$i i32)
-    (local $$shr i32)
-    (local $$shl60 i32)
-    (local $$shl280$i i32)
-    (local $$shl i32)
-    (local $$rem494$i i32)
-    (local $$rem494$510$i i32)
-    (local $$rem360$i i32)
-    (local $$or613$i i32)
-    (local $$or504$i i32)
-    (local $$or246 i32)
-    (local $$or120$i i32)
-    (local $$or100 i32)
-    (local $$or$i i32)
-    (local $$or$cond401$i i32)
-    (local $$or$cond397$i i32)
-    (local $$or$cond395$i i32)
-    (local $$or$cond2$i i32)
-    (local $$or$cond195 i32)
-    (local $$or$cond193 i32)
-    (local $$or$cond1$not$i i32)
-    (local $$or$cond$i i32)
-    (local $$or$cond i32)
-    (local $$notlhs$i i32)
-    (local $$mul407$i f64)
-    (local $$mul406$i f64)
-    (local $$mul349$i i32)
-    (local $$mul202$i f64)
-    (local $$mul$i$202 i32)
-    (local $$mul$i i32)
-    (local $$lnot483 i32)
-    (local $$lnot455$i i32)
-    (local $$lnot$i i32)
-    (local $$lnot$ext i32)
-    (local $$land$ext$neg$i i32)
-    (local $$l10n$0$phi i32)
-    (local $$l$1$i i32)
-    (local $$isdigit190 i32)
-    (local $$isdigit188 i32)
-    (local $$isdigit$i$207 i32)
-    (local $$isdigit$i i32)
-    (local $$isdigit$6$i$199 i32)
-    (local $$isdigit$6$i i32)
-    (local $$isdigit i32)
-    (local $$incdec$ptr645$i i32)
-    (local $$incdec$ptr296$i i32)
-    (local $$incdec$ptr292$a$3$571$i i32)
-    (local $$incdec$ptr137$i i32)
-    (local $$incdec$ptr112$i i32)
-    (local $$inc468$i i32)
-    (local $$idxprom$i i32)
-    (local $$i86 i32)
-    (local $$i137 i32)
-    (local $$expanded8 i32)
-    (local $$expanded7 i32)
-    (local $$expanded6 i32)
-    (local $$expanded4 i32)
-    (local $$expanded15 i32)
-    (local $$expanded14 i32)
-    (local $$expanded13 i32)
-    (local $$expanded11 i32)
-    (local $$expanded10 i32)
-    (local $$expanded i32)
-    (local $$exitcond$i i32)
-    (local $$div378$i i32)
-    (local $$div356$i i32)
-    (local $$div274$i i32)
-    (local $$dec481$i i32)
-    (local $$dec476$i i32)
-    (local $$dec$i i32)
-    (local $$conv83 i32)
-    (local $$conv69 i32)
-    (local $$conv646$i i32)
-    (local $$conv644$i i32)
-    (local $$conv58 i32)
-    (local $$conv32 i32)
-    (local $$conv232 i32)
-    (local $$conv229 i32)
-    (local $$conv218$i f64)
-    (local $$conv163 i32)
-    (local $$conv134 i32)
-    (local $$conv123$i f64)
-    (local $$conv121$i i32)
-    (local $$conv120 i32)
-    (local $$conv118$393$i i32)
-    (local $$conv114$i i32)
-    (local $$conv111$i i32)
-    (local $$conv1$i i32)
-    (local $$conv$i$205 i32)
-    (local $$conv$i i32)
-    (local $$conv$4$i$211 i32)
-    (local $$conv$4$i$197 i32)
-    (local $$conv$4$i i32)
-    (local $$cond53$i i32)
-    (local $$cond354 i32)
-    (local $$cmp97 i32)
-    (local $$cmp82$i i32)
-    (local $$cmp818$i i32)
-    (local $$cmp790$i i32)
-    (local $$cmp777$i i32)
-    (local $$cmp770$i i32)
-    (local $$cmp770$495$i i32)
-    (local $$cmp765$i i32)
-    (local $$cmp760$i i32)
-    (local $$cmp75 i32)
-    (local $$cmp748$i i32)
-    (local $$cmp748$499$i i32)
-    (local $$cmp745$i i32)
-    (local $$cmp727$i i32)
-    (local $$cmp722$i i32)
-    (local $$cmp722$483$i i32)
-    (local $$cmp710$i i32)
-    (local $$cmp710$487$i i32)
-    (local $$cmp707$i i32)
-    (local $$cmp707$486$i i32)
-    (local $$cmp686$i i32)
-    (local $$cmp678$i i32)
-    (local $$cmp678$491$i i32)
-    (local $$cmp673$i i32)
-    (local $$cmp665$i i32)
-    (local $$cmp660$i i32)
-    (local $$cmp65 i32)
-    (local $$cmp636$i i32)
-    (local $$cmp636$506$i i32)
-    (local $$cmp623$i i32)
-    (local $$cmp617$i i32)
-    (local $$cmp59$i i32)
-    (local $$cmp577$i i32)
-    (local $$cmp563$i i32)
-    (local $$cmp528$i i32)
-    (local $$cmp515$i i32)
-    (local $$cmp505$i i32)
-    (local $$cmp50$308 i32)
-    (local $$cmp50 i32)
-    (local $$cmp495$i i32)
-    (local $$cmp495$511$i i32)
-    (local $$cmp48$i i32)
-    (local $$cmp478$295 i32)
-    (local $$cmp478 i32)
-    (local $$cmp473$i i32)
-    (local $$cmp470$i i32)
-    (local $$cmp466 i32)
-    (local $$cmp450$i i32)
-    (local $$cmp443$i i32)
-    (local $$cmp442 i32)
-    (local $$cmp434 i32)
-    (local $$cmp433$i i32)
-    (local $$cmp433$515$i i32)
-    (local $$cmp421 i32)
-    (local $$cmp420$i i32)
-    (local $$cmp416$i i32)
-    (local $$cmp416$519$i i32)
-    (local $$cmp413 i32)
-    (local $$cmp411$i i32)
-    (local $$cmp404$324 i32)
-    (local $$cmp404 i32)
-    (local $$cmp403$i i32)
-    (local $$cmp397 i32)
-    (local $$cmp390$i i32)
-    (local $$cmp390 i32)
-    (local $$cmp385$i i32)
-    (local $$cmp385 i32)
-    (local $$cmp377$314 i32)
-    (local $$cmp377 i32)
-    (local $$cmp363$525$i i32)
-    (local $$cmp350$i i32)
-    (local $$cmp333$i i32)
-    (local $$cmp324$i i32)
-    (local $$cmp324$529$i i32)
-    (local $$cmp323 i32)
-    (local $$cmp315$i i32)
-    (local $$cmp308$i i32)
-    (local $$cmp306 i32)
-    (local $$cmp277$i i32)
-    (local $$cmp277$533$i i32)
-    (local $$cmp270 i32)
-    (local $$cmp265$i i32)
-    (local $$cmp259$i i32)
-    (local $$cmp259$537$i i32)
-    (local $$cmp249$i i32)
-    (local $$cmp240 i32)
-    (local $$cmp235$i i32)
-    (local $$cmp235$543$i i32)
-    (local $$cmp228$i i32)
-    (local $$cmp225$i i32)
-    (local $$cmp225$547$i i32)
-    (local $$cmp211 i32)
-    (local $$cmp205$i i32)
-    (local $$cmp196$i i32)
-    (local $$cmp188$i i32)
-    (local $$cmp181 i32)
-    (local $$cmp18 i32)
-    (local $$cmp176 i32)
-    (local $$cmp165 i32)
-    (local $$cmp147$i i32)
-    (local $$cmp13 i32)
-    (local $$cmp127$i i32)
-    (local $$cmp126 i32)
-    (local $$cmp116 i32)
-    (local $$cmp111 i32)
-    (local $$cmp105 i32)
-    (local $$cmp103$i i32)
-    (local $$cmp1 i32)
-    (local $$cmp i32)
-    (local $$call55$i f64)
-    (local $$call345 i32)
-    (local $$call344 i32)
-    (local $$call i32)
-    (local $$arrayidx81 i32)
-    (local $$arrayidx73 i32)
-    (local $$arrayidx489$i i32)
-    (local $$arrayidx481 i32)
-    (local $$arrayidx469 i32)
-    (local $$arrayidx35 i32)
-    (local $$arrayidx192 i32)
-    (local $$arrayidx173 i32)
-    (local $$arrayidx16 i32)
-    (local $$arrayidx132 i32)
-    (local $$arrayidx124 i32)
-    (local $$arrayidx117$i i32)
-    (local $$arrayidx$i i32)
-    (local $$arglist_next3 i32)
-    (local $$arglist_next i32)
-    (local $$arglist_current2 i32)
-    (local $$arglist_current i32)
-    (local $$and379$i i32)
-    (local $$and36$i i32)
-    (local $$and289 i32)
-    (local $$and263 i32)
-    (local $$and254 i32)
-    (local $$and216 i32)
-    (local $$and210 i32)
-    (local $$and134$i i32)
-    (local $$and$i$i i32)
-    (local $$and$i$472$i i32)
-    (local $$and$i$466$i i32)
-    (local $$and$i$460$i i32)
-    (local $$and$i$454$i i32)
-    (local $$and$i$448$i i32)
-    (local $$and$i$442$i i32)
-    (local $$and$i$436$i i32)
-    (local $$and$i$430$i i32)
-    (local $$and$i$424$i i32)
-    (local $$and$i$418$i i32)
-    (local $$and$i$412$i i32)
-    (local $$and$i$406$i i32)
-    (local $$and$i$244 i32)
-    (local $$and$i$238 i32)
-    (local $$and$i$231 i32)
-    (local $$and$i$216 i32)
-    (local $$and$i i32)
-    (local $$and i32)
-    (local $$add90$i f64)
-    (local $$add87$i f64)
-    (local $$add810$i i32)
-    (local $$add737$i i32)
-    (local $$add612$i i32)
-    (local $$add608$i i32)
-    (local $$add561$i i32)
-    (local $$add477$neg$i i32)
-    (local $$add410$i f64)
-    (local $$add284$i i32)
-    (local $$add273$i i32)
-    (local $$add150$i i32)
-    (local $$add113$i i32)
-    (local $$add$ptr88 i32)
-    (local $$add$ptr473 i32)
-    (local $$add$ptr373$i i32)
-    (local $$add$ptr354$i i32)
-    (local $$add$ptr257 i32)
-    (local $$add$ptr139 i32)
-    (local $$add i32)
-    (local $$98 i32)
-    (local $$97 i32)
-    (local $$96 i32)
-    (local $$94 i32)
-    (local $$93 i32)
-    (local $$91 i32)
-    (local $$89 i32)
-    (local $$88 i32)
-    (local $$87 i32)
-    (local $$85 i32)
-    (local $$84 i32)
-    (local $$83 i32)
-    (local $$82 i32)
-    (local $$81 i32)
-    (local $$80 i32)
-    (local $$8 i32)
-    (local $$79 i32)
-    (local $$78 i32)
-    (local $$77 i32)
-    (local $$75 i32)
-    (local $$74 i32)
-    (local $$73 i32)
-    (local $$72 i32)
-    (local $$71 i32)
-    (local $$70 i32)
-    (local $$69 i32)
-    (local $$68 i32)
-    (local $$67 i32)
-    (local $$66 i32)
-    (local $$64 i32)
-    (local $$63 i32)
-    (local $$62 i32)
-    (local $$61 i32)
-    (local $$6 i32)
-    (local $$58 i32)
-    (local $$57 i32)
-    (local $$55 i32)
-    (local $$53 i32)
-    (local $$51 i32)
-    (local $$50 i32)
-    (local $$46 i32)
-    (local $$45 i32)
-    (local $$44 i32)
-    (local $$43 i32)
-    (local $$42 i32)
-    (local $$41 i32)
-    (local $$40 i32)
-    (local $$4 i32)
-    (local $$39 i32)
-    (local $$37 i32)
-    (local $$35 i32)
-    (local $$34 i32)
-    (local $$33 i32)
-    (local $$31 i32)
-    (local $$30 i32)
-    (local $$3 i32)
-    (local $$268 i32)
-    (local $$266 i32)
-    (local $$265 i32)
-    (local $$264 i32)
-    (local $$263 i32)
-    (local $$262 i32)
-    (local $$261 i32)
-    (local $$260 i32)
-    (local $$26 i32)
-    (local $$258 i32)
-    (local $$257 i32)
-    (local $$256 i32)
-    (local $$254 i32)
-    (local $$253 i32)
-    (local $$252 i32)
-    (local $$251 i32)
-    (local $$250 i32)
-    (local $$25 i32)
-    (local $$248 i32)
-    (local $$247 i32)
-    (local $$246 i32)
-    (local $$245 i32)
-    (local $$244 i32)
-    (local $$241 i32)
-    (local $$240 i32)
-    (local $$24 i32)
-    (local $$238 i32)
-    (local $$236 i32)
-    (local $$235 i32)
-    (local $$233 i32)
-    (local $$232 i32)
-    (local $$230 i32)
-    (local $$23 i32)
-    (local $$229 i32)
-    (local $$227 i32)
-    (local $$226 i32)
-    (local $$224 i32)
-    (local $$222 i32)
-    (local $$221 i32)
-    (local $$220 i32)
-    (local $$22 i32)
-    (local $$218 i32)
-    (local $$214 i32)
-    (local $$213 i32)
-    (local $$212 i32)
-    (local $$21 i32)
-    (local $$209 i32)
-    (local $$208 i32)
-    (local $$207 i32)
-    (local $$206 i32)
-    (local $$205 i32)
-    (local $$204 i32)
-    (local $$203 i32)
-    (local $$202 i32)
-    (local $$20 i32)
-    (local $$2 i32)
-    (local $$199 i32)
-    (local $$197 i32)
-    (local $$196 i32)
-    (local $$195 i32)
-    (local $$192 i32)
-    (local $$191 i32)
-    (local $$190 i32)
-    (local $$19 i32)
-    (local $$189 i32)
-    (local $$188 i32)
-    (local $$186 i32)
-    (local $$185 i32)
-    (local $$184 i32)
-    (local $$183 i32)
-    (local $$182 i32)
-    (local $$180 i32)
-    (local $$178 i32)
-    (local $$176 i32)
-    (local $$175 i32)
-    (local $$174 i32)
-    (local $$173 i32)
-    (local $$171 i32)
-    (local $$17 i32)
-    (local $$168 i32)
-    (local $$167 i32)
-    (local $$166 i32)
-    (local $$165 i32)
-    (local $$164 i32)
-    (local $$162 i32)
-    (local $$160 i32)
-    (local $$158 i32)
-    (local $$157 i32)
-    (local $$156 i32)
-    (local $$155 i32)
-    (local $$154 i32)
-    (local $$153 i32)
-    (local $$152 i32)
-    (local $$150 i32)
-    (local $$15 i32)
-    (local $$147 i32)
-    (local $$146 i32)
-    (local $$145 i32)
-    (local $$141 i32)
-    (local $$14 i32)
-    (local $$139 i32)
-    (local $$138 i32)
-    (local $$136 i32)
-    (local $$134 i32)
-    (local $$133 i32)
-    (local $$132 i32)
-    (local $$13 i32)
-    (local $$128 i32)
-    (local $$127 i32)
-    (local $$125 i32)
-    (local $$124 i32)
-    (local $$123 i32)
-    (local $$122 i32)
-    (local $$120 i32)
-    (local $$119 i32)
-    (local $$117 i32)
-    (local $$115 i32)
-    (local $$114 i32)
-    (local $$113 i32)
-    (local $$112 i32)
-    (local $$111 i32)
-    (local $$110 i32)
-    (local $$11 i32)
-    (local $$109 i32)
-    (local $$108 i32)
-    (local $$106 i32)
-    (local $$105 i32)
-    (local $$104 i32)
-    (local $$100 i32)
-    (local $$$pre567$i i32)
-    (local $$$pre564$i i32)
-    (local $$$pre357 i32)
-    (local $$$pre$i i32)
-    (local $$$pre i32)
-    (local $$$404$i f64)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -11272,161 +10369,6 @@
     (local $$109 i32)
     (local $$103 f64)
     (local $$102 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$expanded95 i32)
-    (local $$expanded94 i32)
-    (local $$expanded93 i32)
-    (local $$expanded91 i32)
-    (local $$expanded90 i32)
-    (local $$expanded88 i32)
-    (local $$expanded87 i32)
-    (local $$expanded86 i32)
-    (local $$expanded84 i32)
-    (local $$expanded83 i32)
-    (local $$expanded81 i32)
-    (local $$expanded80 i32)
-    (local $$expanded79 i32)
-    (local $$expanded77 i32)
-    (local $$expanded76 i32)
-    (local $$expanded74 i32)
-    (local $$expanded73 i32)
-    (local $$expanded72 i32)
-    (local $$expanded70 i32)
-    (local $$expanded69 i32)
-    (local $$expanded67 i32)
-    (local $$expanded66 i32)
-    (local $$expanded65 i32)
-    (local $$expanded63 i32)
-    (local $$expanded62 i32)
-    (local $$expanded60 i32)
-    (local $$expanded59 i32)
-    (local $$expanded58 i32)
-    (local $$expanded56 i32)
-    (local $$expanded55 i32)
-    (local $$expanded53 i32)
-    (local $$expanded52 i32)
-    (local $$expanded51 i32)
-    (local $$expanded49 i32)
-    (local $$expanded48 i32)
-    (local $$expanded46 i32)
-    (local $$expanded45 i32)
-    (local $$expanded44 i32)
-    (local $$expanded42 i32)
-    (local $$expanded41 i32)
-    (local $$expanded39 i32)
-    (local $$expanded38 i32)
-    (local $$expanded37 i32)
-    (local $$expanded35 i32)
-    (local $$expanded34 i32)
-    (local $$expanded32 i32)
-    (local $$expanded31 i32)
-    (local $$expanded30 i32)
-    (local $$expanded28 i32)
-    (local $$expanded i32)
-    (local $$conv27$mask i32)
-    (local $$conv22 i32)
-    (local $$conv17$mask i32)
-    (local $$conv12 i32)
-    (local $$cmp i32)
-    (local $$arglist_next9 i32)
-    (local $$arglist_next6 i32)
-    (local $$arglist_next3 i32)
-    (local $$arglist_next27 i32)
-    (local $$arglist_next24 i32)
-    (local $$arglist_next21 i32)
-    (local $$arglist_next18 i32)
-    (local $$arglist_next15 i32)
-    (local $$arglist_next12 i32)
-    (local $$arglist_next i32)
-    (local $$arglist_current8 i32)
-    (local $$arglist_current5 i32)
-    (local $$arglist_current26 i32)
-    (local $$arglist_current23 i32)
-    (local $$arglist_current20 i32)
-    (local $$arglist_current2 i32)
-    (local $$arglist_current17 i32)
-    (local $$arglist_current14 i32)
-    (local $$arglist_current11 i32)
-    (local $$arglist_current i32)
-    (local $$99 i32)
-    (local $$98 i32)
-    (local $$97 i32)
-    (local $$96 i32)
-    (local $$95 i32)
-    (local $$94 i32)
-    (local $$90 i32)
-    (local $$9 i32)
-    (local $$89 i32)
-    (local $$88 i32)
-    (local $$87 i32)
-    (local $$86 i32)
-    (local $$85 i32)
-    (local $$84 i32)
-    (local $$83 i32)
-    (local $$80 i32)
-    (local $$8 i32)
-    (local $$76 i32)
-    (local $$75 i32)
-    (local $$74 i32)
-    (local $$73 i32)
-    (local $$72 i32)
-    (local $$71 i32)
-    (local $$70 i32)
-    (local $$7 i32)
-    (local $$69 i32)
-    (local $$65 i32)
-    (local $$64 i32)
-    (local $$63 i32)
-    (local $$62 i32)
-    (local $$61 i32)
-    (local $$60 i32)
-    (local $$59 i32)
-    (local $$58 i32)
-    (local $$55 i32)
-    (local $$51 i32)
-    (local $$50 i32)
-    (local $$49 i32)
-    (local $$48 i32)
-    (local $$47 i32)
-    (local $$46 i32)
-    (local $$45 i32)
-    (local $$44 i32)
-    (local $$41 i32)
-    (local $$40 i32)
-    (local $$4 i32)
-    (local $$38 i32)
-    (local $$35 i32)
-    (local $$34 i32)
-    (local $$33 i32)
-    (local $$32 i32)
-    (local $$31 i32)
-    (local $$30 i32)
-    (local $$3 i32)
-    (local $$29 i32)
-    (local $$28 i32)
-    (local $$24 i32)
-    (local $$23 i32)
-    (local $$22 i32)
-    (local $$21 i32)
-    (local $$20 i32)
-    (local $$2 i32)
-    (local $$19 i32)
-    (local $$18 i32)
-    (local $$17 i32)
-    (local $$15 i32)
-    (local $$14 i32)
-    (local $$11 i32)
-    (local $$108 i32)
-    (local $$107 i32)
-    (local $$106 i32)
-    (local $$105 i32)
-    (local $$104 i32)
-    (local $$101 i32)
-    (local $$100 i32)
-    (local $$10 i32)
-    (local $$1 i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -12032,27 +10974,6 @@
     (local $$div9 i32)
     (local $$9 i32)
     (local $$21 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$tobool$8 i32)
-    (local $$rem4 i32)
-    (local $$conv6 i32)
-    (local $$add5 i32)
-    (local $$6 i32)
-    (local $$5 i32)
-    (local $$4 i32)
-    (local $$3 i32)
-    (local $$22 i32)
-    (local $$20 i32)
-    (local $$2 i32)
-    (local $$19 i32)
-    (local $$18 i32)
-    (local $$17 i32)
-    (local $$16 i32)
-    (local $$15 i32)
-    (local $$12 i32)
-    (local $$11 i32)
-    (local $$10 i32)
     (i32.load
       (i32.const 8)
     )
@@ -12270,17 +11191,6 @@
     (local $$3 i32)
     (local $$1 i32)
     (local $$0 i32)
-    (local $label i32)
-    (local $$tobool i32)
-    (local $$or$cond i32)
-    (local $$cmp3$14 i32)
-    (local $$cmp3 i32)
-    (local $$cmp1 i32)
-    (local $$cmp i32)
-    (local $$and$i$15 i32)
-    (local $$and$i i32)
-    (local $$and i32)
-    (local $$$pre i32)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -12942,722 +11852,6 @@
     (local $$1 i32)
     (local $$$lcssa290 i32)
     (local $$$lcssa i32)
-    (local $sp i32)
-    (local $$xor$i$i i32)
-    (local $$tobool97$i$i i32)
-    (local $$tobool364$i i32)
-    (local $$tobool30$i i32)
-    (local $$tobool296$i$i i32)
-    (local $$tobool293$i i32)
-    (local $$tobool237$i i32)
-    (local $$tobool228$i$i i32)
-    (local $$tobool200$i i32)
-    (local $$tobool195$i i32)
-    (local $$tobool107 i32)
-    (local $$tobool$i$i i32)
-    (local $$sub99$i i32)
-    (local $$sub80$i$i i32)
-    (local $$sub76$i$i i32)
-    (local $$sub71$i$i i32)
-    (local $$sub67$i$i i32)
-    (local $$sub67$i i32)
-    (local $$sub6$i i32)
-    (local $$sub50$i i32)
-    (local $$sub4$i i32)
-    (local $$sub343$i i32)
-    (local $$sub339$i i32)
-    (local $$sub334$i i32)
-    (local $$sub329$i i32)
-    (local $$sub275$i$i i32)
-    (local $$sub271$i$i i32)
-    (local $$sub266$i$i i32)
-    (local $$sub262$i$i i32)
-    (local $$sub22$i i32)
-    (local $$sub14$i i32)
-    (local $$sub118$i i32)
-    (local $$sub10$i i32)
-    (local $$sub$ptr$sub$i$41$i i32)
-    (local $$sub$ptr$rhs$cast$i$i i32)
-    (local $$sub$ptr$rhs$cast$i$40$i i32)
-    (local $$sub$ptr$rhs$cast$i i32)
-    (local $$sub$ptr$lhs$cast$i$i i32)
-    (local $$sub$ptr$lhs$cast$i$39$i i32)
-    (local $$sub$ptr$lhs$cast$i i32)
-    (local $$sub$i$i i32)
-    (local $$sub$i i32)
-    (local $$size$i$i$i i32)
-    (local $$shr91$i i32)
-    (local $$shr88$i i32)
-    (local $$shr86$i$i i32)
-    (local $$shr84$i i32)
-    (local $$shr82$i$i i32)
-    (local $$shr80$i i32)
-    (local $$shr8$i i32)
-    (local $$shr77$i$i i32)
-    (local $$shr76$i i32)
-    (local $$shr72$i$i i32)
-    (local $$shr72$i i32)
-    (local $$shr7$i$145 i32)
-    (local $$shr68$i$i i32)
-    (local $$shr63 i32)
-    (local $$shr60 i32)
-    (local $$shr56 i32)
-    (local $$shr52 i32)
-    (local $$shr5$i$142 i32)
-    (local $$shr5$i i32)
-    (local $$shr48 i32)
-    (local $$shr45 i32)
-    (local $$shr41$i i32)
-    (local $$shr391$i i32)
-    (local $$shr378$i i32)
-    (local $$shr349$i i32)
-    (local $$shr345$i i32)
-    (local $$shr340$i i32)
-    (local $$shr335$i i32)
-    (local $$shr330$i i32)
-    (local $$shr322$i$i i32)
-    (local $$shr310$i$i i32)
-    (local $$shr281$i$i i32)
-    (local $$shr277$i$i i32)
-    (local $$shr272$i$i i32)
-    (local $$shr27$i i32)
-    (local $$shr267$i$i i32)
-    (local $$shr263$i$i i32)
-    (local $$shr20$i i32)
-    (local $$shr19$i i32)
-    (local $$shr16$i$148 i32)
-    (local $$shr16$i i32)
-    (local $$shr123$i$i i32)
-    (local $$shr12$i i32)
-    (local $$shr110$i$i i32)
-    (local $$shr11$i$147 i32)
-    (local $$shr$i i32)
-    (local $$shl90 i32)
-    (local $$shl81$i$i i32)
-    (local $$shl72 i32)
-    (local $$shl65 i32)
-    (local $$shl52$i i32)
-    (local $$shl48$i$i i32)
-    (local $$shl384$i i32)
-    (local $$shl35 i32)
-    (local $$shl344$i i32)
-    (local $$shl316$i$i i32)
-    (local $$shl31$i i32)
-    (local $$shl288$i i32)
-    (local $$shl276$i$i i32)
-    (local $$shl221$i$i i32)
-    (local $$shl195$i i32)
-    (local $$shl192$i i32)
-    (local $$shl15$i i32)
-    (local $$shl131$i$i i32)
-    (local $$shl12 i32)
-    (local $$shl116$i$i i32)
-    (local $$shl102 i32)
-    (local $$shl$i$i i32)
-    (local $$shl$i$47$i i32)
-    (local $$shl$i$19$i i32)
-    (local $$shl$i i32)
-    (local $$shl i32)
-    (local $$sflags235$i i32)
-    (local $$sflags193$i i32)
-    (local $$retval$0 i32)
-    (local $$parent433$i i32)
-    (local $$parent406$i i32)
-    (local $$parent369$i i32)
-    (local $$parent361$i$i i32)
-    (local $$parent337$i$i i32)
-    (local $$parent301$i$i i32)
-    (local $$parent257$i i32)
-    (local $$parent240$i i32)
-    (local $$parent226$i i32)
-    (local $$parent196$i$i i32)
-    (local $$parent179$i$i i32)
-    (local $$parent166$i i32)
-    (local $$parent165$i$i i32)
-    (local $$parent162$i$i i32)
-    (local $$parent149$i i32)
-    (local $$parent138$i$i i32)
-    (local $$parent135$i i32)
-    (local $$parent$i$i i32)
-    (local $$parent$i$51$i i32)
-    (local $$parent$i$162 i32)
-    (local $$parent$i i32)
-    (local $$or96 i32)
-    (local $$or93 i32)
-    (local $$or44$i$i i32)
-    (local $$or40 i32)
-    (local $$or368$i i32)
-    (local $$or33$i$i i32)
-    (local $$or300$i$i i32)
-    (local $$or297$i i32)
-    (local $$or280$i i32)
-    (local $$or28$i$i i32)
-    (local $$or278$i i32)
-    (local $$or270$i i32)
-    (local $$or267$i i32)
-    (local $$or264$i i32)
-    (local $$or232$i$i i32)
-    (local $$or23 i32)
-    (local $$or22$i$i i32)
-    (local $$or210$i$i i32)
-    (local $$or204$i i32)
-    (local $$or197 i32)
-    (local $$or194 i32)
-    (local $$or19$i$i i32)
-    (local $$or188$i i32)
-    (local $$or186$i i32)
-    (local $$or178$i i32)
-    (local $$or176 i32)
-    (local $$or172 i32)
-    (local $$or167 i32)
-    (local $$or110 i32)
-    (local $$or101$i$i i32)
-    (local $$or$i$i$i i32)
-    (local $$or$i$i i32)
-    (local $$or$i$28$i i32)
-    (local $$or$i$195 i32)
-    (local $$or$i i32)
-    (local $$or$cond98$i i32)
-    (local $$or$cond8$i i32)
-    (local $$or$cond7$i i32)
-    (local $$or$cond5$i i32)
-    (local $$or$cond3$i i32)
-    (local $$or$cond2$i i32)
-    (local $$or$cond1$i$184 i32)
-    (local $$or$cond1$i i32)
-    (local $$or$cond$i$189 i32)
-    (local $$or$cond$i i32)
-    (local $$not$cmp418$i i32)
-    (local $$not$cmp346$i$i i32)
-    (local $$not$cmp150$i$i i32)
-    (local $$next231$i i32)
-    (local $$next$i$i$i i32)
-    (local $$next$i$i i32)
-    (local $$next$i i32)
-    (local $$neg73 i32)
-    (local $$neg48$i i32)
-    (local $$neg132$i$i i32)
-    (local $$neg13 i32)
-    (local $$neg103$i i32)
-    (local $$neg$i$i i32)
-    (local $$neg$i$173 i32)
-    (local $$neg$i i32)
-    (local $$neg i32)
-    (local $$index356$i i32)
-    (local $$index288$i$i i32)
-    (local $$index$i$i i32)
-    (local $$index$i$54$i i32)
-    (local $$index$i$172 i32)
-    (local $$index$i i32)
-    (local $$head99$i i32)
-    (local $$head97 i32)
-    (local $$head94 i32)
-    (local $$head7$i$i$i i32)
-    (local $$head7$i$i i32)
-    (local $$head7$i$31$i i32)
-    (local $$head386$i i32)
-    (local $$head34$i$i i32)
-    (local $$head32$i$i i32)
-    (local $$head317$i$i i32)
-    (local $$head29$i$i i32)
-    (local $$head29$i i32)
-    (local $$head281$i i32)
-    (local $$head279$i i32)
-    (local $$head271$i i32)
-    (local $$head268$i i32)
-    (local $$head265$i i32)
-    (local $$head23$i$i i32)
-    (local $$head211$i$i i32)
-    (local $$head198 i32)
-    (local $$head195 i32)
-    (local $$head189$i i32)
-    (local $$head187$i i32)
-    (local $$head179$i i32)
-    (local $$head177 i32)
-    (local $$head173 i32)
-    (local $$head168 i32)
-    (local $$head118$i$i i32)
-    (local $$head$i$i$i i32)
-    (local $$head$i$i i32)
-    (local $$head$i$42$i i32)
-    (local $$head$i$29$i i32)
-    (local $$head$i$154 i32)
-    (local $$head$i i32)
-    (local $$head i32)
-    (local $$fd78$i$i i32)
-    (local $$fd54$i$i i32)
-    (local $$fd431$i i32)
-    (local $$fd408$i i32)
-    (local $$fd371$i i32)
-    (local $$fd359$i$i i32)
-    (local $$fd339$i$i i32)
-    (local $$fd312$i i32)
-    (local $$fd303$i$i i32)
-    (local $$fd247$i$i i32)
-    (local $$fd219$i i32)
-    (local $$fd160$i$i i32)
-    (local $$fd140$i$i i32)
-    (local $$fd123 i32)
-    (local $$fd103$i$i i32)
-    (local $$fd$i$i i32)
-    (local $$fd$i$164 i32)
-    (local $$fd$i i32)
-    (local $$exitcond$i$i i32)
-    (local $$cond3$i i32)
-    (local $$cond2$i$i i32)
-    (local $$cond2$i i32)
-    (local $$cmp99 i32)
-    (local $$cmp97$i$i i32)
-    (local $$cmp97$i i32)
-    (local $$cmp97$7$i i32)
-    (local $$cmp96$i i32)
-    (local $$cmp95$i i32)
-    (local $$cmp93$i i32)
-    (local $$cmp91$i i32)
-    (local $$cmp90$i i32)
-    (local $$cmp9$i$i i32)
-    (local $$cmp89$i i32)
-    (local $$cmp86$i$i i32)
-    (local $$cmp85$i i32)
-    (local $$cmp83$i$i i32)
-    (local $$cmp81$i$i i32)
-    (local $$cmp81$i$191 i32)
-    (local $$cmp81$i i32)
-    (local $$cmp79 i32)
-    (local $$cmp76$i i32)
-    (local $$cmp76 i32)
-    (local $$cmp75$i$i i32)
-    (local $$cmp72$i i32)
-    (local $$cmp70 i32)
-    (local $$cmp69$i i32)
-    (local $$cmp66$i$190 i32)
-    (local $$cmp66$i i32)
-    (local $$cmp65$i i32)
-    (local $$cmp63$i$i i32)
-    (local $$cmp63$i i32)
-    (local $$cmp62$i i32)
-    (local $$cmp60$i$i i32)
-    (local $$cmp60$i i32)
-    (local $$cmp59$i$i i32)
-    (local $$cmp57$i$i i32)
-    (local $$cmp57$i$188 i32)
-    (local $$cmp57$i i32)
-    (local $$cmp55$i$187 i32)
-    (local $$cmp55$i i32)
-    (local $$cmp54$i$i i32)
-    (local $$cmp51$i i32)
-    (local $$cmp5 i32)
-    (local $$cmp48$i i32)
-    (local $$cmp46$i$i i32)
-    (local $$cmp46$i$49$i i32)
-    (local $$cmp46$i i32)
-    (local $$cmp45$i$155 i32)
-    (local $$cmp45$i i32)
-    (local $$cmp44$i$i i32)
-    (local $$cmp43$i i32)
-    (local $$cmp422$i i32)
-    (local $$cmp42$i$i i32)
-    (local $$cmp41$i$i i32)
-    (local $$cmp401$i i32)
-    (local $$cmp40$i i32)
-    (local $$cmp396$i i32)
-    (local $$cmp388$i i32)
-    (local $$cmp38$i$i i32)
-    (local $$cmp38$i i32)
-    (local $$cmp374$i i32)
-    (local $$cmp36$i$i i32)
-    (local $$cmp36$i i32)
-    (local $$cmp350$i$i i32)
-    (local $$cmp35$i i32)
-    (local $$cmp34$i$i i32)
-    (local $$cmp34$i i32)
-    (local $$cmp332$i$i i32)
-    (local $$cmp33$i i32)
-    (local $$cmp327$i$i i32)
-    (local $$cmp323$i i32)
-    (local $$cmp32$i$185 i32)
-    (local $$cmp319$i$i i32)
-    (local $$cmp319$i i32)
-    (local $$cmp31 i32)
-    (local $$cmp306$i$i i32)
-    (local $$cmp301$i i32)
-    (local $$cmp3$i$i i32)
-    (local $$cmp29 i32)
-    (local $$cmp284$i i32)
-    (local $$cmp28$i$i i32)
-    (local $$cmp28$i i32)
-    (local $$cmp27$i$i i32)
-    (local $$cmp265$i i32)
-    (local $$cmp26$i i32)
-    (local $$cmp258$i$i i32)
-    (local $$cmp257$i i32)
-    (local $$cmp254$i$i i32)
-    (local $$cmp250$i i32)
-    (local $$cmp246$i i32)
-    (local $$cmp24$i$i i32)
-    (local $$cmp24$i i32)
-    (local $$cmp236$i$i i32)
-    (local $$cmp233$i i32)
-    (local $$cmp229$i i32)
-    (local $$cmp228$i i32)
-    (local $$cmp224$i i32)
-    (local $$cmp221$i i32)
-    (local $$cmp218$i i32)
-    (local $$cmp217$i i32)
-    (local $$cmp215$i$i i32)
-    (local $$cmp21$i i32)
-    (local $$cmp209$i i32)
-    (local $$cmp208$i i32)
-    (local $$cmp205$i i32)
-    (local $$cmp203$i i32)
-    (local $$cmp20$i$i i32)
-    (local $$cmp2$i$i$i i32)
-    (local $$cmp2$i$i i32)
-    (local $$cmp198$i i32)
-    (local $$cmp191$i i32)
-    (local $$cmp190$i i32)
-    (local $$cmp19$i i32)
-    (local $$cmp189$i$i i32)
-    (local $$cmp186$i i32)
-    (local $$cmp186 i32)
-    (local $$cmp185$i$i i32)
-    (local $$cmp185$i i32)
-    (local $$cmp180$i i32)
-    (local $$cmp174$i i32)
-    (local $$cmp172$i$i i32)
-    (local $$cmp171$i i32)
-    (local $$cmp168$i$i i32)
-    (local $$cmp166$i i32)
-    (local $$cmp162$i$200 i32)
-    (local $$cmp162$i i32)
-    (local $$cmp162 i32)
-    (local $$cmp160$i$i i32)
-    (local $$cmp16 i32)
-    (local $$cmp159$i$199 i32)
-    (local $$cmp159$i i32)
-    (local $$cmp157$i i32)
-    (local $$cmp156$i$i i32)
-    (local $$cmp156$i i32)
-    (local $$cmp156 i32)
-    (local $$cmp155$i i32)
-    (local $$cmp153$i$i i32)
-    (local $$cmp152$i i32)
-    (local $$cmp151$i i32)
-    (local $$cmp15$i i32)
-    (local $$cmp15 i32)
-    (local $$cmp146 i32)
-    (local $$cmp144$i$i i32)
-    (local $$cmp142$i i32)
-    (local $$cmp141$not$i i32)
-    (local $$cmp140$i i32)
-    (local $$cmp139 i32)
-    (local $$cmp138$i i32)
-    (local $$cmp137$i$i i32)
-    (local $$cmp137$i$197 i32)
-    (local $$cmp137$i i32)
-    (local $$cmp135$i i32)
-    (local $$cmp133$i$i i32)
-    (local $$cmp133$i$196 i32)
-    (local $$cmp133$i i32)
-    (local $$cmp130$i i32)
-    (local $$cmp128$i$i i32)
-    (local $$cmp128$i i32)
-    (local $$cmp128 i32)
-    (local $$cmp127$i i32)
-    (local $$cmp126$i i32)
-    (local $$cmp124$i$i i32)
-    (local $$cmp123$i i32)
-    (local $$cmp121$i i32)
-    (local $$cmp120$i$i i32)
-    (local $$cmp120$i$53$i i32)
-    (local $$cmp12$i i32)
-    (local $$cmp119$i i32)
-    (local $$cmp118$i i32)
-    (local $$cmp116$i i32)
-    (local $$cmp114$i i32)
-    (local $$cmp113 i32)
-    (local $$cmp112$i$i i32)
-    (local $$cmp108$i$i i32)
-    (local $$cmp108$i i32)
-    (local $$cmp107$i$157 i32)
-    (local $$cmp107$i i32)
-    (local $$cmp106$i$i i32)
-    (local $$cmp105$i i32)
-    (local $$cmp104$i$i i32)
-    (local $$cmp100$i$i i32)
-    (local $$cmp10 i32)
-    (local $$cmp1$i$i i32)
-    (local $$cmp1$i i32)
-    (local $$cmp1 i32)
-    (local $$cmp$i$i$i i32)
-    (local $$cmp$i$9$i i32)
-    (local $$cmp$i$179 i32)
-    (local $$cmp$i$140 i32)
-    (local $$cmp$i i32)
-    (local $$cmp i32)
-    (local $$call6$i$i i32)
-    (local $$call275$i i32)
-    (local $$call107$i i32)
-    (local $$bk74$i$i i32)
-    (local $$bk67$i$i i32)
-    (local $$bk55$i$i i32)
-    (local $$bk432$i i32)
-    (local $$bk43$i$i i32)
-    (local $$bk429$i i32)
-    (local $$bk407$i i32)
-    (local $$bk370$i i32)
-    (local $$bk360$i$i i32)
-    (local $$bk357$i$i i32)
-    (local $$bk338$i$i i32)
-    (local $$bk313$i i32)
-    (local $$bk311$i i32)
-    (local $$bk302$i$i i32)
-    (local $$bk248$i$i i32)
-    (local $$bk246$i$i i32)
-    (local $$bk220$i i32)
-    (local $$bk218$i i32)
-    (local $$bk161$i$i i32)
-    (local $$bk158$i$i i32)
-    (local $$bk139$i$i i32)
-    (local $$bk124 i32)
-    (local $$bk122 i32)
-    (local $$bk102$i$i i32)
-    (local $$bk$i$i i32)
-    (local $$bk$i$46$i i32)
-    (local $$bk$i$163 i32)
-    (local $$bk$i i32)
-    (local $$arrayidx94$i$156 i32)
-    (local $$arrayidx92$i$i i32)
-    (local $$arrayidx44$i i32)
-    (local $$arrayidx40$i i32)
-    (local $$arrayidx358$i i32)
-    (local $$arrayidx290$i$i i32)
-    (local $$arrayidx27$i i32)
-    (local $$arrayidx256$i i32)
-    (local $$arrayidx245$i i32)
-    (local $$arrayidx239$i i32)
-    (local $$arrayidx23$i i32)
-    (local $$arrayidx228$i i32)
-    (local $$arrayidx212$i i32)
-    (local $$arrayidx195$i$i i32)
-    (local $$arrayidx184$i$i i32)
-    (local $$arrayidx178$i$i i32)
-    (local $$arrayidx165$i i32)
-    (local $$arrayidx154$i i32)
-    (local $$arrayidx151$i$i i32)
-    (local $$arrayidx148$i i32)
-    (local $$arrayidx137$i i32)
-    (local $$arrayidx121$i i32)
-    (local $$arrayidx113$i$159 i32)
-    (local $$arrayidx106$i i32)
-    (local $$arrayidx$i$150 i32)
-    (local $$arrayidx$i i32)
-    (local $$and96$i$i i32)
-    (local $$and87$i$i i32)
-    (local $$and74 i32)
-    (local $$and7$i$i i32)
-    (local $$and7 i32)
-    (local $$and68$i i32)
-    (local $$and6$i$38$i i32)
-    (local $$and49$i$i i32)
-    (local $$and49$i i32)
-    (local $$and43 i32)
-    (local $$and42$i i32)
-    (local $$and40$i$i i32)
-    (local $$and4 i32)
-    (local $$and387$i i32)
-    (local $$and363$i i32)
-    (local $$and350$i i32)
-    (local $$and33$i$i i32)
-    (local $$and32$i$i i32)
-    (local $$and318$i$i i32)
-    (local $$and30$i i32)
-    (local $$and295$i$i i32)
-    (local $$and292$i i32)
-    (local $$and29$i i32)
-    (local $$and282$i$i i32)
-    (local $$and236$i i32)
-    (local $$and227$i$i i32)
-    (local $$and21$i$149 i32)
-    (local $$and21$i i32)
-    (local $$and199$i i32)
-    (local $$and194$i$204 i32)
-    (local $$and194$i i32)
-    (local $$and14 i32)
-    (local $$and133$i$i i32)
-    (local $$and119$i$i i32)
-    (local $$and106 i32)
-    (local $$and103$i i32)
-    (local $$and100$i i32)
-    (local $$and$i$i$i i32)
-    (local $$and$i$i i32)
-    (local $$and$i$33$i i32)
-    (local $$and$i$22$i i32)
-    (local $$and$i$14$i i32)
-    (local $$and$i$12$i i32)
-    (local $$and$i i32)
-    (local $$add92$i i32)
-    (local $$add90$i i32)
-    (local $$add88$i$i i32)
-    (local $$add86$i i32)
-    (local $$add85$i$i i32)
-    (local $$add82$i i32)
-    (local $$add79$i$i i32)
-    (local $$add78$i i32)
-    (local $$add77$i i32)
-    (local $$add74$i$i i32)
-    (local $$add62 i32)
-    (local $$add58 i32)
-    (local $$add54 i32)
-    (local $$add51$i i32)
-    (local $$add50 i32)
-    (local $$add46$i i32)
-    (local $$add351$i i32)
-    (local $$add348$i i32)
-    (local $$add342$i i32)
-    (local $$add337$i i32)
-    (local $$add283$i$i i32)
-    (local $$add280$i$i i32)
-    (local $$add274$i$i i32)
-    (local $$add269$i$i i32)
-    (local $$add22$i i32)
-    (local $$add215$i i32)
-    (local $$add212$i i32)
-    (local $$add206$i$i i32)
-    (local $$add20$i i32)
-    (local $$add2 i32)
-    (local $$add19$i i32)
-    (local $$add18$i i32)
-    (local $$add140$i i32)
-    (local $$add14$i i32)
-    (local $$add13$i i32)
-    (local $$add110$i i32)
-    (local $$add101$i i32)
-    (local $$add10$i i32)
-    (local $$add$ptr98 i32)
-    (local $$add$ptr6$i$i$i i32)
-    (local $$add$ptr6$i$i i32)
-    (local $$add$ptr6$i$30$i i32)
-    (local $$add$ptr5$i$i i32)
-    (local $$add$ptr441$i i32)
-    (local $$add$ptr369$i$i i32)
-    (local $$add$ptr30$i$i i32)
-    (local $$add$ptr3$i$i i32)
-    (local $$add$ptr282$i i32)
-    (local $$add$ptr273$i i32)
-    (local $$add$ptr269$i i32)
-    (local $$add$ptr225$i i32)
-    (local $$add$ptr212$i$i i32)
-    (local $$add$ptr205$i$i i32)
-    (local $$add$ptr199 i32)
-    (local $$add$ptr190$i i32)
-    (local $$add$ptr189$i i32)
-    (local $$add$ptr182 i32)
-    (local $$add$ptr181$i i32)
-    (local $$add$ptr178 i32)
-    (local $$add$ptr169 i32)
-    (local $$add$ptr$i$i i32)
-    (local $$add$ptr$i$32$i i32)
-    (local $$add$ptr$i$21$i i32)
-    (local $$add$ptr$i$193 i32)
-    (local $$add$ptr$i$11$i i32)
-    (local $$add$ptr$i$1$i$i i32)
-    (local $$add$ptr i32)
-    (local $$add$i$146 i32)
-    (local $$add$i i32)
-    (local $$99 i32)
-    (local $$96 i32)
-    (local $$93 i32)
-    (local $$90 i32)
-    (local $$88 i32)
-    (local $$85 i32)
-    (local $$81 i32)
-    (local $$80 i32)
-    (local $$76 i32)
-    (local $$75 i32)
-    (local $$74 i32)
-    (local $$73 i32)
-    (local $$67 i32)
-    (local $$66 i32)
-    (local $$61 i32)
-    (local $$6 i32)
-    (local $$58 i32)
-    (local $$57 i32)
-    (local $$56 i32)
-    (local $$53 i32)
-    (local $$50 i32)
-    (local $$5 i32)
-    (local $$44 i32)
-    (local $$43 i32)
-    (local $$4 i32)
-    (local $$39 i32)
-    (local $$38 i32)
-    (local $$37 i32)
-    (local $$36 i32)
-    (local $$30 i32)
-    (local $$29 i32)
-    (local $$24 i32)
-    (local $$21 i32)
-    (local $$206 i32)
-    (local $$203 i32)
-    (local $$201 i32)
-    (local $$198 i32)
-    (local $$194 i32)
-    (local $$193 i32)
-    (local $$192 i32)
-    (local $$191 i32)
-    (local $$189 i32)
-    (local $$187 i32)
-    (local $$186 i32)
-    (local $$184 i32)
-    (local $$181 i32)
-    (local $$18 i32)
-    (local $$179 i32)
-    (local $$176 i32)
-    (local $$172 i32)
-    (local $$171 i32)
-    (local $$167 i32)
-    (local $$166 i32)
-    (local $$165 i32)
-    (local $$164 i32)
-    (local $$158 i32)
-    (local $$157 i32)
-    (local $$153 i32)
-    (local $$152 i32)
-    (local $$151 i32)
-    (local $$146 i32)
-    (local $$145 i32)
-    (local $$144 i32)
-    (local $$143 i32)
-    (local $$141 i32)
-    (local $$139 i32)
-    (local $$138 i32)
-    (local $$136 i32)
-    (local $$134 i32)
-    (local $$133 i32)
-    (local $$130 i32)
-    (local $$126 i32)
-    (local $$125 i32)
-    (local $$123 i32)
-    (local $$122 i32)
-    (local $$121 i32)
-    (local $$12 i32)
-    (local $$118 i32)
-    (local $$117 i32)
-    (local $$116 i32)
-    (local $$114 i32)
-    (local $$113 i32)
-    (local $$112 i32)
-    (local $$11 i32)
-    (local $$106 i32)
-    (local $$103 i32)
-    (local $$$pre5$i$i i32)
-    (local $$$pre241 i32)
-    (local $$$pre$i$i i32)
-    (local $$$pre$i$56$i i32)
-    (local $$$pre$i$177 i32)
-    (local $$$pre$i i32)
-    (local $$$pre i32)
     (i32.load
       (i32.const 8)
     )
@@ -20188,238 +18382,6 @@
     (local $$16 i32)
     (local $$15 i32)
     (local $$14 i32)
-    (local $sp i32)
-    (local $$tobool9 i32)
-    (local $$tobool575 i32)
-    (local $$tobool513 i32)
-    (local $$tobool241 i32)
-    (local $$tobool233 i32)
-    (local $$sub556 i32)
-    (local $$sub552 i32)
-    (local $$sub547 i32)
-    (local $$sub i32)
-    (local $$shr596 i32)
-    (local $$shr586 i32)
-    (local $$shr562 i32)
-    (local $$shr558 i32)
-    (local $$shr553 i32)
-    (local $$shr548 i32)
-    (local $$shr544 i32)
-    (local $$shl590 i32)
-    (local $$shl557 i32)
-    (local $$shl508 i32)
-    (local $$shl45 i32)
-    (local $$shl408 i32)
-    (local $$shl299 i32)
-    (local $$shl278 i32)
-    (local $$shl138 i32)
-    (local $$shl i32)
-    (local $$parent635 i32)
-    (local $$parent610 i32)
-    (local $$parent579 i32)
-    (local $$parent471 i32)
-    (local $$parent455 i32)
-    (local $$parent442 i32)
-    (local $$parent331 i32)
-    (local $$parent199 i32)
-    (local $$parent183 i32)
-    (local $$parent170 i32)
-    (local $$parent i32)
-    (local $$or578 i32)
-    (local $$or516 i32)
-    (local $$or496 i32)
-    (local $$or480 i32)
-    (local $$or259 i32)
-    (local $$or247 i32)
-    (local $$or i32)
-    (local $$not$cmp621 i32)
-    (local $$neg409 i32)
-    (local $$neg300 i32)
-    (local $$neg139 i32)
-    (local $$neg i32)
-    (local $$index568 i32)
-    (local $$index399 i32)
-    (local $$index i32)
-    (local $$idx$neg i32)
-    (local $$head591 i32)
-    (local $$head497 i32)
-    (local $$head481 i32)
-    (local $$head260 i32)
-    (local $$head248 i32)
-    (local $$head216 i32)
-    (local $$head i32)
-    (local $$fd78 i32)
-    (local $$fd633 i32)
-    (local $$fd612 i32)
-    (local $$fd581 i32)
-    (local $$fd530 i32)
-    (local $$fd338 i32)
-    (local $$fd273 i32)
-    (local $$fd i32)
-    (local $$cond292 i32)
-    (local $$cond291 i32)
-    (local $$cmp87 i32)
-    (local $$cmp83 i32)
-    (local $$cmp80 i32)
-    (local $$cmp74 i32)
-    (local $$cmp640 i32)
-    (local $$cmp624 i32)
-    (local $$cmp605 i32)
-    (local $$cmp601 i32)
-    (local $$cmp593 i32)
-    (local $$cmp584 i32)
-    (local $$cmp57 i32)
-    (local $$cmp540 i32)
-    (local $$cmp536 i32)
-    (local $$cmp53 i32)
-    (local $$cmp519 i32)
-    (local $$cmp502 i32)
-    (local $$cmp50 i32)
-    (local $$cmp484 i32)
-    (local $$cmp464 i32)
-    (local $$cmp461 i32)
-    (local $$cmp448 i32)
-    (local $$cmp445 i32)
-    (local $$cmp435 i32)
-    (local $$cmp432 i32)
-    (local $$cmp420 i32)
-    (local $$cmp42 i32)
-    (local $$cmp413 i32)
-    (local $$cmp401 i32)
-    (local $$cmp395 i32)
-    (local $$cmp386 i32)
-    (local $$cmp380 i32)
-    (local $$cmp375 i32)
-    (local $$cmp368 i32)
-    (local $$cmp363 i32)
-    (local $$cmp35 i32)
-    (local $$cmp348 i32)
-    (local $$cmp344 i32)
-    (local $$cmp340 i32)
-    (local $$cmp334 i32)
-    (local $$cmp312 i32)
-    (local $$cmp31 i32)
-    (local $$cmp308 i32)
-    (local $$cmp305 i32)
-    (local $$cmp296 i32)
-    (local $$cmp29 i32)
-    (local $$cmp287 i32)
-    (local $$cmp283 i32)
-    (local $$cmp280 i32)
-    (local $$cmp269 i32)
-    (local $$cmp255 i32)
-    (local $$cmp25 i32)
-    (local $$cmp249 i32)
-    (local $$cmp243 i32)
-    (local $$cmp228 i32)
-    (local $$cmp22 i32)
-    (local $$cmp211 i32)
-    (local $$cmp2 i32)
-    (local $$cmp192 i32)
-    (local $$cmp189 i32)
-    (local $$cmp18 i32)
-    (local $$cmp176 i32)
-    (local $$cmp173 i32)
-    (local $$cmp165 i32)
-    (local $$cmp162 i32)
-    (local $$cmp150 i32)
-    (local $$cmp143 i32)
-    (local $$cmp131 i32)
-    (local $$cmp13 i32)
-    (local $$cmp127 i32)
-    (local $$cmp118 i32)
-    (local $$cmp114 i32)
-    (local $$cmp109 i32)
-    (local $$cmp104 i32)
-    (local $$cmp100 i32)
-    (local $$cmp1 i32)
-    (local $$cmp i32)
-    (local $$child569 i32)
-    (local $$bk73 i32)
-    (local $$bk66 i32)
-    (local $$bk634 i32)
-    (local $$bk631 i32)
-    (local $$bk611 i32)
-    (local $$bk580 i32)
-    (local $$bk531 i32)
-    (local $$bk529 i32)
-    (local $$bk34 i32)
-    (local $$bk333 i32)
-    (local $$bk321 i32)
-    (local $$bk286 i32)
-    (local $$bk275 i32)
-    (local $$bk i32)
-    (local $$arrayidx570 i32)
-    (local $$arrayidx470 i32)
-    (local $$arrayidx460 i32)
-    (local $$arrayidx454 i32)
-    (local $$arrayidx427 i32)
-    (local $$arrayidx198 i32)
-    (local $$arrayidx188 i32)
-    (local $$arrayidx182 i32)
-    (local $$arrayidx157 i32)
-    (local $$and8 i32)
-    (local $$and592 i32)
-    (local $$and574 i32)
-    (local $$and563 i32)
-    (local $$and512 i32)
-    (local $$and495 i32)
-    (local $$and46 i32)
-    (local $$and410 i32)
-    (local $$and301 i32)
-    (local $$and266 i32)
-    (local $$and240 i32)
-    (local $$and232 i32)
-    (local $$and215 i32)
-    (local $$and210 i32)
-    (local $$and140 i32)
-    (local $$add564 i32)
-    (local $$add561 i32)
-    (local $$add555 i32)
-    (local $$add550 i32)
-    (local $$add$ptr498 i32)
-    (local $$add$ptr482 i32)
-    (local $$add$ptr261 i32)
-    (local $$add$ptr217 i32)
-    (local $$8 i32)
-    (local $$74 i32)
-    (local $$73 i32)
-    (local $$70 i32)
-    (local $$7 i32)
-    (local $$68 i32)
-    (local $$65 i32)
-    (local $$61 i32)
-    (local $$60 i32)
-    (local $$6 i32)
-    (local $$56 i32)
-    (local $$55 i32)
-    (local $$54 i32)
-    (local $$53 i32)
-    (local $$51 i32)
-    (local $$46 i32)
-    (local $$45 i32)
-    (local $$44 i32)
-    (local $$40 i32)
-    (local $$39 i32)
-    (local $$38 i32)
-    (local $$37 i32)
-    (local $$36 i32)
-    (local $$33 i32)
-    (local $$32 i32)
-    (local $$31 i32)
-    (local $$30 i32)
-    (local $$3 i32)
-    (local $$29 i32)
-    (local $$26 i32)
-    (local $$22 i32)
-    (local $$21 i32)
-    (local $$20 i32)
-    (local $$19 i32)
-    (local $$13 i32)
-    (local $$12 i32)
-    (local $$$pre313 i32)
-    (local $$$pre312 i32)
-    (local $$$pre i32)
     (i32.load
       (i32.const 8)
     )
@@ -22425,8 +20387,6 @@
     (nop)
   )
   (func $_i64Subtract (param $a i32) (param $b i32) (param $c i32) (param $d i32) (result i32)
-    (local $l i32)
-    (local $h i32)
     (i32.sub
       (get_local $b)
       (get_local $d)
@@ -22455,7 +20415,6 @@
   )
   (func $_i64Add (param $a i32) (param $b i32) (param $c i32) (param $d i32) (result i32)
     (local $l i32)
-    (local $h i32)
     (return
       (block
         (i32.store
@@ -22618,7 +20577,6 @@
     )
   )
   (func $_bitshift64Lshr (param $low i32) (param $high i32) (param $bits i32) (result i32)
-    (local $ander i32)
     (if
       (i32.lt_s
         (get_local $bits)
@@ -22673,7 +20631,6 @@
     )
   )
   (func $_bitshift64Shl (param $low i32) (param $high i32) (param $bits i32) (result i32)
-    (local $ander i32)
     (if
       (i32.lt_s
         (get_local $bits)
@@ -22880,7 +20837,6 @@
     )
   )
   (func $_bitshift64Ashr (param $low i32) (param $high i32) (param $bits i32) (result i32)
-    (local $ander i32)
     (if
       (i32.lt_s
         (get_local $bits)
@@ -23045,11 +21001,6 @@
     (local $$1$0 i32)
     (local $$7$1 i32)
     (local $$7$0 i32)
-    (local $$8$0 i32)
-    (local $$6$0 i32)
-    (local $$4$1 i32)
-    (local $$4$0 i32)
-    (local $$10$0 i32)
     (set_local $$1$0
       (i32.or
         (i32.shr_s
@@ -23208,9 +21159,6 @@
     (local $$2$0 i32)
     (local $$10$1 i32)
     (local $$10$0 i32)
-    (local $$6$0 i32)
-    (local $$4$1 i32)
-    (local $$4$0 i32)
     (set_local $__stackBase__
       (i32.load
         (i32.const 8)
@@ -23393,7 +21341,6 @@
     (local $$x_sroa_0_0_extract_trunc i32)
     (local $$1$1 i32)
     (local $$1$0 i32)
-    (local $$2 i32)
     (set_local $$1$0
       (call $___muldsi3
         (set_local $$x_sroa_0_0_extract_trunc
@@ -23443,7 +21390,6 @@
     )
   )
   (func $___udivdi3 (param $$a$0 i32) (param $$a$1 i32) (param $$b$0 i32) (param $$b$1 i32) (result i32)
-    (local $$1$0 i32)
     (return
       (call $___udivmoddi4
         (get_local $$a$0)
diff --git a/test/emcc_hello_world.fromasm.imprecise b/test/emcc_hello_world.fromasm.imprecise
index 4553d91d2..70fd86b33 100644
--- a/test/emcc_hello_world.fromasm.imprecise
+++ b/test/emcc_hello_world.fromasm.imprecise
@@ -251,9 +251,6 @@
   )
   (func $_main (result i32)
     (local $sp i32)
-    (local $label i32)
-    (local $$vararg_buffer i32)
-    (local $$retval i32)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -301,17 +298,6 @@
     (local $$2 i32)
     (local $$1 i32)
     (local $$0 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$tobool1 i32)
-    (local $$sub8 i32)
-    (local $$sub i32)
-    (local $$mul f64)
-    (local $$7 f64)
-    (local $$6 i32)
-    (local $$5 i32)
-    (local $$4 i32)
-    (local $$3 i32)
     (i32.load
       (i32.const 8)
     )
@@ -449,9 +435,6 @@
     )
   )
   (func $_frexpl (param $$x f64) (param $$e i32) (result f64)
-    (local $sp i32)
-    (local $label i32)
-    (local $$call f64)
     (i32.load
       (i32.const 8)
     )
@@ -474,16 +457,6 @@
     (local $$i$012$lcssa i32)
     (local $$inc i32)
     (local $$dec i32)
-    (local $sp i32)
-    (local $$tobool8 i32)
-    (local $$tobool5$9 i32)
-    (local $$tobool5 i32)
-    (local $$tobool i32)
-    (local $$conv i32)
-    (local $$cmp i32)
-    (local $$arrayidx i32)
-    (local $$1 i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -646,13 +619,6 @@
   )
   (func $___errno_location (result i32)
     (local $$retval$0 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$tobool i32)
-    (local $$errno_ptr i32)
-    (local $$call$i i32)
-    (local $$1 i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -680,10 +646,6 @@
     (local $sp i32)
     (local $$vararg_buffer i32)
     (local $$call1 i32)
-    (local $label i32)
-    (local $$fd i32)
-    (local $$call i32)
-    (local $$0 i32)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -738,18 +700,6 @@
     (local $sp i32)
     (local $$tio i32)
     (local $$call3 i32)
-    (local $label i32)
-    (local $$write i32)
-    (local $$vararg_ptr2 i32)
-    (local $$vararg_ptr1 i32)
-    (local $$tobool2 i32)
-    (local $$tobool i32)
-    (local $$lbf i32)
-    (local $$fd i32)
-    (local $$call i32)
-    (local $$and i32)
-    (local $$1 i32)
-    (local $$0 i32)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -850,17 +800,6 @@
     (local $sp i32)
     (local $$ret i32)
     (local $$1 i32)
-    (local $label i32)
-    (local $$vararg_ptr4 i32)
-    (local $$vararg_ptr3 i32)
-    (local $$vararg_ptr2 i32)
-    (local $$vararg_ptr1 i32)
-    (local $$fd i32)
-    (local $$cmp i32)
-    (local $$call1 i32)
-    (local $$call i32)
-    (local $$0 i32)
-    (local $$$pre i32)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -960,33 +899,6 @@
     (local $$phitmp i32)
     (local $$f$addr$0$19 i32)
     (local $$f$addr$0 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$wpos i32)
-    (local $$wbase i32)
-    (local $$tobool5 i32)
-    (local $$tobool24 i32)
-    (local $$tobool11$20 i32)
-    (local $$tobool11 i32)
-    (local $$tobool i32)
-    (local $$or i32)
-    (local $$next i32)
-    (local $$lock13 i32)
-    (local $$lock i32)
-    (local $$cmp20 i32)
-    (local $$cmp14 i32)
-    (local $$cmp i32)
-    (local $$call7 i32)
-    (local $$call22 i32)
-    (local $$call16 i32)
-    (local $$call1$18 i32)
-    (local $$call i32)
-    (local $$5 i32)
-    (local $$4 i32)
-    (local $$3 i32)
-    (local $$2 i32)
-    (local $$1 i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -1178,8 +1090,6 @@
     (local $sp i32)
     (local $$call i32)
     (local $$ap i32)
-    (local $label i32)
-    (local $$0 i32)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -1229,8 +1139,6 @@
     )
   )
   (func $___lockfile (param $$f i32) (result i32)
-    (local $sp i32)
-    (local $label i32)
     (i32.load
       (i32.const 8)
     )
@@ -1239,8 +1147,6 @@
     )
   )
   (func $___unlockfile (param $$f i32)
-    (local $sp i32)
-    (local $label i32)
     (i32.load
       (i32.const 8)
     )
@@ -1275,49 +1181,6 @@
     (local $$5 i32)
     (local $$11 i32)
     (local $$0 i32)
-    (local $$wend19 i32)
-    (local $$wend i32)
-    (local $$vararg_ptr7 i32)
-    (local $$vararg_ptr6 i32)
-    (local $$vararg_ptr2 i32)
-    (local $$vararg_ptr1 i32)
-    (local $$tobool i32)
-    (local $$sub51 i32)
-    (local $$sub36 i32)
-    (local $$sub i32)
-    (local $$or i32)
-    (local $$iov_len50$phi$trans$insert i32)
-    (local $$iov_len50 i32)
-    (local $$iov_len3 i32)
-    (local $$iov_len28 i32)
-    (local $$iov_len24 i32)
-    (local $$iov_len i32)
-    (local $$iov_base2 i32)
-    (local $$incdec$ptr i32)
-    (local $$dec i32)
-    (local $$cmp38 i32)
-    (local $$cmp29 i32)
-    (local $$cmp22 i32)
-    (local $$cmp17 i32)
-    (local $$cmp i32)
-    (local $$call9 i32)
-    (local $$call10 i32)
-    (local $$call i32)
-    (local $$buf_size i32)
-    (local $$add$ptr46 i32)
-    (local $$add$ptr41 i32)
-    (local $$add$ptr i32)
-    (local $$add i32)
-    (local $$9 i32)
-    (local $$8 i32)
-    (local $$6 i32)
-    (local $$4 i32)
-    (local $$3 i32)
-    (local $$2 i32)
-    (local $$13 i32)
-    (local $$12 i32)
-    (local $$1 i32)
-    (local $$$pre i32)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -1749,31 +1612,6 @@
     (local $$7 i32)
     (local $$1 i32)
     (local $$$call21 i32)
-    (local $label i32)
-    (local $$write i32)
-    (local $$vacopy_currentptr i32)
-    (local $$tobool41 i32)
-    (local $$tobool37 i32)
-    (local $$tobool26 i32)
-    (local $$tobool22 i32)
-    (local $$tobool i32)
-    (local $$or i32)
-    (local $$mode i32)
-    (local $$lock i32)
-    (local $$cmp7 i32)
-    (local $$cmp5 i32)
-    (local $$cmp i32)
-    (local $$call6 i32)
-    (local $$call21$30 i32)
-    (local $$call i32)
-    (local $$and36 i32)
-    (local $$and11 i32)
-    (local $$add$ptr i32)
-    (local $$6 i32)
-    (local $$5 i32)
-    (local $$3 i32)
-    (local $$2 i32)
-    (local $$0 i32)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -2118,33 +1956,6 @@
     (local $$cmp i32)
     (local $$2 i32)
     (local $$0 i32)
-    (local $sp i32)
-    (local $$write15 i32)
-    (local $$write i32)
-    (local $$tobool9 i32)
-    (local $$tobool1 i32)
-    (local $$tobool i32)
-    (local $$sub21 i32)
-    (local $$sub$ptr$sub i32)
-    (local $$lbf i32)
-    (local $$cmp6 i32)
-    (local $$cmp17 i32)
-    (local $$cmp11 i32)
-    (local $$call4 i32)
-    (local $$call16 i32)
-    (local $$call i32)
-    (local $$arrayidx i32)
-    (local $$add$ptr26 i32)
-    (local $$add$ptr i32)
-    (local $$add i32)
-    (local $$8 i32)
-    (local $$7 i32)
-    (local $$6 i32)
-    (local $$5 i32)
-    (local $$10 i32)
-    (local $$1 i32)
-    (local $$$pre31 i32)
-    (local $$$pre i32)
     (i32.load
       (i32.const 8)
     )
@@ -2411,24 +2222,6 @@
     (local $$conv3 i32)
     (local $$conv i32)
     (local $$1 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$wpos i32)
-    (local $$wend i32)
-    (local $$wbase i32)
-    (local $$tobool i32)
-    (local $$sub i32)
-    (local $$rpos i32)
-    (local $$rend i32)
-    (local $$or5 i32)
-    (local $$or i32)
-    (local $$buf_size i32)
-    (local $$buf i32)
-    (local $$and i32)
-    (local $$add$ptr i32)
-    (local $$4 i32)
-    (local $$3 i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -2528,55 +2321,6 @@
   )
   (func $_wcrtomb (param $$s i32) (param $$wc i32) (param $$st i32) (result i32)
     (local $$retval$0 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$tobool i32)
-    (local $$sub27 i32)
-    (local $$shr40$25 i32)
-    (local $$shr35$24 i32)
-    (local $$shr31$23 i32)
-    (local $$shr18$27 i32)
-    (local $$shr14$26 i32)
-    (local $$shr$28 i32)
-    (local $$or6 i32)
-    (local $$or46 i32)
-    (local $$or42 i32)
-    (local $$or37 i32)
-    (local $$or32 i32)
-    (local $$or24 i32)
-    (local $$or20 i32)
-    (local $$or15 i32)
-    (local $$or$cond i32)
-    (local $$or i32)
-    (local $$incdec$ptr44 i32)
-    (local $$incdec$ptr39 i32)
-    (local $$incdec$ptr34 i32)
-    (local $$incdec$ptr22 i32)
-    (local $$incdec$ptr17 i32)
-    (local $$incdec$ptr i32)
-    (local $$conv7 i32)
-    (local $$conv5 i32)
-    (local $$conv47 i32)
-    (local $$conv43 i32)
-    (local $$conv38 i32)
-    (local $$conv33 i32)
-    (local $$conv25 i32)
-    (local $$conv21 i32)
-    (local $$conv16 i32)
-    (local $$conv i32)
-    (local $$cmp9 i32)
-    (local $$cmp28 i32)
-    (local $$cmp2 i32)
-    (local $$cmp11 i32)
-    (local $$cmp i32)
-    (local $$call i32)
-    (local $$and45 i32)
-    (local $$and41 i32)
-    (local $$and36 i32)
-    (local $$and23 i32)
-    (local $$and19 i32)
-    (local $$and i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -2802,10 +2546,6 @@
   )
   (func $_wctomb (param $$s i32) (param $$wc i32) (result i32)
     (local $$retval$0 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$tobool i32)
-    (local $$call i32)
     (i32.load
       (i32.const 8)
     )
@@ -2862,32 +2602,6 @@
     (local $$conv1 i32)
     (local $$5 i32)
     (local $$1 i32)
-    (local $sp i32)
-    (local $$tobool36 i32)
-    (local $$tobool25$26 i32)
-    (local $$tobool25 i32)
-    (local $$tobool$40 i32)
-    (local $$tobool i32)
-    (local $$or$cond$42 i32)
-    (local $$or$cond i32)
-    (local $$neg i32)
-    (local $$lnot i32)
-    (local $$cond i32)
-    (local $$cmp8 i32)
-    (local $$cmp28 i32)
-    (local $$cmp11$32 i32)
-    (local $$cmp11 i32)
-    (local $$cmp i32)
-    (local $$and16 i32)
-    (local $$and15 i32)
-    (local $$and$39 i32)
-    (local $$and i32)
-    (local $$7 i32)
-    (local $$6 i32)
-    (local $$4 i32)
-    (local $$3 i32)
-    (local $$2 i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -3326,11 +3040,6 @@
   )
   (func $___syscall_ret (param $$r i32) (result i32)
     (local $$retval$0 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$sub i32)
-    (local $$cmp i32)
-    (local $$call i32)
     (i32.load
       (i32.const 8)
     )
@@ -3368,21 +3077,6 @@
     (local $$rend i32)
     (local $$5 i32)
     (local $$4 i32)
-    (local $sp i32)
-    (local $$write i32)
-    (local $$wend i32)
-    (local $$tobool i32)
-    (local $$sub$ptr$sub i32)
-    (local $$sub$ptr$rhs$cast i32)
-    (local $$sub$ptr$lhs$cast i32)
-    (local $$seek i32)
-    (local $$cmp4 i32)
-    (local $$cmp i32)
-    (local $$6 i32)
-    (local $$3 i32)
-    (local $$2 i32)
-    (local $$1 i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -3516,11 +3210,6 @@
     )
   )
   (func $_cleanup (param $$p i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$tobool i32)
-    (local $$lockcount i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -4010,598 +3699,6 @@
     (local $$$l10n$0 i32)
     (local $$$$i i32)
     (local $$$ i32)
-    (local $$xor816$i i32)
-    (local $$xor655$i i32)
-    (local $$xor457 i32)
-    (local $$xor449 i32)
-    (local $$xor186$i i32)
-    (local $$xor167$i i32)
-    (local $$xor$i i32)
-    (local $$xor i32)
-    (local $$w$add653$i i32)
-    (local $$w$add165$i i32)
-    (local $$tobool90 i32)
-    (local $$tobool9$i i32)
-    (local $$tobool79$i i32)
-    (local $$tobool76552$i i32)
-    (local $$tobool76$i i32)
-    (local $$tobool63$i i32)
-    (local $$tobool55 i32)
-    (local $$tobool490$i i32)
-    (local $$tobool484$i i32)
-    (local $$tobool470 i32)
-    (local $$tobool462 i32)
-    (local $$tobool459 i32)
-    (local $$tobool407 i32)
-    (local $$tobool400$i i32)
-    (local $$tobool380$i i32)
-    (local $$tobool380 i32)
-    (local $$tobool371$i i32)
-    (local $$tobool349 i32)
-    (local $$tobool314 i32)
-    (local $$tobool295 i32)
-    (local $$tobool294$i i32)
-    (local $$tobool290$i i32)
-    (local $$tobool290$569$i i32)
-    (local $$tobool290 i32)
-    (local $$tobool28 i32)
-    (local $$tobool264 i32)
-    (local $$tobool255 i32)
-    (local $$tobool244$i i32)
-    (local $$tobool222$i i32)
-    (local $$tobool217 i32)
-    (local $$tobool208 i32)
-    (local $$tobool178 i32)
-    (local $$tobool141 i32)
-    (local $$tobool140$i i32)
-    (local $$tobool139$i i32)
-    (local $$tobool13$i i32)
-    (local $$tobool$i$i i32)
-    (local $$tobool$i$473$i i32)
-    (local $$tobool$i$467$i i32)
-    (local $$tobool$i$461$i i32)
-    (local $$tobool$i$455$i i32)
-    (local $$tobool$i$449$i i32)
-    (local $$tobool$i$443$i i32)
-    (local $$tobool$i$437$i i32)
-    (local $$tobool$i$431$i i32)
-    (local $$tobool$i$425$i i32)
-    (local $$tobool$i$419$i i32)
-    (local $$tobool$i$413$i i32)
-    (local $$tobool$i$407$i i32)
-    (local $$tobool$i$245 i32)
-    (local $$tobool$i$232 i32)
-    (local $$tobool$i$217 i32)
-    (local $$tobool$i i32)
-    (local $$tobool i32)
-    (local $$sum i32)
-    (local $$sub91$i f64)
-    (local $$sub88$i f64)
-    (local $$sub86$i f64)
-    (local $$sub85$i f64)
-    (local $$sub84 i32)
-    (local $$sub59 i32)
-    (local $$sub54 i32)
-    (local $$sub480$i i32)
-    (local $$sub478$i i32)
-    (local $$sub389 i32)
-    (local $$sub357$i i32)
-    (local $$sub336$i i32)
-    (local $$sub219$i f64)
-    (local $$sub181$i i32)
-    (local $$sub175 i32)
-    (local $$sub146$i i32)
-    (local $$sub135 i32)
-    (local $$sub124$i f64)
-    (local $$sub101 i32)
-    (local $$sub$ptr$sub813$i i32)
-    (local $$sub$ptr$sub696$i i32)
-    (local $$sub$ptr$sub650$i i32)
-    (local $$sub$ptr$sub635$i i32)
-    (local $$sub$ptr$sub635$505$i i32)
-    (local $$sub$ptr$sub510$i i32)
-    (local $$sub$ptr$sub429$i i32)
-    (local $$sub$ptr$sub346$i i32)
-    (local $$sub$ptr$sub320$i i32)
-    (local $$sub$ptr$sub319 i32)
-    (local $$sub$ptr$sub307$i i32)
-    (local $$sub$ptr$sub268 i32)
-    (local $$sub$ptr$sub162$i i32)
-    (local $$sub$ptr$sub$i i32)
-    (local $$sub$ptr$rhs$cast812$i i32)
-    (local $$sub$ptr$rhs$cast788$i i32)
-    (local $$sub$ptr$rhs$cast695$i i32)
-    (local $$sub$ptr$rhs$cast649$i i32)
-    (local $$sub$ptr$rhs$cast634$i i32)
-    (local $$sub$ptr$rhs$cast634$504$i i32)
-    (local $$sub$ptr$rhs$cast432 i32)
-    (local $$sub$ptr$rhs$cast428$i i32)
-    (local $$sub$ptr$rhs$cast362 i32)
-    (local $$sub$ptr$rhs$cast319$i i32)
-    (local $$sub$ptr$rhs$cast318 i32)
-    (local $$sub$ptr$rhs$cast306$i i32)
-    (local $$sub$ptr$rhs$cast267 i32)
-    (local $$sub$ptr$rhs$cast174$i i32)
-    (local $$sub$ptr$rhs$cast161$i i32)
-    (local $$sub$ptr$rhs$cast152$i i32)
-    (local $$sub$ptr$rhs$cast i32)
-    (local $$sub$ptr$lhs$cast508$i i32)
-    (local $$sub$ptr$lhs$cast431 i32)
-    (local $$sub$ptr$lhs$cast361 i32)
-    (local $$sub$ptr$lhs$cast344$i i32)
-    (local $$sub$ptr$lhs$cast305$i i32)
-    (local $$sub$ptr$lhs$cast$i i32)
-    (local $$sub$ptr$lhs$cast i32)
-    (local $$sub$ptr$div511$i i32)
-    (local $$sub$ptr$div430$i i32)
-    (local $$sub$ptr$div347$i i32)
-    (local $$sub$ptr$div321$i i32)
-    (local $$sub$ptr$div$i i32)
-    (local $$sub$i f64)
-    (local $$sub i32)
-    (local $$shr283$i i32)
-    (local $$shr i32)
-    (local $$shl60 i32)
-    (local $$shl280$i i32)
-    (local $$shl i32)
-    (local $$rem494$i i32)
-    (local $$rem494$510$i i32)
-    (local $$rem360$i i32)
-    (local $$or613$i i32)
-    (local $$or504$i i32)
-    (local $$or246 i32)
-    (local $$or120$i i32)
-    (local $$or100 i32)
-    (local $$or$i i32)
-    (local $$or$cond401$i i32)
-    (local $$or$cond397$i i32)
-    (local $$or$cond395$i i32)
-    (local $$or$cond2$i i32)
-    (local $$or$cond195 i32)
-    (local $$or$cond193 i32)
-    (local $$or$cond1$not$i i32)
-    (local $$or$cond$i i32)
-    (local $$or$cond i32)
-    (local $$notlhs$i i32)
-    (local $$mul407$i f64)
-    (local $$mul406$i f64)
-    (local $$mul349$i i32)
-    (local $$mul202$i f64)
-    (local $$mul$i$202 i32)
-    (local $$mul$i i32)
-    (local $$lnot483 i32)
-    (local $$lnot455$i i32)
-    (local $$lnot$i i32)
-    (local $$lnot$ext i32)
-    (local $$land$ext$neg$i i32)
-    (local $$l10n$0$phi i32)
-    (local $$l$1$i i32)
-    (local $$isdigit190 i32)
-    (local $$isdigit188 i32)
-    (local $$isdigit$i$207 i32)
-    (local $$isdigit$i i32)
-    (local $$isdigit$6$i$199 i32)
-    (local $$isdigit$6$i i32)
-    (local $$isdigit i32)
-    (local $$incdec$ptr645$i i32)
-    (local $$incdec$ptr296$i i32)
-    (local $$incdec$ptr292$a$3$571$i i32)
-    (local $$incdec$ptr137$i i32)
-    (local $$incdec$ptr112$i i32)
-    (local $$inc468$i i32)
-    (local $$idxprom$i i32)
-    (local $$i86 i32)
-    (local $$i137 i32)
-    (local $$expanded8 i32)
-    (local $$expanded7 i32)
-    (local $$expanded6 i32)
-    (local $$expanded4 i32)
-    (local $$expanded15 i32)
-    (local $$expanded14 i32)
-    (local $$expanded13 i32)
-    (local $$expanded11 i32)
-    (local $$expanded10 i32)
-    (local $$expanded i32)
-    (local $$exitcond$i i32)
-    (local $$div378$i i32)
-    (local $$div356$i i32)
-    (local $$div274$i i32)
-    (local $$dec481$i i32)
-    (local $$dec476$i i32)
-    (local $$dec$i i32)
-    (local $$conv83 i32)
-    (local $$conv69 i32)
-    (local $$conv646$i i32)
-    (local $$conv644$i i32)
-    (local $$conv58 i32)
-    (local $$conv32 i32)
-    (local $$conv232 i32)
-    (local $$conv229 i32)
-    (local $$conv218$i f64)
-    (local $$conv163 i32)
-    (local $$conv134 i32)
-    (local $$conv123$i f64)
-    (local $$conv121$i i32)
-    (local $$conv120 i32)
-    (local $$conv118$393$i i32)
-    (local $$conv114$i i32)
-    (local $$conv111$i i32)
-    (local $$conv1$i i32)
-    (local $$conv$i$205 i32)
-    (local $$conv$i i32)
-    (local $$conv$4$i$211 i32)
-    (local $$conv$4$i$197 i32)
-    (local $$conv$4$i i32)
-    (local $$cond53$i i32)
-    (local $$cond354 i32)
-    (local $$cmp97 i32)
-    (local $$cmp82$i i32)
-    (local $$cmp818$i i32)
-    (local $$cmp790$i i32)
-    (local $$cmp777$i i32)
-    (local $$cmp770$i i32)
-    (local $$cmp770$495$i i32)
-    (local $$cmp765$i i32)
-    (local $$cmp760$i i32)
-    (local $$cmp75 i32)
-    (local $$cmp748$i i32)
-    (local $$cmp748$499$i i32)
-    (local $$cmp745$i i32)
-    (local $$cmp727$i i32)
-    (local $$cmp722$i i32)
-    (local $$cmp722$483$i i32)
-    (local $$cmp710$i i32)
-    (local $$cmp710$487$i i32)
-    (local $$cmp707$i i32)
-    (local $$cmp707$486$i i32)
-    (local $$cmp686$i i32)
-    (local $$cmp678$i i32)
-    (local $$cmp678$491$i i32)
-    (local $$cmp673$i i32)
-    (local $$cmp665$i i32)
-    (local $$cmp660$i i32)
-    (local $$cmp65 i32)
-    (local $$cmp636$i i32)
-    (local $$cmp636$506$i i32)
-    (local $$cmp623$i i32)
-    (local $$cmp617$i i32)
-    (local $$cmp59$i i32)
-    (local $$cmp577$i i32)
-    (local $$cmp563$i i32)
-    (local $$cmp528$i i32)
-    (local $$cmp515$i i32)
-    (local $$cmp505$i i32)
-    (local $$cmp50$308 i32)
-    (local $$cmp50 i32)
-    (local $$cmp495$i i32)
-    (local $$cmp495$511$i i32)
-    (local $$cmp48$i i32)
-    (local $$cmp478$295 i32)
-    (local $$cmp478 i32)
-    (local $$cmp473$i i32)
-    (local $$cmp470$i i32)
-    (local $$cmp466 i32)
-    (local $$cmp450$i i32)
-    (local $$cmp443$i i32)
-    (local $$cmp442 i32)
-    (local $$cmp434 i32)
-    (local $$cmp433$i i32)
-    (local $$cmp433$515$i i32)
-    (local $$cmp421 i32)
-    (local $$cmp420$i i32)
-    (local $$cmp416$i i32)
-    (local $$cmp416$519$i i32)
-    (local $$cmp413 i32)
-    (local $$cmp411$i i32)
-    (local $$cmp404$324 i32)
-    (local $$cmp404 i32)
-    (local $$cmp403$i i32)
-    (local $$cmp397 i32)
-    (local $$cmp390$i i32)
-    (local $$cmp390 i32)
-    (local $$cmp385$i i32)
-    (local $$cmp385 i32)
-    (local $$cmp377$314 i32)
-    (local $$cmp377 i32)
-    (local $$cmp363$525$i i32)
-    (local $$cmp350$i i32)
-    (local $$cmp333$i i32)
-    (local $$cmp324$i i32)
-    (local $$cmp324$529$i i32)
-    (local $$cmp323 i32)
-    (local $$cmp315$i i32)
-    (local $$cmp308$i i32)
-    (local $$cmp306 i32)
-    (local $$cmp277$i i32)
-    (local $$cmp277$533$i i32)
-    (local $$cmp270 i32)
-    (local $$cmp265$i i32)
-    (local $$cmp259$i i32)
-    (local $$cmp259$537$i i32)
-    (local $$cmp249$i i32)
-    (local $$cmp240 i32)
-    (local $$cmp235$i i32)
-    (local $$cmp235$543$i i32)
-    (local $$cmp228$i i32)
-    (local $$cmp225$i i32)
-    (local $$cmp225$547$i i32)
-    (local $$cmp211 i32)
-    (local $$cmp205$i i32)
-    (local $$cmp196$i i32)
-    (local $$cmp188$i i32)
-    (local $$cmp181 i32)
-    (local $$cmp18 i32)
-    (local $$cmp176 i32)
-    (local $$cmp165 i32)
-    (local $$cmp147$i i32)
-    (local $$cmp13 i32)
-    (local $$cmp127$i i32)
-    (local $$cmp126 i32)
-    (local $$cmp116 i32)
-    (local $$cmp111 i32)
-    (local $$cmp105 i32)
-    (local $$cmp103$i i32)
-    (local $$cmp1 i32)
-    (local $$cmp i32)
-    (local $$call55$i f64)
-    (local $$call345 i32)
-    (local $$call344 i32)
-    (local $$call i32)
-    (local $$arrayidx81 i32)
-    (local $$arrayidx73 i32)
-    (local $$arrayidx489$i i32)
-    (local $$arrayidx481 i32)
-    (local $$arrayidx469 i32)
-    (local $$arrayidx35 i32)
-    (local $$arrayidx192 i32)
-    (local $$arrayidx173 i32)
-    (local $$arrayidx16 i32)
-    (local $$arrayidx132 i32)
-    (local $$arrayidx124 i32)
-    (local $$arrayidx117$i i32)
-    (local $$arrayidx$i i32)
-    (local $$arglist_next3 i32)
-    (local $$arglist_next i32)
-    (local $$arglist_current2 i32)
-    (local $$arglist_current i32)
-    (local $$and379$i i32)
-    (local $$and36$i i32)
-    (local $$and289 i32)
-    (local $$and263 i32)
-    (local $$and254 i32)
-    (local $$and216 i32)
-    (local $$and210 i32)
-    (local $$and134$i i32)
-    (local $$and$i$i i32)
-    (local $$and$i$472$i i32)
-    (local $$and$i$466$i i32)
-    (local $$and$i$460$i i32)
-    (local $$and$i$454$i i32)
-    (local $$and$i$448$i i32)
-    (local $$and$i$442$i i32)
-    (local $$and$i$436$i i32)
-    (local $$and$i$430$i i32)
-    (local $$and$i$424$i i32)
-    (local $$and$i$418$i i32)
-    (local $$and$i$412$i i32)
-    (local $$and$i$406$i i32)
-    (local $$and$i$244 i32)
-    (local $$and$i$238 i32)
-    (local $$and$i$231 i32)
-    (local $$and$i$216 i32)
-    (local $$and$i i32)
-    (local $$and i32)
-    (local $$add90$i f64)
-    (local $$add87$i f64)
-    (local $$add810$i i32)
-    (local $$add737$i i32)
-    (local $$add612$i i32)
-    (local $$add608$i i32)
-    (local $$add561$i i32)
-    (local $$add477$neg$i i32)
-    (local $$add410$i f64)
-    (local $$add284$i i32)
-    (local $$add273$i i32)
-    (local $$add150$i i32)
-    (local $$add113$i i32)
-    (local $$add$ptr88 i32)
-    (local $$add$ptr473 i32)
-    (local $$add$ptr373$i i32)
-    (local $$add$ptr354$i i32)
-    (local $$add$ptr257 i32)
-    (local $$add$ptr139 i32)
-    (local $$add i32)
-    (local $$98 i32)
-    (local $$97 i32)
-    (local $$96 i32)
-    (local $$94 i32)
-    (local $$93 i32)
-    (local $$91 i32)
-    (local $$89 i32)
-    (local $$88 i32)
-    (local $$87 i32)
-    (local $$85 i32)
-    (local $$84 i32)
-    (local $$83 i32)
-    (local $$82 i32)
-    (local $$81 i32)
-    (local $$80 i32)
-    (local $$8 i32)
-    (local $$79 i32)
-    (local $$78 i32)
-    (local $$77 i32)
-    (local $$75 i32)
-    (local $$74 i32)
-    (local $$73 i32)
-    (local $$72 i32)
-    (local $$71 i32)
-    (local $$70 i32)
-    (local $$69 i32)
-    (local $$68 i32)
-    (local $$67 i32)
-    (local $$66 i32)
-    (local $$64 i32)
-    (local $$63 i32)
-    (local $$62 i32)
-    (local $$61 i32)
-    (local $$6 i32)
-    (local $$58 i32)
-    (local $$57 i32)
-    (local $$55 i32)
-    (local $$53 i32)
-    (local $$51 i32)
-    (local $$50 i32)
-    (local $$46 i32)
-    (local $$45 i32)
-    (local $$44 i32)
-    (local $$43 i32)
-    (local $$42 i32)
-    (local $$41 i32)
-    (local $$40 i32)
-    (local $$4 i32)
-    (local $$39 i32)
-    (local $$37 i32)
-    (local $$35 i32)
-    (local $$34 i32)
-    (local $$33 i32)
-    (local $$31 i32)
-    (local $$30 i32)
-    (local $$3 i32)
-    (local $$268 i32)
-    (local $$266 i32)
-    (local $$265 i32)
-    (local $$264 i32)
-    (local $$263 i32)
-    (local $$262 i32)
-    (local $$261 i32)
-    (local $$260 i32)
-    (local $$26 i32)
-    (local $$258 i32)
-    (local $$257 i32)
-    (local $$256 i32)
-    (local $$254 i32)
-    (local $$253 i32)
-    (local $$252 i32)
-    (local $$251 i32)
-    (local $$250 i32)
-    (local $$25 i32)
-    (local $$248 i32)
-    (local $$247 i32)
-    (local $$246 i32)
-    (local $$245 i32)
-    (local $$244 i32)
-    (local $$241 i32)
-    (local $$240 i32)
-    (local $$24 i32)
-    (local $$238 i32)
-    (local $$236 i32)
-    (local $$235 i32)
-    (local $$233 i32)
-    (local $$232 i32)
-    (local $$230 i32)
-    (local $$23 i32)
-    (local $$229 i32)
-    (local $$227 i32)
-    (local $$226 i32)
-    (local $$224 i32)
-    (local $$222 i32)
-    (local $$221 i32)
-    (local $$220 i32)
-    (local $$22 i32)
-    (local $$218 i32)
-    (local $$214 i32)
-    (local $$213 i32)
-    (local $$212 i32)
-    (local $$21 i32)
-    (local $$209 i32)
-    (local $$208 i32)
-    (local $$207 i32)
-    (local $$206 i32)
-    (local $$205 i32)
-    (local $$204 i32)
-    (local $$203 i32)
-    (local $$202 i32)
-    (local $$20 i32)
-    (local $$2 i32)
-    (local $$199 i32)
-    (local $$197 i32)
-    (local $$196 i32)
-    (local $$195 i32)
-    (local $$192 i32)
-    (local $$191 i32)
-    (local $$190 i32)
-    (local $$19 i32)
-    (local $$189 i32)
-    (local $$188 i32)
-    (local $$186 i32)
-    (local $$185 i32)
-    (local $$184 i32)
-    (local $$183 i32)
-    (local $$182 i32)
-    (local $$180 i32)
-    (local $$178 i32)
-    (local $$176 i32)
-    (local $$175 i32)
-    (local $$174 i32)
-    (local $$173 i32)
-    (local $$171 i32)
-    (local $$17 i32)
-    (local $$168 i32)
-    (local $$167 i32)
-    (local $$166 i32)
-    (local $$165 i32)
-    (local $$164 i32)
-    (local $$162 i32)
-    (local $$160 i32)
-    (local $$158 i32)
-    (local $$157 i32)
-    (local $$156 i32)
-    (local $$155 i32)
-    (local $$154 i32)
-    (local $$153 i32)
-    (local $$152 i32)
-    (local $$150 i32)
-    (local $$15 i32)
-    (local $$147 i32)
-    (local $$146 i32)
-    (local $$145 i32)
-    (local $$141 i32)
-    (local $$14 i32)
-    (local $$139 i32)
-    (local $$138 i32)
-    (local $$136 i32)
-    (local $$134 i32)
-    (local $$133 i32)
-    (local $$132 i32)
-    (local $$13 i32)
-    (local $$128 i32)
-    (local $$127 i32)
-    (local $$125 i32)
-    (local $$124 i32)
-    (local $$123 i32)
-    (local $$122 i32)
-    (local $$120 i32)
-    (local $$119 i32)
-    (local $$117 i32)
-    (local $$115 i32)
-    (local $$114 i32)
-    (local $$113 i32)
-    (local $$112 i32)
-    (local $$111 i32)
-    (local $$110 i32)
-    (local $$11 i32)
-    (local $$109 i32)
-    (local $$108 i32)
-    (local $$106 i32)
-    (local $$105 i32)
-    (local $$104 i32)
-    (local $$100 i32)
-    (local $$$pre567$i i32)
-    (local $$$pre564$i i32)
-    (local $$$pre357 i32)
-    (local $$$pre$i i32)
-    (local $$$pre i32)
-    (local $$$404$i f64)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -11270,161 +10367,6 @@
     (local $$109 i32)
     (local $$103 f64)
     (local $$102 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$expanded95 i32)
-    (local $$expanded94 i32)
-    (local $$expanded93 i32)
-    (local $$expanded91 i32)
-    (local $$expanded90 i32)
-    (local $$expanded88 i32)
-    (local $$expanded87 i32)
-    (local $$expanded86 i32)
-    (local $$expanded84 i32)
-    (local $$expanded83 i32)
-    (local $$expanded81 i32)
-    (local $$expanded80 i32)
-    (local $$expanded79 i32)
-    (local $$expanded77 i32)
-    (local $$expanded76 i32)
-    (local $$expanded74 i32)
-    (local $$expanded73 i32)
-    (local $$expanded72 i32)
-    (local $$expanded70 i32)
-    (local $$expanded69 i32)
-    (local $$expanded67 i32)
-    (local $$expanded66 i32)
-    (local $$expanded65 i32)
-    (local $$expanded63 i32)
-    (local $$expanded62 i32)
-    (local $$expanded60 i32)
-    (local $$expanded59 i32)
-    (local $$expanded58 i32)
-    (local $$expanded56 i32)
-    (local $$expanded55 i32)
-    (local $$expanded53 i32)
-    (local $$expanded52 i32)
-    (local $$expanded51 i32)
-    (local $$expanded49 i32)
-    (local $$expanded48 i32)
-    (local $$expanded46 i32)
-    (local $$expanded45 i32)
-    (local $$expanded44 i32)
-    (local $$expanded42 i32)
-    (local $$expanded41 i32)
-    (local $$expanded39 i32)
-    (local $$expanded38 i32)
-    (local $$expanded37 i32)
-    (local $$expanded35 i32)
-    (local $$expanded34 i32)
-    (local $$expanded32 i32)
-    (local $$expanded31 i32)
-    (local $$expanded30 i32)
-    (local $$expanded28 i32)
-    (local $$expanded i32)
-    (local $$conv27$mask i32)
-    (local $$conv22 i32)
-    (local $$conv17$mask i32)
-    (local $$conv12 i32)
-    (local $$cmp i32)
-    (local $$arglist_next9 i32)
-    (local $$arglist_next6 i32)
-    (local $$arglist_next3 i32)
-    (local $$arglist_next27 i32)
-    (local $$arglist_next24 i32)
-    (local $$arglist_next21 i32)
-    (local $$arglist_next18 i32)
-    (local $$arglist_next15 i32)
-    (local $$arglist_next12 i32)
-    (local $$arglist_next i32)
-    (local $$arglist_current8 i32)
-    (local $$arglist_current5 i32)
-    (local $$arglist_current26 i32)
-    (local $$arglist_current23 i32)
-    (local $$arglist_current20 i32)
-    (local $$arglist_current2 i32)
-    (local $$arglist_current17 i32)
-    (local $$arglist_current14 i32)
-    (local $$arglist_current11 i32)
-    (local $$arglist_current i32)
-    (local $$99 i32)
-    (local $$98 i32)
-    (local $$97 i32)
-    (local $$96 i32)
-    (local $$95 i32)
-    (local $$94 i32)
-    (local $$90 i32)
-    (local $$9 i32)
-    (local $$89 i32)
-    (local $$88 i32)
-    (local $$87 i32)
-    (local $$86 i32)
-    (local $$85 i32)
-    (local $$84 i32)
-    (local $$83 i32)
-    (local $$80 i32)
-    (local $$8 i32)
-    (local $$76 i32)
-    (local $$75 i32)
-    (local $$74 i32)
-    (local $$73 i32)
-    (local $$72 i32)
-    (local $$71 i32)
-    (local $$70 i32)
-    (local $$7 i32)
-    (local $$69 i32)
-    (local $$65 i32)
-    (local $$64 i32)
-    (local $$63 i32)
-    (local $$62 i32)
-    (local $$61 i32)
-    (local $$60 i32)
-    (local $$59 i32)
-    (local $$58 i32)
-    (local $$55 i32)
-    (local $$51 i32)
-    (local $$50 i32)
-    (local $$49 i32)
-    (local $$48 i32)
-    (local $$47 i32)
-    (local $$46 i32)
-    (local $$45 i32)
-    (local $$44 i32)
-    (local $$41 i32)
-    (local $$40 i32)
-    (local $$4 i32)
-    (local $$38 i32)
-    (local $$35 i32)
-    (local $$34 i32)
-    (local $$33 i32)
-    (local $$32 i32)
-    (local $$31 i32)
-    (local $$30 i32)
-    (local $$3 i32)
-    (local $$29 i32)
-    (local $$28 i32)
-    (local $$24 i32)
-    (local $$23 i32)
-    (local $$22 i32)
-    (local $$21 i32)
-    (local $$20 i32)
-    (local $$2 i32)
-    (local $$19 i32)
-    (local $$18 i32)
-    (local $$17 i32)
-    (local $$15 i32)
-    (local $$14 i32)
-    (local $$11 i32)
-    (local $$108 i32)
-    (local $$107 i32)
-    (local $$106 i32)
-    (local $$105 i32)
-    (local $$104 i32)
-    (local $$101 i32)
-    (local $$100 i32)
-    (local $$10 i32)
-    (local $$1 i32)
-    (local $$0 i32)
     (i32.load
       (i32.const 8)
     )
@@ -12030,27 +10972,6 @@
     (local $$div9 i32)
     (local $$9 i32)
     (local $$21 i32)
-    (local $sp i32)
-    (local $label i32)
-    (local $$tobool$8 i32)
-    (local $$rem4 i32)
-    (local $$conv6 i32)
-    (local $$add5 i32)
-    (local $$6 i32)
-    (local $$5 i32)
-    (local $$4 i32)
-    (local $$3 i32)
-    (local $$22 i32)
-    (local $$20 i32)
-    (local $$2 i32)
-    (local $$19 i32)
-    (local $$18 i32)
-    (local $$17 i32)
-    (local $$16 i32)
-    (local $$15 i32)
-    (local $$12 i32)
-    (local $$11 i32)
-    (local $$10 i32)
     (i32.load
       (i32.const 8)
     )
@@ -12268,17 +11189,6 @@
     (local $$3 i32)
     (local $$1 i32)
     (local $$0 i32)
-    (local $label i32)
-    (local $$tobool i32)
-    (local $$or$cond i32)
-    (local $$cmp3$14 i32)
-    (local $$cmp3 i32)
-    (local $$cmp1 i32)
-    (local $$cmp i32)
-    (local $$and$i$15 i32)
-    (local $$and$i i32)
-    (local $$and i32)
-    (local $$$pre i32)
     (set_local $sp
       (i32.load
         (i32.const 8)
@@ -12940,722 +11850,6 @@
     (local $$1 i32)
     (local $$$lcssa290 i32)
     (local $$$lcssa i32)
-    (local $sp i32)
-    (local $$xor$i$i i32)
-    (local $$tobool97$i$i i32)
-    (local $$tobool364$i i32)
-    (local $$tobool30$i i32)
-    (local $$tobool296$i$i i32)
-    (local $$tobool293$i i32)
-    (local $$tobool237$i i32)
-    (local $$tobool228$i$i i32)
-    (local $$tobool200$i i32)
-    (local $$tobool195$i i32)
-    (local $$tobool107 i32)
-    (local $$tobool$i$i i32)
-    (local $$sub99$i i32)
-    (local $$sub80$i$i i32)
-    (local $$sub76$i$i i32)
-    (local $$sub71$i$i i32)
-    (local $$sub67$i$i i32)
-    (local $$sub67$i i32)
-    (local $$sub6$i i32)
-    (local $$sub50$i i32)
-    (local $$sub4$i i32)
-    (local $$sub343$i i32)
-    (local $$sub339$i i32)
-    (local $$sub334$i i32)
-    (local $$sub329$i i32)
-    (local $$sub275$i$i i32)
-    (local $$sub271$i$i i32)
-    (local $$sub266$i$i i32)
-    (local $$sub262$i$i i32)
-    (local $$sub22$i i32)
-    (local $$sub14$i i32)
-    (local $$sub118$i i32)
-    (local $$sub10$i i32)
-    (local $$sub$ptr$sub$i$41$i i32)
-    (local $$sub$ptr$rhs$cast$i$i i32)
-    (local $$sub$ptr$rhs$cast$i$40$i i32)
-    (local $$sub$ptr$rhs$cast$i i32)
-    (local $$sub$ptr$lhs$cast$i$i i32)
-    (local $$sub$ptr$lhs$cast$i$39$i i32)
-    (local $$sub$ptr$lhs$cast$i i32)
-    (local $$sub$i$i i32)
-    (local $$sub$i i32)
-    (local $$size$i$i$i i32)
-    (local $$shr91$i i32)
-    (local $$shr88$i i32)
-    (local $$shr86$i$i i32)
-    (local $$shr84$i i32)
-    (local $$shr82$i$i i32)
-    (local $$shr80$i i32)
-    (local $$shr8$i i32)
-    (local $$shr77$i$i i32)
-    (local $$shr76$i i32)
-    (local $$shr72$i$i i32)
-    (local $$shr72$i i32)
-    (local $$shr7$i$145 i32)
-    (local $$shr68$i$i i32)
-    (local $$shr63 i32)
-    (local $$shr60 i32)
-    (local $$shr56 i32)
-    (local $$shr52 i32)
-    (local $$shr5$i$142 i32)
-    (local $$shr5$i i32)
-    (local $$shr48 i32)
-    (local $$shr45 i32)
-    (local $$shr41$i i32)
-    (local $$shr391$i i32)
-    (local $$shr378$i i32)
-    (local $$shr349$i i32)
-    (local $$shr345$i i32)
-    (local $$shr340$i i32)
-    (local $$shr335$i i32)
-    (local $$shr330$i i32)
-    (local $$shr322$i$i i32)
-    (local $$shr310$i$i i32)
-    (local $$shr281$i$i i32)
-    (local $$shr277$i$i i32)
-    (local $$shr272$i$i i32)
-    (local $$shr27$i i32)
-    (local $$shr267$i$i i32)
-    (local $$shr263$i$i i32)
-    (local $$shr20$i i32)
-    (local $$shr19$i i32)
-    (local $$shr16$i$148 i32)
-    (local $$shr16$i i32)
-    (local $$shr123$i$i i32)
-    (local $$shr12$i i32)
-    (local $$shr110$i$i i32)
-    (local $$shr11$i$147 i32)
-    (local $$shr$i i32)
-    (local $$shl90 i32)
-    (local $$shl81$i$i i32)
-    (local $$shl72 i32)
-    (local $$shl65 i32)
-    (local $$shl52$i i32)
-    (local $$shl48$i$i i32)
-    (local $$shl384$i i32)
-    (local $$shl35 i32)
-    (local $$shl344$i i32)
-    (local $$shl316$i$i i32)
-    (local $$shl31$i i32)
-    (local $$shl288$i i32)
-    (local $$shl276$i$i i32)
-    (local $$shl221$i$i i32)
-    (local $$shl195$i i32)
-    (local $$shl192$i i32)
-    (local $$shl15$i i32)
-    (local $$shl131$i$i i32)
-    (local $$shl12 i32)
-    (local $$shl116$i$i i32)
-    (local $$shl102 i32)
-    (local $$shl$i$i i32)
-    (local $$shl$i$47$i i32)
-    (local $$shl$i$19$i i32)
-    (local $$shl$i i32)
-    (local $$shl i32)
-    (local $$sflags235$i i32)
-    (local $$sflags193$i i32)
-    (local $$retval$0 i32)
-    (local $$parent433$i i32)
-    (local $$parent406$i i32)
-    (local $$parent369$i i32)
-    (local $$parent361$i$i i32)
-    (local $$parent337$i$i i32)
-    (local $$parent301$i$i i32)
-    (local $$parent257$i i32)
-    (local $$parent240$i i32)
-    (local $$parent226$i i32)
-    (local $$parent196$i$i i32)
-    (local $$parent179$i$i i32)
-    (local $$parent166$i i32)
-    (local $$parent165$i$i i32)
-    (local $$parent162$i$i i32)
-    (local $$parent149$i i32)
-    (local $$parent138$i$i i32)
-    (local $$parent135$i i32)
-    (local $$parent$i$i i32)
-    (local $$parent$i$51$i i32)
-    (local $$parent$i$162 i32)
-    (local $$parent$i i32)
-    (local $$or96 i32)
-    (local $$or93 i32)
-    (local $$or44$i$i i32)
-    (local $$or40 i32)
-    (local $$or368$i i32)
-    (local $$or33$i$i i32)
-    (local $$or300$i$i i32)
-    (local $$or297$i i32)
-    (local $$or280$i i32)
-    (local $$or28$i$i i32)
-    (local $$or278$i i32)
-    (local $$or270$i i32)
-    (local $$or267$i i32)
-    (local $$or264$i i32)
-    (local $$or232$i$i i32)
-    (local $$or23 i32)
-    (local $$or22$i$i i32)
-    (local $$or210$i$i i32)
-    (local $$or204$i i32)
-    (local $$or197 i32)
-    (local $$or194 i32)
-    (local $$or19$i$i i32)
-    (local $$or188$i i32)
-    (local $$or186$i i32)
-    (local $$or178$i i32)
-    (local $$or176 i32)
-    (local $$or172 i32)
-    (local $$or167 i32)
-    (local $$or110 i32)
-    (local $$or101$i$i i32)
-    (local $$or$i$i$i i32)
-    (local $$or$i$i i32)
-    (local $$or$i$28$i i32)
-    (local $$or$i$195 i32)
-    (local $$or$i i32)
-    (local $$or$cond98$i i32)
-    (local $$or$cond8$i i32)
-    (local $$or$cond7$i i32)
-    (local $$or$cond5$i i32)
-    (local $$or$cond3$i i32)
-    (local $$or$cond2$i i32)
-    (local $$or$cond1$i$184 i32)
-    (local $$or$cond1$i i32)
-    (local $$or$cond$i$189 i32)
-    (local $$or$cond$i i32)
-    (local $$not$cmp418$i i32)
-    (local $$not$cmp346$i$i i32)
-    (local $$not$cmp150$i$i i32)
-    (local $$next231$i i32)
-    (local $$next$i$i$i i32)
-    (local $$next$i$i i32)
-    (local $$next$i i32)
-    (local $$neg73 i32)
-    (local $$neg48$i i32)
-    (local $$neg132$i$i i32)
-    (local $$neg13 i32)
-    (local $$neg103$i i32)
-    (local $$neg$i$i i32)
-    (local $$neg$i$173 i32)
-    (local $$neg$i i32)
-    (local $$neg i32)
-    (local $$index356$i i32)
-    (local $$index288$i$i i32)
-    (local $$index$i$i i32)
-    (local $$index$i$54$i i32)
-    (local $$index$i$172 i32)
-    (local $$index$i i32)
-    (local $$head99$i i32)
-    (local $$head97 i32)
-    (local $$head94 i32)
-    (local $$head7$i$i$i i32)
-    (local $$head7$i$i i32)
-    (local $$head7$i$31$i i32)
-    (local $$head386$i i32)
-    (local $$head34$i$i i32)
-    (local $$head32$i$i i32)
-    (local $$head317$i$i i32)
-    (local $$head29$i$i i32)
-    (local $$head29$i i32)
-    (local $$head281$i i32)
-    (local $$head279$i i32)
-    (local $$head271$i i32)
-    (local $$head268$i i32)
-    (local $$head265$i i32)
-    (local $$head23$i$i i32)
-    (local $$head211$i$i i32)
-    (local $$head198 i32)
-    (local $$head195 i32)
-    (local $$head189$i i32)
-    (local $$head187$i i32)
-    (local $$head179$i i32)
-    (local $$head177 i32)
-    (local $$head173 i32)
-    (local $$head168 i32)
-    (local $$head118$i$i i32)
-    (local $$head$i$i$i i32)
-    (local $$head$i$i i32)
-    (local $$head$i$42$i i32)
-    (local $$head$i$29$i i32)
-    (local $$head$i$154 i32)
-    (local $$head$i i32)
-    (local $$head i32)
-    (local $$fd78$i$i i32)
-    (local $$fd54$i$i i32)
-    (local $$fd431$i i32)
-    (local $$fd408$i i32)
-    (local $$fd371$i i32)
-    (local $$fd359$i$i i32)
-    (local $$fd339$i$i i32)
-    (local $$fd312$i i32)
-    (local $$fd303$i$i i32)
-    (local $$fd247$i$i i32)
-    (local $$fd219$i i32)
-    (local $$fd160$i$i i32)
-    (local $$fd140$i$i i32)
-    (local $$fd123 i32)
-    (local $$fd103$i$i i32)
-    (local $$fd$i$i i32)
-    (local $$fd$i$164 i32)
-    (local $$fd$i i32)
-    (local $$exitcond$i$i i32)
-    (local $$cond3$i i32)
-    (local $$cond2$i$i i32)
-    (local $$cond2$i i32)
-    (local $$cmp99 i32)
-    (local $$cmp97$i$i i32)
-    (local $$cmp97$i i32)
-    (local $$cmp97$7$i i32)
-    (local $$cmp96$i i32)
-    (local $$cmp95$i i32)
-    (local $$cmp93$i i32)
-    (local $$cmp91$i i32)
-    (local $$cmp90$i i32)
-    (local $$cmp9$i$i i32)
-    (local $$cmp89$i i32)
-    (local $$cmp86$i$i i32)
-    (local $$cmp85$i i32)
-    (local $$cmp83$i$i i32)
-    (local $$cmp81$i$i i32)
-    (local $$cmp81$i$191 i32)
-    (local $$cmp81$i i32)
-    (local $$cmp79 i32)
-    (local $$cmp76$i i32)
-    (local $$cmp76 i32)
-    (local $$cmp75$i$i i32)
-    (local $$cmp72$i i32)
-    (local $$cmp70 i32)
-    (local $$cmp69$i i32)
-    (local $$cmp66$i$190 i32)
-    (local $$cmp66$i i32)
-    (local $$cmp65$i i32)
-    (local $$cmp63$i$i i32)
-    (local $$cmp63$i i32)
-    (local $$cmp62$i i32)
-    (local $$cmp60$i$i i32)
-    (local $$cmp60$i i32)
-    (local $$cmp59$i$i i32)
-    (local $$cmp57$i$i i32)
-    (local $$cmp57$i$188 i32)
-    (local $$cmp57$i i32)
-    (local $$cmp55$i$187 i32)
-    (local $$cmp55$i i32)
-    (local $$cmp54$i$i i32)
-    (local $$cmp51$i i32)
-    (local $$cmp5 i32)
-    (local $$cmp48$i i32)
-    (local $$cmp46$i$i i32)
-    (local $$cmp46$i$49$i i32)
-    (local $$cmp46$i i32)
-    (local $$cmp45$i$155 i32)
-    (local $$cmp45$i i32)
-    (local $$cmp44$i$i i32)
-    (local $$cmp43$i i32)
-    (local $$cmp422$i i32)
-    (local $$cmp42$i$i i32)
-    (local $$cmp41$i$i i32)
-    (local $$cmp401$i i32)
-    (local $$cmp40$i i32)
-    (local $$cmp396$i i32)
-    (local $$cmp388$i i32)
-    (local $$cmp38$i$i i32)
-    (local $$cmp38$i i32)
-    (local $$cmp374$i i32)
-    (local $$cmp36$i$i i32)
-    (local $$cmp36$i i32)
-    (local $$cmp350$i$i i32)
-    (local $$cmp35$i i32)
-    (local $$cmp34$i$i i32)
-    (local $$cmp34$i i32)
-    (local $$cmp332$i$i i32)
-    (local $$cmp33$i i32)
-    (local $$cmp327$i$i i32)
-    (local $$cmp323$i i32)
-    (local $$cmp32$i$185 i32)
-    (local $$cmp319$i$i i32)
-    (local $$cmp319$i i32)
-    (local $$cmp31 i32)
-    (local $$cmp306$i$i i32)
-    (local $$cmp301$i i32)
-    (local $$cmp3$i$i i32)
-    (local $$cmp29 i32)
-    (local $$cmp284$i i32)
-    (local $$cmp28$i$i i32)
-    (local $$cmp28$i i32)
-    (local $$cmp27$i$i i32)
-    (local $$cmp265$i i32)
-    (local $$cmp26$i i32)
-    (local $$cmp258$i$i i32)
-    (local $$cmp257$i i32)
-    (local $$cmp254$i$i i32)
-    (local $$cmp250$i i32)
-    (local $$cmp246$i i32)
-    (local $$cmp24$i$i i32)
-    (local $$cmp24$i i32)
-    (local $$cmp236$i$i i32)
-    (local $$cmp233$i i32)
-    (local $$cmp229$i i32)
-    (local $$cmp228$i i32)
-    (local $$cmp224$i i32)
-    (local $$cmp221$i i32)
-    (local $$cmp218$i i32)
-    (local $$cmp217$i i32)
-    (local $$cmp215$i$i i32)
-    (local $$cmp21$i i32)
-    (local $$cmp209$i i32)
-    (local $$cmp208$i i32)
-    (local $$cmp205$i i32)
-    (local $$cmp203$i i32)
-    (local $$cmp20$i$i i32)
-    (local $$cmp2$i$i$i i32)
-    (local $$cmp2$i$i i32)
-    (local $$cmp198$i i32)
-    (local $$cmp191$i i32)
-    (local $$cmp190$i i32)
-    (local $$cmp19$i i32)
-    (local $$cmp189$i$i i32)
-    (local $$cmp186$i i32)
-    (local $$cmp186 i32)
-    (local $$cmp185$i$i i32)
-    (local $$cmp185$i i32)
-    (local $$cmp180$i i32)
-    (local $$cmp174$i i32)
-    (local $$cmp172$i$i i32)
-    (local $$cmp171$i i32)
-    (local $$cmp168$i$i i32)
-    (local $$cmp166$i i32)
-    (local $$cmp162$i$200 i32)
-    (local $$cmp162$i i32)
-    (local $$cmp162 i32)
-    (local $$cmp160$i$i i32)
-    (local $$cmp16 i32)
-    (local $$cmp159$i$199 i32)
-    (local $$cmp159$i i32)
-    (local $$cmp157$i i32)
-    (local $$cmp156$i$i i32)
-    (local $$cmp156$i i32)
-    (local $$cmp156 i32)
-    (local $$cmp155$i i32)
-    (local $$cmp153$i$i i32)
-    (local $$cmp152$i i32)
-    (local $$cmp151$i i32)
-    (local $$cmp15$i i32)
-    (local $$cmp15 i32)
-    (local $$cmp146 i32)
-    (local $$cmp144$i$i i32)
-    (local $$cmp142$i i32)
-    (local $$cmp141$not$i i32)
-    (local $$cmp140$i i32)
-    (local $$cmp139 i32)
-    (local $$cmp138$i i32)
-    (local $$cmp137$i$i i32)
-    (local $$cmp137$i$197 i32)
-    (local $$cmp137$i i32)
-    (local $$cmp135$i i32)
-    (local $$cmp133$i$i i32)
-    (local $$cmp133$i$196 i32)
-    (local $$cmp133$i i32)
-    (local $$cmp130$i i32)
-    (local $$cmp128$i$i i32)
-    (local $$cmp128$i i32)
-    (local $$cmp128 i32)
-    (local $$cmp127$i i32)
-    (local $$cmp126$i i32)
-    (local $$cmp124$i$i i32)
-    (local $$cmp123$i i32)
-    (local $$cmp121$i i32)
-    (local $$cmp120$i$i i32)
-    (local $$cmp120$i$53$i i32)
-    (local $$cmp12$i i32)
-    (local $$cmp119$i i32)
-    (local $$cmp118$i i32)
-    (local $$cmp116$i i32)
-    (local $$cmp114$i i32)
-    (local $$cmp113 i32)
-    (local $$cmp112$i$i i32)
-    (local $$cmp108$i$i i32)
-    (local $$cmp108$i i32)
-    (local $$cmp107$i$157 i32)
-    (local $$cmp107$i i32)
-    (local $$cmp106$i$i i32)
-    (local $$cmp105$i i32)
-    (local $$cmp104$i$i i32)
-    (local $$cmp100$i$i i32)
-    (local $$cmp10 i32)
-    (local $$cmp1$i$i i32)
-    (local $$cmp1$i i32)
-    (local $$cmp1 i32)
-    (local $$cmp$i$i$i i32)
-    (local $$cmp$i$9$i i32)
-    (local $$cmp$i$179 i32)
-    (local $$cmp$i$140 i32)
-    (local $$cmp$i i32)
-    (local $$cmp i32)
-    (local $$call6$i$i i32)
-    (local $$call275$i i32)
-    (local $$call107$i i32)
-    (local $$bk74$i$i i32)
-    (local $$bk67$i$i i32)
-    (local $$bk55$i$i i32)
-    (local $$bk432$i i32)
-    (local $$bk43$i$i i32)
-    (local $$bk429$i i32)
-    (local $$bk407$i i32)
-    (local $$bk370$i i32)
-    (local $$bk360$i$i i32)
-    (local $$bk357$i$i i32)
-    (local $$bk338$i$i i32)
-    (local $$bk313$i i32)
-    (local $$bk311$i i32)
-    (local $$bk302$i$i i32)
-    (local $$bk248$i$i i32)
-    (local $$bk246$i$i i32)
-    (local $$bk220$i i32)
-    (local $$bk218$i i32)
-    (local $$bk161$i$i i32)
-    (local $$bk158$i$i i32)
-    (local $$bk139$i$i i32)
-    (local $$bk124 i32)
-    (local $$bk122 i32)
-    (local $$bk102$i$i i32)
-    (local $$bk$i$i i32)
-    (local $$bk$i$46$i i32)
-    (local $$bk$i$163 i32)
-    (local $$bk$i i32)
-    (local $$arrayidx94$i$156 i32)
-    (local $$arrayidx92$i$i i32)
-    (local $$arrayidx44$i i32)
-    (local $$arrayidx40$i i32)
-    (local $$arrayidx358$i i32)
-    (local $$arrayidx290$i$i i32)
-    (local $$arrayidx27$i i32)
-    (local $$arrayidx256$i i32)
-    (local $$arrayidx245$i i32)
-    (local $$arrayidx239$i i32)
-    (local $$arrayidx23$i i32)
-    (local $$arrayidx228$i i32)
-    (local $$arrayidx212$i i32)
-    (local $$arrayidx195$i$i i32)
-    (local $$arrayidx184$i$i i32)
-    (local $$arrayidx178$i$i i32)
-    (local $$arrayidx165$i i32)
-    (local $$arrayidx154$i i32)
-    (local $$arrayidx151$i$i i32)
-    (local $$arrayidx148$i i32)
-    (local $$arrayidx137$i i32)
-    (local $$arrayidx121$i i32)
-    (local $$arrayidx113$i$159 i32)
-    (local $$arrayidx106$i i32)
-    (local $$arrayidx$i$150 i32)
-    (local $$arrayidx$i i32)
-    (local $$and96$i$i i32)
-    (local $$and87$i$i i32)
-    (local $$and74 i32)
-    (local $$and7$i$i i32)
-    (local $$and7 i32)
-    (local $$and68$i i32)
-    (local $$and6$i$38$i i32)
-    (local $$and49$i$i i32)
-    (local $$and49$i i32)
-    (local $$and43 i32)
-    (local $$and42$i i32)
-    (local $$and40$i$i i32)
-    (local $$and4 i32)
-    (local $$and387$i i32)
-    (local $$and363$i i32)
-    (local $$and350$i i32)
-    (local $$and33$i$i i32)
-    (local $$and32$i$i i32)
-    (local $$and318$i$i i32)
-    (local $$and30$i i32)
-    (local $$and295$i$i i32)
-    (local $$and292$i i32)
-    (local $$and29$i i32)
-    (local $$and282$i$i i32)
-    (local $$and236$i i32)
-    (local $$and227$i$i i32)
-    (local $$and21$i$149 i32)
-    (local $$and21$i i32)
-    (local $$and199$i i32)
-    (local $$and194$i$204 i32)
-    (local $$and194$i i32)
-    (local $$and14 i32)
-    (local $$and133$i$i i32)
-    (local $$and119$i$i i32)
-    (local $$and106 i32)
-    (local $$and103$i i32)
-    (local $$and100$i i32)
-    (local $$and$i$i$i i32)
-    (local $$and$i$i i32)
-    (local $$and$i$33$i i32)
-    (local $$and$i$22$i i32)
-    (local $$and$i$14$i i32)
-    (local $$and$i$12$i i32)
-    (local $$and$i i32)
-    (local $$add92$i i32)
-    (local $$add90$i i32)
-    (local $$add88$i$i i32)
-    (local $$add86$i i32)
-    (local $$add85$i$i i32)
-    (local $$add82$i i32)
-    (local $$add79$i$i i32)
-    (local $$add78$i i32)
-    (local $$add77$i i32)
-    (local $$add74$i$i i32)
-    (local $$add62 i32)
-    (local $$add58 i32)
-    (local $$add54 i32)
-    (local $$add51$i i32)
-    (local $$add50 i32)
-    (local $$add46$i i32)
-    (local $$add351$i i32)
-    (local $$add348$i i32)
-    (local $$add342$i i32)
-    (local $$add337$i i32)
-    (local $$add283$i$i i32)
-    (local $$add280$i$i i32)
-    (local $$add274$i$i i32)
-    (local $$add269$i$i i32)
-    (local $$add22$i i32)
-    (local $$add215$i i32)
-    (local $$add212$i i32)
-    (local $$add206$i$i i32)
-    (local $$add20$i i32)
-    (local $$add2 i32)
-    (local $$add19$i i32)
-    (local $$add18$i i32)
-    (local $$add140$i i32)
-    (local $$add14$i i32)
-    (local $$add13$i i32)
-    (local $$add110$i i32)
-    (local $$add101$i i32)
-    (local $$add10$i i32)
-    (local $$add$ptr98 i32)
-    (local $$add$ptr6$i$i$i i32)
-    (local $$add$ptr6$i$i i32)
-    (local $$add$ptr6$i$30$i i32)
-    (local $$add$ptr5$i$i i32)
-    (local $$add$ptr441$i i32)
-    (local $$add$ptr369$i$i i32)
-    (local $$add$ptr30$i$i i32)
-    (local $$add$ptr3$i$i i32)
-    (local $$add$ptr282$i i32)
-    (local $$add$ptr273$i i32)
-    (local $$add$ptr269$i i32)
-    (local $$add$ptr225$i i32)
-    (local $$add$ptr212$i$i i32)
-    (local $$add$ptr205$i$i i32)
-    (local $$add$ptr199 i32)
-    (local $$add$ptr190$i i32)
-    (local $$add$ptr189$i i32)
-    (local $$add$ptr182 i32)
-    (local $$add$ptr181$i i32)
-    (local $$add$ptr178 i32)
-    (local $$add$ptr169 i32)
-    (local $$add$ptr$i$i i32)
-    (local $$add$ptr$i$32$i i32)
-    (local $$add$ptr$i$21$i i32)
-    (local $$add$ptr$i$193 i32)
-    (local $$add$ptr$i$11$i i32)
-    (local $$add$ptr$i$1$i$i i32)
-    (local $$add$ptr i32)
-    (local $$add$i$146 i32)
-    (local $$add$i i32)
-    (local $$99 i32)
-    (local $$96 i32)
-    (local $$93 i32)
-    (local $$90 i32)
-    (local $$88 i32)
-    (local $$85 i32)
-    (local $$81 i32)
-    (local $$80 i32)
-    (local $$76 i32)
-    (local $$75 i32)
-    (local $$74 i32)
-    (local $$73 i32)
-    (local $$67 i32)
-    (local $$66 i32)
-    (local $$61 i32)
-    (local $$6 i32)
-    (local $$58 i32)
-    (local $$57 i32)
-    (local $$56 i32)
-    (local $$53 i32)
-    (local $$50 i32)
-    (local $$5 i32)
-    (local $$44 i32)
-    (local $$43 i32)
-    (local $$4 i32)
-    (local $$39 i32)
-    (local $$38 i32)
-    (local $$37 i32)
-    (local $$36 i32)
-    (local $$30 i32)
-    (local $$29 i32)
-    (local $$24 i32)
-    (local $$21 i32)
-    (local $$206 i32)
-    (local $$203 i32)
-    (local $$201 i32)
-    (local $$198 i32)
-    (local $$194 i32)
-    (local $$193 i32)
-    (local $$192 i32)
-    (local $$191 i32)
-    (local $$189 i32)
-    (local $$187 i32)
-    (local $$186 i32)
-    (local $$184 i32)
-    (local $$181 i32)
-    (local $$18 i32)
-    (local $$179 i32)
-    (local $$176 i32)
-    (local $$172 i32)
-    (local $$171 i32)
-    (local $$167 i32)
-    (local $$166 i32)
-    (local $$165 i32)
-    (local $$164 i32)
-    (local $$158 i32)
-    (local $$157 i32)
-    (local $$153 i32)
-    (local $$152 i32)
-    (local $$151 i32)
-    (local $$146 i32)
-    (local $$145 i32)
-    (local $$144 i32)
-    (local $$143 i32)
-    (local $$141 i32)
-    (local $$139 i32)
-    (local $$138 i32)
-    (local $$136 i32)
-    (local $$134 i32)
-    (local $$133 i32)
-    (local $$130 i32)
-    (local $$126 i32)
-    (local $$125 i32)
-    (local $$123 i32)
-    (local $$122 i32)
-    (local $$121 i32)
-    (local $$12 i32)
-    (local $$118 i32)
-    (local $$117 i32)
-    (local $$116 i32)
-    (local $$114 i32)
-    (local $$113 i32)
-    (local $$112 i32)
-    (local $$11 i32)
-    (local $$106 i32)
-    (local $$103 i32)
-    (local $$$pre5$i$i i32)
-    (local $$$pre241 i32)
-    (local $$$pre$i$i i32)
-    (local $$$pre$i$56$i i32)
-    (local $$$pre$i$177 i32)
-    (local $$$pre$i i32)
-    (local $$$pre i32)
     (i32.load
       (i32.const 8)
     )
@@ -20186,238 +18380,6 @@
     (local $$16 i32)
     (local $$15 i32)
     (local $$14 i32)
-    (local $sp i32)
-    (local $$tobool9 i32)
-    (local $$tobool575 i32)
-    (local $$tobool513 i32)
-    (local $$tobool241 i32)
-    (local $$tobool233 i32)
-    (local $$sub556 i32)
-    (local $$sub552 i32)
-    (local $$sub547 i32)
-    (local $$sub i32)
-    (local $$shr596 i32)
-    (local $$shr586 i32)
-    (local $$shr562 i32)
-    (local $$shr558 i32)
-    (local $$shr553 i32)
-    (local $$shr548 i32)
-    (local $$shr544 i32)
-    (local $$shl590 i32)
-    (local $$shl557 i32)
-    (local $$shl508 i32)
-    (local $$shl45 i32)
-    (local $$shl408 i32)
-    (local $$shl299 i32)
-    (local $$shl278 i32)
-    (local $$shl138 i32)
-    (local $$shl i32)
-    (local $$parent635 i32)
-    (local $$parent610 i32)
-    (local $$parent579 i32)
-    (local $$parent471 i32)
-    (local $$parent455 i32)
-    (local $$parent442 i32)
-    (local $$parent331 i32)
-    (local $$parent199 i32)
-    (local $$parent183 i32)
-    (local $$parent170 i32)
-    (local $$parent i32)
-    (local $$or578 i32)
-    (local $$or516 i32)
-    (local $$or496 i32)
-    (local $$or480 i32)
-    (local $$or259 i32)
-    (local $$or247 i32)
-    (local $$or i32)
-    (local $$not$cmp621 i32)
-    (local $$neg409 i32)
-    (local $$neg300 i32)
-    (local $$neg139 i32)
-    (local $$neg i32)
-    (local $$index568 i32)
-    (local $$index399 i32)
-    (local $$index i32)
-    (local $$idx$neg i32)
-    (local $$head591 i32)
-    (local $$head497 i32)
-    (local $$head481 i32)
-    (local $$head260 i32)
-    (local $$head248 i32)
-    (local $$head216 i32)
-    (local $$head i32)
-    (local $$fd78 i32)
-    (local $$fd633 i32)
-    (local $$fd612 i32)
-    (local $$fd581 i32)
-    (local $$fd530 i32)
-    (local $$fd338 i32)
-    (local $$fd273 i32)
-    (local $$fd i32)
-    (local $$cond292 i32)
-    (local $$cond291 i32)
-    (local $$cmp87 i32)
-    (local $$cmp83 i32)
-    (local $$cmp80 i32)
-    (local $$cmp74 i32)
-    (local $$cmp640 i32)
-    (local $$cmp624 i32)
-    (local $$cmp605 i32)
-    (local $$cmp601 i32)
-    (local $$cmp593 i32)
-    (local $$cmp584 i32)
-    (local $$cmp57 i32)
-    (local $$cmp540 i32)
-    (local $$cmp536 i32)
-    (local $$cmp53 i32)
-    (local $$cmp519 i32)
-    (local $$cmp502 i32)
-    (local $$cmp50 i32)
-    (local $$cmp484 i32)
-    (local $$cmp464 i32)
-    (local $$cmp461 i32)
-    (local $$cmp448 i32)
-    (local $$cmp445 i32)
-    (local $$cmp435 i32)
-    (local $$cmp432 i32)
-    (local $$cmp420 i32)
-    (local $$cmp42 i32)
-    (local $$cmp413 i32)
-    (local $$cmp401 i32)
-    (local $$cmp395 i32)
-    (local $$cmp386 i32)
-    (local $$cmp380 i32)
-    (local $$cmp375 i32)
-    (local $$cmp368 i32)
-    (local $$cmp363 i32)
-    (local $$cmp35 i32)
-    (local $$cmp348 i32)
-    (local $$cmp344 i32)
-    (local $$cmp340 i32)
-    (local $$cmp334 i32)
-    (local $$cmp312 i32)
-    (local $$cmp31 i32)
-    (local $$cmp308 i32)
-    (local $$cmp305 i32)
-    (local $$cmp296 i32)
-    (local $$cmp29 i32)
-    (local $$cmp287 i32)
-    (local $$cmp283 i32)
-    (local $$cmp280 i32)
-    (local $$cmp269 i32)
-    (local $$cmp255 i32)
-    (local $$cmp25 i32)
-    (local $$cmp249 i32)
-    (local $$cmp243 i32)
-    (local $$cmp228 i32)
-    (local $$cmp22 i32)
-    (local $$cmp211 i32)
-    (local $$cmp2 i32)
-    (local $$cmp192 i32)
-    (local $$cmp189 i32)
-    (local $$cmp18 i32)
-    (local $$cmp176 i32)
-    (local $$cmp173 i32)
-    (local $$cmp165 i32)
-    (local $$cmp162 i32)
-    (local $$cmp150 i32)
-    (local $$cmp143 i32)
-    (local $$cmp131 i32)
-    (local $$cmp13 i32)
-    (local $$cmp127 i32)
-    (local $$cmp118 i32)
-    (local $$cmp114 i32)
-    (local $$cmp109 i32)
-    (local $$cmp104 i32)
-    (local $$cmp100 i32)
-    (local $$cmp1 i32)
-    (local $$cmp i32)
-    (local $$child569 i32)
-    (local $$bk73 i32)
-    (local $$bk66 i32)
-    (local $$bk634 i32)
-    (local $$bk631 i32)
-    (local $$bk611 i32)
-    (local $$bk580 i32)
-    (local $$bk531 i32)
-    (local $$bk529 i32)
-    (local $$bk34 i32)
-    (local $$bk333 i32)
-    (local $$bk321 i32)
-    (local $$bk286 i32)
-    (local $$bk275 i32)
-    (local $$bk i32)
-    (local $$arrayidx570 i32)
-    (local $$arrayidx470 i32)
-    (local $$arrayidx460 i32)
-    (local $$arrayidx454 i32)
-    (local $$arrayidx427 i32)
-    (local $$arrayidx198 i32)
-    (local $$arrayidx188 i32)
-    (local $$arrayidx182 i32)
-    (local $$arrayidx157 i32)
-    (local $$and8 i32)
-    (local $$and592 i32)
-    (local $$and574 i32)
-    (local $$and563 i32)
-    (local $$and512 i32)
-    (local $$and495 i32)
-    (local $$and46 i32)
-    (local $$and410 i32)
-    (local $$and301 i32)
-    (local $$and266 i32)
-    (local $$and240 i32)
-    (local $$and232 i32)
-    (local $$and215 i32)
-    (local $$and210 i32)
-    (local $$and140 i32)
-    (local $$add564 i32)
-    (local $$add561 i32)
-    (local $$add555 i32)
-    (local $$add550 i32)
-    (local $$add$ptr498 i32)
-    (local $$add$ptr482 i32)
-    (local $$add$ptr261 i32)
-    (local $$add$ptr217 i32)
-    (local $$8 i32)
-    (local $$74 i32)
-    (local $$73 i32)
-    (local $$70 i32)
-    (local $$7 i32)
-    (local $$68 i32)
-    (local $$65 i32)
-    (local $$61 i32)
-    (local $$60 i32)
-    (local $$6 i32)
-    (local $$56 i32)
-    (local $$55 i32)
-    (local $$54 i32)
-    (local $$53 i32)
-    (local $$51 i32)
-    (local $$46 i32)
-    (local $$45 i32)
-    (local $$44 i32)
-    (local $$40 i32)
-    (local $$39 i32)
-    (local $$38 i32)
-    (local $$37 i32)
-    (local $$36 i32)
-    (local $$33 i32)
-    (local $$32 i32)
-    (local $$31 i32)
-    (local $$30 i32)
-    (local $$3 i32)
-    (local $$29 i32)
-    (local $$26 i32)
-    (local $$22 i32)
-    (local $$21 i32)
-    (local $$20 i32)
-    (local $$19 i32)
-    (local $$13 i32)
-    (local $$12 i32)
-    (local $$$pre313 i32)
-    (local $$$pre312 i32)
-    (local $$$pre i32)
     (i32.load
       (i32.const 8)
     )
@@ -22423,8 +20385,6 @@
     (nop)
   )
   (func $_i64Subtract (param $a i32) (param $b i32) (param $c i32) (param $d i32) (result i32)
-    (local $l i32)
-    (local $h i32)
     (i32.sub
       (get_local $b)
       (get_local $d)
@@ -22453,7 +20413,6 @@
   )
   (func $_i64Add (param $a i32) (param $b i32) (param $c i32) (param $d i32) (result i32)
     (local $l i32)
-    (local $h i32)
     (return
       (block
         (i32.store
@@ -22616,7 +20575,6 @@
     )
   )
   (func $_bitshift64Lshr (param $low i32) (param $high i32) (param $bits i32) (result i32)
-    (local $ander i32)
     (if
       (i32.lt_s
         (get_local $bits)
@@ -22671,7 +20629,6 @@
     )
   )
   (func $_bitshift64Shl (param $low i32) (param $high i32) (param $bits i32) (result i32)
-    (local $ander i32)
     (if
       (i32.lt_s
         (get_local $bits)
@@ -22878,7 +20835,6 @@
     )
   )
   (func $_bitshift64Ashr (param $low i32) (param $high i32) (param $bits i32) (result i32)
-    (local $ander i32)
     (if
       (i32.lt_s
         (get_local $bits)
@@ -23043,11 +20999,6 @@
     (local $$1$0 i32)
     (local $$7$1 i32)
     (local $$7$0 i32)
-    (local $$8$0 i32)
-    (local $$6$0 i32)
-    (local $$4$1 i32)
-    (local $$4$0 i32)
-    (local $$10$0 i32)
     (set_local $$1$0
       (i32.or
         (i32.shr_s
@@ -23206,9 +21157,6 @@
     (local $$2$0 i32)
     (local $$10$1 i32)
     (local $$10$0 i32)
-    (local $$6$0 i32)
-    (local $$4$1 i32)
-    (local $$4$0 i32)
     (set_local $__stackBase__
       (i32.load
         (i32.const 8)
@@ -23391,7 +21339,6 @@
     (local $$x_sroa_0_0_extract_trunc i32)
     (local $$1$1 i32)
     (local $$1$0 i32)
-    (local $$2 i32)
     (set_local $$1$0
       (call $___muldsi3
         (set_local $$x_sroa_0_0_extract_trunc
@@ -23441,7 +21388,6 @@
     )
   )
   (func $___udivdi3 (param $$a$0 i32) (param $$a$1 i32) (param $$b$0 i32) (param $$b$1 i32) (result i32)
-    (local $$1$0 i32)
     (return
       (call $___udivmoddi4
         (get_local $$a$0)
diff --git a/test/memorygrowth.fromasm b/test/memorygrowth.fromasm
index 2a739d2af..d81ecaa81 100644
--- a/test/memorygrowth.fromasm
+++ b/test/memorygrowth.fromasm
@@ -133,7 +133,6 @@
     (local $Ka i32)
     (local $F i32)
     (local $Ba i32)
-    (local $p i32)
     (set_local $b
       (i32.load
         (i32.const 8)
@@ -10215,7 +10214,6 @@
   )
   (func $Pa (param $a i32) (result i32)
     (local $c i32)
-    (local $b i32)
     (if
       (i32.gt_u
         (get_local $a)
@@ -10277,7 +10275,6 @@
   )
   (func $Qa (result i32)
     (local $a i32)
-    (local $b i32)
     (if
       (i32.load
         (i32.const 1160)
diff --git a/test/memorygrowth.fromasm.imprecise b/test/memorygrowth.fromasm.imprecise
index 2a739d2af..d81ecaa81 100644
--- a/test/memorygrowth.fromasm.imprecise
+++ b/test/memorygrowth.fromasm.imprecise
@@ -133,7 +133,6 @@
     (local $Ka i32)
     (local $F i32)
     (local $Ba i32)
-    (local $p i32)
     (set_local $b
       (i32.load
         (i32.const 8)
@@ -10215,7 +10214,6 @@
   )
   (func $Pa (param $a i32) (result i32)
     (local $c i32)
-    (local $b i32)
     (if
       (i32.gt_u
         (get_local $a)
@@ -10277,7 +10275,6 @@
   )
   (func $Qa (result i32)
     (local $a i32)
-    (local $b i32)
     (if
       (i32.load
         (i32.const 1160)
diff --git a/test/min.fromasm b/test/min.fromasm
index 389094f09..26501d4a5 100644
--- a/test/min.fromasm
+++ b/test/min.fromasm
@@ -12,7 +12,6 @@
     )
   )
   (func $neg (param $k i32) (param $p i32) (result f32)
-    (local $n f32)
     (return
       (f32.neg
         (block
diff --git a/test/min.fromasm.imprecise b/test/min.fromasm.imprecise
index 389094f09..26501d4a5 100644
--- a/test/min.fromasm.imprecise
+++ b/test/min.fromasm.imprecise
@@ -12,7 +12,6 @@
     )
   )
   (func $neg (param $k i32) (param $p i32) (result f32)
-    (local $n f32)
     (return
       (f32.neg
         (block
diff --git a/test/passes/reorder-locals.txt b/test/passes/reorder-locals.txt
index b6ea71e6f..db7d75f15 100644
--- a/test/passes/reorder-locals.txt
+++ b/test/passes/reorder-locals.txt
@@ -43,13 +43,9 @@
   )
   (func $zero
     (local $b i32)
-    (local $c i32)
-    (local $a i32)
     (get_local $b)
   )
   (func $null
-    (local $c i32)
-    (local $a i32)
     (nop)
   )
 )
diff --git a/test/unit.fromasm b/test/unit.fromasm
index 3aee32296..d426f377d 100644
--- a/test/unit.fromasm
+++ b/test/unit.fromasm
@@ -13,7 +13,6 @@
   (export "big_negative" $big_negative)
   (table $z $big_negative $z $z $w $w $importedDoubles $w $z $cneg)
   (func $big_negative
-    (local $temp f64)
     (f64.const -2147483648)
     (f64.const -2147483648)
     (f64.const -21474836480)
@@ -21,7 +20,6 @@
     (f64.const -0.039625)
   )
   (func $importedDoubles (result f64)
-    (local $temp f64)
     (f64.add
       (f64.add
         (f64.add
@@ -73,7 +71,6 @@
   (func $doubleCompares (param $x f64) (param $y f64) (result f64)
     (local $Int f64)
     (local $Double i32)
-    (local $t f64)
     (if
       (f64.gt
         (get_local $x)
@@ -149,7 +146,6 @@
     )
   )
   (func $seq
-    (local $J f64)
     (f64.sub
       (block
         (f64.const 0.1)
@@ -162,7 +158,6 @@
     )
   )
   (func $switcher (param $x i32) (result i32)
-    (local $waka i32)
     (block $switch-default$3
       (block $switch-case$2
         (block $switch-case$1
@@ -278,7 +273,6 @@
     )
   )
   (func $big_uint_div_u (result i32)
-    (local $x i32)
     (return
       (i32.and
         (i32.div_u
@@ -308,9 +302,6 @@
   )
   (func $abs
     (local $asm2wasm_i32_temp i32)
-    (local $z f32)
-    (local $y f64)
-    (local $x i32)
     (block
       (select
         (i32.sub
@@ -437,7 +428,6 @@
     )
   )
   (func $ceiling_32_64 (param $u f32) (param $B f64)
-    (local $temp f32)
     (f32.demote/f64
       (f64.ceil
         (get_local $B)
diff --git a/test/unit.fromasm.imprecise b/test/unit.fromasm.imprecise
index 93a9a4447..613180bbd 100644
--- a/test/unit.fromasm.imprecise
+++ b/test/unit.fromasm.imprecise
@@ -11,7 +11,6 @@
   (export "big_negative" $big_negative)
   (table $z $big_negative $z $z $w $w $importedDoubles $w $z $cneg)
   (func $big_negative
-    (local $temp f64)
     (f64.const -2147483648)
     (f64.const -2147483648)
     (f64.const -21474836480)
@@ -19,7 +18,6 @@
     (f64.const -0.039625)
   )
   (func $importedDoubles (result f64)
-    (local $temp f64)
     (f64.add
       (f64.add
         (f64.add
@@ -71,7 +69,6 @@
   (func $doubleCompares (param $x f64) (param $y f64) (result f64)
     (local $Int f64)
     (local $Double i32)
-    (local $t f64)
     (if
       (f64.gt
         (get_local $x)
@@ -145,7 +142,6 @@
     )
   )
   (func $seq
-    (local $J f64)
     (f64.sub
       (block
         (f64.const 0.1)
@@ -158,7 +154,6 @@
     )
   )
   (func $switcher (param $x i32) (result i32)
-    (local $waka i32)
     (block $switch-default$3
       (block $switch-case$2
         (block $switch-case$1
@@ -274,7 +269,6 @@
     )
   )
   (func $big_uint_div_u (result i32)
-    (local $x i32)
     (return
       (i32.and
         (i32.div_u
@@ -304,9 +298,6 @@
   )
   (func $abs
     (local $asm2wasm_i32_temp i32)
-    (local $z f32)
-    (local $y f64)
-    (local $x i32)
     (block
       (select
         (i32.sub
@@ -433,7 +424,6 @@
     )
   )
   (func $ceiling_32_64 (param $u f32) (param $B f64)
-    (local $temp f32)
     (f32.demote/f64
       (f64.ceil
         (get_local $B)