summaryrefslogtreecommitdiff
path: root/test/lit/extern-conversions.wast
diff options
context:
space:
mode:
authorJérôme Vouillon <jerome.vouillon@gmail.com>2024-07-08 16:23:00 -0400
committerGitHub <noreply@github.com>2024-07-08 20:23:00 +0000
commit81f8f770a1b2adc027cbbbd981781d2ee6952e54 (patch)
tree11df952c2b2da03fb5ad5a3d75b64a060df1a130 /test/lit/extern-conversions.wast
parent9792f2c1fd311c3ffd2036288c6e7614a0486481 (diff)
downloadbinaryen-81f8f770a1b2adc027cbbbd981781d2ee6952e54.tar.gz
binaryen-81f8f770a1b2adc027cbbbd981781d2ee6952e54.tar.bz2
binaryen-81f8f770a1b2adc027cbbbd981781d2ee6952e54.zip
Rename external conversion instructions (#6716)
Rename instructions `extern.internalize` into `any.convert_extern` and `extern.externalize` into `extern.convert_any` to follow more closely the spec. This was changed in https://github.com/WebAssembly/gc/issues/432. The legacy name is still accepted in text inputs and in the C and JS APIs.
Diffstat (limited to 'test/lit/extern-conversions.wast')
-rw-r--r--test/lit/extern-conversions.wast39
1 files changed, 29 insertions, 10 deletions
diff --git a/test/lit/extern-conversions.wast b/test/lit/extern-conversions.wast
index a3e18a2ac..f84097557 100644
--- a/test/lit/extern-conversions.wast
+++ b/test/lit/extern-conversions.wast
@@ -11,29 +11,48 @@
;; CHECK: (type $1 (func (param externref) (result anyref)))
- ;; CHECK: (export "ext" (func $extern.externalize))
+ ;; CHECK: (type $2 (func (param externref) (result externref)))
- ;; CHECK: (export "int" (func $extern.internalize))
+ ;; CHECK: (export "ext" (func $extern.convert_any))
- ;; CHECK: (func $extern.externalize (type $0) (param $0 (ref any)) (result (ref extern))
- ;; CHECK-NEXT: (extern.externalize
+ ;; CHECK: (export "int" (func $any.convert_extern))
+
+ ;; CHECK: (export "legacy" (func $legacy_notation))
+
+ ;; CHECK: (func $extern.convert_any (type $0) (param $0 (ref any)) (result (ref extern))
+ ;; CHECK-NEXT: (extern.convert_any
;; CHECK-NEXT: (local.get $0)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- (func $extern.externalize (export "ext") (param $x (ref any)) (result (ref extern))
- (extern.externalize
+ (func $extern.convert_any (export "ext") (param $x (ref any)) (result (ref extern))
+ (extern.convert_any
(local.get $x)
)
)
- ;; CHECK: (func $extern.internalize (type $1) (param $0 externref) (result anyref)
- ;; CHECK-NEXT: (extern.internalize
+ ;; CHECK: (func $any.convert_extern (type $1) (param $0 externref) (result anyref)
+ ;; CHECK-NEXT: (any.convert_extern
;; CHECK-NEXT: (local.get $0)
;; CHECK-NEXT: )
;; CHECK-NEXT: )
- (func $extern.internalize (export "int") (param $x (ref null extern)) (result (ref null any))
- (extern.internalize
+ (func $any.convert_extern (export "int") (param $x (ref null extern)) (result (ref null any))
+ (any.convert_extern
(local.get $x)
)
)
+
+ ;; CHECK: (func $legacy_notation (type $2) (param $0 externref) (result externref)
+ ;; CHECK-NEXT: (extern.convert_any
+ ;; CHECK-NEXT: (any.convert_extern
+ ;; CHECK-NEXT: (local.get $0)
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ ;; CHECK-NEXT: )
+ (func $legacy_notation (export "legacy") (param $x (ref null extern)) (result (ref null extern))
+ (extern.externalize
+ (extern.internalize
+ (local.get $x)
+ )
+ )
+ )
)