diff options
| author | Alon Zakai <azakai@google.com> | 2023-09-18 16:08:23 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-09-18 16:08:23 -0700 |
| commit | 389fa79e63ff20fa1c6c24dfe26a28b2f487cac8 (patch) | |
| tree | ae8f9fd92fbc723bff8652edd819d6573571470a /test/lit/help/wasm2js.test | |
| parent | 6d2364b55e4c81b0b2f7d15778619c40d1ded4d3 (diff) | |
| download | binaryen-389fa79e63ff20fa1c6c24dfe26a28b2f487cac8.tar.gz binaryen-389fa79e63ff20fa1c6c24dfe26a28b2f487cac8.tar.bz2 binaryen-389fa79e63ff20fa1c6c24dfe26a28b2f487cac8.zip | |
Add passes to finalize or unfinalize types (#5944)
TypeFinalization finalizes all types that we can, that is, all private types that have no
children. TypeUnFinalization unfinalizes (opens) all (private) types.
These could be used by first opening all types, optimizing, and then finalizing, as that
might find more opportunities.
Fixes #5933
Diffstat (limited to 'test/lit/help/wasm2js.test')
| -rw-r--r-- | test/lit/help/wasm2js.test | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/test/lit/help/wasm2js.test b/test/lit/help/wasm2js.test index 54a593b75..b896730a3 100644 --- a/test/lit/help/wasm2js.test +++ b/test/lit/help/wasm2js.test @@ -437,6 +437,8 @@ ;; CHECK-NEXT: ;; CHECK-NEXT: --tuple-optimization optimize trivial tuples away ;; CHECK-NEXT: +;; CHECK-NEXT: --type-finalizing mark all leaf types as final +;; CHECK-NEXT: ;; CHECK-NEXT: --type-merging merge types to their supertypes ;; CHECK-NEXT: where possible ;; CHECK-NEXT: @@ -446,6 +448,9 @@ ;; CHECK-NEXT: --type-ssa create new nominal types to help ;; CHECK-NEXT: other optimizations ;; CHECK-NEXT: +;; CHECK-NEXT: --type-unfinalizing mark all types as non-final +;; CHECK-NEXT: (open) +;; CHECK-NEXT: ;; CHECK-NEXT: --untee removes local.tees, replacing ;; CHECK-NEXT: them with sets and gets ;; CHECK-NEXT: |