diff options
author | Jérôme Vouillon <jerome.vouillon@gmail.com> | 2024-07-08 16:23:00 -0400 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-07-08 20:23:00 +0000 |
commit | 81f8f770a1b2adc027cbbbd981781d2ee6952e54 (patch) | |
tree | 11df952c2b2da03fb5ad5a3d75b64a060df1a130 /test/lit/extern-conversions.wast | |
parent | 9792f2c1fd311c3ffd2036288c6e7614a0486481 (diff) | |
download | binaryen-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.wast | 39 |
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) + ) + ) + ) ) |