diff options
Diffstat (limited to 'src')
-rw-r--r-- | src/asm2wasm.h | 7 | ||||
-rw-r--r-- | src/pass.cpp | 4 | ||||
-rw-r--r-- | src/passes/RemoveUnusedNames.cpp | 50 |
3 files changed, 60 insertions, 1 deletions
diff --git a/src/asm2wasm.h b/src/asm2wasm.h index e37751a66..ce935666e 100644 --- a/src/asm2wasm.h +++ b/src/asm2wasm.h @@ -27,6 +27,7 @@ #include "mixed_arena.h" #include "shared-constants.h" #include "asm_v_wasm.h" +#include "pass.h" namespace wasm { @@ -1566,6 +1567,12 @@ void Asm2WasmBuilder::optimize() { for (auto pair : wasm.functionsMap) { blockBreakOptimizer.startWalk(pair.second); } + + // Standard passes + + PassRunner passRunner(&allocator); + passRunner.add("remove-unused-names"); + passRunner.run(&wasm); } } // namespace wasm diff --git a/src/pass.cpp b/src/pass.cpp index 59f51df09..1d3c2d67d 100644 --- a/src/pass.cpp +++ b/src/pass.cpp @@ -54,7 +54,9 @@ std::string PassRegistry::getPassDescription(std::string name) { // PassRunner void PassRunner::add(std::string passName) { - passes.push_back(PassRegistry::get()->createPass(passName)); + auto pass = PassRegistry::get()->createPass(passName); + assert(pass); + passes.push_back(pass); } template<class P> diff --git a/src/passes/RemoveUnusedNames.cpp b/src/passes/RemoveUnusedNames.cpp new file mode 100644 index 000000000..9c0b4a83f --- /dev/null +++ b/src/passes/RemoveUnusedNames.cpp @@ -0,0 +1,50 @@ +/* + * Copyright 2015 WebAssembly Community Group participants + * + * Licensed under the Apache License, Version 2.0 (the "License"); + * you may not use this file except in compliance with the License. + * You may obtain a copy of the License at + * + * http://www.apache.org/licenses/LICENSE-2.0 + * + * Unless required by applicable law or agreed to in writing, software + * distributed under the License is distributed on an "AS IS" BASIS, + * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. + * See the License for the specific language governing permissions and + * limitations under the License. + */ + +// +// Removes names from locations that are never branched to. +// + +#include <wasm.h> +#include <pass.h> + +namespace wasm { + +struct RemoveUnusedNames : public Pass { + std::set<Name> used; + + void prepare(PassRunner* runner, Module *module) override { + struct Scanner : public WasmWalker { + std::set<Name>& used; + Scanner(std::set<Name>& used) : used(used) {} + void visitBreak(Break *curr) override { + used.insert(curr->name); + } + }; + Scanner scanner(used); + scanner.startWalk(module); + } + + void visitBlock(Block *curr) override { + if (curr->name.is() && used.count(curr->name) == 0) { + curr->name = Name(); + } + } +}; + +static RegisterPass<RemoveUnusedNames> registerPass("remove-unused-names", "removes names from locations that are never branched to"); + +} // namespace wasm |