diff options
| author | Thomas Lively <tlively@google.com> | 2023-04-14 10:25:52 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-04-14 10:25:52 -0700 |
| commit | e767a1aafa7544abd2b940d244964319431e39ec (patch) | |
| tree | f760d8205c952387f126ce8a6d11e179529095b2 /test/lit/passes/gsi_vacuum_precompute.wast | |
| parent | 34d5e785650101c5ccec8e99c514ad1033ca3624 (diff) | |
| download | binaryen-e767a1aafa7544abd2b940d244964319431e39ec.tar.gz binaryen-e767a1aafa7544abd2b940d244964319431e39ec.tar.bz2 binaryen-e767a1aafa7544abd2b940d244964319431e39ec.zip | |
Port a few more tests off of --nominal (#5666)
Diffstat (limited to 'test/lit/passes/gsi_vacuum_precompute.wast')
| -rw-r--r-- | test/lit/passes/gsi_vacuum_precompute.wast | 19 |
1 files changed, 10 insertions, 9 deletions
diff --git a/test/lit/passes/gsi_vacuum_precompute.wast b/test/lit/passes/gsi_vacuum_precompute.wast index 7f7371b6a..2658961ac 100644 --- a/test/lit/passes/gsi_vacuum_precompute.wast +++ b/test/lit/passes/gsi_vacuum_precompute.wast @@ -1,5 +1,5 @@ ;; NOTE: Assertions have been generated by update_lit_checks.py --all-items and should not be edited. -;; RUN: foreach %s %t wasm-opt --nominal --gsi --vacuum --precompute -tnh --closed-world -all -S -o - | filecheck %s +;; RUN: foreach %s %t wasm-opt --gsi --vacuum --precompute -tnh --closed-world -all -S -o - | filecheck %s ;; Test a common pattern in j2wasm where itables are differentiated by type, but ;; vtables are not. For example, the vtable might be "hashable" and provide a @@ -20,13 +20,15 @@ ;; that could prevent later opts. (module - ;; CHECK: (type $vtable (struct (field funcref))) - - ;; CHECK: (type $itable1 (struct (field (ref $vtable)))) - (type $itable1 (struct_subtype (field (ref $vtable)) data)) - ;; CHECK: (type $itable2 (struct (field (ref $vtable)))) - (type $itable2 (struct_subtype (field (ref $vtable)) data)) - (type $vtable (struct_subtype (field funcref) data)) + (rec + ;; CHECK: (rec + ;; CHECK-NEXT: (type $vtable (struct (field funcref))) + (type $vtable (struct_subtype (field funcref) data)) + ;; CHECK: (type $itable1 (struct (field (ref $vtable)))) + (type $itable1 (struct_subtype (field (ref $vtable)) data)) + ;; CHECK: (type $itable2 (struct (field (ref $vtable)))) + (type $itable2 (struct_subtype (field (ref $vtable)) data)) + ) ;; Two $vtable instances are created, in separate enclosing objects. @@ -98,4 +100,3 @@ ;; CHECK-NEXT: ) (func $func2) ) - |