diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-04-06 15:37:24 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-04-06 15:37:24 -0700 |
| commit | a3279d60a87539301186f0558231f726dc905cdc (patch) | |
| tree | 75cebfc73fd2097bb89b2db6e4adb039a9c2f55b /src | |
| parent | 265225f703a6d94dd20d42c322233b52d73f22f8 (diff) | |
| download | binaryen-a3279d60a87539301186f0558231f726dc905cdc.tar.gz binaryen-a3279d60a87539301186f0558231f726dc905cdc.tar.bz2 binaryen-a3279d60a87539301186f0558231f726dc905cdc.zip | |
optimize if-eqz
Diffstat (limited to 'src')
| -rw-r--r-- | src/asm2wasm.h | 1 | ||||
| -rw-r--r-- | src/binaryen-shell.cpp | 1 | ||||
| -rw-r--r-- | src/passes/OptimizeInstructions.cpp | 43 |
3 files changed, 45 insertions, 0 deletions
diff --git a/src/asm2wasm.h b/src/asm2wasm.h index e4bfdc341..2f18b98f1 100644 --- a/src/asm2wasm.h +++ b/src/asm2wasm.h @@ -1603,6 +1603,7 @@ void Asm2WasmBuilder::optimize() { passRunner.add("remove-unused-brs"); passRunner.add("remove-unused-names"); passRunner.add("merge-blocks"); + passRunner.add("optimize-instructions"); passRunner.add("simplify-locals"); passRunner.add("reorder-locals"); if (maxGlobal < 1024) { diff --git a/src/binaryen-shell.cpp b/src/binaryen-shell.cpp index 72fad992b..14cc66406 100644 --- a/src/binaryen-shell.cpp +++ b/src/binaryen-shell.cpp @@ -176,6 +176,7 @@ int main(int argc, const char* argv[]) { static const char* default_passes[] = {"remove-unused-brs", "remove-unused-names", "merge-blocks", + "optimize-instructions", "simplify-locals", "reorder-locals"}; Options options("binaryen-shell", "Execute .wast files"); diff --git a/src/passes/OptimizeInstructions.cpp b/src/passes/OptimizeInstructions.cpp new file mode 100644 index 000000000..638977353 --- /dev/null +++ b/src/passes/OptimizeInstructions.cpp @@ -0,0 +1,43 @@ +/* + * Copyright 2016 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. + */ + +// +// Optimize combinations of instructions +// + +#include <algorithm> + +#include <wasm.h> +#include <pass.h> + +namespace wasm { + +struct OptimizeInstructions : public WalkerPass<WasmWalker<OptimizeInstructions>> { + void visitIf(If* curr) { + // flip branches to get rid of an i32.eqz + if (curr->ifFalse) { + auto condition = curr->condition->dyn_cast<Unary>(); + if (condition && condition->op == EqZ && condition->value->type == i32) { + curr->condition = condition->value; + std::swap(curr->ifTrue, curr->ifFalse); + } + } + } +}; + +static RegisterPass<OptimizeInstructions> registerPass("optimize-instructions", "optimizes instruction combinations"); + +} // namespace wasm |