diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-06-11 17:42:05 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-06-11 17:42:05 -0700 |
| commit | 9a4007e0ba7a77e1eed742278cd24a3914daae30 (patch) | |
| tree | 9da51153de45d07d6b052e89ca8ac9c8038745bd /src | |
| parent | a3c339c259d0dafc87fac565fac308e9699726f9 (diff) | |
| download | binaryen-9a4007e0ba7a77e1eed742278cd24a3914daae30.tar.gz binaryen-9a4007e0ba7a77e1eed742278cd24a3914daae30.tar.bz2 binaryen-9a4007e0ba7a77e1eed742278cd24a3914daae30.zip | |
run remove-unused-brs after simplify-locals
Diffstat (limited to 'src')
| -rw-r--r-- | src/ast_utils.h | 1 | ||||
| -rw-r--r-- | src/passes/pass.cpp | 2 |
2 files changed, 2 insertions, 1 deletions
diff --git a/src/ast_utils.h b/src/ast_utils.h index 0c2c318e2..8952114bc 100644 --- a/src/ast_utils.h +++ b/src/ast_utils.h @@ -105,7 +105,6 @@ struct EffectAnalyzer : public PostWalker<EffectAnalyzer, Visitor<EffectAnalyzer || (accessesMemory() && (other.writesMemory || other.calls))) { return true; } - assert(localsWritten.size() + localsRead.size() <= 1); // the code below is fast on that case, of one element vs many for (auto local : localsWritten) { if (other.localsWritten.count(local) || other.localsRead.count(local)) { return true; diff --git a/src/passes/pass.cpp b/src/passes/pass.cpp index e43b712e5..babb4635b 100644 --- a/src/passes/pass.cpp +++ b/src/passes/pass.cpp @@ -65,6 +65,7 @@ void PassRunner::addDefaultOptimizationPasses() { add("optimize-instructions"); add("simplify-locals"); add("vacuum"); // previous pass creates garbage + add("remove-unused-brs"); // simplify-locals opens opportunities for phi optimizations add("coalesce-locals"); add("vacuum"); // previous pass creates garbage add("reorder-locals"); @@ -81,6 +82,7 @@ void PassRunner::addDefaultFunctionOptimizationPasses() { add("optimize-instructions"); add("simplify-locals"); add("vacuum"); // previous pass creates garbage + add("remove-unused-brs"); // simplify-locals opens opportunities for phi optimizations add("coalesce-locals"); add("vacuum"); // previous pass creates garbage add("reorder-locals"); |