Update binary encoding for block, loop, and if signatures (#711)

Also updates the tests and has a few other changes for binary 0xc:
Update nop/unrechable opcodes
Fix for "name" section

7 files changed, 11 insertions, 11 deletions

diff --git a/test/example/c-api-kitchen-sink.txt b/test/example/c-api-kitchen-sink.txt
index b66982140..8b4de4402 100644
--- a/test/example/c-api-kitchen-sink.txt
+++ b/test/example/c-api-kitchen-sink.txt
@@ -415,12 +415,12 @@ BinaryenFloat64: 4
               )
             )
             (drop
-              (loop $in
+              (loop $in i32
                 (i32.const 0)
               )
             )
             (drop
-              (loop
+              (loop i32
                 (i32.const 0)
               )
             )
@@ -1958,12 +1958,12 @@ int main() {
               )
             )
             (drop
-              (loop $in
+              (loop $in i32
                 (i32.const 0)
               )
             )
             (drop
-              (loop
+              (loop i32
                 (i32.const 0)
               )
             )
diff --git a/test/example/c-api-kitchen-sink.txt.txt b/test/example/c-api-kitchen-sink.txt.txt
index b42c1ec34..4d166cc2e 100644
--- a/test/example/c-api-kitchen-sink.txt.txt
+++ b/test/example/c-api-kitchen-sink.txt.txt
@@ -410,12 +410,12 @@
               )
             )
             (drop
-              (loop $in
+              (loop $in i32
                 (i32.const 0)
               )
             )
             (drop
-              (loop
+              (loop i32
                 (i32.const 0)
               )
             )
diff --git a/test/passes/nm.txt b/test/passes/nm.txt
index 1b12c5cff..27b12bfda 100644
--- a/test/passes/nm.txt
+++ b/test/passes/nm.txt
@@ -9,7 +9,7 @@
   )
   (func $b (type $0)
     (drop
-      (loop $loop-in1
+      (loop $loop-in1 i32
         (nop)
         (i32.const 1000)
       )
diff --git a/test/passes/simplify-locals.txt b/test/passes/simplify-locals.txt
index f12054887..15cd59140 100644
--- a/test/passes/simplify-locals.txt
+++ b/test/passes/simplify-locals.txt
@@ -323,7 +323,7 @@
         (i32.const 1337)
       )
       (drop
-        (loop $loop-in5
+        (loop $loop-in5 i32
           (drop
             (get_local $a)
           )
diff --git a/test/unit.wast b/test/unit.wast
index fab6705d2..2ba0f6612 100644
--- a/test/unit.wast
+++ b/test/unit.wast
@@ -429,7 +429,7 @@
     (i32.const 0)
   )
   (func $loop-roundtrip (type $7) (param $0 f64) (result f64)
-    (loop $loop-in1
+    (loop $loop-in1 f64
       (drop
         (get_local $0)
       )
diff --git a/test/unit.wast.fromBinary b/test/unit.wast.fromBinary
index 1080d5d20..8516d1775 100644
--- a/test/unit.wast.fromBinary
+++ b/test/unit.wast.fromBinary
@@ -439,7 +439,7 @@
     )
   )
   (func $loop-roundtrip (type $7) (param $var$0 f64) (result f64)
-    (loop $label$0
+    (loop $label$0 f64
       (drop
         (get_local $var$0)
       )
diff --git a/test/unit.wast.fromBinary.noDebugInfo b/test/unit.wast.fromBinary.noDebugInfo
index 4d9578500..d6980b9be 100644
--- a/test/unit.wast.fromBinary.noDebugInfo
+++ b/test/unit.wast.fromBinary.noDebugInfo
@@ -439,7 +439,7 @@
     )
   )
   (func $20 (type $7) (param $var$0 f64) (result f64)
-    (loop $label$0
+    (loop $label$0 f64
       (drop
         (get_local $var$0)
       )