From be672c057bcb39b27f34f4031eea747bd72161d2 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Thu, 18 Nov 2021 16:16:19 -0800 Subject: [Wasm GC] Global Refining pass (#4344) Fairly simple, this uses the existing infrastructure to find opportunities to refine the type of a global variable. This a common pattern in j2wasm for example, where a global begins as a null of $java.lang.Object (the least specific type) but it is in practice always assigned an object of some specific type. --- test/lit/help/optimization-opts.test | 2 ++ 1 file changed, 2 insertions(+) (limited to 'test/lit/help/optimization-opts.test') diff --git a/test/lit/help/optimization-opts.test b/test/lit/help/optimization-opts.test index af23314de..6667c45bf 100644 --- a/test/lit/help/optimization-opts.test +++ b/test/lit/help/optimization-opts.test @@ -275,6 +275,8 @@ ;; CHECK-NEXT: ;; CHECK-NEXT: --generate-stack-ir generate Stack IR ;; CHECK-NEXT: +;; CHECK-NEXT: --global-refining refine the types of globals +;; CHECK-NEXT: ;; CHECK-NEXT: --gto globally optimize GC types ;; CHECK-NEXT: ;; CHECK-NEXT: --heap2local replace GC allocations with -- cgit v1.2.3