diff options
Diffstat (limited to 'test/lit/extern-conversions.wast')
| -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) + ) + ) +) |