From 4957d29fab26d235ed035a59441d74c9e4a4f561 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Wed, 7 Dec 2022 10:46:32 -0800 Subject: [Wasm GC] Add TypeMerging pass (#5321) This finds types that can be merged into their super: types that add no fields, and are not used in casts, etc. - so we might as well use the super. This complements TypeSSA, in that it can merge back the new types that TypeSSA created, if we never found a use for them. Without this, TypeSSA can bloat binary size quite a lot (I see 10-20%). --- test/lit/help/wasm2js.test | 3 +++ 1 file changed, 3 insertions(+) (limited to 'test/lit/help/wasm2js.test') diff --git a/test/lit/help/wasm2js.test b/test/lit/help/wasm2js.test index 124cd0bbe..3073bf2f9 100644 --- a/test/lit/help/wasm2js.test +++ b/test/lit/help/wasm2js.test @@ -416,6 +416,9 @@ ;; CHECK-NEXT: --trap-mode-js replace trapping operations with ;; CHECK-NEXT: js semantics ;; CHECK-NEXT: +;; CHECK-NEXT: --type-merging merge types to their supertypes +;; CHECK-NEXT: where possible +;; CHECK-NEXT: ;; CHECK-NEXT: --type-refining apply more specific subtypes to ;; CHECK-NEXT: type fields where possible ;; CHECK-NEXT: -- cgit v1.2.3