summaryrefslogtreecommitdiff
path: root/test
diff options
context:
space:
mode:
authorThomas Lively <7121787+tlively@users.noreply.github.com>2022-08-29 12:48:46 -0700
committerGitHub <noreply@github.com>2022-08-29 12:48:46 -0700
commitbd630d707253a9838a3d0306e4be680942ff0715 (patch)
treeb51a786d3afd3ee97a78eb0d3923fb6ad59565d5 /test
parent8108ce28e66f1002932f6e5dc9dd4f23c8b8a9f3 (diff)
downloadbinaryen-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.wast33
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)
+ )
+ )
+)