Add an arity immediate to tuple.extract (#6172)

Once support for tuple.extract lands in the new WAT parser, this arity immediate
will let the parser determine how many values it should pop off the stack to
serve as the tuple operand to `tuple.extract`. This will usually coincide with
the arity of a tuple-producing instruction on top of the stack, but in the
spirit of treating the input as a proper stack machine, it will not have to and
the parser will still work correctly.

2 files changed, 6 insertions, 6 deletions

diff --git a/test/passes/precompute-propagate_all-features.wast b/test/passes/precompute-propagate_all-features.wast
index 962877cdb..17a20417d 100644
--- a/test/passes/precompute-propagate_all-features.wast
+++ b/test/passes/precompute-propagate_all-features.wast
@@ -196,10 +196,10 @@
     )
    )
    (tuple.make 2
-    (tuple.extract 0
+    (tuple.extract 2 0
      (local.get $i32s)
     )
-    (tuple.extract 1
+    (tuple.extract 2 1
      (local.get $i64s)
     )
    )
diff --git a/test/passes/precompute_all-features.wast b/test/passes/precompute_all-features.wast
index ca4aa1cbb..cef6d4cc8 100644
--- a/test/passes/precompute_all-features.wast
+++ b/test/passes/precompute_all-features.wast
@@ -50,13 +50,13 @@
     )
     (tuple.drop 2
      (tuple.make 2
-      (tuple.extract 0
+      (tuple.extract 2 0
        (tuple.make 2
         (i32.const 42)
         (i32.const 0)
        )
       )
-      (tuple.extract 1
+      (tuple.extract 2 1
        (tuple.make 2
         (i64.const 0)
         (i64.const 42)
@@ -355,13 +355,13 @@
   )
   (func $tuple-precompute (result i32 i64)
    (tuple.make 2
-    (tuple.extract 0
+    (tuple.extract 2 0
      (tuple.make 2
       (i32.const 42)
       (i32.const 0)
      )
     )
-    (tuple.extract 1
+    (tuple.extract 2 1
      (tuple.make 2
       (i64.const 0)
       (i64.const 42)