Automatically discard global effects in the rare passes that add effects (#5999)

All logging/instrumentation passes need to do this, to avoid us using stale
global effects that are too low (too high is not optimal either, but at least it
cannot cause bugs).

1 files changed, 5 insertions, 0 deletions

diff --git a/src/passes/Asyncify.cpp b/src/passes/Asyncify.cpp
index d0674d97c..2412a754a 100644
--- a/src/passes/Asyncify.cpp
+++ b/src/passes/Asyncify.cpp
@@ -870,6 +870,8 @@ struct InstrumentedProxy : public Pass {
 
   bool invalidatesDWARF() override { return pass->invalidatesDWARF(); }
 
+  bool addsEffects() override { return pass->addsEffects(); }
+
   bool requiresNonNullableLocalFixups() override {
     return pass->requiresNonNullableLocalFixups();
   }
@@ -1610,6 +1612,9 @@ static std::string getFullImportName(Name module, Name base) {
 }
 
 struct Asyncify : public Pass {
+  // Adds calls.
+  bool addsEffects() override { return true; }
+
   void run(Module* module) override {
     auto& options = getPassOptions();
     bool optimize = options.optimizeLevel > 0;