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, 7 insertions, 7 deletions

diff --git a/test/passes/rse_all-features.wast b/test/passes/rse_all-features.wast
index 0f5f72c17..d77dae379 100644
--- a/test/passes/rse_all-features.wast
+++ b/test/passes/rse_all-features.wast
@@ -293,7 +293,7 @@
     (try
       (do)
       (catch
-        (drop (exnref.pop))
+        (drop (pop exnref))
         (local.set $x (i32.const 1))
       )
     )
@@ -307,7 +307,7 @@
         (local.set $x (i32.const 1))
       )
       (catch
-        (drop (exnref.pop))
+        (drop (pop exnref))
       )
     )
     (local.set $x (i32.const 1)) ;; should NOT be dropped
@@ -319,7 +319,7 @@
         (throw $e (i32.const 0))
       )
       (catch
-        (drop (exnref.pop))
+        (drop (pop exnref))
         (local.set $x (i32.const 1))
       )
     )
@@ -334,7 +334,7 @@
         (local.set $x (i32.const 1))
       )
       (catch
-        (drop (exnref.pop))
+        (drop (pop exnref))
       )
     )
     (local.set $x (i32.const 1)) ;; should NOT be dropped
@@ -347,7 +347,7 @@
         (call $foo)
       )
       (catch
-        (drop (exnref.pop))
+        (drop (pop exnref))
       )
     )
     (local.set $x (i32.const 1)) ;; should be dropped
@@ -361,12 +361,12 @@
             (throw $e (i32.const 0))
           )
           (catch
-            (rethrow (exnref.pop))
+            (rethrow (pop exnref))
           )
         )
       )
       (catch
-        (drop (exnref.pop))
+        (drop (pop exnref))
         (local.set $x (i32.const 1))
       )
     )