diff options
| author | Thomas Lively <tlively@google.com> | 2023-12-12 17:20:32 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-12 17:20:32 -0800 |
| commit | 28bea549061d88a8a7f7d05f3acf3bca175f0102 (patch) | |
| tree | 2329f4374061006771672c7d37001783eaaf06a5 /test/lit/passes/coalesce-locals-gc.wast | |
| parent | b59b2fc639a134260458bc076c407e7fbfb946d6 (diff) | |
| download | binaryen-28bea549061d88a8a7f7d05f3acf3bca175f0102.tar.gz binaryen-28bea549061d88a8a7f7d05f3acf3bca175f0102.tar.bz2 binaryen-28bea549061d88a8a7f7d05f3acf3bca175f0102.zip | |
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.
Diffstat (limited to 'test/lit/passes/coalesce-locals-gc.wast')
| -rw-r--r-- | test/lit/passes/coalesce-locals-gc.wast | 16 |
1 files changed, 8 insertions, 8 deletions
diff --git a/test/lit/passes/coalesce-locals-gc.wast b/test/lit/passes/coalesce-locals-gc.wast index 09270fb6c..8af0d2187 100644 --- a/test/lit/passes/coalesce-locals-gc.wast +++ b/test/lit/passes/coalesce-locals-gc.wast @@ -313,21 +313,21 @@ ;; CHECK-NEXT: (i32.const 0) ;; CHECK-NEXT: (tuple.make 2 ;; CHECK-NEXT: (ref.as_non_null - ;; CHECK-NEXT: (tuple.extract 0 + ;; CHECK-NEXT: (tuple.extract 2 0 ;; CHECK-NEXT: (local.get $1) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (tuple.extract 1 + ;; CHECK-NEXT: (tuple.extract 2 1 ;; CHECK-NEXT: (local.get $1) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (tuple.make 2 ;; CHECK-NEXT: (ref.as_non_null - ;; CHECK-NEXT: (tuple.extract 0 + ;; CHECK-NEXT: (tuple.extract 2 0 ;; CHECK-NEXT: (local.get $1) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (tuple.extract 1 + ;; CHECK-NEXT: (tuple.extract 2 1 ;; CHECK-NEXT: (local.get $1) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) @@ -335,11 +335,11 @@ ;; CHECK-NEXT: ) ;; CHECK-NEXT: (tuple.make 2 ;; CHECK-NEXT: (ref.as_non_null - ;; CHECK-NEXT: (tuple.extract 0 + ;; CHECK-NEXT: (tuple.extract 2 0 ;; CHECK-NEXT: (local.get $1) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (tuple.extract 1 + ;; CHECK-NEXT: (tuple.extract 2 1 ;; CHECK-NEXT: (local.get $1) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) @@ -347,11 +347,11 @@ ;; CHECK-NEXT: ) ;; CHECK-NEXT: (tuple.make 2 ;; CHECK-NEXT: (ref.as_non_null - ;; CHECK-NEXT: (tuple.extract 0 + ;; CHECK-NEXT: (tuple.extract 2 0 ;; CHECK-NEXT: (local.get $1) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) - ;; CHECK-NEXT: (tuple.extract 1 + ;; CHECK-NEXT: (tuple.extract 2 1 ;; CHECK-NEXT: (local.get $1) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) |