diff options
| author | Thomas Lively <tlively@google.com> | 2022-10-13 16:41:02 -0500 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-10-13 14:41:02 -0700 |
| commit | bc23c8f45bd1c2808d0871e7f1c9dbbdb3bc4ae8 (patch) | |
| tree | 38638c72347176a1893a65f5236333b44c60d16f /test | |
| parent | 9c3b95a388d48cfd2430e138606f781c831fb2f2 (diff) | |
| download | binaryen-bc23c8f45bd1c2808d0871e7f1c9dbbdb3bc4ae8.tar.gz binaryen-bc23c8f45bd1c2808d0871e7f1c9dbbdb3bc4ae8.tar.bz2 binaryen-bc23c8f45bd1c2808d0871e7f1c9dbbdb3bc4ae8.zip | |
Add "struct" and "structref" as an alias for "data" and "dataref" (#5141)
In the upstream spec, `data` has been replaced with a type called `struct`. To
allow for a graceful update in Binaryen, start by introducing "struct" as an
alias for "data". Once users have stopped emitting `data` directly, future PRs
will remove `data` and update the subtyping so that arrays are no longer
subtypes of `struct`.
Diffstat (limited to 'test')
| -rw-r--r-- | test/lit/structref.wast | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/test/lit/structref.wast b/test/lit/structref.wast new file mode 100644 index 000000000..5e674eb26 --- /dev/null +++ b/test/lit/structref.wast @@ -0,0 +1,13 @@ +;; NOTE: Assertions have been generated by update_lit_checks.py and should not be edited. + +;; RUN: wasm-opt -all %s -S -o - | filecheck %s + +;; Check that `struct` is correctly parsed as an alias for `data`. +(module + ;; CHECK: (func $foo (param $x dataref) (param $y (ref data)) + ;; CHECK-NEXT: (unreachable) + ;; CHECK-NEXT: ) + (func $foo (param $x structref) (param $y (ref struct)) + (unreachable) + ) +) |