diff options
| author | Thomas Lively <tlively@google.com> | 2023-08-30 18:24:55 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-08-30 16:24:55 -0700 |
| commit | 5bfb19239a15fec2d2ce44606d7c6e2b821302e1 (patch) | |
| tree | a37715c090bd3ede3e1733b5c24f4ed692b47fae /test | |
| parent | e8adbdda08a138c697187cad13528e9082bf3ca4 (diff) | |
| download | binaryen-5bfb19239a15fec2d2ce44606d7c6e2b821302e1.tar.gz binaryen-5bfb19239a15fec2d2ce44606d7c6e2b821302e1.tar.bz2 binaryen-5bfb19239a15fec2d2ce44606d7c6e2b821302e1.zip | |
Parse non-nullable tuple elements without special handling (#5910)
In the binary parser, when creating a scratch local to hold multivalue results
as tuples, we previously ensured that the scratch local did not contain any
non-nullable by modifying its type and inserting ref.as_non_null as necessary.
Now that we properly support non-nullable elements in tuple locals, however,
this parser behavior is no longer necessary. Remove it.
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/passes/roundtrip.wast | 8 |
1 files changed, 3 insertions, 5 deletions
diff --git a/test/lit/passes/roundtrip.wast b/test/lit/passes/roundtrip.wast index 6b00f2e6d..f41761c2e 100644 --- a/test/lit/passes/roundtrip.wast +++ b/test/lit/passes/roundtrip.wast @@ -5,7 +5,7 @@ ;; CHECK: (type $none (func)) (type $none (func)) ;; CHECK: (func $foo (type $none) - ;; CHECK-NEXT: (local $0 (funcref (ref null $none))) + ;; CHECK-NEXT: (local $0 (funcref (ref $none))) ;; CHECK-NEXT: (local $1 funcref) ;; CHECK-NEXT: (local.set $0 ;; CHECK-NEXT: (block $label$1 (result funcref (ref $none)) @@ -23,10 +23,8 @@ ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.as_non_null - ;; CHECK-NEXT: (tuple.extract 1 - ;; CHECK-NEXT: (local.get $0) - ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (tuple.extract 1 + ;; CHECK-NEXT: (local.get $0) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: (local.get $1) |