diff options
| author | Alon Zakai <azakai@google.com> | 2024-07-30 14:29:47 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-07-30 14:29:47 -0700 |
| commit | e6bbff7846cad9daf178b6917d78abe5cfcd5771 (patch) | |
| tree | 0cef97029997b1c46ebff0a6a665b6caaaf46142 /test/spec | |
| parent | 5078d4daffb39edb91785e5fd6d28c5ff92478e4 (diff) | |
| download | binaryen-e6bbff7846cad9daf178b6917d78abe5cfcd5771.tar.gz binaryen-e6bbff7846cad9daf178b6917d78abe5cfcd5771.tar.bz2 binaryen-e6bbff7846cad9daf178b6917d78abe5cfcd5771.zip | |
Fix shareability of externalized nulls (#6791)
Diffstat (limited to 'test/spec')
| -rw-r--r-- | test/spec/convert_extern.wast | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/test/spec/convert_extern.wast b/test/spec/convert_extern.wast index 36254bc4a..443bc8956 100644 --- a/test/spec/convert_extern.wast +++ b/test/spec/convert_extern.wast @@ -5,7 +5,15 @@ (ref.null (shared noextern)) ) ) + + (func $shared-null-rev (export "shared-null-rev") (result (ref null (shared extern))) + ;; As before, but the reverse conversion. + (extern.convert_any + (ref.null (shared any)) + ) + ) ) (assert_return (invoke "shared-null") (ref.null (shared any))) +(assert_return (invoke "shared-null-rev") (ref.null (shared extern))) |