summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
Diffstat (limited to 'src')
-rw-r--r--src/asm2wasm.h7
-rw-r--r--src/pass.cpp4
-rw-r--r--src/passes/RemoveUnusedNames.cpp50
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