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/passes/dae-gc.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/passes/dae-gc.wast')
| -rw-r--r-- | test/lit/passes/dae-gc.wast | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/test/lit/passes/dae-gc.wast b/test/lit/passes/dae-gc.wast index 3cc1c8653..bcf177f74 100644 --- a/test/lit/passes/dae-gc.wast +++ b/test/lit/passes/dae-gc.wast @@ -10,7 +10,7 @@ ;; CHECK: (func $foo ;; CHECK-NEXT: (call $bar) ;; CHECK-NEXT: ) - ;; NOMNL: (func $foo + ;; NOMNL: (func $foo (type $none_=>_none) ;; NOMNL-NEXT: (call $bar) ;; NOMNL-NEXT: ) (func $foo @@ -35,7 +35,7 @@ ;; CHECK-NEXT: (unreachable) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) - ;; NOMNL: (func $bar + ;; NOMNL: (func $bar (type $none_=>_none) ;; NOMNL-NEXT: (local $0 (ref null i31)) ;; NOMNL-NEXT: (drop ;; NOMNL-NEXT: (ref.as_non_null @@ -74,7 +74,7 @@ ;; CHECK: (func $get-rtt (param $0 (rtt ${})) ;; CHECK-NEXT: (nop) ;; CHECK-NEXT: ) - ;; NOMNL: (func $get-rtt (param $0 (rtt ${})) + ;; NOMNL: (func $get-rtt (type $rtt_${}_=>_none) (param $0 (rtt ${})) ;; NOMNL-NEXT: (nop) ;; NOMNL-NEXT: ) (func $get-rtt (param $0 (rtt ${})) @@ -85,7 +85,7 @@ ;; CHECK-NEXT: (rtt.canon ${}) ;; CHECK-NEXT: ) ;; CHECK-NEXT: ) - ;; NOMNL: (func $send-rtt + ;; NOMNL: (func $send-rtt (type $none_=>_none) ;; NOMNL-NEXT: (call $get-rtt ;; NOMNL-NEXT: (rtt.canon ${}) ;; NOMNL-NEXT: ) |