diff options
| author | Alon Zakai <azakai@google.com> | 2021-11-08 17:35:33 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-11-08 17:35:33 -0800 |
| commit | 31a5bf7ad7dbe30ec47766271ba13276117f98a0 (patch) | |
| tree | e40a3f1e8b5ddfbed9b8ada1dacfe46f8671f5e4 /test/lit/nominal-func.wast | |
| parent | ed4d22e22414a561e5b5af0064a3a47fc8db1645 (diff) | |
| download | binaryen-31a5bf7ad7dbe30ec47766271ba13276117f98a0.tar.gz binaryen-31a5bf7ad7dbe30ec47766271ba13276117f98a0.tar.bz2 binaryen-31a5bf7ad7dbe30ec47766271ba13276117f98a0.zip | |
Print heap types in text format in nominal mode (#4316)
Without this roundtripping may not work in nominal mode, as
we might not assign the expected heap types in the right places.
Specifically, when the signature matches but the nominal types are
distinct then we need to keep them that way (and the sugar in the
text format parsing will merge them).
Diffstat (limited to 'test/lit/nominal-func.wast')
| -rw-r--r-- | test/lit/nominal-func.wast | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/test/lit/nominal-func.wast b/test/lit/nominal-func.wast index 08acae21d..9e59d6900 100644 --- a/test/lit/nominal-func.wast +++ b/test/lit/nominal-func.wast @@ -9,7 +9,7 @@ ;; CHECK: (type $foo_t (func_subtype func)) (type $foo_t (func)) - ;; CHECK: (func $foo + ;; CHECK: (func $foo (type $foo_t) ;; CHECK-NEXT: (unreachable) ;; CHECK-NEXT: ) (func $foo (type $foo_t) @@ -17,7 +17,7 @@ ) ;; $foo needs to be assigned type foo_t rather than bad_t for this to validate. - ;; CHECK: (func $make-ref (result (ref $foo_t)) + ;; CHECK: (func $make-ref (type $none_=>_ref|$foo_t|) (result (ref $foo_t)) ;; CHECK-NEXT: (ref.func $foo) ;; CHECK-NEXT: ) (func $make-ref (result (ref $foo_t)) |