Use IRBuilder in the binary parser (#6963)

IRBuilder is a utility for turning arbitrary valid streams of Wasm
instructions into valid Binaryen IR. It is already used in the text
parser, so now use it in the binary parser as well. Since the IRBuilder
API for building each intruction requires only the information that the
binary and text formats include as immediates to that instruction, the
parser is now much simpler than before. In particular, it does not need
to manage a stack of instructions to figure out what the children of
each expression should be; IRBuilder handles this instead.

There are some differences between the IR constructed by IRBuilder and
the IR the binary parser constructed before this change. Most
importantly, IRBuilder generates better multivalue code because it
avoids eagerly breaking up multivalue results into individual components
that might need to be immediately reassembled into a tuple. It also
parses try-delegate more correctly, allowing the delegate to target
arbitrary labels, not just other `try`s. There are also a couple
superficial differences in the generated label and scratch local names.

As part of this change, add support for recording binary source
locations in IRBuilder.

1 files changed, 459 insertions, 462 deletions

diff --git a/test/passes/reverse_dwarf_abbrevs.bin.txt b/test/passes/reverse_dwarf_abbrevs.bin.txt
index 5427acc6c..7b3a5aaad 100644
--- a/test/passes/reverse_dwarf_abbrevs.bin.txt
+++ b/test/passes/reverse_dwarf_abbrevs.bin.txt
@@ -292,11 +292,11 @@ file_names[  1]:
   ;; code offset: 0x18d
   (local.set $4
    ;; code offset: 0x89
-   (block $label$1 (result i32)
+   (block $block2 (result i32)
     ;; code offset: 0x8b
-    (block $label$2
+    (block $block1
      ;; code offset: 0x8d
-     (block $label$3
+     (block $block
       ;; code offset: 0xa5
       (if
        ;; code offset: 0xa4
@@ -331,9 +331,9 @@ file_names[  1]:
        )
        (then
         ;; code offset: 0xa7
-        (loop $label$5
+        (loop $label
          ;; code offset: 0xb3
-         (br_if $label$3
+         (br_if $block
           ;; code offset: 0xb2
           (i32.eq
            ;; code offset: 0xa9
@@ -349,7 +349,7 @@ file_names[  1]:
           )
          )
          ;; code offset: 0xba
-         (br_if $label$2
+         (br_if $block1
           ;; code offset: 0xb9
           (i32.le_s
            ;; code offset: 0xb5
@@ -456,7 +456,7 @@ file_names[  1]:
           )
          )
          ;; code offset: 0x125
-         (br_if $label$5
+         (br_if $label
           ;; code offset: 0x124
           (i32.eqz
            ;; code offset: 0x122
@@ -517,7 +517,7 @@ file_names[  1]:
        (i32.const -1)
       )
       ;; code offset: 0x135
-      (br_if $label$2
+      (br_if $block1
        ;; code offset: 0x134
        (i32.ne
         ;; code offset: 0x130
@@ -563,7 +563,7 @@ file_names[  1]:
       )
      )
      ;; code offset: 0x15a
-     (br $label$1
+     (br $block2
       ;; code offset: 0x158
       (local.get $2)
      )
@@ -600,7 +600,7 @@ file_names[  1]:
     ;; code offset: 0x183
     (drop
      ;; code offset: 0x181
-     (br_if $label$1
+     (br_if $block2
       ;; code offset: 0x17a
       (local.tee $4
        ;; code offset: 0x178
@@ -797,7 +797,7 @@ file_names[  1]:
    )
   )
   ;; code offset: 0x222
-  (block $label$2
+  (block $block2
    ;; code offset: 0x22d
    (if
     ;; code offset: 0x22c
@@ -817,7 +817,7 @@ file_names[  1]:
     )
     (then
      ;; code offset: 0x22f
-     (block $label$4
+     (block $block
       ;; code offset: 0x236
       (if
        ;; code offset: 0x235
@@ -834,7 +834,7 @@ file_names[  1]:
          (local.get $0)
         )
         ;; code offset: 0x23c
-        (br $label$4)
+        (br $block)
        )
       )
       ;; code offset: 0x245
@@ -856,7 +856,7 @@ file_names[  1]:
          (local.get $0)
         )
         ;; code offset: 0x24b
-        (br $label$4)
+        (br $block)
        )
       )
       ;; code offset: 0x250
@@ -865,7 +865,7 @@ file_names[  1]:
        (local.get $0)
       )
       ;; code offset: 0x252
-      (loop $label$7
+      (loop $label
        ;; code offset: 0x25b
        (i32.store8
         ;; code offset: 0x254
@@ -887,7 +887,7 @@ file_names[  1]:
         )
        )
        ;; code offset: 0x26f
-       (br_if $label$4
+       (br_if $block
         ;; code offset: 0x26e
         (i32.ge_u
          ;; code offset: 0x26a
@@ -905,7 +905,7 @@ file_names[  1]:
         )
        )
        ;; code offset: 0x276
-       (br_if $label$7
+       (br_if $label
         ;; code offset: 0x275
         (i32.and
          ;; code offset: 0x271
@@ -917,9 +917,9 @@ file_names[  1]:
       )
      )
      ;; code offset: 0x27a
-     (block $label$8
+     (block $block1
       ;; code offset: 0x287
-      (br_if $label$8
+      (br_if $block1
        ;; code offset: 0x286
        (i32.lt_u
         ;; code offset: 0x281
@@ -937,7 +937,7 @@ file_names[  1]:
        )
       )
       ;; code offset: 0x293
-      (br_if $label$8
+      (br_if $block1
        ;; code offset: 0x292
        (i32.gt_u
         ;; code offset: 0x289
@@ -955,7 +955,7 @@ file_names[  1]:
        )
       )
       ;; code offset: 0x295
-      (loop $label$9
+      (loop $label1
        ;; code offset: 0x29e
        (i32.store
         ;; code offset: 0x297
@@ -1127,7 +1127,7 @@ file_names[  1]:
         )
        )
        ;; code offset: 0x348
-       (br_if $label$9
+       (br_if $label1
         ;; code offset: 0x347
         (i32.le_u
          ;; code offset: 0x343
@@ -1147,7 +1147,7 @@ file_names[  1]:
       )
      )
      ;; code offset: 0x351
-     (br_if $label$2
+     (br_if $block2
       ;; code offset: 0x350
       (i32.ge_u
        ;; code offset: 0x34c
@@ -1157,7 +1157,7 @@ file_names[  1]:
       )
      )
      ;; code offset: 0x353
-     (loop $label$10
+     (loop $label2
       ;; code offset: 0x35c
       (i32.store
        ;; code offset: 0x355
@@ -1179,7 +1179,7 @@ file_names[  1]:
        )
       )
       ;; code offset: 0x370
-      (br_if $label$10
+      (br_if $label2
        ;; code offset: 0x36f
        (i32.lt_u
         ;; code offset: 0x36b
@@ -1198,7 +1198,7 @@ file_names[  1]:
       )
      )
      ;; code offset: 0x373
-     (br $label$2)
+     (br $block2)
     )
    )
    ;; code offset: 0x37b
@@ -1217,7 +1217,7 @@ file_names[  1]:
       (local.get $0)
      )
      ;; code offset: 0x381
-     (br $label$2)
+     (br $block2)
     )
    )
    ;; code offset: 0x38e
@@ -1244,7 +1244,7 @@ file_names[  1]:
       (local.get $0)
      )
      ;; code offset: 0x394
-     (br $label$2)
+     (br $block2)
     )
    )
    ;; code offset: 0x399
@@ -1253,7 +1253,7 @@ file_names[  1]:
     (local.get $0)
    )
    ;; code offset: 0x39b
-   (loop $label$13
+   (loop $label3
     ;; code offset: 0x3a4
     (i32.store8
      ;; code offset: 0x39d
@@ -1305,7 +1305,7 @@ file_names[  1]:
      )
     )
     ;; code offset: 0x3d6
-    (br_if $label$13
+    (br_if $label3
      ;; code offset: 0x3d5
      (i32.le_u
       ;; code offset: 0x3d1
@@ -1335,7 +1335,7 @@ file_names[  1]:
    )
    (then
     ;; code offset: 0x3e1
-    (loop $label$15
+    (loop $label4
      ;; code offset: 0x3ea
      (i32.store8
       ;; code offset: 0x3e3
@@ -1357,7 +1357,7 @@ file_names[  1]:
       )
      )
      ;; code offset: 0x3fe
-     (br_if $label$15
+     (br_if $label4
       ;; code offset: 0x3fd
       (i32.ne
        ;; code offset: 0x3f9
@@ -1386,380 +1386,377 @@ file_names[  1]:
   (local $5 i32)
   (local $6 i32)
   ;; code offset: 0x410
-  (block $label$1
-   ;; code offset: 0x43a
+  (block $block
+   ;; code offset: 0x41a
    (if
-    ;; code offset: 0x412
-    (block $label$2 (result i32)
-     ;; code offset: 0x41c
-     (if
-      ;; code offset: 0x41b
-      (i32.eqz
-       ;; code offset: 0x419
-       (local.tee $3
-        ;; code offset: 0x416
-        (i32.load offset=16
-         ;; code offset: 0x414
-         (local.get $2)
-        )
-       )
+    ;; code offset: 0x419
+    (i32.eqz
+     ;; code offset: 0x417
+     (local.tee $3
+      ;; code offset: 0x414
+      (i32.load offset=16
+       ;; code offset: 0x412
+       (local.get $2)
+      )
+     )
+    )
+    (then
+     ;; code offset: 0x420
+     (br_if $block
+      ;; code offset: 0x41e
+      (call $8
+       ;; code offset: 0x41c
+       (local.get $2)
       )
-      (then
+     )
+     ;; code offset: 0x427
+     (local.set $3
+      ;; code offset: 0x424
+      (i32.load offset=16
        ;; code offset: 0x422
-       (br_if $label$1
-        ;; code offset: 0x420
-        (call $8
-         ;; code offset: 0x41e
-         (local.get $2)
-        )
-       )
-       ;; code offset: 0x429
-       (local.set $3
-        ;; code offset: 0x426
-        (i32.load offset=16
-         ;; code offset: 0x424
-         (local.get $2)
-        )
-       )
+       (local.get $2)
       )
      )
-     ;; code offset: 0x438
-     (i32.lt_u
-      ;; code offset: 0x435
-      (i32.sub
-       ;; code offset: 0x42c
-       (local.get $3)
-       ;; code offset: 0x433
-       (local.tee $5
-        ;; code offset: 0x430
-        (i32.load offset=20
-         ;; code offset: 0x42e
-         (local.get $2)
-        )
+    )
+   )
+   ;; code offset: 0x437
+   (if
+    ;; code offset: 0x436
+    (i32.lt_u
+     ;; code offset: 0x433
+     (i32.sub
+      ;; code offset: 0x42a
+      (local.get $3)
+      ;; code offset: 0x431
+      (local.tee $5
+       ;; code offset: 0x42e
+       (i32.load offset=20
+        ;; code offset: 0x42c
+        (local.get $2)
        )
       )
-      ;; code offset: 0x436
-      (local.get $1)
      )
+     ;; code offset: 0x434
+     (local.get $1)
     )
     (then
-     ;; code offset: 0x44a
+     ;; code offset: 0x447
      (return
-      ;; code offset: 0x447
+      ;; code offset: 0x444
       (call_indirect (type $1)
-       ;; code offset: 0x43c
+       ;; code offset: 0x439
        (local.get $2)
-       ;; code offset: 0x43e
+       ;; code offset: 0x43b
        (local.get $0)
-       ;; code offset: 0x440
+       ;; code offset: 0x43d
        (local.get $1)
-       ;; code offset: 0x444
+       ;; code offset: 0x441
        (i32.load offset=36
-        ;; code offset: 0x442
+        ;; code offset: 0x43f
         (local.get $2)
        )
       )
      )
     )
    )
-   ;; code offset: 0x44c
-   (block $label$5
-    ;; code offset: 0x456
-    (br_if $label$5
-     ;; code offset: 0x455
+   ;; code offset: 0x449
+   (block $block1
+    ;; code offset: 0x453
+    (br_if $block1
+     ;; code offset: 0x452
      (i32.lt_s
-      ;; code offset: 0x450
+      ;; code offset: 0x44d
       (i32.load8_s offset=75
-       ;; code offset: 0x44e
+       ;; code offset: 0x44b
        (local.get $2)
       )
-      ;; code offset: 0x453
+      ;; code offset: 0x450
       (i32.const 0)
      )
     )
-    ;; code offset: 0x45a
+    ;; code offset: 0x457
     (local.set $4
-     ;; code offset: 0x458
+     ;; code offset: 0x455
      (local.get $1)
     )
-    ;; code offset: 0x45c
-    (loop $label$6
-     ;; code offset: 0x463
-     (br_if $label$5
-      ;; code offset: 0x462
+    ;; code offset: 0x459
+    (loop $label
+     ;; code offset: 0x460
+     (br_if $block1
+      ;; code offset: 0x45f
       (i32.eqz
-       ;; code offset: 0x460
+       ;; code offset: 0x45d
        (local.tee $3
-        ;; code offset: 0x45e
+        ;; code offset: 0x45b
         (local.get $4)
        )
       )
      )
-     ;; code offset: 0x475
-     (br_if $label$6
-      ;; code offset: 0x474
+     ;; code offset: 0x472
+     (br_if $label
+      ;; code offset: 0x471
       (i32.ne
-       ;; code offset: 0x46f
+       ;; code offset: 0x46c
        (i32.load8_u
-        ;; code offset: 0x46e
+        ;; code offset: 0x46b
         (i32.add
-         ;; code offset: 0x465
+         ;; code offset: 0x462
          (local.get $0)
-         ;; code offset: 0x46c
+         ;; code offset: 0x469
          (local.tee $4
-          ;; code offset: 0x46b
+          ;; code offset: 0x468
           (i32.add
-           ;; code offset: 0x467
+           ;; code offset: 0x464
            (local.get $3)
-           ;; code offset: 0x469
+           ;; code offset: 0x466
            (i32.const -1)
           )
          )
         )
        )
-       ;; code offset: 0x472
+       ;; code offset: 0x46f
        (i32.const 10)
       )
      )
     )
-    ;; code offset: 0x48b
-    (br_if $label$1
-     ;; code offset: 0x48a
+    ;; code offset: 0x488
+    (br_if $block
+     ;; code offset: 0x487
      (i32.lt_u
-      ;; code offset: 0x486
+      ;; code offset: 0x483
       (local.tee $4
-       ;; code offset: 0x483
+       ;; code offset: 0x480
        (call_indirect (type $1)
-        ;; code offset: 0x478
+        ;; code offset: 0x475
         (local.get $2)
-        ;; code offset: 0x47a
+        ;; code offset: 0x477
         (local.get $0)
-        ;; code offset: 0x47c
+        ;; code offset: 0x479
         (local.get $3)
-        ;; code offset: 0x480
+        ;; code offset: 0x47d
         (i32.load offset=36
-         ;; code offset: 0x47e
+         ;; code offset: 0x47b
          (local.get $2)
         )
        )
       )
-      ;; code offset: 0x488
+      ;; code offset: 0x485
       (local.get $3)
      )
     )
-    ;; code offset: 0x492
+    ;; code offset: 0x48f
     (local.set $0
-     ;; code offset: 0x491
+     ;; code offset: 0x48e
      (i32.add
-      ;; code offset: 0x48d
+      ;; code offset: 0x48a
       (local.get $0)
-      ;; code offset: 0x48f
+      ;; code offset: 0x48c
       (local.get $3)
      )
     )
-    ;; code offset: 0x499
+    ;; code offset: 0x496
     (local.set $1
-     ;; code offset: 0x498
+     ;; code offset: 0x495
      (i32.sub
-      ;; code offset: 0x494
+      ;; code offset: 0x491
       (local.get $1)
-      ;; code offset: 0x496
+      ;; code offset: 0x493
       (local.get $3)
      )
     )
-    ;; code offset: 0x4a0
+    ;; code offset: 0x49d
     (local.set $5
-     ;; code offset: 0x49d
+     ;; code offset: 0x49a
      (i32.load offset=20
-      ;; code offset: 0x49b
+      ;; code offset: 0x498
       (local.get $2)
      )
     )
-    ;; code offset: 0x4a4
+    ;; code offset: 0x4a1
     (local.set $6
-     ;; code offset: 0x4a2
+     ;; code offset: 0x49f
      (local.get $3)
     )
    )
-   ;; code offset: 0x4af
+   ;; code offset: 0x4ac
    (drop
-    ;; code offset: 0x4ad
+    ;; code offset: 0x4aa
     (call $9
-     ;; code offset: 0x4a7
+     ;; code offset: 0x4a4
      (local.get $5)
-     ;; code offset: 0x4a9
+     ;; code offset: 0x4a6
      (local.get $0)
-     ;; code offset: 0x4ab
+     ;; code offset: 0x4a8
      (local.get $1)
     )
    )
-   ;; code offset: 0x4ba
+   ;; code offset: 0x4b7
    (i32.store offset=20
-    ;; code offset: 0x4b0
+    ;; code offset: 0x4ad
     (local.get $2)
-    ;; code offset: 0x4b9
+    ;; code offset: 0x4b6
     (i32.add
-     ;; code offset: 0x4b4
+     ;; code offset: 0x4b1
      (i32.load offset=20
-      ;; code offset: 0x4b2
+      ;; code offset: 0x4af
       (local.get $2)
      )
-     ;; code offset: 0x4b7
+     ;; code offset: 0x4b4
      (local.get $1)
     )
    )
-   ;; code offset: 0x4c2
+   ;; code offset: 0x4bf
    (local.set $4
-    ;; code offset: 0x4c1
+    ;; code offset: 0x4be
     (i32.add
-     ;; code offset: 0x4bd
+     ;; code offset: 0x4ba
      (local.get $1)
-     ;; code offset: 0x4bf
+     ;; code offset: 0x4bc
      (local.get $6)
     )
    )
   )
-  ;; code offset: 0x4c5
+  ;; code offset: 0x4c2
   (local.get $4)
  )
  (func $11 (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (result i32)
   (local $4 i32)
   (local $5 i32)
-  ;; code offset: 0x4d3
+  ;; code offset: 0x4d0
   (local.set $4
-   ;; code offset: 0x4d2
+   ;; code offset: 0x4cf
    (i32.mul
-    ;; code offset: 0x4ce
+    ;; code offset: 0x4cb
     (local.get $1)
-    ;; code offset: 0x4d0
+    ;; code offset: 0x4cd
     (local.get $2)
    )
   )
-  ;; code offset: 0x4d5
-  (block $label$1
-   ;; code offset: 0x4df
+  ;; code offset: 0x4d2
+  (block $block
+   ;; code offset: 0x4dc
    (if
-    ;; code offset: 0x4de
+    ;; code offset: 0x4db
     (i32.le_s
-     ;; code offset: 0x4d9
+     ;; code offset: 0x4d6
      (i32.load offset=76
-      ;; code offset: 0x4d7
+      ;; code offset: 0x4d4
       (local.get $3)
      )
-     ;; code offset: 0x4dc
+     ;; code offset: 0x4d9
      (i32.const -1)
     )
     (then
-     ;; code offset: 0x4e9
+     ;; code offset: 0x4e6
      (local.set $0
-      ;; code offset: 0x4e7
+      ;; code offset: 0x4e4
       (call $10
-       ;; code offset: 0x4e1
+       ;; code offset: 0x4de
        (local.get $0)
-       ;; code offset: 0x4e3
+       ;; code offset: 0x4e0
        (local.get $4)
-       ;; code offset: 0x4e5
+       ;; code offset: 0x4e2
        (local.get $3)
       )
      )
-     ;; code offset: 0x4eb
-     (br $label$1)
+     ;; code offset: 0x4e8
+     (br $block)
     )
    )
-   ;; code offset: 0x4f2
+   ;; code offset: 0x4ef
    (local.set $5
-    ;; code offset: 0x4f0
+    ;; code offset: 0x4ed
     (call $15
-     ;; code offset: 0x4ee
+     ;; code offset: 0x4eb
      (local.get $3)
     )
    )
-   ;; code offset: 0x4fc
+   ;; code offset: 0x4f9
    (local.set $0
-    ;; code offset: 0x4fa
+    ;; code offset: 0x4f7
     (call $10
-     ;; code offset: 0x4f4
+     ;; code offset: 0x4f1
      (local.get $0)
-     ;; code offset: 0x4f6
+     ;; code offset: 0x4f3
      (local.get $4)
-     ;; code offset: 0x4f8
+     ;; code offset: 0x4f5
      (local.get $3)
     )
    )
-   ;; code offset: 0x501
-   (br_if $label$1
-    ;; code offset: 0x500
+   ;; code offset: 0x4fe
+   (br_if $block
+    ;; code offset: 0x4fd
     (i32.eqz
-     ;; code offset: 0x4fe
+     ;; code offset: 0x4fb
      (local.get $5)
     )
    )
-   ;; code offset: 0x505
+   ;; code offset: 0x502
    (call $16
-    ;; code offset: 0x503
+    ;; code offset: 0x500
     (local.get $3)
    )
   )
-  ;; code offset: 0x50d
+  ;; code offset: 0x50a
   (if
-   ;; code offset: 0x50c
+   ;; code offset: 0x509
    (i32.eq
-    ;; code offset: 0x508
+    ;; code offset: 0x505
     (local.get $0)
-    ;; code offset: 0x50a
+    ;; code offset: 0x507
     (local.get $4)
    )
    (then
-    ;; code offset: 0x516
+    ;; code offset: 0x513
     (return
-     ;; code offset: 0x515
+     ;; code offset: 0x512
      (select
-      ;; code offset: 0x50f
+      ;; code offset: 0x50c
       (local.get $2)
-      ;; code offset: 0x511
+      ;; code offset: 0x50e
       (i32.const 0)
-      ;; code offset: 0x513
+      ;; code offset: 0x510
       (local.get $1)
      )
     )
    )
   )
-  ;; code offset: 0x51c
+  ;; code offset: 0x519
   (i32.div_u
-   ;; code offset: 0x518
+   ;; code offset: 0x515
    (local.get $0)
-   ;; code offset: 0x51a
+   ;; code offset: 0x517
    (local.get $1)
   )
  )
  (func $12 (param $0 i32) (param $1 i32) (result i32)
   (local $2 i32)
-  ;; code offset: 0x537
+  ;; code offset: 0x534
   (select
-   ;; code offset: 0x522
+   ;; code offset: 0x51f
    (i32.const -1)
-   ;; code offset: 0x524
+   ;; code offset: 0x521
    (i32.const 0)
-   ;; code offset: 0x536
+   ;; code offset: 0x533
    (i32.ne
-    ;; code offset: 0x532
+    ;; code offset: 0x52f
     (call $11
-     ;; code offset: 0x526
+     ;; code offset: 0x523
      (local.get $0)
-     ;; code offset: 0x528
+     ;; code offset: 0x525
      (i32.const 1)
-     ;; code offset: 0x52e
+     ;; code offset: 0x52b
      (local.tee $2
-      ;; code offset: 0x52c
+      ;; code offset: 0x529
       (call $17
-       ;; code offset: 0x52a
+       ;; code offset: 0x527
        (local.get $0)
       )
      )
-     ;; code offset: 0x530
+     ;; code offset: 0x52d
      (local.get $1)
     )
-    ;; code offset: 0x534
+    ;; code offset: 0x531
     (local.get $2)
    )
   )
@@ -1768,624 +1765,624 @@ file_names[  1]:
   (local $2 i32)
   (local $3 i32)
   (local $4 i32)
-  ;; code offset: 0x549
+  ;; code offset: 0x546
   (global.set $global$0
-   ;; code offset: 0x547
+   ;; code offset: 0x544
    (local.tee $3
-    ;; code offset: 0x546
+    ;; code offset: 0x543
     (i32.sub
-     ;; code offset: 0x542
+     ;; code offset: 0x53f
      (global.get $global$0)
-     ;; code offset: 0x544
+     ;; code offset: 0x541
      (i32.const 16)
     )
    )
   )
-  ;; code offset: 0x54f
+  ;; code offset: 0x54c
   (i32.store8 offset=15
-   ;; code offset: 0x54b
+   ;; code offset: 0x548
    (local.get $3)
-   ;; code offset: 0x54d
+   ;; code offset: 0x54a
    (local.get $1)
   )
-  ;; code offset: 0x552
-  (block $label$1
-   ;; code offset: 0x55c
+  ;; code offset: 0x54f
+  (block $block
+   ;; code offset: 0x559
    (if
-    ;; code offset: 0x55b
+    ;; code offset: 0x558
     (i32.eqz
-     ;; code offset: 0x559
+     ;; code offset: 0x556
      (local.tee $2
-      ;; code offset: 0x556
+      ;; code offset: 0x553
       (i32.load offset=16
-       ;; code offset: 0x554
+       ;; code offset: 0x551
        (local.get $0)
       )
      )
     )
     (then
-     ;; code offset: 0x560
+     ;; code offset: 0x55d
      (local.set $2
-      ;; code offset: 0x55e
+      ;; code offset: 0x55b
       (i32.const -1)
      )
-     ;; code offset: 0x566
-     (br_if $label$1
-      ;; code offset: 0x564
+     ;; code offset: 0x563
+     (br_if $block
+      ;; code offset: 0x561
       (call $8
-       ;; code offset: 0x562
+       ;; code offset: 0x55f
        (local.get $0)
       )
      )
-     ;; code offset: 0x56d
+     ;; code offset: 0x56a
      (local.set $2
-      ;; code offset: 0x56a
+      ;; code offset: 0x567
       (i32.load offset=16
-       ;; code offset: 0x568
+       ;; code offset: 0x565
        (local.get $0)
       )
      )
     )
    )
-   ;; code offset: 0x570
-   (block $label$3
-    ;; code offset: 0x57c
-    (br_if $label$3
-     ;; code offset: 0x57b
+   ;; code offset: 0x56d
+   (block $block1
+    ;; code offset: 0x579
+    (br_if $block1
+     ;; code offset: 0x578
      (i32.ge_u
-      ;; code offset: 0x577
+      ;; code offset: 0x574
       (local.tee $4
-       ;; code offset: 0x574
+       ;; code offset: 0x571
        (i32.load offset=20
-        ;; code offset: 0x572
+        ;; code offset: 0x56f
         (local.get $0)
        )
       )
-      ;; code offset: 0x579
+      ;; code offset: 0x576
       (local.get $2)
      )
     )
-    ;; code offset: 0x58c
-    (br_if $label$3
-     ;; code offset: 0x58b
+    ;; code offset: 0x589
+    (br_if $block1
+     ;; code offset: 0x588
      (i32.eq
-      ;; code offset: 0x584
+      ;; code offset: 0x581
       (local.tee $2
-       ;; code offset: 0x583
+       ;; code offset: 0x580
        (i32.and
-        ;; code offset: 0x57e
+        ;; code offset: 0x57b
         (local.get $1)
-        ;; code offset: 0x580
+        ;; code offset: 0x57d
         (i32.const 255)
        )
       )
-      ;; code offset: 0x588
+      ;; code offset: 0x585
       (i32.load8_s offset=75
-       ;; code offset: 0x586
+       ;; code offset: 0x583
        (local.get $0)
       )
      )
     )
-    ;; code offset: 0x595
+    ;; code offset: 0x592
     (i32.store offset=20
-     ;; code offset: 0x58e
+     ;; code offset: 0x58b
      (local.get $0)
-     ;; code offset: 0x594
+     ;; code offset: 0x591
      (i32.add
-      ;; code offset: 0x590
+      ;; code offset: 0x58d
       (local.get $4)
-      ;; code offset: 0x592
+      ;; code offset: 0x58f
       (i32.const 1)
      )
     )
-    ;; code offset: 0x59c
+    ;; code offset: 0x599
     (i32.store8
-     ;; code offset: 0x598
+     ;; code offset: 0x595
      (local.get $4)
-     ;; code offset: 0x59a
+     ;; code offset: 0x597
      (local.get $1)
     )
-    ;; code offset: 0x59f
-    (br $label$1)
+    ;; code offset: 0x59c
+    (br $block)
    )
-   ;; code offset: 0x5a4
+   ;; code offset: 0x5a1
    (local.set $2
-    ;; code offset: 0x5a2
+    ;; code offset: 0x59f
     (i32.const -1)
    )
-   ;; code offset: 0x5ba
-   (br_if $label$1
-    ;; code offset: 0x5b9
+   ;; code offset: 0x5b7
+   (br_if $block
+    ;; code offset: 0x5b6
     (i32.ne
-     ;; code offset: 0x5b4
+     ;; code offset: 0x5b1
      (call_indirect (type $1)
-      ;; code offset: 0x5a6
+      ;; code offset: 0x5a3
       (local.get $0)
-      ;; code offset: 0x5ac
+      ;; code offset: 0x5a9
       (i32.add
-       ;; code offset: 0x5a8
+       ;; code offset: 0x5a5
        (local.get $3)
-       ;; code offset: 0x5aa
+       ;; code offset: 0x5a7
        (i32.const 15)
       )
-      ;; code offset: 0x5ad
+      ;; code offset: 0x5aa
       (i32.const 1)
-      ;; code offset: 0x5b1
+      ;; code offset: 0x5ae
       (i32.load offset=36
-       ;; code offset: 0x5af
+       ;; code offset: 0x5ac
        (local.get $0)
       )
      )
-     ;; code offset: 0x5b7
+     ;; code offset: 0x5b4
      (i32.const 1)
     )
    )
-   ;; code offset: 0x5c1
+   ;; code offset: 0x5be
    (local.set $2
-    ;; code offset: 0x5be
+    ;; code offset: 0x5bb
     (i32.load8_u offset=15
-     ;; code offset: 0x5bc
+     ;; code offset: 0x5b9
      (local.get $3)
     )
    )
   )
-  ;; code offset: 0x5c9
+  ;; code offset: 0x5c6
   (global.set $global$0
-   ;; code offset: 0x5c8
+   ;; code offset: 0x5c5
    (i32.add
-    ;; code offset: 0x5c4
+    ;; code offset: 0x5c1
     (local.get $3)
-    ;; code offset: 0x5c6
+    ;; code offset: 0x5c3
     (i32.const 16)
    )
   )
-  ;; code offset: 0x5cb
+  ;; code offset: 0x5c8
   (local.get $2)
  )
  (func $14 (param $0 i32) (result i32)
   (local $1 i32)
   (local $2 i32)
-  ;; code offset: 0x5e2
+  ;; code offset: 0x5df
   (if
-   ;; code offset: 0x5e1
+   ;; code offset: 0x5de
    (i32.ge_s
-    ;; code offset: 0x5dc
+    ;; code offset: 0x5d9
     (i32.load offset=76
-     ;; code offset: 0x5da
+     ;; code offset: 0x5d7
      (local.tee $1
-      ;; code offset: 0x5d7
+      ;; code offset: 0x5d4
       (i32.load
-       ;; code offset: 0x5d4
+       ;; code offset: 0x5d1
        (i32.const 1040)
       )
      )
     )
-    ;; code offset: 0x5df
+    ;; code offset: 0x5dc
     (i32.const 0)
    )
    (then
-    ;; code offset: 0x5e8
+    ;; code offset: 0x5e5
     (local.set $2
-     ;; code offset: 0x5e6
+     ;; code offset: 0x5e3
      (call $15
-      ;; code offset: 0x5e4
+      ;; code offset: 0x5e1
       (local.get $1)
      )
     )
    )
   )
-  ;; code offset: 0x636
+  ;; code offset: 0x633
   (local.set $0
-   ;; code offset: 0x5eb
-   (block $label$2 (result i32)
-    ;; code offset: 0x5fa
+   ;; code offset: 0x5e8
+   (block $block (result i32)
+    ;; code offset: 0x5f7
     (drop
-     ;; code offset: 0x5f8
-     (br_if $label$2
-      ;; code offset: 0x5ed
+     ;; code offset: 0x5f5
+     (br_if $block
+      ;; code offset: 0x5ea
       (i32.const -1)
-      ;; code offset: 0x5f7
+      ;; code offset: 0x5f4
       (i32.lt_s
-       ;; code offset: 0x5f3
+       ;; code offset: 0x5f0
        (call $12
-        ;; code offset: 0x5ef
+        ;; code offset: 0x5ec
         (local.get $0)
-        ;; code offset: 0x5f1
+        ;; code offset: 0x5ee
         (local.get $1)
        )
-       ;; code offset: 0x5f5
+       ;; code offset: 0x5f2
        (i32.const 0)
       )
      )
     )
-    ;; code offset: 0x5fb
-    (block $label$3
-     ;; code offset: 0x605
-     (br_if $label$3
-      ;; code offset: 0x604
+    ;; code offset: 0x5f8
+    (block $block1
+     ;; code offset: 0x602
+     (br_if $block1
+      ;; code offset: 0x601
       (i32.eq
-       ;; code offset: 0x5ff
+       ;; code offset: 0x5fc
        (i32.load8_u offset=75
-        ;; code offset: 0x5fd
+        ;; code offset: 0x5fa
         (local.get $1)
        )
-       ;; code offset: 0x602
+       ;; code offset: 0x5ff
        (i32.const 10)
       )
      )
-     ;; code offset: 0x614
-     (br_if $label$3
-      ;; code offset: 0x613
+     ;; code offset: 0x611
+     (br_if $block1
+      ;; code offset: 0x610
       (i32.ge_u
-       ;; code offset: 0x60c
+       ;; code offset: 0x609
        (local.tee $0
-        ;; code offset: 0x609
+        ;; code offset: 0x606
         (i32.load offset=20
-         ;; code offset: 0x607
+         ;; code offset: 0x604
          (local.get $1)
         )
        )
-       ;; code offset: 0x610
+       ;; code offset: 0x60d
        (i32.load offset=16
-        ;; code offset: 0x60e
+        ;; code offset: 0x60b
         (local.get $1)
        )
       )
      )
-     ;; code offset: 0x61d
+     ;; code offset: 0x61a
      (i32.store offset=20
-      ;; code offset: 0x616
+      ;; code offset: 0x613
       (local.get $1)
-      ;; code offset: 0x61c
+      ;; code offset: 0x619
       (i32.add
-       ;; code offset: 0x618
+       ;; code offset: 0x615
        (local.get $0)
-       ;; code offset: 0x61a
+       ;; code offset: 0x617
        (i32.const 1)
       )
      )
-     ;; code offset: 0x624
+     ;; code offset: 0x621
      (i32.store8
-      ;; code offset: 0x620
+      ;; code offset: 0x61d
       (local.get $0)
-      ;; code offset: 0x622
+      ;; code offset: 0x61f
       (i32.const 10)
      )
-     ;; code offset: 0x629
-     (br $label$2
-      ;; code offset: 0x627
+     ;; code offset: 0x626
+     (br $block
+      ;; code offset: 0x624
       (i32.const 0)
      )
     )
-    ;; code offset: 0x634
+    ;; code offset: 0x631
     (i32.shr_s
-     ;; code offset: 0x630
+     ;; code offset: 0x62d
      (call $13
-      ;; code offset: 0x62c
+      ;; code offset: 0x629
       (local.get $1)
-      ;; code offset: 0x62e
+      ;; code offset: 0x62b
       (i32.const 10)
      )
-     ;; code offset: 0x632
+     ;; code offset: 0x62f
      (i32.const 31)
     )
    )
   )
-  ;; code offset: 0x63a
+  ;; code offset: 0x637
   (if
-   ;; code offset: 0x638
+   ;; code offset: 0x635
    (local.get $2)
    (then
-    ;; code offset: 0x63e
+    ;; code offset: 0x63b
     (call $16
-     ;; code offset: 0x63c
+     ;; code offset: 0x639
      (local.get $1)
     )
    )
   )
-  ;; code offset: 0x641
+  ;; code offset: 0x63e
   (local.get $0)
  )
  (func $15 (param $0 i32) (result i32)
-  ;; code offset: 0x646
+  ;; code offset: 0x643
   (i32.const 1)
  )
  (func $16 (param $0 i32)
-  ;; code offset: 0x64b
+  ;; code offset: 0x648
   (nop)
  )
  (func $17 (param $0 i32) (result i32)
   (local $1 i32)
   (local $2 i32)
   (local $3 i32)
-  ;; code offset: 0x658
+  ;; code offset: 0x655
   (local.set $1
-   ;; code offset: 0x656
+   ;; code offset: 0x653
    (local.get $0)
   )
-  ;; code offset: 0x65a
-  (block $label$1
-   ;; code offset: 0x65c
-   (block $label$2
-    ;; code offset: 0x664
-    (br_if $label$2
-     ;; code offset: 0x663
+  ;; code offset: 0x657
+  (block $block1
+   ;; code offset: 0x659
+   (block $block
+    ;; code offset: 0x661
+    (br_if $block
+     ;; code offset: 0x660
      (i32.eqz
-      ;; code offset: 0x662
+      ;; code offset: 0x65f
       (i32.and
-       ;; code offset: 0x65e
+       ;; code offset: 0x65b
        (local.get $0)
-       ;; code offset: 0x660
+       ;; code offset: 0x65d
        (i32.const 3)
       )
      )
     )
-    ;; code offset: 0x66c
+    ;; code offset: 0x669
     (if
-     ;; code offset: 0x66b
+     ;; code offset: 0x668
      (i32.eqz
-      ;; code offset: 0x668
+      ;; code offset: 0x665
       (i32.load8_u
-       ;; code offset: 0x666
+       ;; code offset: 0x663
        (local.get $0)
       )
      )
      (then
-      ;; code offset: 0x670
+      ;; code offset: 0x66d
       (return
-       ;; code offset: 0x66e
+       ;; code offset: 0x66b
        (i32.const 0)
       )
      )
     )
-    ;; code offset: 0x672
-    (loop $label$4
-     ;; code offset: 0x67f
-     (br_if $label$2
-      ;; code offset: 0x67e
+    ;; code offset: 0x66f
+    (loop $label
+     ;; code offset: 0x67c
+     (br_if $block
+      ;; code offset: 0x67b
       (i32.eqz
-       ;; code offset: 0x67d
+       ;; code offset: 0x67a
        (i32.and
-        ;; code offset: 0x679
+        ;; code offset: 0x676
         (local.tee $1
-         ;; code offset: 0x678
+         ;; code offset: 0x675
          (i32.add
-          ;; code offset: 0x674
+          ;; code offset: 0x671
           (local.get $1)
-          ;; code offset: 0x676
+          ;; code offset: 0x673
           (i32.const 1)
          )
         )
-        ;; code offset: 0x67b
+        ;; code offset: 0x678
         (i32.const 3)
        )
       )
      )
-     ;; code offset: 0x686
-     (br_if $label$4
-      ;; code offset: 0x683
+     ;; code offset: 0x683
+     (br_if $label
+      ;; code offset: 0x680
       (i32.load8_u
-       ;; code offset: 0x681
+       ;; code offset: 0x67e
        (local.get $1)
       )
      )
     )
-    ;; code offset: 0x689
-    (br $label$1)
+    ;; code offset: 0x686
+    (br $block1)
    )
-   ;; code offset: 0x68c
-   (loop $label$5
-    ;; code offset: 0x695
+   ;; code offset: 0x689
+   (loop $label1
+    ;; code offset: 0x692
     (local.set $1
-     ;; code offset: 0x694
+     ;; code offset: 0x691
      (i32.add
-      ;; code offset: 0x690
+      ;; code offset: 0x68d
       (local.tee $2
-       ;; code offset: 0x68e
+       ;; code offset: 0x68b
        (local.get $1)
       )
-      ;; code offset: 0x692
+      ;; code offset: 0x68f
       (i32.const 4)
      )
     )
-    ;; code offset: 0x6b2
-    (br_if $label$5
-     ;; code offset: 0x6b1
+    ;; code offset: 0x6af
+    (br_if $label1
+     ;; code offset: 0x6ae
      (i32.eqz
-      ;; code offset: 0x6b0
+      ;; code offset: 0x6ad
       (i32.and
-       ;; code offset: 0x6a9
+       ;; code offset: 0x6a6
        (i32.and
-        ;; code offset: 0x6a0
+        ;; code offset: 0x69d
         (i32.xor
-         ;; code offset: 0x69c
+         ;; code offset: 0x699
          (local.tee $3
-          ;; code offset: 0x699
+          ;; code offset: 0x696
           (i32.load
-           ;; code offset: 0x697
+           ;; code offset: 0x694
            (local.get $2)
           )
          )
-         ;; code offset: 0x69e
+         ;; code offset: 0x69b
          (i32.const -1)
         )
-        ;; code offset: 0x6a8
+        ;; code offset: 0x6a5
         (i32.add
-         ;; code offset: 0x6a1
+         ;; code offset: 0x69e
          (local.get $3)
-         ;; code offset: 0x6a3
+         ;; code offset: 0x6a0
          (i32.const -16843009)
         )
        )
-       ;; code offset: 0x6aa
+       ;; code offset: 0x6a7
        (i32.const -2139062144)
       )
      )
     )
    )
-   ;; code offset: 0x6bc
+   ;; code offset: 0x6b9
    (if
-    ;; code offset: 0x6bb
+    ;; code offset: 0x6b8
     (i32.eqz
-     ;; code offset: 0x6ba
+     ;; code offset: 0x6b7
      (i32.and
-      ;; code offset: 0x6b5
+      ;; code offset: 0x6b2
       (local.get $3)
-      ;; code offset: 0x6b7
+      ;; code offset: 0x6b4
       (i32.const 255)
      )
     )
     (then
-     ;; code offset: 0x6c3
+     ;; code offset: 0x6c0
      (return
-      ;; code offset: 0x6c2
+      ;; code offset: 0x6bf
       (i32.sub
-       ;; code offset: 0x6be
+       ;; code offset: 0x6bb
        (local.get $2)
-       ;; code offset: 0x6c0
+       ;; code offset: 0x6bd
        (local.get $0)
       )
      )
     )
    )
-   ;; code offset: 0x6c5
-   (loop $label$7
-    ;; code offset: 0x6cc
+   ;; code offset: 0x6c2
+   (loop $label2
+    ;; code offset: 0x6c9
     (local.set $3
-     ;; code offset: 0x6c9
+     ;; code offset: 0x6c6
      (i32.load8_u offset=1
-      ;; code offset: 0x6c7
+      ;; code offset: 0x6c4
       (local.get $2)
      )
     )
-    ;; code offset: 0x6d5
+    ;; code offset: 0x6d2
     (local.set $2
-     ;; code offset: 0x6d3
+     ;; code offset: 0x6d0
      (local.tee $1
-      ;; code offset: 0x6d2
+      ;; code offset: 0x6cf
       (i32.add
-       ;; code offset: 0x6ce
+       ;; code offset: 0x6cb
        (local.get $2)
-       ;; code offset: 0x6d0
+       ;; code offset: 0x6cd
        (i32.const 1)
       )
      )
     )
-    ;; code offset: 0x6d9
-    (br_if $label$7
-     ;; code offset: 0x6d7
+    ;; code offset: 0x6d6
+    (br_if $label2
+     ;; code offset: 0x6d4
      (local.get $3)
     )
    )
   )
-  ;; code offset: 0x6e1
+  ;; code offset: 0x6de
   (i32.sub
-   ;; code offset: 0x6dd
+   ;; code offset: 0x6da
    (local.get $1)
-   ;; code offset: 0x6df
+   ;; code offset: 0x6dc
    (local.get $0)
   )
  )
  (func $18 (result i32)
-  ;; code offset: 0x6e5
+  ;; code offset: 0x6e2
   (global.get $global$0)
  )
  (func $19 (param $0 i32)
-  ;; code offset: 0x6ec
+  ;; code offset: 0x6e9
   (global.set $global$0
-   ;; code offset: 0x6ea
+   ;; code offset: 0x6e7
    (local.get $0)
   )
  )
  (func $20 (param $0 i32) (result i32)
   (local $1 i32)
-  ;; code offset: 0x6fd
+  ;; code offset: 0x6fa
   (global.set $global$0
-   ;; code offset: 0x6fb
+   ;; code offset: 0x6f8
    (local.tee $1
-    ;; code offset: 0x6fa
+    ;; code offset: 0x6f7
     (i32.and
-     ;; code offset: 0x6f7
+     ;; code offset: 0x6f4
      (i32.sub
-      ;; code offset: 0x6f3
+      ;; code offset: 0x6f0
       (global.get $global$0)
-      ;; code offset: 0x6f5
+      ;; code offset: 0x6f2
       (local.get $0)
      )
-     ;; code offset: 0x6f8
+     ;; code offset: 0x6f5
      (i32.const -16)
     )
    )
   )
-  ;; code offset: 0x6ff
+  ;; code offset: 0x6fc
   (local.get $1)
  )
  (func $21 (param $0 i32) (param $1 i32) (param $2 i64) (param $3 i32) (result i64)
-  ;; code offset: 0x70c
+  ;; code offset: 0x709
   (call_indirect (type $6)
-   ;; code offset: 0x704
+   ;; code offset: 0x701
    (local.get $1)
-   ;; code offset: 0x706
+   ;; code offset: 0x703
    (local.get $2)
-   ;; code offset: 0x708
+   ;; code offset: 0x705
    (local.get $3)
-   ;; code offset: 0x70a
+   ;; code offset: 0x707
    (local.get $0)
   )
  )
  (func $22 (param $0 i32) (param $1 i32) (param $2 i32) (param $3 i32) (param $4 i32) (result i32)
   (local $5 i64)
-  ;; code offset: 0x72c
+  ;; code offset: 0x729
   (call $fimport$2
-   ;; code offset: 0x72b
+   ;; code offset: 0x728
    (i32.wrap_i64
-    ;; code offset: 0x72a
+    ;; code offset: 0x727
     (i64.shr_u
-     ;; code offset: 0x726
+     ;; code offset: 0x723
      (local.tee $5
-      ;; code offset: 0x724
+      ;; code offset: 0x721
       (call $21
-       ;; code offset: 0x714
+       ;; code offset: 0x711
        (local.get $0)
-       ;; code offset: 0x716
+       ;; code offset: 0x713
        (local.get $1)
-       ;; code offset: 0x721
+       ;; code offset: 0x71e
        (i64.or
-        ;; code offset: 0x71a
+        ;; code offset: 0x717
         (i64.extend_i32_u
-         ;; code offset: 0x718
+         ;; code offset: 0x715
          (local.get $2)
         )
-        ;; code offset: 0x720
+        ;; code offset: 0x71d
         (i64.shl
-         ;; code offset: 0x71d
+         ;; code offset: 0x71a
          (i64.extend_i32_u
-          ;; code offset: 0x71b
+          ;; code offset: 0x718
           (local.get $3)
          )
-         ;; code offset: 0x71e
+         ;; code offset: 0x71b
          (i64.const 32)
         )
        )
-       ;; code offset: 0x722
+       ;; code offset: 0x71f
        (local.get $4)
       )
      )
-     ;; code offset: 0x728
+     ;; code offset: 0x725
      (i64.const 32)
     )
    )
   )
-  ;; code offset: 0x730
+  ;; code offset: 0x72d
   (i32.wrap_i64
-   ;; code offset: 0x72e
+   ;; code offset: 0x72b
    (local.get $5)
   )
  )
  (func $23 (param $0 i32) (result i32)
-  ;; code offset: 0x736
+  ;; code offset: 0x733
   (memory.grow
-   ;; code offset: 0x734
+   ;; code offset: 0x731
    (local.get $0)
   )
  )