Update Pop text format to handle tuples (#3116)

Previously Pops were printed as ({type}.pop), and if the popped type was a
tuple, something like ((i32, i64).pop) would get printed. However, the parser
didn't support pops of anything besides single basic types.

This PR changes the text format to be (pop <type>*) and adds support for parsing
pops of tuples of basic types. The text format change is designed to make
parsing simpler. This change is necessary for writing Poppy IR tests (see #3059)
that contain break or return instructions that consume multiple values, since in
Poppy IR that requires tuple-typed pops.

1 files changed, 9 insertions, 9 deletions

diff --git a/test/reference-types.wast.fromBinary b/test/reference-types.wast.fromBinary
index c266e725a..00e651305 100644
--- a/test/reference-types.wast.fromBinary
+++ b/test/reference-types.wast.fromBinary
@@ -702,7 +702,7 @@
     )
     (catch
      (drop
-      (exnref.pop)
+      (pop exnref)
      )
      (ref.null extern)
     )
@@ -715,7 +715,7 @@
     )
     (catch
      (drop
-      (exnref.pop)
+      (pop exnref)
      )
      (ref.null func)
     )
@@ -727,7 +727,7 @@
      (ref.null exn)
     )
     (catch
-     (exnref.pop)
+     (pop exnref)
     )
    )
   )
@@ -738,7 +738,7 @@
     )
     (catch
      (drop
-      (exnref.pop)
+      (pop exnref)
      )
      (ref.func $foo)
     )
@@ -750,7 +750,7 @@
      (local.get $1)
     )
     (catch
-     (exnref.pop)
+     (pop exnref)
     )
    )
   )
@@ -761,7 +761,7 @@
     )
     (catch
      (drop
-      (exnref.pop)
+      (pop exnref)
      )
      (local.get $1)
     )
@@ -773,7 +773,7 @@
      (ref.func $foo)
     )
     (catch
-     (exnref.pop)
+     (pop exnref)
     )
    )
   )
@@ -784,7 +784,7 @@
     )
     (catch
      (drop
-      (exnref.pop)
+      (pop exnref)
      )
      (local.get $1)
     )
@@ -797,7 +797,7 @@
     )
     (catch
      (drop
-      (exnref.pop)
+      (pop exnref)
      )
      (ref.func $foo)
     )