diff options
| author | Thomas Lively <tlively@google.com> | 2023-04-13 08:33:40 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-13 08:33:40 -0700 |
| commit | 1034a6be0b411444f4a2e4fb610a655982d30e31 (patch) | |
| tree | 808a96699f52c9d1f1692f2b3d34f2bc22589798 /test/lit/gc-read-write-effects.wast | |
| parent | 42fc582162899aed64f2e1fa6a7a544fcba27a6d (diff) | |
| download | binaryen-1034a6be0b411444f4a2e4fb610a655982d30e31.tar.gz binaryen-1034a6be0b411444f4a2e4fb610a655982d30e31.tar.bz2 binaryen-1034a6be0b411444f4a2e4fb610a655982d30e31.zip | |
Convert some tests off of --nominal (#5660)
In preparation to remove the nominal type system, which is nonstandard and not
usable for modules with nontrivial external linkage requirements, port an
initial batch of tests to use the standard isorecursive type system.
The port involves reordering input types to ensure that supertypes precede their
subtypes and inserting rec groups to ensure that structurally identical types
maintain their separate identities.
More tests will be ported in future PRs before the nominal type system is
removed entirely.
Diffstat (limited to 'test/lit/gc-read-write-effects.wast')
| -rw-r--r-- | test/lit/gc-read-write-effects.wast | 15 |
1 files changed, 0 insertions, 15 deletions
diff --git a/test/lit/gc-read-write-effects.wast b/test/lit/gc-read-write-effects.wast index da869e9b9..e05335554 100644 --- a/test/lit/gc-read-write-effects.wast +++ b/test/lit/gc-read-write-effects.wast @@ -4,11 +4,9 @@ ;; struct field. ;; RUN: wasm-opt -all --simplify-locals %s -S -o - | filecheck %s -;; RUN: wasm-opt -all --simplify-locals %s --nominal -S -o - | filecheck %s --check-prefix=NOMNL (module ;; CHECK: (type $A (struct (field (mut i32)))) - ;; NOMNL: (type $A (struct (field (mut i32)))) (type $A (struct (field (mut i32)) )) @@ -37,19 +35,6 @@ ;; CHECK-NEXT: ) ;; CHECK-NEXT: (local.get $y) ;; CHECK-NEXT: ) - ;; NOMNL: (func $test (type $ref?|$A|_=>_i32) (param $x (ref null $A)) (result i32) - ;; NOMNL-NEXT: (local $y i32) - ;; NOMNL-NEXT: (local.set $y - ;; NOMNL-NEXT: (struct.get $A 0 - ;; NOMNL-NEXT: (local.get $x) - ;; NOMNL-NEXT: ) - ;; NOMNL-NEXT: ) - ;; NOMNL-NEXT: (struct.set $A 0 - ;; NOMNL-NEXT: (local.get $x) - ;; NOMNL-NEXT: (i32.const 10) - ;; NOMNL-NEXT: ) - ;; NOMNL-NEXT: (local.get $y) - ;; NOMNL-NEXT: ) (func $test (export "test") (param $x (ref null $A)) (result i32) (local $y i32) (local.set $y |