diff options
| author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2022-08-26 12:11:29 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-08-26 12:11:29 -0700 |
| commit | 9d20a4e129dc6666f873d84566ea504dfc46ccdc (patch) | |
| tree | 99be367933aaddeffa4805f0493cb84d01c0d5a0 /test/lit/passes/dae-gc.wast | |
| parent | 3777624e19f22a6eb80d995408329d789593e427 (diff) | |
| download | binaryen-9d20a4e129dc6666f873d84566ea504dfc46ccdc.tar.gz binaryen-9d20a4e129dc6666f873d84566ea504dfc46ccdc.tar.bz2 binaryen-9d20a4e129dc6666f873d84566ea504dfc46ccdc.zip | |
Make `i31ref` and `dataref` nullable (#4843)
Match the latest version of the GC spec. This change does not depend on V8
changing its interpretation of the shorthands because we are still temporarily
not emitting the binary shorthands, but all Binaryen users will have to update
their interpretations along with this change if they use the text or binary
shorthands.
Diffstat (limited to 'test/lit/passes/dae-gc.wast')
| -rw-r--r-- | test/lit/passes/dae-gc.wast | 24 |
1 files changed, 10 insertions, 14 deletions
diff --git a/test/lit/passes/dae-gc.wast b/test/lit/passes/dae-gc.wast index 7740d8345..5ec272ea4 100644 --- a/test/lit/passes/dae-gc.wast +++ b/test/lit/passes/dae-gc.wast @@ -21,13 +21,11 @@ ) ) ;; CHECK: (func $bar - ;; CHECK-NEXT: (local $0 (ref null i31)) + ;; CHECK-NEXT: (local $0 i31ref) ;; CHECK-NEXT: (drop - ;; CHECK-NEXT: (ref.as_non_null - ;; CHECK-NEXT: (local.tee $0 - ;; CHECK-NEXT: (i31.new - ;; CHECK-NEXT: (i32.const 2) - ;; CHECK-NEXT: ) + ;; CHECK-NEXT: (local.tee $0 + ;; CHECK-NEXT: (i31.new + ;; CHECK-NEXT: (i32.const 2) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) @@ -36,13 +34,11 @@ ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; NOMNL: (func $bar (type $none_=>_none) - ;; NOMNL-NEXT: (local $0 (ref null i31)) + ;; NOMNL-NEXT: (local $0 i31ref) ;; NOMNL-NEXT: (drop - ;; NOMNL-NEXT: (ref.as_non_null - ;; NOMNL-NEXT: (local.tee $0 - ;; NOMNL-NEXT: (i31.new - ;; NOMNL-NEXT: (i32.const 2) - ;; NOMNL-NEXT: ) + ;; NOMNL-NEXT: (local.tee $0 + ;; NOMNL-NEXT: (i31.new + ;; NOMNL-NEXT: (i32.const 2) ;; NOMNL-NEXT: ) ;; NOMNL-NEXT: ) ;; NOMNL-NEXT: ) @@ -164,7 +160,7 @@ ) ) - ;; CHECK: (func $bar (param $0 (ref null i31)) + ;; CHECK: (func $bar (param $0 i31ref) ;; CHECK-NEXT: (local $1 anyref) ;; CHECK-NEXT: (local.set $1 ;; CHECK-NEXT: (ref.null any) @@ -178,7 +174,7 @@ ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) - ;; NOMNL: (func $bar (type $ref?|i31|_=>_none) (param $0 (ref null i31)) + ;; NOMNL: (func $bar (type $i31ref_=>_none) (param $0 i31ref) ;; NOMNL-NEXT: (local $1 anyref) ;; NOMNL-NEXT: (local.set $1 ;; NOMNL-NEXT: (ref.null any) |