From 1fa6fcfebbec9e45bcdc481f19757ac14cda4699 Mon Sep 17 00:00:00 2001 From: Alon Zakai Date: Mon, 31 Oct 2022 15:00:36 -0700 Subject: [Wasm GC] Enable various passes in hybrid mode, not just nominal (#5202) --- src/passes/ConstantFieldPropagation.cpp | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) (limited to 'src/passes/ConstantFieldPropagation.cpp') diff --git a/src/passes/ConstantFieldPropagation.cpp b/src/passes/ConstantFieldPropagation.cpp index 0f66fe28b..5048b978b 100644 --- a/src/passes/ConstantFieldPropagation.cpp +++ b/src/passes/ConstantFieldPropagation.cpp @@ -187,8 +187,9 @@ struct ConstantFieldPropagation : public Pass { if (!module->features.hasGC()) { return; } - if (getTypeSystem() != TypeSystem::Nominal) { - Fatal() << "ConstantFieldPropagation requires nominal typing"; + if (getTypeSystem() != TypeSystem::Nominal && + getTypeSystem() != TypeSystem::Isorecursive) { + Fatal() << "CFP requires nominal/isorecursive typing"; } // Find and analyze all writes inside each function. -- cgit v1.2.3