From f044172ed665e94e61f579a8fc19770bb56f7b65 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Thu, 17 Aug 2023 16:18:46 -0700 Subject: ReFinalize in TypeSSA (#5885) This has been a bug for a while but it became noticeable after #5881 #5882 which do more work in refinalization. --- src/passes/TypeSSA.cpp | 4 ++++ 1 file changed, 4 insertions(+) (limited to 'src') diff --git a/src/passes/TypeSSA.cpp b/src/passes/TypeSSA.cpp index 25575e70e..f44df96e1 100644 --- a/src/passes/TypeSSA.cpp +++ b/src/passes/TypeSSA.cpp @@ -51,6 +51,7 @@ #include "ir/module-utils.h" #include "ir/names.h" #include "ir/possible-constant.h" +#include "ir/utils.h" #include "pass.h" #include "support/hash.h" #include "wasm-builder.h" @@ -204,6 +205,9 @@ struct TypeSSA : public Pass { // in the isorecursive type system we want to create a single new rec group // for them all (see below). modifyNews(); + + // Finally, refinalize to propagate the new types to parents. + ReFinalize().run(getPassRunner(), module); } News newsToModify; -- cgit v1.2.3