diff options
author | Thomas Lively <7121787+tlively@users.noreply.github.com> | 2022-08-29 12:48:46 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-08-29 12:48:46 -0700 |
commit | bd630d707253a9838a3d0306e4be680942ff0715 (patch) | |
tree | b51a786d3afd3ee97a78eb0d3923fb6ad59565d5 /test | |
parent | 8108ce28e66f1002932f6e5dc9dd4f23c8b8a9f3 (diff) | |
download | binaryen-bd630d707253a9838a3d0306e4be680942ff0715.tar.gz binaryen-bd630d707253a9838a3d0306e4be680942ff0715.tar.bz2 binaryen-bd630d707253a9838a3d0306e4be680942ff0715.zip |
Implement `extern.externalize` and `extern.internalize` (#4975)
These new GC instructions infallibly convert between `extern` and `any`
references now that those types are not in the same hierarchy.
Diffstat (limited to 'test')
-rw-r--r-- | test/lit/extern-conversions.wast | 33 |
1 files changed, 33 insertions, 0 deletions
diff --git a/test/lit/extern-conversions.wast b/test/lit/extern-conversions.wast new file mode 100644 index 000000000..403b558f6 --- /dev/null +++ b/test/lit/extern-conversions.wast @@ -0,0 +1,33 @@ +;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. + +;; Check that extern conversion instructions are emitted properly in the binary format. + +;; RUN: wasm-opt %s -all --roundtrip -S -o - | filecheck %s + +(module + ;; CHECK: (type $ref|any|_=>_ref|extern| (func (param (ref any)) (result (ref extern)))) + + ;; CHECK: (type $externref_=>_anyref (func (param externref) (result anyref))) + + ;; CHECK: (func $extern.externalize (param $x (ref any)) (result (ref extern)) + ;; CHECK-NEXT: (extern.externalize + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $extern.externalize (param $x (ref any)) (result (ref extern)) + (extern.externalize + (local.get $x) + ) + ) + + ;; CHECK: (func $extern.internalize (param $x externref) (result anyref) + ;; CHECK-NEXT: (extern.internalize + ;; CHECK-NEXT: (local.get $x) + ;; CHECK-NEXT: ) + ;; CHECK-NEXT: ) + (func $extern.internalize (param $x (ref null extern)) (result (ref null any)) + (extern.internalize + (local.get $x) + ) + ) +) |