summaryrefslogtreecommitdiff
path: root/src/asm2wasm.h
diff options
context:
space:
mode:
Diffstat (limited to 'src/asm2wasm.h')
-rw-r--r--src/asm2wasm.h17
1 files changed, 12 insertions, 5 deletions
diff --git a/src/asm2wasm.h b/src/asm2wasm.h
index 94107ae78..448cf2f0f 100644
--- a/src/asm2wasm.h
+++ b/src/asm2wasm.h
@@ -1033,11 +1033,18 @@ Function* Asm2WasmBuilder::processFunction(Ref ast) {
}
void Asm2WasmBuilder::optimize() {
- struct BlockRemover : public WasmWalker {
- BlockRemover() : WasmWalker(nullptr) {}
+ struct BlockBreakOptimizer : public WasmWalker {
+ BlockBreakOptimizer() : WasmWalker(nullptr) {}
Expression* visitBlock(Block *curr) override {
- if (curr->list.size() != 1) return curr;
+ if (curr->list.size() > 1) {
+ // we can't remove the block, but if it ends in a break on this very block, then just put the value there
+ Break *last = curr->list[curr->list.size()-1]->dyn_cast<Break>();
+ if (last && last->value && last->name == curr->name) {
+ curr->list[curr->list.size()-1] = last->value;
+ }
+ return curr;
+ }
// just one element; maybe we can return just the element
if (curr->name.isNull()) return curr->list[0];
// we might be broken to, but if it's a trivial singleton child break, we can optimize here as well
@@ -1064,9 +1071,9 @@ void Asm2WasmBuilder::optimize() {
}
};
- BlockRemover blockRemover;
+ BlockBreakOptimizer blockBreakOptimizer;
for (auto function : wasm.functions) {
- blockRemover.startWalk(function);
+ blockBreakOptimizer.startWalk(function);
}
}