diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2016-04-24 09:57:25 -0700 |
|---|---|---|
| committer | Alon Zakai <alonzakai@gmail.com> | 2016-04-24 09:57:25 -0700 |
| commit | f885aad48c55a0e293c5387f88b82c581a5e5c7e (patch) | |
| tree | 21198adc85ef67e92c71529e00603af6d61e9e70 | |
| parent | 2cc2b8288f0179b8e506d420dd27fada5652e0c3 (diff) | |
| parent | 186765307f12e6c7628ad6da11b332c2bfbcaa07 (diff) | |
| download | binaryen-f885aad48c55a0e293c5387f88b82c581a5e5c7e.tar.gz binaryen-f885aad48c55a0e293c5387f88b82c581a5e5c7e.tar.bz2 binaryen-f885aad48c55a0e293c5387f88b82c581a5e5c7e.zip | |
Merge pull request #386 from WebAssembly/improve-remove-brs
Improve RemoveBrs
| -rw-r--r-- | src/pass.cpp | 1 | ||||
| -rw-r--r-- | src/passes/RemoveUnusedBrs.cpp | 162 | ||||
| -rw-r--r-- | src/passes/Vacuum.cpp | 38 | ||||
| -rw-r--r-- | test/emcc_O2_hello_world.fromasm | 946 | ||||
| -rw-r--r-- | test/emcc_O2_hello_world.fromasm.imprecise | 946 | ||||
| -rw-r--r-- | test/emcc_hello_world.fromasm | 2120 | ||||
| -rw-r--r-- | test/emcc_hello_world.fromasm.imprecise | 2120 | ||||
| -rw-r--r-- | test/memorygrowth.fromasm | 849 | ||||
| -rw-r--r-- | test/memorygrowth.fromasm.imprecise | 849 | ||||
| -rw-r--r-- | test/passes/remove-unused-brs.txt | 93 | ||||
| -rw-r--r-- | test/passes/remove-unused-brs.wast | 73 | ||||
| -rw-r--r-- | test/passes/vacuum.txt | 23 | ||||
| -rw-r--r-- | test/passes/vacuum.wast | 31 | ||||
| -rw-r--r-- | test/unit.fromasm | 5 | ||||
| -rw-r--r-- | test/unit.fromasm.imprecise | 5 |
15 files changed, 3930 insertions, 4331 deletions
diff --git a/src/pass.cpp b/src/pass.cpp index 7095da71d..5c4f510f8 100644 --- a/src/pass.cpp +++ b/src/pass.cpp @@ -65,6 +65,7 @@ void PassRunner::addDefaultOptimizationPasses() { add("merge-blocks"); add("reorder-locals"); add("vacuum"); + add("optimize-instructions"); } void PassRunner::run(Module* module) { diff --git a/src/passes/RemoveUnusedBrs.cpp b/src/passes/RemoveUnusedBrs.cpp index cfd9ea7ce..3d6d6973f 100644 --- a/src/passes/RemoveUnusedBrs.cpp +++ b/src/passes/RemoveUnusedBrs.cpp @@ -15,89 +15,133 @@ */ // -// Removes branches that go to where they go anyhow +// Removes branches for which we go to where they go anyhow // #include <wasm.h> #include <pass.h> +#include <ast_utils.h> namespace wasm { struct RemoveUnusedBrs : public WalkerPass<PostWalker<RemoveUnusedBrs, Visitor<RemoveUnusedBrs>>> { bool isFunctionParallel() { return true; } - // preparation: try to unify branches, as the fewer there are, the higher a chance we can remove them - // specifically for if-else, turn an if-else with branches to the same target at the end of each - // child, and with a value, to a branch to that target containing the if-else + bool anotherCycle; + + typedef std::vector<Break*> Flows; + + // list of breaks that are currently flowing. if they reach their target without + // interference, they can be removed (or their value forwarded TODO) + Flows flows; + + // a stack for if-else contents, we merge their outputs + std::vector<Flows> ifStack; + + static void visitAny(RemoveUnusedBrs* self, Expression** currp) { + auto* curr = *currp; + auto& flows = self->flows; + + if (curr->is<Break>()) { + flows.clear(); + auto* br = curr->cast<Break>(); + if (!br->condition && !br->value) { // TODO: optimize in those cases? + // a break, let's see where it flows to + flows.push_back(br); + } + } else if (curr->is<Switch>()) { + flows.clear(); + } else if (curr->is<If>()) { + auto* iff = curr->cast<If>(); + if (iff->ifFalse) { + assert(self->ifStack.size() > 0); + for (auto* flow : self->ifStack.back()) { + flows.push_back(flow); + } + self->ifStack.pop_back(); + } + } else if (curr->is<Block>()) { + // any breaks flowing to here are unnecessary, as we get here anyhow + auto name = curr->cast<Block>()->name; + if (name.is()) { + size_t size = flows.size(); + size_t skip = 0; + for (size_t i = 0; i < size; i++) { + if (flows[i]->name == name) { + ExpressionManipulator::nop(flows[i]); + skip++; + self->anotherCycle = true; + } else if (skip > 0) { + flows[i - skip] = flows[i]; + } + } + if (skip > 0) { + flows.resize(size - skip); + } + } + } else if (curr->is<Loop>()) { + // TODO we might optimize branches out of here + flows.clear(); + } else if (curr->is<Nop>()) { + // ignore (could be result of a previous cycle) + } else { + // anything else stops the flow + flows.clear(); + } + } + + static void clear(RemoveUnusedBrs* self, Expression** currp) { + self->flows.clear(); + } + + static void saveIfTrue(RemoveUnusedBrs* self, Expression** currp) { + self->ifStack.push_back(std::move(self->flows)); + } + void visitIf(If* curr) { if (!curr->ifFalse) { - // try to reduce an if (condition) br => br_if (condition) , which might open up other optimization opportunities + // if without an else. try to reduce if (condition) br => br_if (condition) Break* br = curr->ifTrue->dynCast<Break>(); if (br && !br->condition) { // TODO: if there is a condition, join them br->condition = curr->condition; replaceCurrent(br); + anotherCycle = true; } - return; - } - if (isConcreteWasmType(curr->type)) return; // already has a returned value - // an if_else that indirectly returns a value by breaking to the same target can potentially remove both breaks, and break outside once - auto getLast = [](Expression *side) -> Expression* { - Block* b = side->dynCast<Block>(); - if (!b) return nullptr; - if (b->list.size() == 0) return nullptr; - return b->list.back(); - }; - auto process = [&](Expression *side, bool doIt) { - Expression* last = getLast(side); - if (!last) return Name(); - Block* b = side->cast<Block>(); - Break* br = last->dynCast<Break>(); - if (!br) return Name(); - if (br->condition) return Name(); - if (!br->value) return Name(); - if (doIt) { - b->list[b->list.size()-1] = br->value; - } - return br->name; - }; - // do both, or none - if (process(curr->ifTrue, false).is() && process(curr->ifTrue, false) == process(curr->ifFalse, false)) { - auto br = getLast(curr->ifTrue)->cast<Break>(); // we are about to discard this, so why not reuse it! - process(curr->ifTrue, true); - process(curr->ifFalse, true); - curr->type = br->value->type; // if_else now returns a value - br->value = curr; - // no need to change anything else in the br - target is correct already - replaceCurrent(br); } } - // main portion - void visitBlock(Block *curr) { - if (curr->name.isNull()) return; - if (curr->list.size() == 0) return; - // preparation - remove all code after an unconditional break, since it can't execute, and it might confuse us (we look at the last) - for (size_t i = 0; i < curr->list.size()-1; i++) { - Break* br = curr->list[i]->dynCast<Break>(); - if (br && !br->condition) { - curr->list.resize(i+1); - break; - } - } - Expression* last = curr->list.back(); - if (Break* br = last->dynCast<Break>()) { - if (br->condition) return; - if (br->name == curr->name) { - if (!br->value) { - curr->list.pop_back(); - } else { - curr->list[curr->list.size()-1] = br->value; // can replace with the value - } + // override scan to add a pre and a post check task to all nodes + static void scan(RemoveUnusedBrs* self, Expression** currp) { + self->pushTask(visitAny, currp); + + auto* iff = (*currp)->dynCast<If>(); + + if (iff) { + self->pushTask(doVisitIf, currp); + if (iff->ifFalse) { + // we need to join up if-else control flow, and clear after the condition + self->pushTask(scan, &iff->ifFalse); + self->pushTask(saveIfTrue, currp); // safe the ifTrue flow, we'll join it later } + self->pushTask(scan, &iff->ifTrue); + self->pushTask(clear, currp); // clear all flow after the condition + self->pushTask(scan, &iff->condition); + } else { + WalkerPass<PostWalker<RemoveUnusedBrs, Visitor<RemoveUnusedBrs>>>::scan(self, currp); } } + + void walk(Expression*& root) { + // multiple cycles may be needed + do { + anotherCycle = false; + WalkerPass<PostWalker<RemoveUnusedBrs, Visitor<RemoveUnusedBrs>>>::walk(root); + assert(ifStack.empty()); + assert(flows.empty()); + } while (anotherCycle); + } }; -static RegisterPass<RemoveUnusedBrs> registerPass("remove-unused-brs", "removes breaks from locations that are never branched to"); +static RegisterPass<RemoveUnusedBrs> registerPass("remove-unused-brs", "removes breaks from locations that are not needed"); } // namespace wasm diff --git a/src/passes/Vacuum.cpp b/src/passes/Vacuum.cpp index 863d78f14..dd88fa0eb 100644 --- a/src/passes/Vacuum.cpp +++ b/src/passes/Vacuum.cpp @@ -21,6 +21,7 @@ #include <wasm.h> #include <pass.h> #include <ast_utils.h> +#include <wasm-builder.h> namespace wasm { @@ -32,14 +33,26 @@ struct Vacuum : public WalkerPass<PostWalker<Vacuum, Visitor<Vacuum>>> { int skip = 0; auto& list = curr->list; size_t size = list.size(); + bool needResize = false; for (size_t z = 0; z < size; z++) { if (list[z]->is<Nop>()) { skip++; - } else if (skip > 0) { - list[z - skip] = list[z]; + needResize = true; + } else { + if (skip > 0) { + list[z - skip] = list[z]; + } + // if this is an unconditional br, the rest is dead code + Break* br = list[z - skip]->dynCast<Break>(); + Switch* sw = list[z - skip]->dynCast<Switch>(); + if ((br && !br->condition) || sw) { + list.resize(z - skip + 1); + needResize = false; + break; + } } } - if (skip > 0) { + if (needResize) { list.resize(size - skip); } if (!curr->name.is()) { @@ -50,6 +63,25 @@ struct Vacuum : public WalkerPass<PostWalker<Vacuum, Visitor<Vacuum>>> { } } } + + void visitIf(If* curr) { + if (curr->ifFalse) { + if (curr->ifFalse->is<Nop>()) { + curr->ifFalse = nullptr; + } else if (curr->ifTrue->is<Nop>()) { + curr->ifTrue = curr->ifFalse; + curr->ifFalse = nullptr; + curr->condition = Builder(*getModule()).makeUnary(EqZ, curr->condition, curr->condition->type); + } + } + if (!curr->ifFalse) { + // no else + if (curr->ifTrue->is<Nop>()) { + // no nothing + replaceCurrent(curr->condition); + } + } + } }; static RegisterPass<Vacuum> registerPass("vacuum", "removes obviously unneeded code"); diff --git a/test/emcc_O2_hello_world.fromasm b/test/emcc_O2_hello_world.fromasm index de6dfd4b8..ce017ac82 100644 --- a/test/emcc_O2_hello_world.fromasm +++ b/test/emcc_O2_hello_world.fromasm @@ -217,59 +217,56 @@ ) ) ) - (block $do-once$2 - (if - (i32.ne - (get_local $i7) - (get_local $i11) - ) - (block - (if - (i32.lt_u - (get_local $i11) - (i32.load - (i32.const 192) - ) + (if + (i32.ne + (get_local $i7) + (get_local $i11) + ) + (block + (if + (i32.lt_u + (get_local $i11) + (i32.load + (i32.const 192) ) - (call_import $_abort) ) - (if - (i32.eq - (i32.load - (set_local $i12 - (i32.add - (get_local $i11) - (i32.const 12) - ) + (call_import $_abort) + ) + (if + (i32.eq + (i32.load + (set_local $i12 + (i32.add + (get_local $i11) + (i32.const 12) ) ) - (get_local $i9) ) - (block - (i32.store - (get_local $i12) - (get_local $i7) - ) - (i32.store - (get_local $i8) - (get_local $i11) - ) - (br $do-once$2) + (get_local $i9) + ) + (block + (i32.store + (get_local $i12) + (get_local $i7) + ) + (i32.store + (get_local $i8) + (get_local $i11) ) - (call_import $_abort) ) + (call_import $_abort) ) - (i32.store - (i32.const 176) - (i32.and - (get_local $i4) - (i32.xor - (i32.shl - (i32.const 1) - (get_local $i6) - ) - (i32.const -1) + ) + (i32.store + (i32.const 176) + (i32.and + (get_local $i4) + (i32.xor + (i32.shl + (i32.const 1) + (get_local $i6) ) + (i32.const -1) ) ) ) @@ -462,70 +459,67 @@ ) ) ) - (block $do-once$4 - (if - (i32.ne - (get_local $i15) - (get_local $i7) - ) - (block - (if - (i32.lt_u - (get_local $i7) - (i32.load - (i32.const 192) - ) + (if + (i32.ne + (get_local $i15) + (get_local $i7) + ) + (block + (if + (i32.lt_u + (get_local $i7) + (i32.load + (i32.const 192) ) - (call_import $_abort) ) - (if - (i32.eq - (i32.load - (set_local $i11 - (i32.add - (get_local $i7) - (i32.const 12) - ) + (call_import $_abort) + ) + (if + (i32.eq + (i32.load + (set_local $i11 + (i32.add + (get_local $i7) + (i32.const 12) ) ) - (get_local $i14) ) - (block - (i32.store - (get_local $i11) - (get_local $i15) - ) - (i32.store - (get_local $i16) - (get_local $i7) - ) - (set_local $i18 - (i32.load - (i32.const 184) - ) + (get_local $i14) + ) + (block + (i32.store + (get_local $i11) + (get_local $i15) + ) + (i32.store + (get_local $i16) + (get_local $i7) + ) + (set_local $i18 + (i32.load + (i32.const 184) ) - (br $do-once$4) ) - (call_import $_abort) ) + (call_import $_abort) ) - (block - (i32.store - (i32.const 176) - (i32.and - (get_local $i4) - (i32.xor - (i32.shl - (i32.const 1) - (get_local $i17) - ) - (i32.const -1) + ) + (block + (i32.store + (i32.const 176) + (i32.and + (get_local $i4) + (i32.xor + (i32.shl + (i32.const 1) + (get_local $i17) ) + (i32.const -1) ) ) - (set_local $i18 - (get_local $i8) - ) + ) + (set_local $i18 + (get_local $i8) ) ) ) @@ -1015,7 +1009,6 @@ (set_local $i24 (get_local $i27) ) - (br $do-once$8) ) ) ) @@ -1069,7 +1062,6 @@ (set_local $i24 (get_local $i12) ) - (br $do-once$8) ) (call_import $_abort) ) @@ -1181,29 +1173,26 @@ (get_local $i24) (get_local $i5) ) - (block $do-once$14 + (if + (set_local $i7 + (i32.load offset=16 + (get_local $i22) + ) + ) (if - (set_local $i7 - (i32.load offset=16 - (get_local $i22) - ) + (i32.lt_u + (get_local $i7) + (get_local $i12) ) - (if - (i32.lt_u + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $i24) (get_local $i7) - (get_local $i12) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $i24) - (get_local $i7) - ) - (i32.store offset=24 - (get_local $i7) - (get_local $i24) - ) - (br $do-once$14) + (i32.store offset=24 + (get_local $i7) + (get_local $i24) ) ) ) @@ -1231,7 +1220,6 @@ (get_local $i7) (get_local $i24) ) - (br $do-once$12) ) ) ) @@ -2194,7 +2182,6 @@ (set_local $i45 (get_local $i48) ) - (br $do-once$21) ) ) ) @@ -2248,7 +2235,6 @@ (set_local $i45 (get_local $i7) ) - (br $do-once$21) ) (call_import $_abort) ) @@ -2360,29 +2346,26 @@ (get_local $i45) (get_local $i3) ) - (block $do-once$27 + (if + (set_local $i15 + (i32.load offset=16 + (get_local $i44) + ) + ) (if - (set_local $i15 - (i32.load offset=16 - (get_local $i44) - ) + (i32.lt_u + (get_local $i15) + (get_local $i7) ) - (if - (i32.lt_u + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $i45) (get_local $i15) - (get_local $i7) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $i45) - (get_local $i15) - ) - (i32.store offset=24 - (get_local $i15) - (get_local $i45) - ) - (br $do-once$27) + (i32.store offset=24 + (get_local $i15) + (get_local $i45) ) ) ) @@ -2410,7 +2393,6 @@ (get_local $i15) (get_local $i45) ) - (br $do-once$25) ) ) ) @@ -2838,7 +2820,6 @@ (get_local $i8) (get_local $i8) ) - (br $do-once$29) ) ) (if @@ -2891,7 +2872,6 @@ (get_local $i8) (i32.const 0) ) - (br $do-once$29) ) (call_import $_abort) ) @@ -3112,64 +3092,61 @@ ) ) ) - (block $do-once$33 - (if - (i32.eqz - (i32.load - (i32.const 648) - ) + (if + (i32.eqz + (i32.load + (i32.const 648) ) - (if - (i32.and - (i32.add - (set_local $i53 - (call_import $_sysconf - (i32.const 30) - ) + ) + (if + (i32.and + (i32.add + (set_local $i53 + (call_import $_sysconf + (i32.const 30) ) - (i32.const -1) ) + (i32.const -1) + ) + (get_local $i53) + ) + (call_import $_abort) + (block + (i32.store + (i32.const 656) (get_local $i53) ) - (call_import $_abort) - (block - (i32.store - (i32.const 656) - (get_local $i53) - ) - (i32.store - (i32.const 652) - (get_local $i53) - ) - (i32.store - (i32.const 660) - (i32.const -1) - ) - (i32.store - (i32.const 664) - (i32.const -1) - ) - (i32.store - (i32.const 668) - (i32.const 0) - ) - (i32.store - (i32.const 620) - (i32.const 0) - ) - (i32.store - (i32.const 648) - (i32.xor - (i32.and - (call_import $_time - (i32.const 0) - ) - (i32.const -16) + (i32.store + (i32.const 652) + (get_local $i53) + ) + (i32.store + (i32.const 660) + (i32.const -1) + ) + (i32.store + (i32.const 664) + (i32.const -1) + ) + (i32.store + (i32.const 668) + (i32.const 0) + ) + (i32.store + (i32.const 620) + (i32.const 0) + ) + (i32.store + (i32.const 648) + (i32.xor + (i32.and + (call_import $_time + (i32.const 0) ) - (i32.const 1431655768) + (i32.const -16) ) + (i32.const 1431655768) ) - (br $do-once$33) ) ) ) @@ -3545,76 +3522,71 @@ (get_local $i61) ) ) - (block $do-once$42 + (if (if - (if + (i32.and + (i32.gt_u + (get_local $i53) + (get_local $i61) + ) (i32.and - (i32.gt_u - (get_local $i53) + (i32.lt_u (get_local $i61) + (i32.const 2147483647) ) - (i32.and - (i32.lt_u - (get_local $i61) - (i32.const 2147483647) - ) - (i32.ne - (get_local $i60) - (i32.const -1) - ) + (i32.ne + (get_local $i60) + (i32.const -1) ) ) - (i32.lt_u - (set_local $i5 - (i32.and - (i32.add - (i32.sub - (get_local $i44) - (get_local $i61) - ) - (set_local $i52 - (i32.load - (i32.const 656) - ) - ) - ) + ) + (i32.lt_u + (set_local $i5 + (i32.and + (i32.add (i32.sub - (i32.const 0) - (get_local $i52) + (get_local $i44) + (get_local $i61) ) + (set_local $i52 + (i32.load + (i32.const 656) + ) + ) + ) + (i32.sub + (i32.const 0) + (get_local $i52) ) ) - (i32.const 2147483647) ) - (i32.const 0) + (i32.const 2147483647) ) - (if - (i32.eq - (call_import $_sbrk - (get_local $i5) - ) - (i32.const -1) - ) - (block - (call_import $_sbrk - (get_local $i45) - ) - (br $label$break$L279) + (i32.const 0) + ) + (if + (i32.eq + (call_import $_sbrk + (get_local $i5) ) - (block - (set_local $i63 - (i32.add - (get_local $i5) - (get_local $i61) - ) - ) - (br $do-once$42) + (i32.const -1) + ) + (block + (call_import $_sbrk + (get_local $i45) ) + (br $label$break$L279) ) (set_local $i63 - (get_local $i61) + (i32.add + (get_local $i5) + (get_local $i61) + ) ) ) + (set_local $i63 + (get_local $i61) + ) ) (if (i32.ne @@ -4306,7 +4278,6 @@ (set_local $i72 (get_local $i75) ) - (br $do-once$53) ) ) ) @@ -4360,7 +4331,6 @@ (set_local $i72 (get_local $i55) ) - (br $do-once$53) ) (call_import $_abort) ) @@ -4471,34 +4441,31 @@ (get_local $i72) (get_local $i54) ) - (block $do-once$59 - (if - (set_local $i45 - (i32.load - (set_local $i5 - (i32.add - (get_local $i43) - (i32.const 16) - ) + (if + (set_local $i45 + (i32.load + (set_local $i5 + (i32.add + (get_local $i43) + (i32.const 16) ) ) ) - (if - (i32.lt_u + ) + (if + (i32.lt_u + (get_local $i45) + (get_local $i55) + ) + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $i72) (get_local $i45) - (get_local $i55) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $i72) - (get_local $i45) - ) - (i32.store offset=24 - (get_local $i45) - (get_local $i72) - ) - (br $do-once$59) + (i32.store offset=24 + (get_local $i45) + (get_local $i72) ) ) ) @@ -4529,7 +4496,6 @@ (get_local $i45) (get_local $i72) ) - (br $label$break$L331) ) ) ) @@ -5113,7 +5079,6 @@ (get_local $i63) (get_local $i63) ) - (br $do-once$50) ) ) (if @@ -5166,7 +5131,6 @@ (get_local $i63) (i32.const 0) ) - (br $do-once$50) ) (call_import $_abort) ) @@ -5857,7 +5821,6 @@ (get_local $i60) (get_local $i60) ) - (br $do-once$44) ) ) (if @@ -5910,7 +5873,6 @@ (get_local $i60) (i32.const 0) ) - (br $do-once$44) ) (call_import $_abort) ) @@ -6598,7 +6560,6 @@ (set_local $i18 (get_local $i21) ) - (br $do-once$2) ) ) ) @@ -6652,7 +6613,6 @@ (set_local $i18 (get_local $i10) ) - (br $do-once$2) ) (call_import $_abort) ) @@ -6778,34 +6738,31 @@ (get_local $i18) (get_local $i7) ) - (block $do-once$6 - (if - (set_local $i14 - (i32.load - (set_local $i11 - (i32.add - (get_local $i8) - (i32.const 16) - ) + (if + (set_local $i14 + (i32.load + (set_local $i11 + (i32.add + (get_local $i8) + (i32.const 16) ) ) ) - (if - (i32.lt_u + ) + (if + (i32.lt_u + (get_local $i14) + (get_local $i10) + ) + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $i18) (get_local $i14) - (get_local $i10) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $i18) - (get_local $i14) - ) - (i32.store offset=24 - (get_local $i14) - (get_local $i18) - ) - (br $do-once$6) + (i32.store offset=24 + (get_local $i14) + (get_local $i18) ) ) ) @@ -6839,7 +6796,6 @@ (set_local $i13 (get_local $i9) ) - (br $do-once$0) ) ) (block @@ -7164,7 +7120,6 @@ (set_local $i23 (get_local $i26) ) - (br $do-once$10) ) ) ) @@ -7220,7 +7175,6 @@ (set_local $i23 (get_local $i22) ) - (br $do-once$10) ) (call_import $_abort) ) @@ -7331,34 +7285,31 @@ (get_local $i23) (get_local $i21) ) - (block $do-once$14 - (if - (set_local $i8 - (i32.load - (set_local $i9 - (i32.add - (get_local $i6) - (i32.const 16) - ) + (if + (set_local $i8 + (i32.load + (set_local $i9 + (i32.add + (get_local $i6) + (i32.const 16) ) ) ) - (if - (i32.lt_u + ) + (if + (i32.lt_u + (get_local $i8) + (get_local $i22) + ) + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $i23) (get_local $i8) - (get_local $i22) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $i23) - (get_local $i8) - ) - (i32.store offset=24 - (get_local $i8) - (get_local $i23) - ) - (br $do-once$14) + (i32.store offset=24 + (get_local $i8) + (get_local $i23) ) ) ) @@ -7386,7 +7337,6 @@ (get_local $i8) (get_local $i23) ) - (br $do-once$8) ) ) ) @@ -7773,228 +7723,224 @@ (get_local $i12) (i32.const 0) ) - (block $do-once$16 - (if - (i32.and - (set_local $i30 - (i32.load - (i32.const 180) - ) + (if + (i32.and + (set_local $i30 + (i32.load + (i32.const 180) ) - (set_local $i18 - (i32.shl - (i32.const 1) - (get_local $i32) - ) + ) + (set_local $i18 + (i32.shl + (i32.const 1) + (get_local $i32) ) ) - (block - (set_local $i31 - (i32.shl - (get_local $i29) - (if - (i32.eq + ) + (block + (set_local $i31 + (i32.shl + (get_local $i29) + (if + (i32.eq + (get_local $i32) + (i32.const 31) + ) + (i32.const 0) + (i32.sub + (i32.const 25) + (i32.shr_u (get_local $i32) - (i32.const 31) - ) - (i32.const 0) - (i32.sub - (i32.const 25) - (i32.shr_u - (get_local $i32) - (i32.const 1) - ) + (i32.const 1) ) ) ) ) - (set_local $i2 - (i32.load - (get_local $i5) - ) + ) + (set_local $i2 + (i32.load + (get_local $i5) ) - (loop $while-out$18 $while-in$19 - (if - (i32.eq - (i32.and - (i32.load offset=4 - (get_local $i2) - ) - (i32.const -8) - ) - (get_local $i29) - ) - (block - (set_local $i33 + ) + (loop $while-out$18 $while-in$19 + (if + (i32.eq + (i32.and + (i32.load offset=4 (get_local $i2) ) - (set_local $i34 - (i32.const 130) - ) - (br $while-out$18) + (i32.const -8) ) + (get_local $i29) ) - (if - (set_local $i13 - (i32.load - (set_local $i28 + (block + (set_local $i33 + (get_local $i2) + ) + (set_local $i34 + (i32.const 130) + ) + (br $while-out$18) + ) + ) + (if + (set_local $i13 + (i32.load + (set_local $i28 + (i32.add (i32.add - (i32.add - (get_local $i2) - (i32.const 16) - ) - (i32.shl - (i32.shr_u - (get_local $i31) - (i32.const 31) - ) - (i32.const 2) + (get_local $i2) + (i32.const 16) + ) + (i32.shl + (i32.shr_u + (get_local $i31) + (i32.const 31) ) + (i32.const 2) ) ) ) ) - (block - (set_local $i31 - (i32.shl - (get_local $i31) - (i32.const 1) - ) - ) - (set_local $i2 - (get_local $i13) + ) + (block + (set_local $i31 + (i32.shl + (get_local $i31) + (i32.const 1) ) ) - (block - (set_local $i35 - (get_local $i28) - ) - (set_local $i36 - (get_local $i2) - ) - (set_local $i34 - (i32.const 127) - ) - (br $while-out$18) + (set_local $i2 + (get_local $i13) + ) + ) + (block + (set_local $i35 + (get_local $i28) + ) + (set_local $i36 + (get_local $i2) + ) + (set_local $i34 + (i32.const 127) + ) + (br $while-out$18) + ) + ) + (br $while-in$19) + ) + (if + (i32.eq + (get_local $i34) + (i32.const 127) + ) + (if + (i32.lt_u + (get_local $i35) + (i32.load + (i32.const 192) + ) + ) + (call_import $_abort) + (block + (i32.store + (get_local $i35) + (get_local $i12) + ) + (i32.store offset=24 + (get_local $i12) + (get_local $i36) + ) + (i32.store offset=12 + (get_local $i12) + (get_local $i12) + ) + (i32.store offset=8 + (get_local $i12) + (get_local $i12) ) ) - (br $while-in$19) ) (if (i32.eq (get_local $i34) - (i32.const 127) + (i32.const 130) ) (if - (i32.lt_u - (get_local $i35) - (i32.load - (i32.const 192) + (i32.and + (i32.ge_u + (set_local $i31 + (i32.load + (set_local $i2 + (i32.add + (get_local $i33) + (i32.const 8) + ) + ) + ) + ) + (set_local $i9 + (i32.load + (i32.const 192) + ) + ) + ) + (i32.ge_u + (get_local $i33) + (get_local $i9) ) ) - (call_import $_abort) (block + (i32.store offset=12 + (get_local $i31) + (get_local $i12) + ) (i32.store - (get_local $i35) + (get_local $i2) (get_local $i12) ) - (i32.store offset=24 + (i32.store offset=8 (get_local $i12) - (get_local $i36) + (get_local $i31) ) (i32.store offset=12 (get_local $i12) - (get_local $i12) + (get_local $i33) ) - (i32.store offset=8 - (get_local $i12) + (i32.store offset=24 (get_local $i12) + (i32.const 0) ) - (br $do-once$16) - ) - ) - (if - (i32.eq - (get_local $i34) - (i32.const 130) - ) - (if - (i32.and - (i32.ge_u - (set_local $i31 - (i32.load - (set_local $i2 - (i32.add - (get_local $i33) - (i32.const 8) - ) - ) - ) - ) - (set_local $i9 - (i32.load - (i32.const 192) - ) - ) - ) - (i32.ge_u - (get_local $i33) - (get_local $i9) - ) - ) - (block - (i32.store offset=12 - (get_local $i31) - (get_local $i12) - ) - (i32.store - (get_local $i2) - (get_local $i12) - ) - (i32.store offset=8 - (get_local $i12) - (get_local $i31) - ) - (i32.store offset=12 - (get_local $i12) - (get_local $i33) - ) - (i32.store offset=24 - (get_local $i12) - (i32.const 0) - ) - (br $do-once$16) - ) - (call_import $_abort) ) + (call_import $_abort) ) ) ) - (block - (i32.store - (i32.const 180) - (i32.or - (get_local $i30) - (get_local $i18) - ) - ) - (i32.store - (get_local $i5) - (get_local $i12) - ) - (i32.store offset=24 - (get_local $i12) - (get_local $i5) - ) - (i32.store offset=12 - (get_local $i12) - (get_local $i12) - ) - (i32.store offset=8 - (get_local $i12) - (get_local $i12) + ) + (block + (i32.store + (i32.const 180) + (i32.or + (get_local $i30) + (get_local $i18) ) ) + (i32.store + (get_local $i5) + (get_local $i12) + ) + (i32.store offset=24 + (get_local $i12) + (get_local $i5) + ) + (i32.store offset=12 + (get_local $i12) + (get_local $i12) + ) + (i32.store offset=8 + (get_local $i12) + (get_local $i12) + ) ) ) (i32.store diff --git a/test/emcc_O2_hello_world.fromasm.imprecise b/test/emcc_O2_hello_world.fromasm.imprecise index de6dfd4b8..ce017ac82 100644 --- a/test/emcc_O2_hello_world.fromasm.imprecise +++ b/test/emcc_O2_hello_world.fromasm.imprecise @@ -217,59 +217,56 @@ ) ) ) - (block $do-once$2 - (if - (i32.ne - (get_local $i7) - (get_local $i11) - ) - (block - (if - (i32.lt_u - (get_local $i11) - (i32.load - (i32.const 192) - ) + (if + (i32.ne + (get_local $i7) + (get_local $i11) + ) + (block + (if + (i32.lt_u + (get_local $i11) + (i32.load + (i32.const 192) ) - (call_import $_abort) ) - (if - (i32.eq - (i32.load - (set_local $i12 - (i32.add - (get_local $i11) - (i32.const 12) - ) + (call_import $_abort) + ) + (if + (i32.eq + (i32.load + (set_local $i12 + (i32.add + (get_local $i11) + (i32.const 12) ) ) - (get_local $i9) ) - (block - (i32.store - (get_local $i12) - (get_local $i7) - ) - (i32.store - (get_local $i8) - (get_local $i11) - ) - (br $do-once$2) + (get_local $i9) + ) + (block + (i32.store + (get_local $i12) + (get_local $i7) + ) + (i32.store + (get_local $i8) + (get_local $i11) ) - (call_import $_abort) ) + (call_import $_abort) ) - (i32.store - (i32.const 176) - (i32.and - (get_local $i4) - (i32.xor - (i32.shl - (i32.const 1) - (get_local $i6) - ) - (i32.const -1) + ) + (i32.store + (i32.const 176) + (i32.and + (get_local $i4) + (i32.xor + (i32.shl + (i32.const 1) + (get_local $i6) ) + (i32.const -1) ) ) ) @@ -462,70 +459,67 @@ ) ) ) - (block $do-once$4 - (if - (i32.ne - (get_local $i15) - (get_local $i7) - ) - (block - (if - (i32.lt_u - (get_local $i7) - (i32.load - (i32.const 192) - ) + (if + (i32.ne + (get_local $i15) + (get_local $i7) + ) + (block + (if + (i32.lt_u + (get_local $i7) + (i32.load + (i32.const 192) ) - (call_import $_abort) ) - (if - (i32.eq - (i32.load - (set_local $i11 - (i32.add - (get_local $i7) - (i32.const 12) - ) + (call_import $_abort) + ) + (if + (i32.eq + (i32.load + (set_local $i11 + (i32.add + (get_local $i7) + (i32.const 12) ) ) - (get_local $i14) ) - (block - (i32.store - (get_local $i11) - (get_local $i15) - ) - (i32.store - (get_local $i16) - (get_local $i7) - ) - (set_local $i18 - (i32.load - (i32.const 184) - ) + (get_local $i14) + ) + (block + (i32.store + (get_local $i11) + (get_local $i15) + ) + (i32.store + (get_local $i16) + (get_local $i7) + ) + (set_local $i18 + (i32.load + (i32.const 184) ) - (br $do-once$4) ) - (call_import $_abort) ) + (call_import $_abort) ) - (block - (i32.store - (i32.const 176) - (i32.and - (get_local $i4) - (i32.xor - (i32.shl - (i32.const 1) - (get_local $i17) - ) - (i32.const -1) + ) + (block + (i32.store + (i32.const 176) + (i32.and + (get_local $i4) + (i32.xor + (i32.shl + (i32.const 1) + (get_local $i17) ) + (i32.const -1) ) ) - (set_local $i18 - (get_local $i8) - ) + ) + (set_local $i18 + (get_local $i8) ) ) ) @@ -1015,7 +1009,6 @@ (set_local $i24 (get_local $i27) ) - (br $do-once$8) ) ) ) @@ -1069,7 +1062,6 @@ (set_local $i24 (get_local $i12) ) - (br $do-once$8) ) (call_import $_abort) ) @@ -1181,29 +1173,26 @@ (get_local $i24) (get_local $i5) ) - (block $do-once$14 + (if + (set_local $i7 + (i32.load offset=16 + (get_local $i22) + ) + ) (if - (set_local $i7 - (i32.load offset=16 - (get_local $i22) - ) + (i32.lt_u + (get_local $i7) + (get_local $i12) ) - (if - (i32.lt_u + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $i24) (get_local $i7) - (get_local $i12) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $i24) - (get_local $i7) - ) - (i32.store offset=24 - (get_local $i7) - (get_local $i24) - ) - (br $do-once$14) + (i32.store offset=24 + (get_local $i7) + (get_local $i24) ) ) ) @@ -1231,7 +1220,6 @@ (get_local $i7) (get_local $i24) ) - (br $do-once$12) ) ) ) @@ -2194,7 +2182,6 @@ (set_local $i45 (get_local $i48) ) - (br $do-once$21) ) ) ) @@ -2248,7 +2235,6 @@ (set_local $i45 (get_local $i7) ) - (br $do-once$21) ) (call_import $_abort) ) @@ -2360,29 +2346,26 @@ (get_local $i45) (get_local $i3) ) - (block $do-once$27 + (if + (set_local $i15 + (i32.load offset=16 + (get_local $i44) + ) + ) (if - (set_local $i15 - (i32.load offset=16 - (get_local $i44) - ) + (i32.lt_u + (get_local $i15) + (get_local $i7) ) - (if - (i32.lt_u + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $i45) (get_local $i15) - (get_local $i7) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $i45) - (get_local $i15) - ) - (i32.store offset=24 - (get_local $i15) - (get_local $i45) - ) - (br $do-once$27) + (i32.store offset=24 + (get_local $i15) + (get_local $i45) ) ) ) @@ -2410,7 +2393,6 @@ (get_local $i15) (get_local $i45) ) - (br $do-once$25) ) ) ) @@ -2838,7 +2820,6 @@ (get_local $i8) (get_local $i8) ) - (br $do-once$29) ) ) (if @@ -2891,7 +2872,6 @@ (get_local $i8) (i32.const 0) ) - (br $do-once$29) ) (call_import $_abort) ) @@ -3112,64 +3092,61 @@ ) ) ) - (block $do-once$33 - (if - (i32.eqz - (i32.load - (i32.const 648) - ) + (if + (i32.eqz + (i32.load + (i32.const 648) ) - (if - (i32.and - (i32.add - (set_local $i53 - (call_import $_sysconf - (i32.const 30) - ) + ) + (if + (i32.and + (i32.add + (set_local $i53 + (call_import $_sysconf + (i32.const 30) ) - (i32.const -1) ) + (i32.const -1) + ) + (get_local $i53) + ) + (call_import $_abort) + (block + (i32.store + (i32.const 656) (get_local $i53) ) - (call_import $_abort) - (block - (i32.store - (i32.const 656) - (get_local $i53) - ) - (i32.store - (i32.const 652) - (get_local $i53) - ) - (i32.store - (i32.const 660) - (i32.const -1) - ) - (i32.store - (i32.const 664) - (i32.const -1) - ) - (i32.store - (i32.const 668) - (i32.const 0) - ) - (i32.store - (i32.const 620) - (i32.const 0) - ) - (i32.store - (i32.const 648) - (i32.xor - (i32.and - (call_import $_time - (i32.const 0) - ) - (i32.const -16) + (i32.store + (i32.const 652) + (get_local $i53) + ) + (i32.store + (i32.const 660) + (i32.const -1) + ) + (i32.store + (i32.const 664) + (i32.const -1) + ) + (i32.store + (i32.const 668) + (i32.const 0) + ) + (i32.store + (i32.const 620) + (i32.const 0) + ) + (i32.store + (i32.const 648) + (i32.xor + (i32.and + (call_import $_time + (i32.const 0) ) - (i32.const 1431655768) + (i32.const -16) ) + (i32.const 1431655768) ) - (br $do-once$33) ) ) ) @@ -3545,76 +3522,71 @@ (get_local $i61) ) ) - (block $do-once$42 + (if (if - (if + (i32.and + (i32.gt_u + (get_local $i53) + (get_local $i61) + ) (i32.and - (i32.gt_u - (get_local $i53) + (i32.lt_u (get_local $i61) + (i32.const 2147483647) ) - (i32.and - (i32.lt_u - (get_local $i61) - (i32.const 2147483647) - ) - (i32.ne - (get_local $i60) - (i32.const -1) - ) + (i32.ne + (get_local $i60) + (i32.const -1) ) ) - (i32.lt_u - (set_local $i5 - (i32.and - (i32.add - (i32.sub - (get_local $i44) - (get_local $i61) - ) - (set_local $i52 - (i32.load - (i32.const 656) - ) - ) - ) + ) + (i32.lt_u + (set_local $i5 + (i32.and + (i32.add (i32.sub - (i32.const 0) - (get_local $i52) + (get_local $i44) + (get_local $i61) ) + (set_local $i52 + (i32.load + (i32.const 656) + ) + ) + ) + (i32.sub + (i32.const 0) + (get_local $i52) ) ) - (i32.const 2147483647) ) - (i32.const 0) + (i32.const 2147483647) ) - (if - (i32.eq - (call_import $_sbrk - (get_local $i5) - ) - (i32.const -1) - ) - (block - (call_import $_sbrk - (get_local $i45) - ) - (br $label$break$L279) + (i32.const 0) + ) + (if + (i32.eq + (call_import $_sbrk + (get_local $i5) ) - (block - (set_local $i63 - (i32.add - (get_local $i5) - (get_local $i61) - ) - ) - (br $do-once$42) + (i32.const -1) + ) + (block + (call_import $_sbrk + (get_local $i45) ) + (br $label$break$L279) ) (set_local $i63 - (get_local $i61) + (i32.add + (get_local $i5) + (get_local $i61) + ) ) ) + (set_local $i63 + (get_local $i61) + ) ) (if (i32.ne @@ -4306,7 +4278,6 @@ (set_local $i72 (get_local $i75) ) - (br $do-once$53) ) ) ) @@ -4360,7 +4331,6 @@ (set_local $i72 (get_local $i55) ) - (br $do-once$53) ) (call_import $_abort) ) @@ -4471,34 +4441,31 @@ (get_local $i72) (get_local $i54) ) - (block $do-once$59 - (if - (set_local $i45 - (i32.load - (set_local $i5 - (i32.add - (get_local $i43) - (i32.const 16) - ) + (if + (set_local $i45 + (i32.load + (set_local $i5 + (i32.add + (get_local $i43) + (i32.const 16) ) ) ) - (if - (i32.lt_u + ) + (if + (i32.lt_u + (get_local $i45) + (get_local $i55) + ) + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $i72) (get_local $i45) - (get_local $i55) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $i72) - (get_local $i45) - ) - (i32.store offset=24 - (get_local $i45) - (get_local $i72) - ) - (br $do-once$59) + (i32.store offset=24 + (get_local $i45) + (get_local $i72) ) ) ) @@ -4529,7 +4496,6 @@ (get_local $i45) (get_local $i72) ) - (br $label$break$L331) ) ) ) @@ -5113,7 +5079,6 @@ (get_local $i63) (get_local $i63) ) - (br $do-once$50) ) ) (if @@ -5166,7 +5131,6 @@ (get_local $i63) (i32.const 0) ) - (br $do-once$50) ) (call_import $_abort) ) @@ -5857,7 +5821,6 @@ (get_local $i60) (get_local $i60) ) - (br $do-once$44) ) ) (if @@ -5910,7 +5873,6 @@ (get_local $i60) (i32.const 0) ) - (br $do-once$44) ) (call_import $_abort) ) @@ -6598,7 +6560,6 @@ (set_local $i18 (get_local $i21) ) - (br $do-once$2) ) ) ) @@ -6652,7 +6613,6 @@ (set_local $i18 (get_local $i10) ) - (br $do-once$2) ) (call_import $_abort) ) @@ -6778,34 +6738,31 @@ (get_local $i18) (get_local $i7) ) - (block $do-once$6 - (if - (set_local $i14 - (i32.load - (set_local $i11 - (i32.add - (get_local $i8) - (i32.const 16) - ) + (if + (set_local $i14 + (i32.load + (set_local $i11 + (i32.add + (get_local $i8) + (i32.const 16) ) ) ) - (if - (i32.lt_u + ) + (if + (i32.lt_u + (get_local $i14) + (get_local $i10) + ) + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $i18) (get_local $i14) - (get_local $i10) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $i18) - (get_local $i14) - ) - (i32.store offset=24 - (get_local $i14) - (get_local $i18) - ) - (br $do-once$6) + (i32.store offset=24 + (get_local $i14) + (get_local $i18) ) ) ) @@ -6839,7 +6796,6 @@ (set_local $i13 (get_local $i9) ) - (br $do-once$0) ) ) (block @@ -7164,7 +7120,6 @@ (set_local $i23 (get_local $i26) ) - (br $do-once$10) ) ) ) @@ -7220,7 +7175,6 @@ (set_local $i23 (get_local $i22) ) - (br $do-once$10) ) (call_import $_abort) ) @@ -7331,34 +7285,31 @@ (get_local $i23) (get_local $i21) ) - (block $do-once$14 - (if - (set_local $i8 - (i32.load - (set_local $i9 - (i32.add - (get_local $i6) - (i32.const 16) - ) + (if + (set_local $i8 + (i32.load + (set_local $i9 + (i32.add + (get_local $i6) + (i32.const 16) ) ) ) - (if - (i32.lt_u + ) + (if + (i32.lt_u + (get_local $i8) + (get_local $i22) + ) + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $i23) (get_local $i8) - (get_local $i22) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $i23) - (get_local $i8) - ) - (i32.store offset=24 - (get_local $i8) - (get_local $i23) - ) - (br $do-once$14) + (i32.store offset=24 + (get_local $i8) + (get_local $i23) ) ) ) @@ -7386,7 +7337,6 @@ (get_local $i8) (get_local $i23) ) - (br $do-once$8) ) ) ) @@ -7773,228 +7723,224 @@ (get_local $i12) (i32.const 0) ) - (block $do-once$16 - (if - (i32.and - (set_local $i30 - (i32.load - (i32.const 180) - ) + (if + (i32.and + (set_local $i30 + (i32.load + (i32.const 180) ) - (set_local $i18 - (i32.shl - (i32.const 1) - (get_local $i32) - ) + ) + (set_local $i18 + (i32.shl + (i32.const 1) + (get_local $i32) ) ) - (block - (set_local $i31 - (i32.shl - (get_local $i29) - (if - (i32.eq + ) + (block + (set_local $i31 + (i32.shl + (get_local $i29) + (if + (i32.eq + (get_local $i32) + (i32.const 31) + ) + (i32.const 0) + (i32.sub + (i32.const 25) + (i32.shr_u (get_local $i32) - (i32.const 31) - ) - (i32.const 0) - (i32.sub - (i32.const 25) - (i32.shr_u - (get_local $i32) - (i32.const 1) - ) + (i32.const 1) ) ) ) ) - (set_local $i2 - (i32.load - (get_local $i5) - ) + ) + (set_local $i2 + (i32.load + (get_local $i5) ) - (loop $while-out$18 $while-in$19 - (if - (i32.eq - (i32.and - (i32.load offset=4 - (get_local $i2) - ) - (i32.const -8) - ) - (get_local $i29) - ) - (block - (set_local $i33 + ) + (loop $while-out$18 $while-in$19 + (if + (i32.eq + (i32.and + (i32.load offset=4 (get_local $i2) ) - (set_local $i34 - (i32.const 130) - ) - (br $while-out$18) + (i32.const -8) ) + (get_local $i29) ) - (if - (set_local $i13 - (i32.load - (set_local $i28 + (block + (set_local $i33 + (get_local $i2) + ) + (set_local $i34 + (i32.const 130) + ) + (br $while-out$18) + ) + ) + (if + (set_local $i13 + (i32.load + (set_local $i28 + (i32.add (i32.add - (i32.add - (get_local $i2) - (i32.const 16) - ) - (i32.shl - (i32.shr_u - (get_local $i31) - (i32.const 31) - ) - (i32.const 2) + (get_local $i2) + (i32.const 16) + ) + (i32.shl + (i32.shr_u + (get_local $i31) + (i32.const 31) ) + (i32.const 2) ) ) ) ) - (block - (set_local $i31 - (i32.shl - (get_local $i31) - (i32.const 1) - ) - ) - (set_local $i2 - (get_local $i13) + ) + (block + (set_local $i31 + (i32.shl + (get_local $i31) + (i32.const 1) ) ) - (block - (set_local $i35 - (get_local $i28) - ) - (set_local $i36 - (get_local $i2) - ) - (set_local $i34 - (i32.const 127) - ) - (br $while-out$18) + (set_local $i2 + (get_local $i13) + ) + ) + (block + (set_local $i35 + (get_local $i28) + ) + (set_local $i36 + (get_local $i2) + ) + (set_local $i34 + (i32.const 127) + ) + (br $while-out$18) + ) + ) + (br $while-in$19) + ) + (if + (i32.eq + (get_local $i34) + (i32.const 127) + ) + (if + (i32.lt_u + (get_local $i35) + (i32.load + (i32.const 192) + ) + ) + (call_import $_abort) + (block + (i32.store + (get_local $i35) + (get_local $i12) + ) + (i32.store offset=24 + (get_local $i12) + (get_local $i36) + ) + (i32.store offset=12 + (get_local $i12) + (get_local $i12) + ) + (i32.store offset=8 + (get_local $i12) + (get_local $i12) ) ) - (br $while-in$19) ) (if (i32.eq (get_local $i34) - (i32.const 127) + (i32.const 130) ) (if - (i32.lt_u - (get_local $i35) - (i32.load - (i32.const 192) + (i32.and + (i32.ge_u + (set_local $i31 + (i32.load + (set_local $i2 + (i32.add + (get_local $i33) + (i32.const 8) + ) + ) + ) + ) + (set_local $i9 + (i32.load + (i32.const 192) + ) + ) + ) + (i32.ge_u + (get_local $i33) + (get_local $i9) ) ) - (call_import $_abort) (block + (i32.store offset=12 + (get_local $i31) + (get_local $i12) + ) (i32.store - (get_local $i35) + (get_local $i2) (get_local $i12) ) - (i32.store offset=24 + (i32.store offset=8 (get_local $i12) - (get_local $i36) + (get_local $i31) ) (i32.store offset=12 (get_local $i12) - (get_local $i12) + (get_local $i33) ) - (i32.store offset=8 - (get_local $i12) + (i32.store offset=24 (get_local $i12) + (i32.const 0) ) - (br $do-once$16) - ) - ) - (if - (i32.eq - (get_local $i34) - (i32.const 130) - ) - (if - (i32.and - (i32.ge_u - (set_local $i31 - (i32.load - (set_local $i2 - (i32.add - (get_local $i33) - (i32.const 8) - ) - ) - ) - ) - (set_local $i9 - (i32.load - (i32.const 192) - ) - ) - ) - (i32.ge_u - (get_local $i33) - (get_local $i9) - ) - ) - (block - (i32.store offset=12 - (get_local $i31) - (get_local $i12) - ) - (i32.store - (get_local $i2) - (get_local $i12) - ) - (i32.store offset=8 - (get_local $i12) - (get_local $i31) - ) - (i32.store offset=12 - (get_local $i12) - (get_local $i33) - ) - (i32.store offset=24 - (get_local $i12) - (i32.const 0) - ) - (br $do-once$16) - ) - (call_import $_abort) ) + (call_import $_abort) ) ) ) - (block - (i32.store - (i32.const 180) - (i32.or - (get_local $i30) - (get_local $i18) - ) - ) - (i32.store - (get_local $i5) - (get_local $i12) - ) - (i32.store offset=24 - (get_local $i12) - (get_local $i5) - ) - (i32.store offset=12 - (get_local $i12) - (get_local $i12) - ) - (i32.store offset=8 - (get_local $i12) - (get_local $i12) + ) + (block + (i32.store + (i32.const 180) + (i32.or + (get_local $i30) + (get_local $i18) ) ) + (i32.store + (get_local $i5) + (get_local $i12) + ) + (i32.store offset=24 + (get_local $i12) + (get_local $i5) + ) + (i32.store offset=12 + (get_local $i12) + (get_local $i12) + ) + (i32.store offset=8 + (get_local $i12) + (get_local $i12) + ) ) ) (i32.store diff --git a/test/emcc_hello_world.fromasm b/test/emcc_hello_world.fromasm index 2d8457313..75e2bf024 100644 --- a/test/emcc_hello_world.fromasm +++ b/test/emcc_hello_world.fromasm @@ -766,14 +766,12 @@ (get_local $$tio) ) (if - (i32.eqz - (i32.eq - (call_import $___syscall54 - (i32.const 54) - (get_local $$vararg_buffer) - ) - (i32.const 0) + (i32.ne + (call_import $___syscall54 + (i32.const 54) + (get_local $$vararg_buffer) ) + (i32.const 0) ) (i32.store8 offset=75 (get_local $$f) @@ -990,11 +988,9 @@ ) ) (if - (i32.eqz - (i32.eq - (get_local $$cond19) - (i32.const 0) - ) + (i32.ne + (get_local $$cond19) + (i32.const 0) ) (call $___unlockfile (get_local $$f$addr$022) @@ -1037,13 +1033,11 @@ ) (block (if - (i32.eqz - (i32.gt_s - (i32.load offset=76 - (get_local $$f) - ) - (i32.const -1) + (i32.le_s + (i32.load offset=76 + (get_local $$f) ) + (i32.const -1) ) (block (set_local $$retval$0 @@ -1918,11 +1912,9 @@ ) ) (if - (i32.eqz - (i32.eq - (get_local $$cond) - (i32.const 0) - ) + (i32.ne + (get_local $$cond) + (i32.const 0) ) (call $___unlockfile (get_local $$f) @@ -2526,7 +2518,6 @@ (set_local $$retval$0 (i32.const 4) ) - (br $do-once$0) ) (block (i32.store @@ -2536,7 +2527,6 @@ (set_local $$retval$0 (i32.const -1) ) - (br $do-once$0) ) ) ) @@ -2846,20 +2836,18 @@ ) ) (if - (i32.eqz - (i32.eq - (i32.and - (i32.xor - (i32.and - (get_local $$xor) - (i32.const -2139062144) - ) + (i32.ne + (i32.and + (i32.xor + (i32.and + (get_local $$xor) (i32.const -2139062144) ) - (get_local $$sub) + (i32.const -2139062144) ) - (i32.const 0) + (get_local $$sub) ) + (i32.const 0) ) (block (set_local $$n$addr$133$lcssa @@ -3859,44 +3847,38 @@ (i32.const 0) ) (loop $label$break$L1 $label$continue$L1 - (block $do-once$0 + (if + (i32.gt_s + (get_local $$cnt$0) + (i32.const -1) + ) (if (i32.gt_s - (get_local $$cnt$0) - (i32.const -1) - ) - (if - (i32.gt_s - (get_local $$l$0) - (i32.sub - (i32.const 2147483647) - (get_local $$cnt$0) - ) + (get_local $$l$0) + (i32.sub + (i32.const 2147483647) + (get_local $$cnt$0) ) - (block - (i32.store - (call $___errno_location) - (i32.const 75) - ) - (set_local $$cnt$1 - (i32.const -1) - ) - (br $do-once$0) + ) + (block + (i32.store + (call $___errno_location) + (i32.const 75) ) - (block - (set_local $$cnt$1 - (i32.add - (get_local $$l$0) - (get_local $$cnt$0) - ) - ) - (br $do-once$0) + (set_local $$cnt$1 + (i32.const -1) ) ) (set_local $$cnt$1 - (get_local $$cnt$0) + (i32.add + (get_local $$l$0) + (get_local $$cnt$0) + ) ) ) + (set_local $$cnt$1 + (get_local $$cnt$0) + ) ) (if (i32.eq @@ -3963,7 +3945,6 @@ (i32.const 9) ) (br $label$break$L9) - (br $switch$2) ) (set_local $$incdec$ptr169276$lcssa (get_local $$incdec$ptr169274) @@ -3972,7 +3953,6 @@ (get_local $$incdec$ptr169274) ) (br $label$break$L9) - (br $switch$2) ) ) ) @@ -4002,19 +3982,17 @@ (i32.const 0) ) (if - (i32.eqz - (i32.eq - (i32.shr_s - (i32.shl - (i32.load8_s offset=1 - (get_local $$incdec$ptr169276301) - ) - (i32.const 24) + (i32.ne + (i32.shr_s + (i32.shl + (i32.load8_s offset=1 + (get_local $$incdec$ptr169276301) ) (i32.const 24) ) - (i32.const 37) + (i32.const 24) ) + (i32.const 37) ) (block (set_local $$incdec$ptr169276$lcssa @@ -4101,11 +4079,9 @@ ) ) (if - (i32.eqz - (i32.eq - (get_local $$z$0$lcssa) - (get_local $$incdec$ptr169275) - ) + (i32.ne + (get_local $$z$0$lcssa) + (get_local $$incdec$ptr169275) ) (block (set_local $$cnt$0 @@ -4481,11 +4457,9 @@ (i32.const 0) ) (if - (i32.eqz - (i32.eq - (get_local $$l10n$1) - (i32.const 0) - ) + (i32.ne + (get_local $$l10n$1) + (i32.const 0) ) (block (set_local $$retval$0 @@ -4745,26 +4719,24 @@ ) (block (if - (i32.eqz - (i32.eq - (i32.shr_s - (i32.shl - (set_local $$32 - (i32.load8_s - (set_local $$arrayidx114 - (i32.add - (get_local $$incdec$ptr169269) - (i32.const 1) - ) + (i32.ne + (i32.shr_s + (i32.shl + (set_local $$32 + (i32.load8_s + (set_local $$arrayidx114 + (i32.add + (get_local $$incdec$ptr169269) + (i32.const 1) ) ) ) - (i32.const 24) ) (i32.const 24) ) - (i32.const 42) + (i32.const 24) ) + (i32.const 42) ) (block (if @@ -4950,11 +4922,9 @@ ) ) (if - (i32.eqz - (i32.eq - (get_local $$l10n$3) - (i32.const 0) - ) + (i32.ne + (get_local $$l10n$3) + (i32.const 0) ) (block (set_local $$retval$0 @@ -5394,7 +5364,6 @@ (get_local $$l10n$3) ) (br $label$continue$L1) - (br $switch$25) ) (i32.store (i32.load @@ -5415,7 +5384,6 @@ (get_local $$l10n$3) ) (br $label$continue$L1) - (br $switch$25) ) (i32.store (set_local $$76 @@ -5451,7 +5419,6 @@ (get_local $$l10n$3) ) (br $label$continue$L1) - (br $switch$25) ) (i32.store16 (i32.load @@ -5475,7 +5442,6 @@ (get_local $$l10n$3) ) (br $label$continue$L1) - (br $switch$25) ) (i32.store8 (i32.load @@ -5499,7 +5465,6 @@ (get_local $$l10n$3) ) (br $label$continue$L1) - (br $switch$25) ) (i32.store (i32.load @@ -5520,7 +5485,6 @@ (get_local $$l10n$3) ) (br $label$continue$L1) - (br $switch$25) ) (i32.store (set_local $$86 @@ -5556,7 +5520,6 @@ (get_local $$l10n$3) ) (br $label$continue$L1) - (br $switch$25) ) (set_local $$cnt$0 (get_local $$cnt$1) @@ -6251,107 +6214,99 @@ (i32.const 2) ) ) - (block $do-once$58 - (if - (i32.or - (i32.gt_u - (get_local $$p$0) - (i32.const 11) - ) - (i32.eq - (set_local $$sub74$i - (i32.sub - (i32.const 12) - (get_local $$p$0) - ) + (if + (i32.or + (i32.gt_u + (get_local $$p$0) + (i32.const 11) + ) + (i32.eq + (set_local $$sub74$i + (i32.sub + (i32.const 12) + (get_local $$p$0) ) - (i32.const 0) ) + (i32.const 0) ) - (set_local $$y$addr$1$i - (get_local $$mul$i$240) + ) + (set_local $$y$addr$1$i + (get_local $$mul$i$240) + ) + (block + (set_local $$re$1482$i + (get_local $$sub74$i) ) - (block - (set_local $$re$1482$i - (get_local $$sub74$i) - ) - (set_local $$round$0481$i - (f64.const 8) + (set_local $$round$0481$i + (f64.const 8) + ) + (loop $while-out$60 $while-in$61 + (set_local $$mul80$i + (f64.mul + (get_local $$round$0481$i) + (f64.const 16) + ) ) - (loop $while-out$60 $while-in$61 - (set_local $$mul80$i - (f64.mul - (get_local $$round$0481$i) - (f64.const 16) + (if + (i32.eq + (set_local $$dec78$i + (i32.add + (get_local $$re$1482$i) + (i32.const -1) + ) ) + (i32.const 0) ) - (if - (i32.eq - (set_local $$dec78$i - (i32.add - (get_local $$re$1482$i) - (i32.const -1) - ) - ) - (i32.const 0) + (block + (set_local $$mul80$i$lcssa + (get_local $$mul80$i) ) - (block - (set_local $$mul80$i$lcssa - (get_local $$mul80$i) - ) - (br $while-out$60) + (br $while-out$60) + ) + (block + (set_local $$re$1482$i + (get_local $$dec78$i) ) - (block - (set_local $$re$1482$i - (get_local $$dec78$i) - ) - (set_local $$round$0481$i - (get_local $$mul80$i) - ) + (set_local $$round$0481$i + (get_local $$mul80$i) ) ) - (br $while-in$61) ) - (if - (i32.eq - (i32.shr_s - (i32.shl - (i32.load8_s - (get_local $$prefix$0$add$ptr65$i) - ) - (i32.const 24) + (br $while-in$61) + ) + (if + (i32.eq + (i32.shr_s + (i32.shl + (i32.load8_s + (get_local $$prefix$0$add$ptr65$i) ) (i32.const 24) ) - (i32.const 45) - ) - (block - (set_local $$y$addr$1$i - (f64.neg - (f64.add - (get_local $$mul80$i$lcssa) - (f64.sub - (f64.neg - (get_local $$mul$i$240) - ) - (get_local $$mul80$i$lcssa) - ) - ) - ) - ) - (br $do-once$58) + (i32.const 24) ) - (block - (set_local $$y$addr$1$i + (i32.const 45) + ) + (set_local $$y$addr$1$i + (f64.neg + (f64.add + (get_local $$mul80$i$lcssa) (f64.sub - (f64.add + (f64.neg (get_local $$mul$i$240) - (get_local $$mul80$i$lcssa) ) (get_local $$mul80$i$lcssa) ) ) - (br $do-once$58) + ) + ) + (set_local $$y$addr$1$i + (f64.sub + (f64.add + (get_local $$mul$i$240) + (get_local $$mul80$i$lcssa) + ) + (get_local $$mul80$i$lcssa) ) ) ) @@ -7000,11 +6955,9 @@ ) (loop $while-out$74 $while-in$75 (if - (i32.eqz - (i32.gt_u - (get_local $$z$2$i) - (get_local $$a$2$ph$i) - ) + (i32.le_u + (get_local $$z$2$i) + (get_local $$a$2$ph$i) ) (block (set_local $$z$2$i$lcssa @@ -7710,19 +7663,17 @@ ) (block (if - (i32.eqz - (i32.eq - (i32.shr_s - (i32.shl - (i32.load8_s - (get_local $$prefix$0$i) - ) - (i32.const 24) + (i32.ne + (i32.shr_s + (i32.shl + (i32.load8_s + (get_local $$prefix$0$i) ) (i32.const 24) ) - (i32.const 45) + (i32.const 24) ) + (i32.const 45) ) (block (set_local $$round377$1$i @@ -7757,14 +7708,12 @@ ) ) (if - (i32.eqz - (f64.ne - (f64.add - (get_local $$round377$1$i) - (get_local $$small$1$i) - ) + (f64.eq + (f64.add (get_local $$round377$1$i) + (get_local $$small$1$i) ) + (get_local $$round377$1$i) ) (block (set_local $$a$8$i @@ -8012,11 +7961,9 @@ ) (loop $while-out$96 $while-in$97 (if - (i32.eqz - (i32.gt_u - (get_local $$z$7$i) - (get_local $$a$9$ph$i) - ) + (i32.le_u + (get_local $$z$7$i) + (get_local $$a$9$ph$i) ) (block (set_local $$cmp450$lcssa$i @@ -8114,16 +8061,14 @@ ) ) (if - (i32.eqz - (i32.eq - (set_local $$and483$i - (i32.and - (get_local $$fl$1$and219) - (i32.const 8) - ) + (i32.ne + (set_local $$and483$i + (i32.and + (get_local $$fl$1$and219) + (i32.const 8) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$and610$pre$phi$iZ2D @@ -8291,7 +8236,6 @@ (set_local $$t$addr$1$i (get_local $$t$addr$0$i) ) - (br $do-once$98) ) (block (set_local $$$sub562$i @@ -8331,7 +8275,6 @@ (set_local $$t$addr$1$i (get_local $$t$addr$0$i) ) - (br $do-once$98) ) ) ) @@ -8591,11 +8534,9 @@ ) (block (if - (i32.eqz - (i32.eq - (get_local $$249) - (get_local $$add$ptr671$i) - ) + (i32.ne + (get_local $$249) + (get_local $$add$ptr671$i) ) (block (set_local $$s668$1$i @@ -8701,24 +8642,20 @@ ) (block $do-once$114 (if - (i32.eqz - (i32.eq - (get_local $$239) - (i32.const 0) - ) + (i32.ne + (get_local $$239) + (i32.const 0) ) (block (br_if $do-once$114 - (i32.eqz - (i32.eq - (i32.and - (i32.load - (get_local $$f) - ) - (i32.const 32) + (i32.ne + (i32.and + (i32.load + (get_local $$f) ) - (i32.const 0) + (i32.const 32) ) + (i32.const 0) ) ) (call $___fwritex @@ -8984,16 +8921,14 @@ ) ) (if - (i32.eqz - (i32.eq - (i32.and - (i32.load - (get_local $$f) - ) - (i32.const 32) + (i32.ne + (i32.and + (i32.load + (get_local $$f) ) - (i32.const 0) + (i32.const 32) ) + (i32.const 0) ) (block (set_local $$s753$2$i @@ -9145,16 +9080,14 @@ (i32.const 0) ) (br_if $do-once$106 - (i32.eqz - (i32.eq - (i32.and - (i32.load - (get_local $$f) - ) - (i32.const 32) + (i32.ne + (i32.and + (i32.load + (get_local $$f) ) - (i32.const 0) + (i32.const 32) ) + (i32.const 0) ) ) (call $___fwritex @@ -9328,7 +9261,6 @@ (get_local $$l10n$3) ) (br $label$continue$L1) - (br $switch$24) ) (set_local $$a$2 (get_local $$incdec$ptr169275) @@ -10274,19 +10206,17 @@ ) ) (if - (i32.eqz - (i32.eq - (i32.load - (i32.add - (get_local $$nl_type) - (i32.shl - (get_local $$i$3296) - (i32.const 2) - ) + (i32.ne + (i32.load + (i32.add + (get_local $$nl_type) + (i32.shl + (get_local $$i$3296) + (i32.const 2) ) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$retval$0 @@ -10372,11 +10302,9 @@ ) (block $label$break$L1 (if - (i32.eqz - (i32.gt_u - (get_local $$type) - (i32.const 20) - ) + (i32.le_u + (get_local $$type) + (i32.const 20) ) (block $switch$3 (block $switch-default$14 @@ -10440,7 +10368,6 @@ (get_local $$6) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$13 (i32.load @@ -10499,7 +10426,6 @@ ) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$26 (i32.load @@ -10549,7 +10475,6 @@ (i32.const 0) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$39 (i32.load @@ -10606,7 +10531,6 @@ (get_local $$42) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$53 (i32.load @@ -10679,7 +10603,6 @@ (get_local $$56) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$67 (i32.load @@ -10732,7 +10655,6 @@ (i32.const 0) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$78 (i32.load @@ -10805,7 +10727,6 @@ (get_local $$81) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$92 (i32.load @@ -10858,7 +10779,6 @@ (i32.const 0) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$103 (f64.load @@ -10902,7 +10822,6 @@ (get_local $$103) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$110 (f64.load @@ -10945,10 +10864,7 @@ (get_local $$arg) (get_local $$110) ) - (br $label$break$L1) - (br $switch$3) ) - (br $label$break$L1) ) ) ) @@ -11885,23 +11801,21 @@ ) ) (if - (i32.eqz - (i32.eq - (i32.and - (set_local $$shr3 - (i32.shr_u - (set_local $$0 - (i32.load - (i32.const 176) - ) + (i32.ne + (i32.and + (set_local $$shr3 + (i32.shr_u + (set_local $$0 + (i32.load + (i32.const 176) ) - (get_local $$shr) ) + (get_local $$shr) ) - (i32.const 3) ) - (i32.const 0) + (i32.const 3) ) + (i32.const 0) ) (block (set_local $$3 @@ -11945,60 +11859,57 @@ ) ) ) - (block $do-once$2 - (if - (i32.eq - (get_local $$arrayidx) - (get_local $$3) - ) - (i32.store - (i32.const 176) - (i32.and - (get_local $$0) - (i32.xor - (i32.shl - (i32.const 1) - (get_local $$add8) - ) - (i32.const -1) + (if + (i32.eq + (get_local $$arrayidx) + (get_local $$3) + ) + (i32.store + (i32.const 176) + (i32.and + (get_local $$0) + (i32.xor + (i32.shl + (i32.const 1) + (get_local $$add8) ) + (i32.const -1) ) ) - (block - (if - (i32.lt_u - (get_local $$3) - (i32.load - (i32.const 192) - ) + ) + (block + (if + (i32.lt_u + (get_local $$3) + (i32.load + (i32.const 192) ) - (call_import $_abort) ) - (if - (i32.eq - (i32.load - (set_local $$bk - (i32.add - (get_local $$3) - (i32.const 12) - ) + (call_import $_abort) + ) + (if + (i32.eq + (i32.load + (set_local $$bk + (i32.add + (get_local $$3) + (i32.const 12) ) ) - (get_local $$2) ) - (block - (i32.store - (get_local $$bk) - (get_local $$arrayidx) - ) - (i32.store - (get_local $$1) - (get_local $$3) - ) - (br $do-once$2) + (get_local $$2) + ) + (block + (i32.store + (get_local $$bk) + (get_local $$arrayidx) + ) + (i32.store + (get_local $$1) + (get_local $$3) ) - (call_import $_abort) ) + (call_import $_abort) ) ) ) @@ -12050,11 +11961,9 @@ ) (block (if - (i32.eqz - (i32.eq - (get_local $$shr3) - (i32.const 0) - ) + (i32.ne + (get_local $$shr3) + (i32.const 0) ) (block (set_local $$sub @@ -12204,70 +12113,67 @@ ) ) ) - (block $do-once$4 - (if - (i32.eq - (get_local $$arrayidx66) - (get_local $$10) - ) - (block - (i32.store - (i32.const 176) - (i32.and - (get_local $$0) - (i32.xor - (i32.shl - (i32.const 1) - (get_local $$add64) - ) - (i32.const -1) + (if + (i32.eq + (get_local $$arrayidx66) + (get_local $$10) + ) + (block + (i32.store + (i32.const 176) + (i32.and + (get_local $$0) + (i32.xor + (i32.shl + (i32.const 1) + (get_local $$add64) ) + (i32.const -1) ) ) - (set_local $$13 - (get_local $$7) - ) ) - (block - (if - (i32.lt_u - (get_local $$10) - (i32.load - (i32.const 192) - ) + (set_local $$13 + (get_local $$7) + ) + ) + (block + (if + (i32.lt_u + (get_local $$10) + (i32.load + (i32.const 192) ) - (call_import $_abort) ) - (if - (i32.eq - (i32.load - (set_local $$bk78 - (i32.add - (get_local $$10) - (i32.const 12) - ) + (call_import $_abort) + ) + (if + (i32.eq + (i32.load + (set_local $$bk78 + (i32.add + (get_local $$10) + (i32.const 12) ) ) - (get_local $$9) ) - (block - (i32.store - (get_local $$bk78) - (get_local $$arrayidx66) - ) - (i32.store - (get_local $$8) - (get_local $$10) - ) - (set_local $$13 - (i32.load - (i32.const 184) - ) + (get_local $$9) + ) + (block + (i32.store + (get_local $$bk78) + (get_local $$arrayidx66) + ) + (i32.store + (get_local $$8) + (get_local $$10) + ) + (set_local $$13 + (i32.load + (i32.const 184) ) - (br $do-once$4) ) - (call_import $_abort) ) + (call_import $_abort) ) ) ) @@ -12306,11 +12212,9 @@ (get_local $$sub91) ) (if - (i32.eqz - (i32.eq - (get_local $$13) - (i32.const 0) - ) + (i32.ne + (get_local $$13) + (i32.const 0) ) (block (set_local $$14 @@ -12643,14 +12547,12 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.lt_u - (get_local $$v$0$i$lcssa) - (set_local $$add$ptr$i - (i32.add - (get_local $$v$0$i$lcssa) - (get_local $$cond) - ) + (i32.ge_u + (get_local $$v$0$i$lcssa) + (set_local $$add$ptr$i + (i32.add + (get_local $$v$0$i$lcssa) + (get_local $$cond) ) ) ) @@ -12726,20 +12628,18 @@ ) (loop $while-out$10 $while-in$11 (if - (i32.eqz - (i32.eq - (set_local $$33 - (i32.load - (set_local $$arrayidx71$i - (i32.add - (get_local $$R$1$i) - (i32.const 20) - ) + (i32.ne + (set_local $$33 + (i32.load + (set_local $$arrayidx71$i + (i32.add + (get_local $$R$1$i) + (i32.const 20) ) ) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$R$1$i @@ -12799,7 +12699,6 @@ (set_local $$R$3$i (get_local $$R$1$i$lcssa) ) - (br $do-once$8) ) ) ) @@ -12816,18 +12715,16 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.eq - (i32.load - (set_local $$bk47$i - (i32.add - (get_local $$28) - (i32.const 12) - ) + (i32.ne + (i32.load + (set_local $$bk47$i + (i32.add + (get_local $$28) + (i32.const 12) ) ) - (get_local $$v$0$i$lcssa) ) + (get_local $$v$0$i$lcssa) ) (call_import $_abort) ) @@ -12855,7 +12752,6 @@ (set_local $$R$3$i (get_local $$27) ) - (br $do-once$8) ) (call_import $_abort) ) @@ -12864,11 +12760,9 @@ ) (block $do-once$12 (if - (i32.eqz - (i32.eq - (get_local $$26) - (i32.const 0) - ) + (i32.ne + (get_local $$26) + (i32.const 0) ) (block (if @@ -12974,48 +12868,41 @@ (get_local $$R$3$i) (get_local $$26) ) - (block $do-once$14 - (if - (i32.eqz - (i32.eq - (set_local $$41 - (i32.load offset=16 - (get_local $$v$0$i$lcssa) - ) - ) - (i32.const 0) + (if + (i32.ne + (set_local $$41 + (i32.load offset=16 + (get_local $$v$0$i$lcssa) ) ) - (if - (i32.lt_u + (i32.const 0) + ) + (if + (i32.lt_u + (get_local $$41) + (get_local $$40) + ) + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $$R$3$i) (get_local $$41) - (get_local $$40) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $$R$3$i) - (get_local $$41) - ) - (i32.store offset=24 - (get_local $$41) - (get_local $$R$3$i) - ) - (br $do-once$14) + (i32.store offset=24 + (get_local $$41) + (get_local $$R$3$i) ) ) ) ) (if - (i32.eqz - (i32.eq - (set_local $$42 - (i32.load offset=20 - (get_local $$v$0$i$lcssa) - ) + (i32.ne + (set_local $$42 + (i32.load offset=20 + (get_local $$v$0$i$lcssa) ) - (i32.const 0) ) + (i32.const 0) ) (if (i32.lt_u @@ -13034,7 +12921,6 @@ (get_local $$42) (get_local $$R$3$i) ) - (br $do-once$12) ) ) ) @@ -13103,15 +12989,13 @@ (get_local $$rsize$0$i$lcssa) ) (if - (i32.eqz - (i32.eq - (set_local $$45 - (i32.load - (i32.const 184) - ) + (i32.ne + (set_local $$45 + (i32.load + (i32.const 184) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$46 @@ -13823,15 +13707,13 @@ ) ) (if - (i32.eqz - (i32.eq - (set_local $$59 - (i32.load offset=16 - (get_local $$t$48$i) - ) + (i32.ne + (set_local $$59 + (i32.load offset=16 + (get_local $$t$48$i) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$rsize$49$i @@ -13916,14 +13798,12 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.lt_u - (get_local $$v$4$lcssa$i) - (set_local $$add$ptr$i$161 - (i32.add - (get_local $$v$4$lcssa$i) - (get_local $$and145) - ) + (i32.ge_u + (get_local $$v$4$lcssa$i) + (set_local $$add$ptr$i$161 + (i32.add + (get_local $$v$4$lcssa$i) + (get_local $$and145) ) ) ) @@ -13999,20 +13879,18 @@ ) (loop $while-out$23 $while-in$24 (if - (i32.eqz - (i32.eq - (set_local $$70 - (i32.load - (set_local $$arrayidx161$i - (i32.add - (get_local $$R$1$i$168) - (i32.const 20) - ) + (i32.ne + (set_local $$70 + (i32.load + (set_local $$arrayidx161$i + (i32.add + (get_local $$R$1$i$168) + (i32.const 20) ) ) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$R$1$i$168 @@ -14072,7 +13950,6 @@ (set_local $$R$3$i$171 (get_local $$R$1$i$168$lcssa) ) - (br $do-once$21) ) ) ) @@ -14089,18 +13966,16 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.eq - (i32.load - (set_local $$bk136$i - (i32.add - (get_local $$65) - (i32.const 12) - ) + (i32.ne + (i32.load + (set_local $$bk136$i + (i32.add + (get_local $$65) + (i32.const 12) ) ) - (get_local $$v$4$lcssa$i) ) + (get_local $$v$4$lcssa$i) ) (call_import $_abort) ) @@ -14128,7 +14003,6 @@ (set_local $$R$3$i$171 (get_local $$64) ) - (br $do-once$21) ) (call_import $_abort) ) @@ -14137,11 +14011,9 @@ ) (block $do-once$25 (if - (i32.eqz - (i32.eq - (get_local $$63) - (i32.const 0) - ) + (i32.ne + (get_local $$63) + (i32.const 0) ) (block (if @@ -14247,48 +14119,41 @@ (get_local $$R$3$i$171) (get_local $$63) ) - (block $do-once$27 - (if - (i32.eqz - (i32.eq - (set_local $$78 - (i32.load offset=16 - (get_local $$v$4$lcssa$i) - ) - ) - (i32.const 0) + (if + (i32.ne + (set_local $$78 + (i32.load offset=16 + (get_local $$v$4$lcssa$i) ) ) - (if - (i32.lt_u + (i32.const 0) + ) + (if + (i32.lt_u + (get_local $$78) + (get_local $$77) + ) + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $$R$3$i$171) (get_local $$78) - (get_local $$77) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $$R$3$i$171) - (get_local $$78) - ) - (i32.store offset=24 - (get_local $$78) - (get_local $$R$3$i$171) - ) - (br $do-once$27) + (i32.store offset=24 + (get_local $$78) + (get_local $$R$3$i$171) ) ) ) ) (if - (i32.eqz - (i32.eq - (set_local $$79 - (i32.load offset=20 - (get_local $$v$4$lcssa$i) - ) + (i32.ne + (set_local $$79 + (i32.load offset=20 + (get_local $$v$4$lcssa$i) ) - (i32.const 0) ) + (i32.const 0) ) (if (i32.lt_u @@ -14307,7 +14172,6 @@ (get_local $$79) (get_local $$R$3$i$171) ) - (br $do-once$25) ) ) ) @@ -14796,7 +14660,6 @@ (get_local $$add$ptr$i$161) (get_local $$add$ptr$i$161) ) - (br $do-once$29) ) ) (if @@ -14849,7 +14712,6 @@ (get_local $$add$ptr$i$161) (i32.const 0) ) - (br $do-once$29) ) (call_import $_abort) ) @@ -14877,15 +14739,13 @@ ) ) (if - (i32.eqz - (i32.lt_u - (set_local $$94 - (i32.load - (i32.const 184) - ) + (i32.ge_u + (set_local $$94 + (i32.load + (i32.const 184) ) - (get_local $$nb$0) ) + (get_local $$nb$0) ) (block (set_local $$95 @@ -15039,70 +14899,67 @@ ) ) ) - (block $do-once$33 + (if + (i32.eq + (i32.load + (i32.const 648) + ) + (i32.const 0) + ) (if (i32.eq - (i32.load - (i32.const 648) - ) - (i32.const 0) - ) - (if - (i32.eq - (i32.and - (i32.add - (set_local $$call$i$i - (call_import $_sysconf - (i32.const 30) - ) + (i32.and + (i32.add + (set_local $$call$i$i + (call_import $_sysconf + (i32.const 30) ) - (i32.const -1) ) - (get_local $$call$i$i) + (i32.const -1) ) + (get_local $$call$i$i) + ) + (i32.const 0) + ) + (block + (i32.store + (i32.const 656) + (get_local $$call$i$i) + ) + (i32.store + (i32.const 652) + (get_local $$call$i$i) + ) + (i32.store + (i32.const 660) + (i32.const -1) + ) + (i32.store + (i32.const 664) + (i32.const -1) + ) + (i32.store + (i32.const 668) (i32.const 0) ) - (block - (i32.store - (i32.const 656) - (get_local $$call$i$i) - ) - (i32.store - (i32.const 652) - (get_local $$call$i$i) - ) - (i32.store - (i32.const 660) - (i32.const -1) - ) - (i32.store - (i32.const 664) - (i32.const -1) - ) - (i32.store - (i32.const 668) - (i32.const 0) - ) - (i32.store - (i32.const 620) - (i32.const 0) - ) - (i32.store - (i32.const 648) - (i32.xor - (i32.and - (call_import $_time - (i32.const 0) - ) - (i32.const -16) + (i32.store + (i32.const 620) + (i32.const 0) + ) + (i32.store + (i32.const 648) + (i32.xor + (i32.and + (call_import $_time + (i32.const 0) ) - (i32.const 1431655768) + (i32.const -16) ) + (i32.const 1431655768) ) - (br $do-once$33) ) - (call_import $_abort) ) + (call_import $_abort) ) ) (set_local $$add$i$180 @@ -15112,50 +14969,46 @@ ) ) (if - (i32.eqz - (i32.gt_u - (set_local $$and11$i - (i32.and - (set_local $$add9$i - (i32.add - (set_local $$100 - (i32.load - (i32.const 656) - ) + (i32.le_u + (set_local $$and11$i + (i32.and + (set_local $$add9$i + (i32.add + (set_local $$100 + (i32.load + (i32.const 656) ) - (set_local $$sub$i$181 - (i32.add - (get_local $$nb$0) - (i32.const 47) - ) + ) + (set_local $$sub$i$181 + (i32.add + (get_local $$nb$0) + (i32.const 47) ) ) ) - (set_local $$neg$i$182 - (i32.sub - (i32.const 0) - (get_local $$100) - ) + ) + (set_local $$neg$i$182 + (i32.sub + (i32.const 0) + (get_local $$100) ) ) ) - (get_local $$nb$0) ) + (get_local $$nb$0) ) (return (i32.const 0) ) ) (if - (i32.eqz - (i32.eq - (set_local $$101 - (i32.load - (i32.const 616) - ) + (i32.ne + (set_local $$101 + (i32.load + (i32.const 616) ) - (i32.const 0) ) + (i32.const 0) ) (if (i32.or @@ -15213,15 +15066,13 @@ ) (loop $while-out$37 $while-in$38 (if - (i32.eqz - (i32.gt_u - (set_local $$105 - (i32.load - (get_local $$sp$0$i$i) - ) + (i32.le_u + (set_local $$105 + (i32.load + (get_local $$sp$0$i$i) ) - (get_local $$104) ) + (get_local $$104) ) (if (i32.gt_u @@ -15302,11 +15153,9 @@ ) ) (if - (i32.eqz - (i32.eq - (get_local $$call83$i) - (i32.const -1) - ) + (i32.ne + (get_local $$call83$i) + (i32.const -1) ) (block (set_local $$tbase$796$i @@ -15344,15 +15193,13 @@ (i32.const 173) ) (if - (i32.eqz - (i32.eq - (set_local $$call37$i - (call_import $_sbrk - (i32.const 0) - ) + (i32.ne + (set_local $$call37$i + (call_import $_sbrk + (i32.const 0) ) - (i32.const -1) ) + (i32.const -1) ) (block (if @@ -15419,15 +15266,13 @@ ) (block (if - (i32.eqz - (i32.eq - (set_local $$111 - (i32.load - (i32.const 616) - ) + (i32.ne + (set_local $$111 + (i32.load + (i32.const 616) ) - (i32.const 0) ) + (i32.const 0) ) (br_if $do-once$39 (i32.or @@ -15494,85 +15339,78 @@ (get_local $$ssize$2$ph$i) ) ) - (block $do-once$42 - (if + (if + (i32.and + (i32.gt_u + (get_local $$add$i$180) + (get_local $$ssize$2$ph$i) + ) (i32.and - (i32.gt_u - (get_local $$add$i$180) + (i32.lt_u (get_local $$ssize$2$ph$i) + (i32.const 2147483647) ) - (i32.and - (i32.lt_u - (get_local $$ssize$2$ph$i) - (i32.const 2147483647) - ) - (i32.ne - (get_local $$br$2$ph$i) - (i32.const -1) - ) + (i32.ne + (get_local $$br$2$ph$i) + (i32.const -1) ) ) - (if - (i32.lt_u - (set_local $$and104$i - (i32.and - (i32.add - (i32.sub - (get_local $$sub$i$181) - (get_local $$ssize$2$ph$i) - ) - (set_local $$115 - (i32.load - (i32.const 656) - ) - ) - ) + ) + (if + (i32.lt_u + (set_local $$and104$i + (i32.and + (i32.add (i32.sub - (i32.const 0) - (get_local $$115) + (get_local $$sub$i$181) + (get_local $$ssize$2$ph$i) + ) + (set_local $$115 + (i32.load + (i32.const 656) + ) ) ) - ) - (i32.const 2147483647) - ) - (if - (i32.eq - (call_import $_sbrk - (get_local $$and104$i) + (i32.sub + (i32.const 0) + (get_local $$115) ) - (i32.const -1) ) - (block - (call_import $_sbrk - (get_local $$sub112$i) - ) - (br $label$break$L279) + ) + (i32.const 2147483647) + ) + (if + (i32.eq + (call_import $_sbrk + (get_local $$and104$i) ) - (block - (set_local $$ssize$5$i - (i32.add - (get_local $$and104$i) - (get_local $$ssize$2$ph$i) - ) - ) - (br $do-once$42) + (i32.const -1) + ) + (block + (call_import $_sbrk + (get_local $$sub112$i) ) + (br $label$break$L279) ) (set_local $$ssize$5$i - (get_local $$ssize$2$ph$i) + (i32.add + (get_local $$and104$i) + (get_local $$ssize$2$ph$i) + ) ) ) (set_local $$ssize$5$i (get_local $$ssize$2$ph$i) ) ) + (set_local $$ssize$5$i + (get_local $$ssize$2$ph$i) + ) ) (if - (i32.eqz - (i32.eq - (get_local $$br$2$ph$i) - (i32.const -1) - ) + (i32.ne + (get_local $$br$2$ph$i) + (i32.const -1) ) (block (set_local $$tbase$796$i @@ -16362,23 +16200,21 @@ ) (block $do-once$55 (if - (i32.eqz - (i32.eq - (set_local $$148 - (i32.load offset=8 - (get_local $$add$ptr16$i$i) - ) + (i32.ne + (set_local $$148 + (i32.load offset=8 + (get_local $$add$ptr16$i$i) ) - (set_local $$arrayidx$i$48$i - (i32.add - (i32.const 216) + ) + (set_local $$arrayidx$i$48$i + (i32.add + (i32.const 216) + (i32.shl (i32.shl - (i32.shl - (get_local $$shr$i$45$i) - (i32.const 1) - ) - (i32.const 2) + (get_local $$shr$i$45$i) + (i32.const 1) ) + (i32.const 2) ) ) ) @@ -16550,20 +16386,18 @@ ) (loop $while-out$61 $while-in$62 (if - (i32.eqz - (i32.eq - (set_local $$161 - (i32.load - (set_local $$arrayidx103$i$i - (i32.add - (get_local $$R$1$i$i) - (i32.const 20) - ) + (i32.ne + (set_local $$161 + (i32.load + (set_local $$arrayidx103$i$i + (i32.add + (get_local $$R$1$i$i) + (i32.const 20) ) ) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$R$1$i$i @@ -16623,7 +16457,6 @@ (set_local $$R$3$i$i (get_local $$R$1$i$i$lcssa) ) - (br $do-once$59) ) ) ) @@ -16640,18 +16473,16 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.eq - (i32.load - (set_local $$bk82$i$i - (i32.add - (get_local $$156) - (i32.const 12) - ) + (i32.ne + (i32.load + (set_local $$bk82$i$i + (i32.add + (get_local $$156) + (i32.const 12) ) ) - (get_local $$add$ptr16$i$i) ) + (get_local $$add$ptr16$i$i) ) (call_import $_abort) ) @@ -16679,7 +16510,6 @@ (set_local $$R$3$i$i (get_local $$155) ) - (br $do-once$59) ) (call_import $_abort) ) @@ -16718,11 +16548,9 @@ (get_local $$R$3$i$i) ) (br_if $do-once$63 - (i32.eqz - (i32.eq - (get_local $$R$3$i$i) - (i32.const 0) - ) + (i32.ne + (get_local $$R$3$i$i) + (i32.const 0) ) ) (i32.store @@ -16797,39 +16625,34 @@ (get_local $$R$3$i$i) (get_local $$154) ) - (block $do-once$65 - (if - (i32.eqz - (i32.eq - (set_local $$169 - (i32.load - (set_local $$child166$i$i - (i32.add - (get_local $$add$ptr16$i$i) - (i32.const 16) - ) - ) + (if + (i32.ne + (set_local $$169 + (i32.load + (set_local $$child166$i$i + (i32.add + (get_local $$add$ptr16$i$i) + (i32.const 16) ) ) - (i32.const 0) ) ) - (if - (i32.lt_u + (i32.const 0) + ) + (if + (i32.lt_u + (get_local $$169) + (get_local $$168) + ) + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $$R$3$i$i) (get_local $$169) - (get_local $$168) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $$R$3$i$i) - (get_local $$169) - ) - (i32.store offset=24 - (get_local $$169) - (get_local $$R$3$i$i) - ) - (br $do-once$65) + (i32.store offset=24 + (get_local $$169) + (get_local $$R$3$i$i) ) ) ) @@ -16861,7 +16684,6 @@ (get_local $$170) (get_local $$R$3$i$i) ) - (br $label$break$L331) ) ) ) @@ -16982,21 +16804,19 @@ ) (block (if - (i32.eqz - (i32.lt_u - (set_local $$175 - (i32.load - (set_local $$174 - (i32.add - (get_local $$arrayidx223$i$i) - (i32.const 8) - ) + (i32.ge_u + (set_local $$175 + (i32.load + (set_local $$174 + (i32.add + (get_local $$arrayidx223$i$i) + (i32.const 8) ) ) ) - (i32.load - (i32.const 192) - ) + ) + (i32.load + (i32.const 192) ) ) (block @@ -17352,7 +17172,6 @@ (get_local $$add$ptr17$i$i) (get_local $$add$ptr17$i$i) ) - (br $do-once$52) ) ) (if @@ -17405,7 +17224,6 @@ (get_local $$add$ptr17$i$i) (i32.const 0) ) - (br $do-once$52) ) (call_import $_abort) ) @@ -17428,15 +17246,13 @@ ) (loop $while-out$73 $while-in$74 (if - (i32.eqz - (i32.gt_u - (set_local $$185 - (i32.load - (get_local $$sp$0$i$i$i) - ) + (i32.le_u + (set_local $$185 + (i32.load + (get_local $$sp$0$i$i$i) ) - (get_local $$119) ) + (get_local $$119) ) (if (i32.gt_u @@ -17683,11 +17499,9 @@ (br $while-in$76) ) (if - (i32.eqz - (i32.eq - (get_local $$cond13$i$i) - (get_local $$119) - ) + (i32.ne + (get_local $$cond13$i$i) + (get_local $$119) ) (block (i32.store @@ -18130,7 +17944,6 @@ (get_local $$119) (get_local $$119) ) - (br $do-once$44) ) ) (if @@ -18183,7 +17996,6 @@ (get_local $$119) (i32.const 0) ) - (br $do-once$44) ) (call_import $_abort) ) @@ -18488,23 +18300,21 @@ ) (block (if - (i32.eqz - (i32.eq - (i32.and - (set_local $$27 - (i32.load - (set_local $$head209 - (i32.add - (get_local $$add$ptr6) - (i32.const 4) - ) + (i32.ne + (i32.and + (set_local $$27 + (i32.load + (set_local $$head209 + (i32.add + (get_local $$add$ptr6) + (i32.const 4) ) ) ) - (i32.const 3) ) (i32.const 3) ) + (i32.const 3) ) (block (set_local $$p$1 @@ -18562,23 +18372,21 @@ ) ) (if - (i32.eqz - (i32.eq - (set_local $$4 - (i32.load offset=8 - (get_local $$add$ptr16) - ) + (i32.ne + (set_local $$4 + (i32.load offset=8 + (get_local $$add$ptr16) ) - (set_local $$arrayidx - (i32.add - (i32.const 216) + ) + (set_local $$arrayidx + (i32.add + (i32.const 216) + (i32.shl (i32.shl - (i32.shl - (get_local $$shr) - (i32.const 1) - ) - (i32.const 2) + (get_local $$shr) + (i32.const 1) ) + (i32.const 2) ) ) ) @@ -18592,13 +18400,11 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.eq - (i32.load offset=12 - (get_local $$4) - ) - (get_local $$add$ptr16) + (i32.ne + (i32.load offset=12 + (get_local $$4) ) + (get_local $$add$ptr16) ) (call_import $_abort) ) @@ -18759,20 +18565,18 @@ ) (loop $while-out$4 $while-in$5 (if - (i32.eqz - (i32.eq - (set_local $$16 - (i32.load - (set_local $$arrayidx108 - (i32.add - (get_local $$R$1) - (i32.const 20) - ) + (i32.ne + (set_local $$16 + (i32.load + (set_local $$arrayidx108 + (i32.add + (get_local $$R$1) + (i32.const 20) ) ) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$R$1 @@ -18832,7 +18636,6 @@ (set_local $$R$3 (get_local $$R$1$lcssa) ) - (br $do-once$2) ) ) ) @@ -18849,18 +18652,16 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.eq - (i32.load - (set_local $$bk82 - (i32.add - (get_local $$11) - (i32.const 12) - ) + (i32.ne + (i32.load + (set_local $$bk82 + (i32.add + (get_local $$11) + (i32.const 12) ) ) - (get_local $$add$ptr16) ) + (get_local $$add$ptr16) ) (call_import $_abort) ) @@ -18888,7 +18689,6 @@ (set_local $$R$3 (get_local $$10) ) - (br $do-once$2) ) (call_import $_abort) ) @@ -19027,39 +18827,34 @@ (get_local $$R$3) (get_local $$9) ) - (block $do-once$6 - (if - (i32.eqz - (i32.eq - (set_local $$24 - (i32.load - (set_local $$child171 - (i32.add - (get_local $$add$ptr16) - (i32.const 16) - ) - ) + (if + (i32.ne + (set_local $$24 + (i32.load + (set_local $$child171 + (i32.add + (get_local $$add$ptr16) + (i32.const 16) ) ) - (i32.const 0) ) ) - (if - (i32.lt_u + (i32.const 0) + ) + (if + (i32.lt_u + (get_local $$24) + (get_local $$23) + ) + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $$R$3) (get_local $$24) - (get_local $$23) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $$R$3) - (get_local $$24) - ) - (i32.store offset=24 - (get_local $$24) - (get_local $$R$3) - ) - (br $do-once$6) + (i32.store offset=24 + (get_local $$24) + (get_local $$R$3) ) ) ) @@ -19104,7 +18899,6 @@ (set_local $$psize$1 (get_local $$add17) ) - (br $do-once$0) ) ) ) @@ -19122,11 +18916,9 @@ ) ) (if - (i32.eqz - (i32.lt_u - (get_local $$p$1) - (get_local $$add$ptr6) - ) + (i32.ge_u + (get_local $$p$1) + (get_local $$add$ptr6) ) (call_import $_abort) ) @@ -19189,12 +18981,10 @@ ) ) (if - (i32.eqz - (i32.eq - (get_local $$p$1) - (i32.load - (i32.const 196) - ) + (i32.ne + (get_local $$p$1) + (i32.load + (i32.const 196) ) ) (return) @@ -19278,23 +19068,21 @@ ) ) (if - (i32.eqz - (i32.eq - (set_local $$34 - (i32.load offset=8 - (get_local $$add$ptr6) - ) + (i32.ne + (set_local $$34 + (i32.load offset=8 + (get_local $$add$ptr6) ) - (set_local $$arrayidx279 - (i32.add - (i32.const 216) + ) + (set_local $$arrayidx279 + (i32.add + (i32.const 216) + (i32.shl (i32.shl - (i32.shl - (get_local $$shr268) - (i32.const 1) - ) - (i32.const 2) + (get_local $$shr268) + (i32.const 1) ) + (i32.const 2) ) ) ) @@ -19310,13 +19098,11 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.eq - (i32.load offset=12 - (get_local $$34) - ) - (get_local $$add$ptr6) + (i32.ne + (i32.load offset=12 + (get_local $$34) ) + (get_local $$add$ptr6) ) (call_import $_abort) ) @@ -19466,20 +19252,18 @@ ) (loop $while-out$12 $while-in$13 (if - (i32.eqz - (i32.eq - (set_local $$49 - (i32.load - (set_local $$arrayidx374 - (i32.add - (get_local $$R332$1) - (i32.const 20) - ) + (i32.ne + (set_local $$49 + (i32.load + (set_local $$arrayidx374 + (i32.add + (get_local $$R332$1) + (i32.const 20) ) ) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$R332$1 @@ -19541,7 +19325,6 @@ (set_local $$R332$3 (get_local $$R332$1$lcssa) ) - (br $do-once$10) ) ) ) @@ -19560,18 +19343,16 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.eq - (i32.load - (set_local $$bk343 - (i32.add - (get_local $$43) - (i32.const 12) - ) + (i32.ne + (i32.load + (set_local $$bk343 + (i32.add + (get_local $$43) + (i32.const 12) ) ) - (get_local $$add$ptr6) ) + (get_local $$add$ptr6) ) (call_import $_abort) ) @@ -19599,7 +19380,6 @@ (set_local $$R332$3 (get_local $$42) ) - (br $do-once$10) ) (call_import $_abort) ) @@ -19607,11 +19387,9 @@ ) ) (if - (i32.eqz - (i32.eq - (get_local $$41) - (i32.const 0) - ) + (i32.ne + (get_local $$41) + (i32.const 0) ) (block (if @@ -19717,53 +19495,46 @@ (get_local $$R332$3) (get_local $$41) ) - (block $do-once$14 - (if - (i32.eqz - (i32.eq - (set_local $$58 - (i32.load - (set_local $$child443 - (i32.add - (get_local $$add$ptr6) - (i32.const 16) - ) - ) + (if + (i32.ne + (set_local $$58 + (i32.load + (set_local $$child443 + (i32.add + (get_local $$add$ptr6) + (i32.const 16) ) ) - (i32.const 0) ) ) - (if - (i32.lt_u + (i32.const 0) + ) + (if + (i32.lt_u + (get_local $$58) + (get_local $$57) + ) + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $$R332$3) (get_local $$58) - (get_local $$57) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $$R332$3) - (get_local $$58) - ) - (i32.store offset=24 - (get_local $$58) - (get_local $$R332$3) - ) - (br $do-once$14) + (i32.store offset=24 + (get_local $$58) + (get_local $$R332$3) ) ) ) ) (if - (i32.eqz - (i32.eq - (set_local $$59 - (i32.load offset=4 - (get_local $$child443) - ) + (i32.ne + (set_local $$59 + (i32.load offset=4 + (get_local $$child443) ) - (i32.const 0) ) + (i32.const 0) ) (if (i32.lt_u @@ -19782,7 +19553,6 @@ (get_local $$59) (get_local $$R332$3) ) - (br $do-once$8) ) ) ) @@ -20086,243 +19856,239 @@ (get_local $$p$1) (i32.const 0) ) - (block $do-once$16 - (if - (i32.eq - (i32.and - (set_local $$66 - (i32.load - (i32.const 180) - ) - ) - (set_local $$shl573 - (i32.shl - (i32.const 1) - (get_local $$I534$0) - ) + (if + (i32.eq + (i32.and + (set_local $$66 + (i32.load + (i32.const 180) ) ) - (i32.const 0) - ) - (block - (i32.store - (i32.const 180) - (i32.or - (get_local $$66) - (get_local $$shl573) + (set_local $$shl573 + (i32.shl + (i32.const 1) + (get_local $$I534$0) ) ) - (i32.store - (get_local $$arrayidx567) - (get_local $$p$1) + ) + (i32.const 0) + ) + (block + (i32.store + (i32.const 180) + (i32.or + (get_local $$66) + (get_local $$shl573) ) - (i32.store offset=24 - (get_local $$p$1) + ) + (i32.store + (get_local $$arrayidx567) + (get_local $$p$1) + ) + (i32.store offset=24 + (get_local $$p$1) + (get_local $$arrayidx567) + ) + (i32.store offset=12 + (get_local $$p$1) + (get_local $$p$1) + ) + (i32.store offset=8 + (get_local $$p$1) + (get_local $$p$1) + ) + ) + (block + (set_local $$67 + (i32.load (get_local $$arrayidx567) ) - (i32.store offset=12 - (get_local $$p$1) - (get_local $$p$1) - ) - (i32.store offset=8 - (get_local $$p$1) - (get_local $$p$1) + ) + (set_local $$sub589 + (i32.sub + (i32.const 25) + (i32.shr_u + (get_local $$I534$0) + (i32.const 1) + ) ) ) - (block - (set_local $$67 - (i32.load - (get_local $$arrayidx567) + (set_local $$cond + (if + (i32.eq + (get_local $$I534$0) + (i32.const 31) ) + (i32.const 0) + (get_local $$sub589) ) - (set_local $$sub589 - (i32.sub - (i32.const 25) - (i32.shr_u - (get_local $$I534$0) - (i32.const 1) + ) + (set_local $$K583$0 + (i32.shl + (get_local $$psize$2) + (get_local $$cond) + ) + ) + (set_local $$T$0 + (get_local $$67) + ) + (loop $while-out$18 $while-in$19 + (if + (i32.eq + (i32.and + (i32.load offset=4 + (get_local $$T$0) + ) + (i32.const -8) ) + (get_local $$psize$2) ) - ) - (set_local $$cond - (if - (i32.eq - (get_local $$I534$0) - (i32.const 31) + (block + (set_local $$T$0$lcssa + (get_local $$T$0) ) - (i32.const 0) - (get_local $$sub589) + (set_local $label + (i32.const 130) + ) + (br $while-out$18) ) ) - (set_local $$K583$0 + (set_local $$shl600 (i32.shl - (get_local $$psize$2) - (get_local $$cond) + (get_local $$K583$0) + (i32.const 1) ) ) - (set_local $$T$0 - (get_local $$67) - ) - (loop $while-out$18 $while-in$19 - (if - (i32.eq - (i32.and - (i32.load offset=4 - (get_local $$T$0) + (if + (i32.eq + (set_local $$69 + (i32.load + (set_local $$arrayidx599 + (i32.add + (i32.add + (get_local $$T$0) + (i32.const 16) + ) + (i32.shl + (i32.shr_u + (get_local $$K583$0) + (i32.const 31) + ) + (i32.const 2) + ) + ) ) - (i32.const -8) ) - (get_local $$psize$2) ) - (block - (set_local $$T$0$lcssa - (get_local $$T$0) - ) - (set_local $label - (i32.const 130) - ) - (br $while-out$18) + (i32.const 0) + ) + (block + (set_local $$T$0$lcssa319 + (get_local $$T$0) ) + (set_local $$arrayidx599$lcssa + (get_local $$arrayidx599) + ) + (set_local $label + (i32.const 127) + ) + (br $while-out$18) ) - (set_local $$shl600 - (i32.shl - (get_local $$K583$0) - (i32.const 1) + (block + (set_local $$K583$0 + (get_local $$shl600) + ) + (set_local $$T$0 + (get_local $$69) ) ) - (if - (i32.eq - (set_local $$69 - (i32.load - (set_local $$arrayidx599 - (i32.add - (i32.add - (get_local $$T$0) - (i32.const 16) - ) - (i32.shl - (i32.shr_u - (get_local $$K583$0) - (i32.const 31) - ) - (i32.const 2) - ) - ) - ) - ) - ) - (i32.const 0) + ) + (br $while-in$19) + ) + (if + (i32.eq + (get_local $label) + (i32.const 127) + ) + (if + (i32.lt_u + (get_local $$arrayidx599$lcssa) + (i32.load + (i32.const 192) ) - (block - (set_local $$T$0$lcssa319 - (get_local $$T$0) - ) - (set_local $$arrayidx599$lcssa - (get_local $$arrayidx599) - ) - (set_local $label - (i32.const 127) - ) - (br $while-out$18) + ) + (call_import $_abort) + (block + (i32.store + (get_local $$arrayidx599$lcssa) + (get_local $$p$1) ) - (block - (set_local $$K583$0 - (get_local $$shl600) - ) - (set_local $$T$0 - (get_local $$69) - ) + (i32.store offset=24 + (get_local $$p$1) + (get_local $$T$0$lcssa319) + ) + (i32.store offset=12 + (get_local $$p$1) + (get_local $$p$1) + ) + (i32.store offset=8 + (get_local $$p$1) + (get_local $$p$1) ) ) - (br $while-in$19) ) (if (i32.eq (get_local $label) - (i32.const 127) + (i32.const 130) ) (if - (i32.lt_u - (get_local $$arrayidx599$lcssa) - (i32.load - (i32.const 192) + (i32.and + (i32.ge_u + (set_local $$71 + (i32.load + (set_local $$fd620 + (i32.add + (get_local $$T$0$lcssa) + (i32.const 8) + ) + ) + ) + ) + (set_local $$72 + (i32.load + (i32.const 192) + ) + ) + ) + (i32.ge_u + (get_local $$T$0$lcssa) + (get_local $$72) ) ) - (call_import $_abort) (block + (i32.store offset=12 + (get_local $$71) + (get_local $$p$1) + ) (i32.store - (get_local $$arrayidx599$lcssa) + (get_local $$fd620) (get_local $$p$1) ) - (i32.store offset=24 + (i32.store offset=8 (get_local $$p$1) - (get_local $$T$0$lcssa319) + (get_local $$71) ) (i32.store offset=12 (get_local $$p$1) - (get_local $$p$1) + (get_local $$T$0$lcssa) ) - (i32.store offset=8 - (get_local $$p$1) + (i32.store offset=24 (get_local $$p$1) + (i32.const 0) ) - (br $do-once$16) - ) - ) - (if - (i32.eq - (get_local $label) - (i32.const 130) - ) - (if - (i32.and - (i32.ge_u - (set_local $$71 - (i32.load - (set_local $$fd620 - (i32.add - (get_local $$T$0$lcssa) - (i32.const 8) - ) - ) - ) - ) - (set_local $$72 - (i32.load - (i32.const 192) - ) - ) - ) - (i32.ge_u - (get_local $$T$0$lcssa) - (get_local $$72) - ) - ) - (block - (i32.store offset=12 - (get_local $$71) - (get_local $$p$1) - ) - (i32.store - (get_local $$fd620) - (get_local $$p$1) - ) - (i32.store offset=8 - (get_local $$p$1) - (get_local $$71) - ) - (i32.store offset=12 - (get_local $$p$1) - (get_local $$T$0$lcssa) - ) - (i32.store offset=24 - (get_local $$p$1) - (i32.const 0) - ) - (br $do-once$16) - ) - (call_import $_abort) ) + (call_import $_abort) ) ) ) diff --git a/test/emcc_hello_world.fromasm.imprecise b/test/emcc_hello_world.fromasm.imprecise index 71a0412b7..4ada9b367 100644 --- a/test/emcc_hello_world.fromasm.imprecise +++ b/test/emcc_hello_world.fromasm.imprecise @@ -764,14 +764,12 @@ (get_local $$tio) ) (if - (i32.eqz - (i32.eq - (call_import $___syscall54 - (i32.const 54) - (get_local $$vararg_buffer) - ) - (i32.const 0) + (i32.ne + (call_import $___syscall54 + (i32.const 54) + (get_local $$vararg_buffer) ) + (i32.const 0) ) (i32.store8 offset=75 (get_local $$f) @@ -988,11 +986,9 @@ ) ) (if - (i32.eqz - (i32.eq - (get_local $$cond19) - (i32.const 0) - ) + (i32.ne + (get_local $$cond19) + (i32.const 0) ) (call $___unlockfile (get_local $$f$addr$022) @@ -1035,13 +1031,11 @@ ) (block (if - (i32.eqz - (i32.gt_s - (i32.load offset=76 - (get_local $$f) - ) - (i32.const -1) + (i32.le_s + (i32.load offset=76 + (get_local $$f) ) + (i32.const -1) ) (block (set_local $$retval$0 @@ -1916,11 +1910,9 @@ ) ) (if - (i32.eqz - (i32.eq - (get_local $$cond) - (i32.const 0) - ) + (i32.ne + (get_local $$cond) + (i32.const 0) ) (call $___unlockfile (get_local $$f) @@ -2524,7 +2516,6 @@ (set_local $$retval$0 (i32.const 4) ) - (br $do-once$0) ) (block (i32.store @@ -2534,7 +2525,6 @@ (set_local $$retval$0 (i32.const -1) ) - (br $do-once$0) ) ) ) @@ -2844,20 +2834,18 @@ ) ) (if - (i32.eqz - (i32.eq - (i32.and - (i32.xor - (i32.and - (get_local $$xor) - (i32.const -2139062144) - ) + (i32.ne + (i32.and + (i32.xor + (i32.and + (get_local $$xor) (i32.const -2139062144) ) - (get_local $$sub) + (i32.const -2139062144) ) - (i32.const 0) + (get_local $$sub) ) + (i32.const 0) ) (block (set_local $$n$addr$133$lcssa @@ -3857,44 +3845,38 @@ (i32.const 0) ) (loop $label$break$L1 $label$continue$L1 - (block $do-once$0 + (if + (i32.gt_s + (get_local $$cnt$0) + (i32.const -1) + ) (if (i32.gt_s - (get_local $$cnt$0) - (i32.const -1) - ) - (if - (i32.gt_s - (get_local $$l$0) - (i32.sub - (i32.const 2147483647) - (get_local $$cnt$0) - ) + (get_local $$l$0) + (i32.sub + (i32.const 2147483647) + (get_local $$cnt$0) ) - (block - (i32.store - (call $___errno_location) - (i32.const 75) - ) - (set_local $$cnt$1 - (i32.const -1) - ) - (br $do-once$0) + ) + (block + (i32.store + (call $___errno_location) + (i32.const 75) ) - (block - (set_local $$cnt$1 - (i32.add - (get_local $$l$0) - (get_local $$cnt$0) - ) - ) - (br $do-once$0) + (set_local $$cnt$1 + (i32.const -1) ) ) (set_local $$cnt$1 - (get_local $$cnt$0) + (i32.add + (get_local $$l$0) + (get_local $$cnt$0) + ) ) ) + (set_local $$cnt$1 + (get_local $$cnt$0) + ) ) (if (i32.eq @@ -3961,7 +3943,6 @@ (i32.const 9) ) (br $label$break$L9) - (br $switch$2) ) (set_local $$incdec$ptr169276$lcssa (get_local $$incdec$ptr169274) @@ -3970,7 +3951,6 @@ (get_local $$incdec$ptr169274) ) (br $label$break$L9) - (br $switch$2) ) ) ) @@ -4000,19 +3980,17 @@ (i32.const 0) ) (if - (i32.eqz - (i32.eq - (i32.shr_s - (i32.shl - (i32.load8_s offset=1 - (get_local $$incdec$ptr169276301) - ) - (i32.const 24) + (i32.ne + (i32.shr_s + (i32.shl + (i32.load8_s offset=1 + (get_local $$incdec$ptr169276301) ) (i32.const 24) ) - (i32.const 37) + (i32.const 24) ) + (i32.const 37) ) (block (set_local $$incdec$ptr169276$lcssa @@ -4099,11 +4077,9 @@ ) ) (if - (i32.eqz - (i32.eq - (get_local $$z$0$lcssa) - (get_local $$incdec$ptr169275) - ) + (i32.ne + (get_local $$z$0$lcssa) + (get_local $$incdec$ptr169275) ) (block (set_local $$cnt$0 @@ -4479,11 +4455,9 @@ (i32.const 0) ) (if - (i32.eqz - (i32.eq - (get_local $$l10n$1) - (i32.const 0) - ) + (i32.ne + (get_local $$l10n$1) + (i32.const 0) ) (block (set_local $$retval$0 @@ -4743,26 +4717,24 @@ ) (block (if - (i32.eqz - (i32.eq - (i32.shr_s - (i32.shl - (set_local $$32 - (i32.load8_s - (set_local $$arrayidx114 - (i32.add - (get_local $$incdec$ptr169269) - (i32.const 1) - ) + (i32.ne + (i32.shr_s + (i32.shl + (set_local $$32 + (i32.load8_s + (set_local $$arrayidx114 + (i32.add + (get_local $$incdec$ptr169269) + (i32.const 1) ) ) ) - (i32.const 24) ) (i32.const 24) ) - (i32.const 42) + (i32.const 24) ) + (i32.const 42) ) (block (if @@ -4948,11 +4920,9 @@ ) ) (if - (i32.eqz - (i32.eq - (get_local $$l10n$3) - (i32.const 0) - ) + (i32.ne + (get_local $$l10n$3) + (i32.const 0) ) (block (set_local $$retval$0 @@ -5392,7 +5362,6 @@ (get_local $$l10n$3) ) (br $label$continue$L1) - (br $switch$25) ) (i32.store (i32.load @@ -5413,7 +5382,6 @@ (get_local $$l10n$3) ) (br $label$continue$L1) - (br $switch$25) ) (i32.store (set_local $$76 @@ -5449,7 +5417,6 @@ (get_local $$l10n$3) ) (br $label$continue$L1) - (br $switch$25) ) (i32.store16 (i32.load @@ -5473,7 +5440,6 @@ (get_local $$l10n$3) ) (br $label$continue$L1) - (br $switch$25) ) (i32.store8 (i32.load @@ -5497,7 +5463,6 @@ (get_local $$l10n$3) ) (br $label$continue$L1) - (br $switch$25) ) (i32.store (i32.load @@ -5518,7 +5483,6 @@ (get_local $$l10n$3) ) (br $label$continue$L1) - (br $switch$25) ) (i32.store (set_local $$86 @@ -5554,7 +5518,6 @@ (get_local $$l10n$3) ) (br $label$continue$L1) - (br $switch$25) ) (set_local $$cnt$0 (get_local $$cnt$1) @@ -6249,107 +6212,99 @@ (i32.const 2) ) ) - (block $do-once$58 - (if - (i32.or - (i32.gt_u - (get_local $$p$0) - (i32.const 11) - ) - (i32.eq - (set_local $$sub74$i - (i32.sub - (i32.const 12) - (get_local $$p$0) - ) + (if + (i32.or + (i32.gt_u + (get_local $$p$0) + (i32.const 11) + ) + (i32.eq + (set_local $$sub74$i + (i32.sub + (i32.const 12) + (get_local $$p$0) ) - (i32.const 0) ) + (i32.const 0) ) - (set_local $$y$addr$1$i - (get_local $$mul$i$240) + ) + (set_local $$y$addr$1$i + (get_local $$mul$i$240) + ) + (block + (set_local $$re$1482$i + (get_local $$sub74$i) ) - (block - (set_local $$re$1482$i - (get_local $$sub74$i) - ) - (set_local $$round$0481$i - (f64.const 8) + (set_local $$round$0481$i + (f64.const 8) + ) + (loop $while-out$60 $while-in$61 + (set_local $$mul80$i + (f64.mul + (get_local $$round$0481$i) + (f64.const 16) + ) ) - (loop $while-out$60 $while-in$61 - (set_local $$mul80$i - (f64.mul - (get_local $$round$0481$i) - (f64.const 16) + (if + (i32.eq + (set_local $$dec78$i + (i32.add + (get_local $$re$1482$i) + (i32.const -1) + ) ) + (i32.const 0) ) - (if - (i32.eq - (set_local $$dec78$i - (i32.add - (get_local $$re$1482$i) - (i32.const -1) - ) - ) - (i32.const 0) + (block + (set_local $$mul80$i$lcssa + (get_local $$mul80$i) ) - (block - (set_local $$mul80$i$lcssa - (get_local $$mul80$i) - ) - (br $while-out$60) + (br $while-out$60) + ) + (block + (set_local $$re$1482$i + (get_local $$dec78$i) ) - (block - (set_local $$re$1482$i - (get_local $$dec78$i) - ) - (set_local $$round$0481$i - (get_local $$mul80$i) - ) + (set_local $$round$0481$i + (get_local $$mul80$i) ) ) - (br $while-in$61) ) - (if - (i32.eq - (i32.shr_s - (i32.shl - (i32.load8_s - (get_local $$prefix$0$add$ptr65$i) - ) - (i32.const 24) + (br $while-in$61) + ) + (if + (i32.eq + (i32.shr_s + (i32.shl + (i32.load8_s + (get_local $$prefix$0$add$ptr65$i) ) (i32.const 24) ) - (i32.const 45) - ) - (block - (set_local $$y$addr$1$i - (f64.neg - (f64.add - (get_local $$mul80$i$lcssa) - (f64.sub - (f64.neg - (get_local $$mul$i$240) - ) - (get_local $$mul80$i$lcssa) - ) - ) - ) - ) - (br $do-once$58) + (i32.const 24) ) - (block - (set_local $$y$addr$1$i + (i32.const 45) + ) + (set_local $$y$addr$1$i + (f64.neg + (f64.add + (get_local $$mul80$i$lcssa) (f64.sub - (f64.add + (f64.neg (get_local $$mul$i$240) - (get_local $$mul80$i$lcssa) ) (get_local $$mul80$i$lcssa) ) ) - (br $do-once$58) + ) + ) + (set_local $$y$addr$1$i + (f64.sub + (f64.add + (get_local $$mul$i$240) + (get_local $$mul80$i$lcssa) + ) + (get_local $$mul80$i$lcssa) ) ) ) @@ -6998,11 +6953,9 @@ ) (loop $while-out$74 $while-in$75 (if - (i32.eqz - (i32.gt_u - (get_local $$z$2$i) - (get_local $$a$2$ph$i) - ) + (i32.le_u + (get_local $$z$2$i) + (get_local $$a$2$ph$i) ) (block (set_local $$z$2$i$lcssa @@ -7708,19 +7661,17 @@ ) (block (if - (i32.eqz - (i32.eq - (i32.shr_s - (i32.shl - (i32.load8_s - (get_local $$prefix$0$i) - ) - (i32.const 24) + (i32.ne + (i32.shr_s + (i32.shl + (i32.load8_s + (get_local $$prefix$0$i) ) (i32.const 24) ) - (i32.const 45) + (i32.const 24) ) + (i32.const 45) ) (block (set_local $$round377$1$i @@ -7755,14 +7706,12 @@ ) ) (if - (i32.eqz - (f64.ne - (f64.add - (get_local $$round377$1$i) - (get_local $$small$1$i) - ) + (f64.eq + (f64.add (get_local $$round377$1$i) + (get_local $$small$1$i) ) + (get_local $$round377$1$i) ) (block (set_local $$a$8$i @@ -8010,11 +7959,9 @@ ) (loop $while-out$96 $while-in$97 (if - (i32.eqz - (i32.gt_u - (get_local $$z$7$i) - (get_local $$a$9$ph$i) - ) + (i32.le_u + (get_local $$z$7$i) + (get_local $$a$9$ph$i) ) (block (set_local $$cmp450$lcssa$i @@ -8112,16 +8059,14 @@ ) ) (if - (i32.eqz - (i32.eq - (set_local $$and483$i - (i32.and - (get_local $$fl$1$and219) - (i32.const 8) - ) + (i32.ne + (set_local $$and483$i + (i32.and + (get_local $$fl$1$and219) + (i32.const 8) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$and610$pre$phi$iZ2D @@ -8289,7 +8234,6 @@ (set_local $$t$addr$1$i (get_local $$t$addr$0$i) ) - (br $do-once$98) ) (block (set_local $$$sub562$i @@ -8329,7 +8273,6 @@ (set_local $$t$addr$1$i (get_local $$t$addr$0$i) ) - (br $do-once$98) ) ) ) @@ -8589,11 +8532,9 @@ ) (block (if - (i32.eqz - (i32.eq - (get_local $$249) - (get_local $$add$ptr671$i) - ) + (i32.ne + (get_local $$249) + (get_local $$add$ptr671$i) ) (block (set_local $$s668$1$i @@ -8699,24 +8640,20 @@ ) (block $do-once$114 (if - (i32.eqz - (i32.eq - (get_local $$239) - (i32.const 0) - ) + (i32.ne + (get_local $$239) + (i32.const 0) ) (block (br_if $do-once$114 - (i32.eqz - (i32.eq - (i32.and - (i32.load - (get_local $$f) - ) - (i32.const 32) + (i32.ne + (i32.and + (i32.load + (get_local $$f) ) - (i32.const 0) + (i32.const 32) ) + (i32.const 0) ) ) (call $___fwritex @@ -8982,16 +8919,14 @@ ) ) (if - (i32.eqz - (i32.eq - (i32.and - (i32.load - (get_local $$f) - ) - (i32.const 32) + (i32.ne + (i32.and + (i32.load + (get_local $$f) ) - (i32.const 0) + (i32.const 32) ) + (i32.const 0) ) (block (set_local $$s753$2$i @@ -9143,16 +9078,14 @@ (i32.const 0) ) (br_if $do-once$106 - (i32.eqz - (i32.eq - (i32.and - (i32.load - (get_local $$f) - ) - (i32.const 32) + (i32.ne + (i32.and + (i32.load + (get_local $$f) ) - (i32.const 0) + (i32.const 32) ) + (i32.const 0) ) ) (call $___fwritex @@ -9326,7 +9259,6 @@ (get_local $$l10n$3) ) (br $label$continue$L1) - (br $switch$24) ) (set_local $$a$2 (get_local $$incdec$ptr169275) @@ -10272,19 +10204,17 @@ ) ) (if - (i32.eqz - (i32.eq - (i32.load - (i32.add - (get_local $$nl_type) - (i32.shl - (get_local $$i$3296) - (i32.const 2) - ) + (i32.ne + (i32.load + (i32.add + (get_local $$nl_type) + (i32.shl + (get_local $$i$3296) + (i32.const 2) ) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$retval$0 @@ -10370,11 +10300,9 @@ ) (block $label$break$L1 (if - (i32.eqz - (i32.gt_u - (get_local $$type) - (i32.const 20) - ) + (i32.le_u + (get_local $$type) + (i32.const 20) ) (block $switch$3 (block $switch-default$14 @@ -10438,7 +10366,6 @@ (get_local $$6) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$13 (i32.load @@ -10497,7 +10424,6 @@ ) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$26 (i32.load @@ -10547,7 +10473,6 @@ (i32.const 0) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$39 (i32.load @@ -10604,7 +10529,6 @@ (get_local $$42) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$53 (i32.load @@ -10677,7 +10601,6 @@ (get_local $$56) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$67 (i32.load @@ -10730,7 +10653,6 @@ (i32.const 0) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$78 (i32.load @@ -10803,7 +10725,6 @@ (get_local $$81) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$92 (i32.load @@ -10856,7 +10777,6 @@ (i32.const 0) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$103 (f64.load @@ -10900,7 +10820,6 @@ (get_local $$103) ) (br $label$break$L1) - (br $switch$3) ) (set_local $$110 (f64.load @@ -10943,10 +10862,7 @@ (get_local $$arg) (get_local $$110) ) - (br $label$break$L1) - (br $switch$3) ) - (br $label$break$L1) ) ) ) @@ -11883,23 +11799,21 @@ ) ) (if - (i32.eqz - (i32.eq - (i32.and - (set_local $$shr3 - (i32.shr_u - (set_local $$0 - (i32.load - (i32.const 176) - ) + (i32.ne + (i32.and + (set_local $$shr3 + (i32.shr_u + (set_local $$0 + (i32.load + (i32.const 176) ) - (get_local $$shr) ) + (get_local $$shr) ) - (i32.const 3) ) - (i32.const 0) + (i32.const 3) ) + (i32.const 0) ) (block (set_local $$3 @@ -11943,60 +11857,57 @@ ) ) ) - (block $do-once$2 - (if - (i32.eq - (get_local $$arrayidx) - (get_local $$3) - ) - (i32.store - (i32.const 176) - (i32.and - (get_local $$0) - (i32.xor - (i32.shl - (i32.const 1) - (get_local $$add8) - ) - (i32.const -1) + (if + (i32.eq + (get_local $$arrayidx) + (get_local $$3) + ) + (i32.store + (i32.const 176) + (i32.and + (get_local $$0) + (i32.xor + (i32.shl + (i32.const 1) + (get_local $$add8) ) + (i32.const -1) ) ) - (block - (if - (i32.lt_u - (get_local $$3) - (i32.load - (i32.const 192) - ) + ) + (block + (if + (i32.lt_u + (get_local $$3) + (i32.load + (i32.const 192) ) - (call_import $_abort) ) - (if - (i32.eq - (i32.load - (set_local $$bk - (i32.add - (get_local $$3) - (i32.const 12) - ) + (call_import $_abort) + ) + (if + (i32.eq + (i32.load + (set_local $$bk + (i32.add + (get_local $$3) + (i32.const 12) ) ) - (get_local $$2) ) - (block - (i32.store - (get_local $$bk) - (get_local $$arrayidx) - ) - (i32.store - (get_local $$1) - (get_local $$3) - ) - (br $do-once$2) + (get_local $$2) + ) + (block + (i32.store + (get_local $$bk) + (get_local $$arrayidx) + ) + (i32.store + (get_local $$1) + (get_local $$3) ) - (call_import $_abort) ) + (call_import $_abort) ) ) ) @@ -12048,11 +11959,9 @@ ) (block (if - (i32.eqz - (i32.eq - (get_local $$shr3) - (i32.const 0) - ) + (i32.ne + (get_local $$shr3) + (i32.const 0) ) (block (set_local $$sub @@ -12202,70 +12111,67 @@ ) ) ) - (block $do-once$4 - (if - (i32.eq - (get_local $$arrayidx66) - (get_local $$10) - ) - (block - (i32.store - (i32.const 176) - (i32.and - (get_local $$0) - (i32.xor - (i32.shl - (i32.const 1) - (get_local $$add64) - ) - (i32.const -1) + (if + (i32.eq + (get_local $$arrayidx66) + (get_local $$10) + ) + (block + (i32.store + (i32.const 176) + (i32.and + (get_local $$0) + (i32.xor + (i32.shl + (i32.const 1) + (get_local $$add64) ) + (i32.const -1) ) ) - (set_local $$13 - (get_local $$7) - ) ) - (block - (if - (i32.lt_u - (get_local $$10) - (i32.load - (i32.const 192) - ) + (set_local $$13 + (get_local $$7) + ) + ) + (block + (if + (i32.lt_u + (get_local $$10) + (i32.load + (i32.const 192) ) - (call_import $_abort) ) - (if - (i32.eq - (i32.load - (set_local $$bk78 - (i32.add - (get_local $$10) - (i32.const 12) - ) + (call_import $_abort) + ) + (if + (i32.eq + (i32.load + (set_local $$bk78 + (i32.add + (get_local $$10) + (i32.const 12) ) ) - (get_local $$9) ) - (block - (i32.store - (get_local $$bk78) - (get_local $$arrayidx66) - ) - (i32.store - (get_local $$8) - (get_local $$10) - ) - (set_local $$13 - (i32.load - (i32.const 184) - ) + (get_local $$9) + ) + (block + (i32.store + (get_local $$bk78) + (get_local $$arrayidx66) + ) + (i32.store + (get_local $$8) + (get_local $$10) + ) + (set_local $$13 + (i32.load + (i32.const 184) ) - (br $do-once$4) ) - (call_import $_abort) ) + (call_import $_abort) ) ) ) @@ -12304,11 +12210,9 @@ (get_local $$sub91) ) (if - (i32.eqz - (i32.eq - (get_local $$13) - (i32.const 0) - ) + (i32.ne + (get_local $$13) + (i32.const 0) ) (block (set_local $$14 @@ -12641,14 +12545,12 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.lt_u - (get_local $$v$0$i$lcssa) - (set_local $$add$ptr$i - (i32.add - (get_local $$v$0$i$lcssa) - (get_local $$cond) - ) + (i32.ge_u + (get_local $$v$0$i$lcssa) + (set_local $$add$ptr$i + (i32.add + (get_local $$v$0$i$lcssa) + (get_local $$cond) ) ) ) @@ -12724,20 +12626,18 @@ ) (loop $while-out$10 $while-in$11 (if - (i32.eqz - (i32.eq - (set_local $$33 - (i32.load - (set_local $$arrayidx71$i - (i32.add - (get_local $$R$1$i) - (i32.const 20) - ) + (i32.ne + (set_local $$33 + (i32.load + (set_local $$arrayidx71$i + (i32.add + (get_local $$R$1$i) + (i32.const 20) ) ) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$R$1$i @@ -12797,7 +12697,6 @@ (set_local $$R$3$i (get_local $$R$1$i$lcssa) ) - (br $do-once$8) ) ) ) @@ -12814,18 +12713,16 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.eq - (i32.load - (set_local $$bk47$i - (i32.add - (get_local $$28) - (i32.const 12) - ) + (i32.ne + (i32.load + (set_local $$bk47$i + (i32.add + (get_local $$28) + (i32.const 12) ) ) - (get_local $$v$0$i$lcssa) ) + (get_local $$v$0$i$lcssa) ) (call_import $_abort) ) @@ -12853,7 +12750,6 @@ (set_local $$R$3$i (get_local $$27) ) - (br $do-once$8) ) (call_import $_abort) ) @@ -12862,11 +12758,9 @@ ) (block $do-once$12 (if - (i32.eqz - (i32.eq - (get_local $$26) - (i32.const 0) - ) + (i32.ne + (get_local $$26) + (i32.const 0) ) (block (if @@ -12972,48 +12866,41 @@ (get_local $$R$3$i) (get_local $$26) ) - (block $do-once$14 - (if - (i32.eqz - (i32.eq - (set_local $$41 - (i32.load offset=16 - (get_local $$v$0$i$lcssa) - ) - ) - (i32.const 0) + (if + (i32.ne + (set_local $$41 + (i32.load offset=16 + (get_local $$v$0$i$lcssa) ) ) - (if - (i32.lt_u + (i32.const 0) + ) + (if + (i32.lt_u + (get_local $$41) + (get_local $$40) + ) + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $$R$3$i) (get_local $$41) - (get_local $$40) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $$R$3$i) - (get_local $$41) - ) - (i32.store offset=24 - (get_local $$41) - (get_local $$R$3$i) - ) - (br $do-once$14) + (i32.store offset=24 + (get_local $$41) + (get_local $$R$3$i) ) ) ) ) (if - (i32.eqz - (i32.eq - (set_local $$42 - (i32.load offset=20 - (get_local $$v$0$i$lcssa) - ) + (i32.ne + (set_local $$42 + (i32.load offset=20 + (get_local $$v$0$i$lcssa) ) - (i32.const 0) ) + (i32.const 0) ) (if (i32.lt_u @@ -13032,7 +12919,6 @@ (get_local $$42) (get_local $$R$3$i) ) - (br $do-once$12) ) ) ) @@ -13101,15 +12987,13 @@ (get_local $$rsize$0$i$lcssa) ) (if - (i32.eqz - (i32.eq - (set_local $$45 - (i32.load - (i32.const 184) - ) + (i32.ne + (set_local $$45 + (i32.load + (i32.const 184) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$46 @@ -13821,15 +13705,13 @@ ) ) (if - (i32.eqz - (i32.eq - (set_local $$59 - (i32.load offset=16 - (get_local $$t$48$i) - ) + (i32.ne + (set_local $$59 + (i32.load offset=16 + (get_local $$t$48$i) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$rsize$49$i @@ -13914,14 +13796,12 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.lt_u - (get_local $$v$4$lcssa$i) - (set_local $$add$ptr$i$161 - (i32.add - (get_local $$v$4$lcssa$i) - (get_local $$and145) - ) + (i32.ge_u + (get_local $$v$4$lcssa$i) + (set_local $$add$ptr$i$161 + (i32.add + (get_local $$v$4$lcssa$i) + (get_local $$and145) ) ) ) @@ -13997,20 +13877,18 @@ ) (loop $while-out$23 $while-in$24 (if - (i32.eqz - (i32.eq - (set_local $$70 - (i32.load - (set_local $$arrayidx161$i - (i32.add - (get_local $$R$1$i$168) - (i32.const 20) - ) + (i32.ne + (set_local $$70 + (i32.load + (set_local $$arrayidx161$i + (i32.add + (get_local $$R$1$i$168) + (i32.const 20) ) ) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$R$1$i$168 @@ -14070,7 +13948,6 @@ (set_local $$R$3$i$171 (get_local $$R$1$i$168$lcssa) ) - (br $do-once$21) ) ) ) @@ -14087,18 +13964,16 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.eq - (i32.load - (set_local $$bk136$i - (i32.add - (get_local $$65) - (i32.const 12) - ) + (i32.ne + (i32.load + (set_local $$bk136$i + (i32.add + (get_local $$65) + (i32.const 12) ) ) - (get_local $$v$4$lcssa$i) ) + (get_local $$v$4$lcssa$i) ) (call_import $_abort) ) @@ -14126,7 +14001,6 @@ (set_local $$R$3$i$171 (get_local $$64) ) - (br $do-once$21) ) (call_import $_abort) ) @@ -14135,11 +14009,9 @@ ) (block $do-once$25 (if - (i32.eqz - (i32.eq - (get_local $$63) - (i32.const 0) - ) + (i32.ne + (get_local $$63) + (i32.const 0) ) (block (if @@ -14245,48 +14117,41 @@ (get_local $$R$3$i$171) (get_local $$63) ) - (block $do-once$27 - (if - (i32.eqz - (i32.eq - (set_local $$78 - (i32.load offset=16 - (get_local $$v$4$lcssa$i) - ) - ) - (i32.const 0) + (if + (i32.ne + (set_local $$78 + (i32.load offset=16 + (get_local $$v$4$lcssa$i) ) ) - (if - (i32.lt_u + (i32.const 0) + ) + (if + (i32.lt_u + (get_local $$78) + (get_local $$77) + ) + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $$R$3$i$171) (get_local $$78) - (get_local $$77) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $$R$3$i$171) - (get_local $$78) - ) - (i32.store offset=24 - (get_local $$78) - (get_local $$R$3$i$171) - ) - (br $do-once$27) + (i32.store offset=24 + (get_local $$78) + (get_local $$R$3$i$171) ) ) ) ) (if - (i32.eqz - (i32.eq - (set_local $$79 - (i32.load offset=20 - (get_local $$v$4$lcssa$i) - ) + (i32.ne + (set_local $$79 + (i32.load offset=20 + (get_local $$v$4$lcssa$i) ) - (i32.const 0) ) + (i32.const 0) ) (if (i32.lt_u @@ -14305,7 +14170,6 @@ (get_local $$79) (get_local $$R$3$i$171) ) - (br $do-once$25) ) ) ) @@ -14794,7 +14658,6 @@ (get_local $$add$ptr$i$161) (get_local $$add$ptr$i$161) ) - (br $do-once$29) ) ) (if @@ -14847,7 +14710,6 @@ (get_local $$add$ptr$i$161) (i32.const 0) ) - (br $do-once$29) ) (call_import $_abort) ) @@ -14875,15 +14737,13 @@ ) ) (if - (i32.eqz - (i32.lt_u - (set_local $$94 - (i32.load - (i32.const 184) - ) + (i32.ge_u + (set_local $$94 + (i32.load + (i32.const 184) ) - (get_local $$nb$0) ) + (get_local $$nb$0) ) (block (set_local $$95 @@ -15037,70 +14897,67 @@ ) ) ) - (block $do-once$33 + (if + (i32.eq + (i32.load + (i32.const 648) + ) + (i32.const 0) + ) (if (i32.eq - (i32.load - (i32.const 648) - ) - (i32.const 0) - ) - (if - (i32.eq - (i32.and - (i32.add - (set_local $$call$i$i - (call_import $_sysconf - (i32.const 30) - ) + (i32.and + (i32.add + (set_local $$call$i$i + (call_import $_sysconf + (i32.const 30) ) - (i32.const -1) ) - (get_local $$call$i$i) + (i32.const -1) ) + (get_local $$call$i$i) + ) + (i32.const 0) + ) + (block + (i32.store + (i32.const 656) + (get_local $$call$i$i) + ) + (i32.store + (i32.const 652) + (get_local $$call$i$i) + ) + (i32.store + (i32.const 660) + (i32.const -1) + ) + (i32.store + (i32.const 664) + (i32.const -1) + ) + (i32.store + (i32.const 668) (i32.const 0) ) - (block - (i32.store - (i32.const 656) - (get_local $$call$i$i) - ) - (i32.store - (i32.const 652) - (get_local $$call$i$i) - ) - (i32.store - (i32.const 660) - (i32.const -1) - ) - (i32.store - (i32.const 664) - (i32.const -1) - ) - (i32.store - (i32.const 668) - (i32.const 0) - ) - (i32.store - (i32.const 620) - (i32.const 0) - ) - (i32.store - (i32.const 648) - (i32.xor - (i32.and - (call_import $_time - (i32.const 0) - ) - (i32.const -16) + (i32.store + (i32.const 620) + (i32.const 0) + ) + (i32.store + (i32.const 648) + (i32.xor + (i32.and + (call_import $_time + (i32.const 0) ) - (i32.const 1431655768) + (i32.const -16) ) + (i32.const 1431655768) ) - (br $do-once$33) ) - (call_import $_abort) ) + (call_import $_abort) ) ) (set_local $$add$i$180 @@ -15110,50 +14967,46 @@ ) ) (if - (i32.eqz - (i32.gt_u - (set_local $$and11$i - (i32.and - (set_local $$add9$i - (i32.add - (set_local $$100 - (i32.load - (i32.const 656) - ) + (i32.le_u + (set_local $$and11$i + (i32.and + (set_local $$add9$i + (i32.add + (set_local $$100 + (i32.load + (i32.const 656) ) - (set_local $$sub$i$181 - (i32.add - (get_local $$nb$0) - (i32.const 47) - ) + ) + (set_local $$sub$i$181 + (i32.add + (get_local $$nb$0) + (i32.const 47) ) ) ) - (set_local $$neg$i$182 - (i32.sub - (i32.const 0) - (get_local $$100) - ) + ) + (set_local $$neg$i$182 + (i32.sub + (i32.const 0) + (get_local $$100) ) ) ) - (get_local $$nb$0) ) + (get_local $$nb$0) ) (return (i32.const 0) ) ) (if - (i32.eqz - (i32.eq - (set_local $$101 - (i32.load - (i32.const 616) - ) + (i32.ne + (set_local $$101 + (i32.load + (i32.const 616) ) - (i32.const 0) ) + (i32.const 0) ) (if (i32.or @@ -15211,15 +15064,13 @@ ) (loop $while-out$37 $while-in$38 (if - (i32.eqz - (i32.gt_u - (set_local $$105 - (i32.load - (get_local $$sp$0$i$i) - ) + (i32.le_u + (set_local $$105 + (i32.load + (get_local $$sp$0$i$i) ) - (get_local $$104) ) + (get_local $$104) ) (if (i32.gt_u @@ -15300,11 +15151,9 @@ ) ) (if - (i32.eqz - (i32.eq - (get_local $$call83$i) - (i32.const -1) - ) + (i32.ne + (get_local $$call83$i) + (i32.const -1) ) (block (set_local $$tbase$796$i @@ -15342,15 +15191,13 @@ (i32.const 173) ) (if - (i32.eqz - (i32.eq - (set_local $$call37$i - (call_import $_sbrk - (i32.const 0) - ) + (i32.ne + (set_local $$call37$i + (call_import $_sbrk + (i32.const 0) ) - (i32.const -1) ) + (i32.const -1) ) (block (if @@ -15417,15 +15264,13 @@ ) (block (if - (i32.eqz - (i32.eq - (set_local $$111 - (i32.load - (i32.const 616) - ) + (i32.ne + (set_local $$111 + (i32.load + (i32.const 616) ) - (i32.const 0) ) + (i32.const 0) ) (br_if $do-once$39 (i32.or @@ -15492,85 +15337,78 @@ (get_local $$ssize$2$ph$i) ) ) - (block $do-once$42 - (if + (if + (i32.and + (i32.gt_u + (get_local $$add$i$180) + (get_local $$ssize$2$ph$i) + ) (i32.and - (i32.gt_u - (get_local $$add$i$180) + (i32.lt_u (get_local $$ssize$2$ph$i) + (i32.const 2147483647) ) - (i32.and - (i32.lt_u - (get_local $$ssize$2$ph$i) - (i32.const 2147483647) - ) - (i32.ne - (get_local $$br$2$ph$i) - (i32.const -1) - ) + (i32.ne + (get_local $$br$2$ph$i) + (i32.const -1) ) ) - (if - (i32.lt_u - (set_local $$and104$i - (i32.and - (i32.add - (i32.sub - (get_local $$sub$i$181) - (get_local $$ssize$2$ph$i) - ) - (set_local $$115 - (i32.load - (i32.const 656) - ) - ) - ) + ) + (if + (i32.lt_u + (set_local $$and104$i + (i32.and + (i32.add (i32.sub - (i32.const 0) - (get_local $$115) + (get_local $$sub$i$181) + (get_local $$ssize$2$ph$i) + ) + (set_local $$115 + (i32.load + (i32.const 656) + ) ) ) - ) - (i32.const 2147483647) - ) - (if - (i32.eq - (call_import $_sbrk - (get_local $$and104$i) + (i32.sub + (i32.const 0) + (get_local $$115) ) - (i32.const -1) ) - (block - (call_import $_sbrk - (get_local $$sub112$i) - ) - (br $label$break$L279) + ) + (i32.const 2147483647) + ) + (if + (i32.eq + (call_import $_sbrk + (get_local $$and104$i) ) - (block - (set_local $$ssize$5$i - (i32.add - (get_local $$and104$i) - (get_local $$ssize$2$ph$i) - ) - ) - (br $do-once$42) + (i32.const -1) + ) + (block + (call_import $_sbrk + (get_local $$sub112$i) ) + (br $label$break$L279) ) (set_local $$ssize$5$i - (get_local $$ssize$2$ph$i) + (i32.add + (get_local $$and104$i) + (get_local $$ssize$2$ph$i) + ) ) ) (set_local $$ssize$5$i (get_local $$ssize$2$ph$i) ) ) + (set_local $$ssize$5$i + (get_local $$ssize$2$ph$i) + ) ) (if - (i32.eqz - (i32.eq - (get_local $$br$2$ph$i) - (i32.const -1) - ) + (i32.ne + (get_local $$br$2$ph$i) + (i32.const -1) ) (block (set_local $$tbase$796$i @@ -16360,23 +16198,21 @@ ) (block $do-once$55 (if - (i32.eqz - (i32.eq - (set_local $$148 - (i32.load offset=8 - (get_local $$add$ptr16$i$i) - ) + (i32.ne + (set_local $$148 + (i32.load offset=8 + (get_local $$add$ptr16$i$i) ) - (set_local $$arrayidx$i$48$i - (i32.add - (i32.const 216) + ) + (set_local $$arrayidx$i$48$i + (i32.add + (i32.const 216) + (i32.shl (i32.shl - (i32.shl - (get_local $$shr$i$45$i) - (i32.const 1) - ) - (i32.const 2) + (get_local $$shr$i$45$i) + (i32.const 1) ) + (i32.const 2) ) ) ) @@ -16548,20 +16384,18 @@ ) (loop $while-out$61 $while-in$62 (if - (i32.eqz - (i32.eq - (set_local $$161 - (i32.load - (set_local $$arrayidx103$i$i - (i32.add - (get_local $$R$1$i$i) - (i32.const 20) - ) + (i32.ne + (set_local $$161 + (i32.load + (set_local $$arrayidx103$i$i + (i32.add + (get_local $$R$1$i$i) + (i32.const 20) ) ) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$R$1$i$i @@ -16621,7 +16455,6 @@ (set_local $$R$3$i$i (get_local $$R$1$i$i$lcssa) ) - (br $do-once$59) ) ) ) @@ -16638,18 +16471,16 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.eq - (i32.load - (set_local $$bk82$i$i - (i32.add - (get_local $$156) - (i32.const 12) - ) + (i32.ne + (i32.load + (set_local $$bk82$i$i + (i32.add + (get_local $$156) + (i32.const 12) ) ) - (get_local $$add$ptr16$i$i) ) + (get_local $$add$ptr16$i$i) ) (call_import $_abort) ) @@ -16677,7 +16508,6 @@ (set_local $$R$3$i$i (get_local $$155) ) - (br $do-once$59) ) (call_import $_abort) ) @@ -16716,11 +16546,9 @@ (get_local $$R$3$i$i) ) (br_if $do-once$63 - (i32.eqz - (i32.eq - (get_local $$R$3$i$i) - (i32.const 0) - ) + (i32.ne + (get_local $$R$3$i$i) + (i32.const 0) ) ) (i32.store @@ -16795,39 +16623,34 @@ (get_local $$R$3$i$i) (get_local $$154) ) - (block $do-once$65 - (if - (i32.eqz - (i32.eq - (set_local $$169 - (i32.load - (set_local $$child166$i$i - (i32.add - (get_local $$add$ptr16$i$i) - (i32.const 16) - ) - ) + (if + (i32.ne + (set_local $$169 + (i32.load + (set_local $$child166$i$i + (i32.add + (get_local $$add$ptr16$i$i) + (i32.const 16) ) ) - (i32.const 0) ) ) - (if - (i32.lt_u + (i32.const 0) + ) + (if + (i32.lt_u + (get_local $$169) + (get_local $$168) + ) + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $$R$3$i$i) (get_local $$169) - (get_local $$168) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $$R$3$i$i) - (get_local $$169) - ) - (i32.store offset=24 - (get_local $$169) - (get_local $$R$3$i$i) - ) - (br $do-once$65) + (i32.store offset=24 + (get_local $$169) + (get_local $$R$3$i$i) ) ) ) @@ -16859,7 +16682,6 @@ (get_local $$170) (get_local $$R$3$i$i) ) - (br $label$break$L331) ) ) ) @@ -16980,21 +16802,19 @@ ) (block (if - (i32.eqz - (i32.lt_u - (set_local $$175 - (i32.load - (set_local $$174 - (i32.add - (get_local $$arrayidx223$i$i) - (i32.const 8) - ) + (i32.ge_u + (set_local $$175 + (i32.load + (set_local $$174 + (i32.add + (get_local $$arrayidx223$i$i) + (i32.const 8) ) ) ) - (i32.load - (i32.const 192) - ) + ) + (i32.load + (i32.const 192) ) ) (block @@ -17350,7 +17170,6 @@ (get_local $$add$ptr17$i$i) (get_local $$add$ptr17$i$i) ) - (br $do-once$52) ) ) (if @@ -17403,7 +17222,6 @@ (get_local $$add$ptr17$i$i) (i32.const 0) ) - (br $do-once$52) ) (call_import $_abort) ) @@ -17426,15 +17244,13 @@ ) (loop $while-out$73 $while-in$74 (if - (i32.eqz - (i32.gt_u - (set_local $$185 - (i32.load - (get_local $$sp$0$i$i$i) - ) + (i32.le_u + (set_local $$185 + (i32.load + (get_local $$sp$0$i$i$i) ) - (get_local $$119) ) + (get_local $$119) ) (if (i32.gt_u @@ -17681,11 +17497,9 @@ (br $while-in$76) ) (if - (i32.eqz - (i32.eq - (get_local $$cond13$i$i) - (get_local $$119) - ) + (i32.ne + (get_local $$cond13$i$i) + (get_local $$119) ) (block (i32.store @@ -18128,7 +17942,6 @@ (get_local $$119) (get_local $$119) ) - (br $do-once$44) ) ) (if @@ -18181,7 +17994,6 @@ (get_local $$119) (i32.const 0) ) - (br $do-once$44) ) (call_import $_abort) ) @@ -18486,23 +18298,21 @@ ) (block (if - (i32.eqz - (i32.eq - (i32.and - (set_local $$27 - (i32.load - (set_local $$head209 - (i32.add - (get_local $$add$ptr6) - (i32.const 4) - ) + (i32.ne + (i32.and + (set_local $$27 + (i32.load + (set_local $$head209 + (i32.add + (get_local $$add$ptr6) + (i32.const 4) ) ) ) - (i32.const 3) ) (i32.const 3) ) + (i32.const 3) ) (block (set_local $$p$1 @@ -18560,23 +18370,21 @@ ) ) (if - (i32.eqz - (i32.eq - (set_local $$4 - (i32.load offset=8 - (get_local $$add$ptr16) - ) + (i32.ne + (set_local $$4 + (i32.load offset=8 + (get_local $$add$ptr16) ) - (set_local $$arrayidx - (i32.add - (i32.const 216) + ) + (set_local $$arrayidx + (i32.add + (i32.const 216) + (i32.shl (i32.shl - (i32.shl - (get_local $$shr) - (i32.const 1) - ) - (i32.const 2) + (get_local $$shr) + (i32.const 1) ) + (i32.const 2) ) ) ) @@ -18590,13 +18398,11 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.eq - (i32.load offset=12 - (get_local $$4) - ) - (get_local $$add$ptr16) + (i32.ne + (i32.load offset=12 + (get_local $$4) ) + (get_local $$add$ptr16) ) (call_import $_abort) ) @@ -18757,20 +18563,18 @@ ) (loop $while-out$4 $while-in$5 (if - (i32.eqz - (i32.eq - (set_local $$16 - (i32.load - (set_local $$arrayidx108 - (i32.add - (get_local $$R$1) - (i32.const 20) - ) + (i32.ne + (set_local $$16 + (i32.load + (set_local $$arrayidx108 + (i32.add + (get_local $$R$1) + (i32.const 20) ) ) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$R$1 @@ -18830,7 +18634,6 @@ (set_local $$R$3 (get_local $$R$1$lcssa) ) - (br $do-once$2) ) ) ) @@ -18847,18 +18650,16 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.eq - (i32.load - (set_local $$bk82 - (i32.add - (get_local $$11) - (i32.const 12) - ) + (i32.ne + (i32.load + (set_local $$bk82 + (i32.add + (get_local $$11) + (i32.const 12) ) ) - (get_local $$add$ptr16) ) + (get_local $$add$ptr16) ) (call_import $_abort) ) @@ -18886,7 +18687,6 @@ (set_local $$R$3 (get_local $$10) ) - (br $do-once$2) ) (call_import $_abort) ) @@ -19025,39 +18825,34 @@ (get_local $$R$3) (get_local $$9) ) - (block $do-once$6 - (if - (i32.eqz - (i32.eq - (set_local $$24 - (i32.load - (set_local $$child171 - (i32.add - (get_local $$add$ptr16) - (i32.const 16) - ) - ) + (if + (i32.ne + (set_local $$24 + (i32.load + (set_local $$child171 + (i32.add + (get_local $$add$ptr16) + (i32.const 16) ) ) - (i32.const 0) ) ) - (if - (i32.lt_u + (i32.const 0) + ) + (if + (i32.lt_u + (get_local $$24) + (get_local $$23) + ) + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $$R$3) (get_local $$24) - (get_local $$23) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $$R$3) - (get_local $$24) - ) - (i32.store offset=24 - (get_local $$24) - (get_local $$R$3) - ) - (br $do-once$6) + (i32.store offset=24 + (get_local $$24) + (get_local $$R$3) ) ) ) @@ -19102,7 +18897,6 @@ (set_local $$psize$1 (get_local $$add17) ) - (br $do-once$0) ) ) ) @@ -19120,11 +18914,9 @@ ) ) (if - (i32.eqz - (i32.lt_u - (get_local $$p$1) - (get_local $$add$ptr6) - ) + (i32.ge_u + (get_local $$p$1) + (get_local $$add$ptr6) ) (call_import $_abort) ) @@ -19187,12 +18979,10 @@ ) ) (if - (i32.eqz - (i32.eq - (get_local $$p$1) - (i32.load - (i32.const 196) - ) + (i32.ne + (get_local $$p$1) + (i32.load + (i32.const 196) ) ) (return) @@ -19276,23 +19066,21 @@ ) ) (if - (i32.eqz - (i32.eq - (set_local $$34 - (i32.load offset=8 - (get_local $$add$ptr6) - ) + (i32.ne + (set_local $$34 + (i32.load offset=8 + (get_local $$add$ptr6) ) - (set_local $$arrayidx279 - (i32.add - (i32.const 216) + ) + (set_local $$arrayidx279 + (i32.add + (i32.const 216) + (i32.shl (i32.shl - (i32.shl - (get_local $$shr268) - (i32.const 1) - ) - (i32.const 2) + (get_local $$shr268) + (i32.const 1) ) + (i32.const 2) ) ) ) @@ -19308,13 +19096,11 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.eq - (i32.load offset=12 - (get_local $$34) - ) - (get_local $$add$ptr6) + (i32.ne + (i32.load offset=12 + (get_local $$34) ) + (get_local $$add$ptr6) ) (call_import $_abort) ) @@ -19464,20 +19250,18 @@ ) (loop $while-out$12 $while-in$13 (if - (i32.eqz - (i32.eq - (set_local $$49 - (i32.load - (set_local $$arrayidx374 - (i32.add - (get_local $$R332$1) - (i32.const 20) - ) + (i32.ne + (set_local $$49 + (i32.load + (set_local $$arrayidx374 + (i32.add + (get_local $$R332$1) + (i32.const 20) ) ) ) - (i32.const 0) ) + (i32.const 0) ) (block (set_local $$R332$1 @@ -19539,7 +19323,6 @@ (set_local $$R332$3 (get_local $$R332$1$lcssa) ) - (br $do-once$10) ) ) ) @@ -19558,18 +19341,16 @@ (call_import $_abort) ) (if - (i32.eqz - (i32.eq - (i32.load - (set_local $$bk343 - (i32.add - (get_local $$43) - (i32.const 12) - ) + (i32.ne + (i32.load + (set_local $$bk343 + (i32.add + (get_local $$43) + (i32.const 12) ) ) - (get_local $$add$ptr6) ) + (get_local $$add$ptr6) ) (call_import $_abort) ) @@ -19597,7 +19378,6 @@ (set_local $$R332$3 (get_local $$42) ) - (br $do-once$10) ) (call_import $_abort) ) @@ -19605,11 +19385,9 @@ ) ) (if - (i32.eqz - (i32.eq - (get_local $$41) - (i32.const 0) - ) + (i32.ne + (get_local $$41) + (i32.const 0) ) (block (if @@ -19715,53 +19493,46 @@ (get_local $$R332$3) (get_local $$41) ) - (block $do-once$14 - (if - (i32.eqz - (i32.eq - (set_local $$58 - (i32.load - (set_local $$child443 - (i32.add - (get_local $$add$ptr6) - (i32.const 16) - ) - ) + (if + (i32.ne + (set_local $$58 + (i32.load + (set_local $$child443 + (i32.add + (get_local $$add$ptr6) + (i32.const 16) ) ) - (i32.const 0) ) ) - (if - (i32.lt_u + (i32.const 0) + ) + (if + (i32.lt_u + (get_local $$58) + (get_local $$57) + ) + (call_import $_abort) + (block + (i32.store offset=16 + (get_local $$R332$3) (get_local $$58) - (get_local $$57) ) - (call_import $_abort) - (block - (i32.store offset=16 - (get_local $$R332$3) - (get_local $$58) - ) - (i32.store offset=24 - (get_local $$58) - (get_local $$R332$3) - ) - (br $do-once$14) + (i32.store offset=24 + (get_local $$58) + (get_local $$R332$3) ) ) ) ) (if - (i32.eqz - (i32.eq - (set_local $$59 - (i32.load offset=4 - (get_local $$child443) - ) + (i32.ne + (set_local $$59 + (i32.load offset=4 + (get_local $$child443) ) - (i32.const 0) ) + (i32.const 0) ) (if (i32.lt_u @@ -19780,7 +19551,6 @@ (get_local $$59) (get_local $$R332$3) ) - (br $do-once$8) ) ) ) @@ -20084,243 +19854,239 @@ (get_local $$p$1) (i32.const 0) ) - (block $do-once$16 - (if - (i32.eq - (i32.and - (set_local $$66 - (i32.load - (i32.const 180) - ) - ) - (set_local $$shl573 - (i32.shl - (i32.const 1) - (get_local $$I534$0) - ) + (if + (i32.eq + (i32.and + (set_local $$66 + (i32.load + (i32.const 180) ) ) - (i32.const 0) - ) - (block - (i32.store - (i32.const 180) - (i32.or - (get_local $$66) - (get_local $$shl573) + (set_local $$shl573 + (i32.shl + (i32.const 1) + (get_local $$I534$0) ) ) - (i32.store - (get_local $$arrayidx567) - (get_local $$p$1) + ) + (i32.const 0) + ) + (block + (i32.store + (i32.const 180) + (i32.or + (get_local $$66) + (get_local $$shl573) ) - (i32.store offset=24 - (get_local $$p$1) + ) + (i32.store + (get_local $$arrayidx567) + (get_local $$p$1) + ) + (i32.store offset=24 + (get_local $$p$1) + (get_local $$arrayidx567) + ) + (i32.store offset=12 + (get_local $$p$1) + (get_local $$p$1) + ) + (i32.store offset=8 + (get_local $$p$1) + (get_local $$p$1) + ) + ) + (block + (set_local $$67 + (i32.load (get_local $$arrayidx567) ) - (i32.store offset=12 - (get_local $$p$1) - (get_local $$p$1) - ) - (i32.store offset=8 - (get_local $$p$1) - (get_local $$p$1) + ) + (set_local $$sub589 + (i32.sub + (i32.const 25) + (i32.shr_u + (get_local $$I534$0) + (i32.const 1) + ) ) ) - (block - (set_local $$67 - (i32.load - (get_local $$arrayidx567) + (set_local $$cond + (if + (i32.eq + (get_local $$I534$0) + (i32.const 31) ) + (i32.const 0) + (get_local $$sub589) ) - (set_local $$sub589 - (i32.sub - (i32.const 25) - (i32.shr_u - (get_local $$I534$0) - (i32.const 1) + ) + (set_local $$K583$0 + (i32.shl + (get_local $$psize$2) + (get_local $$cond) + ) + ) + (set_local $$T$0 + (get_local $$67) + ) + (loop $while-out$18 $while-in$19 + (if + (i32.eq + (i32.and + (i32.load offset=4 + (get_local $$T$0) + ) + (i32.const -8) ) + (get_local $$psize$2) ) - ) - (set_local $$cond - (if - (i32.eq - (get_local $$I534$0) - (i32.const 31) + (block + (set_local $$T$0$lcssa + (get_local $$T$0) ) - (i32.const 0) - (get_local $$sub589) + (set_local $label + (i32.const 130) + ) + (br $while-out$18) ) ) - (set_local $$K583$0 + (set_local $$shl600 (i32.shl - (get_local $$psize$2) - (get_local $$cond) + (get_local $$K583$0) + (i32.const 1) ) ) - (set_local $$T$0 - (get_local $$67) - ) - (loop $while-out$18 $while-in$19 - (if - (i32.eq - (i32.and - (i32.load offset=4 - (get_local $$T$0) + (if + (i32.eq + (set_local $$69 + (i32.load + (set_local $$arrayidx599 + (i32.add + (i32.add + (get_local $$T$0) + (i32.const 16) + ) + (i32.shl + (i32.shr_u + (get_local $$K583$0) + (i32.const 31) + ) + (i32.const 2) + ) + ) ) - (i32.const -8) ) - (get_local $$psize$2) ) - (block - (set_local $$T$0$lcssa - (get_local $$T$0) - ) - (set_local $label - (i32.const 130) - ) - (br $while-out$18) + (i32.const 0) + ) + (block + (set_local $$T$0$lcssa319 + (get_local $$T$0) ) + (set_local $$arrayidx599$lcssa + (get_local $$arrayidx599) + ) + (set_local $label + (i32.const 127) + ) + (br $while-out$18) ) - (set_local $$shl600 - (i32.shl - (get_local $$K583$0) - (i32.const 1) + (block + (set_local $$K583$0 + (get_local $$shl600) + ) + (set_local $$T$0 + (get_local $$69) ) ) - (if - (i32.eq - (set_local $$69 - (i32.load - (set_local $$arrayidx599 - (i32.add - (i32.add - (get_local $$T$0) - (i32.const 16) - ) - (i32.shl - (i32.shr_u - (get_local $$K583$0) - (i32.const 31) - ) - (i32.const 2) - ) - ) - ) - ) - ) - (i32.const 0) + ) + (br $while-in$19) + ) + (if + (i32.eq + (get_local $label) + (i32.const 127) + ) + (if + (i32.lt_u + (get_local $$arrayidx599$lcssa) + (i32.load + (i32.const 192) ) - (block - (set_local $$T$0$lcssa319 - (get_local $$T$0) - ) - (set_local $$arrayidx599$lcssa - (get_local $$arrayidx599) - ) - (set_local $label - (i32.const 127) - ) - (br $while-out$18) + ) + (call_import $_abort) + (block + (i32.store + (get_local $$arrayidx599$lcssa) + (get_local $$p$1) ) - (block - (set_local $$K583$0 - (get_local $$shl600) - ) - (set_local $$T$0 - (get_local $$69) - ) + (i32.store offset=24 + (get_local $$p$1) + (get_local $$T$0$lcssa319) + ) + (i32.store offset=12 + (get_local $$p$1) + (get_local $$p$1) + ) + (i32.store offset=8 + (get_local $$p$1) + (get_local $$p$1) ) ) - (br $while-in$19) ) (if (i32.eq (get_local $label) - (i32.const 127) + (i32.const 130) ) (if - (i32.lt_u - (get_local $$arrayidx599$lcssa) - (i32.load - (i32.const 192) + (i32.and + (i32.ge_u + (set_local $$71 + (i32.load + (set_local $$fd620 + (i32.add + (get_local $$T$0$lcssa) + (i32.const 8) + ) + ) + ) + ) + (set_local $$72 + (i32.load + (i32.const 192) + ) + ) + ) + (i32.ge_u + (get_local $$T$0$lcssa) + (get_local $$72) ) ) - (call_import $_abort) (block + (i32.store offset=12 + (get_local $$71) + (get_local $$p$1) + ) (i32.store - (get_local $$arrayidx599$lcssa) + (get_local $$fd620) (get_local $$p$1) ) - (i32.store offset=24 + (i32.store offset=8 (get_local $$p$1) - (get_local $$T$0$lcssa319) + (get_local $$71) ) (i32.store offset=12 (get_local $$p$1) - (get_local $$p$1) + (get_local $$T$0$lcssa) ) - (i32.store offset=8 - (get_local $$p$1) + (i32.store offset=24 (get_local $$p$1) + (i32.const 0) ) - (br $do-once$16) - ) - ) - (if - (i32.eq - (get_local $label) - (i32.const 130) - ) - (if - (i32.and - (i32.ge_u - (set_local $$71 - (i32.load - (set_local $$fd620 - (i32.add - (get_local $$T$0$lcssa) - (i32.const 8) - ) - ) - ) - ) - (set_local $$72 - (i32.load - (i32.const 192) - ) - ) - ) - (i32.ge_u - (get_local $$T$0$lcssa) - (get_local $$72) - ) - ) - (block - (i32.store offset=12 - (get_local $$71) - (get_local $$p$1) - ) - (i32.store - (get_local $$fd620) - (get_local $$p$1) - ) - (i32.store offset=8 - (get_local $$p$1) - (get_local $$71) - ) - (i32.store offset=12 - (get_local $$p$1) - (get_local $$T$0$lcssa) - ) - (i32.store offset=24 - (get_local $$p$1) - (i32.const 0) - ) - (br $do-once$16) - ) - (call_import $_abort) ) + (call_import $_abort) ) ) ) diff --git a/test/memorygrowth.fromasm b/test/memorygrowth.fromasm index dac188a60..e2bb3354e 100644 --- a/test/memorygrowth.fromasm +++ b/test/memorygrowth.fromasm @@ -234,60 +234,57 @@ ) ) ) - (block $do-once$2 - (if - (i32.eq - (get_local $i) - (get_local $n) - ) - (i32.store - (i32.const 1208) - (i32.and - (get_local $f) - (i32.xor - (i32.shl - (i32.const 1) - (get_local $h) - ) - (i32.const -1) + (if + (i32.eq + (get_local $i) + (get_local $n) + ) + (i32.store + (i32.const 1208) + (i32.and + (get_local $f) + (i32.xor + (i32.shl + (i32.const 1) + (get_local $h) ) + (i32.const -1) ) ) - (block - (if - (i32.lt_u - (get_local $n) - (i32.load - (i32.const 1224) - ) + ) + (block + (if + (i32.lt_u + (get_local $n) + (i32.load + (i32.const 1224) ) - (call_import $qa) ) - (if - (i32.eq - (i32.load - (set_local $o - (i32.add - (get_local $n) - (i32.const 12) - ) + (call_import $qa) + ) + (if + (i32.eq + (i32.load + (set_local $o + (i32.add + (get_local $n) + (i32.const 12) ) ) - (get_local $l) ) - (block - (i32.store - (get_local $o) - (get_local $i) - ) - (i32.store - (get_local $j) - (get_local $n) - ) - (br $do-once$2) + (get_local $l) + ) + (block + (i32.store + (get_local $o) + (get_local $i) + ) + (i32.store + (get_local $j) + (get_local $n) ) - (call_import $qa) ) + (call_import $qa) ) ) ) @@ -483,70 +480,67 @@ ) ) ) - (block $do-once$4 - (if - (i32.eq - (get_local $s) - (get_local $i) - ) - (block - (i32.store - (i32.const 1208) - (i32.and - (get_local $f) - (i32.xor - (i32.shl - (i32.const 1) - (get_local $u) - ) - (i32.const -1) + (if + (i32.eq + (get_local $s) + (get_local $i) + ) + (block + (i32.store + (i32.const 1208) + (i32.and + (get_local $f) + (i32.xor + (i32.shl + (i32.const 1) + (get_local $u) ) + (i32.const -1) ) ) - (set_local $v - (get_local $j) - ) ) - (block - (if - (i32.lt_u - (get_local $i) - (i32.load - (i32.const 1224) - ) + (set_local $v + (get_local $j) + ) + ) + (block + (if + (i32.lt_u + (get_local $i) + (i32.load + (i32.const 1224) ) - (call_import $qa) ) - (if - (i32.eq - (i32.load - (set_local $n - (i32.add - (get_local $i) - (i32.const 12) - ) + (call_import $qa) + ) + (if + (i32.eq + (i32.load + (set_local $n + (i32.add + (get_local $i) + (i32.const 12) ) ) - (get_local $q) ) - (block - (i32.store - (get_local $n) - (get_local $s) - ) - (i32.store - (get_local $t) - (get_local $i) - ) - (set_local $v - (i32.load - (i32.const 1216) - ) + (get_local $q) + ) + (block + (i32.store + (get_local $n) + (get_local $s) + ) + (i32.store + (get_local $t) + (get_local $i) + ) + (set_local $v + (i32.load + (i32.const 1216) ) - (br $do-once$4) ) - (call_import $qa) ) + (call_import $qa) ) ) ) @@ -1043,7 +1037,6 @@ (set_local $C (get_local $F) ) - (br $do-once$8) ) ) ) @@ -1097,7 +1090,6 @@ (set_local $C (get_local $o) ) - (br $do-once$8) ) (call_import $qa) ) @@ -1209,29 +1201,26 @@ (get_local $C) (get_local $e) ) - (block $do-once$14 + (if + (set_local $s + (i32.load offset=16 + (get_local $A) + ) + ) (if - (set_local $s - (i32.load offset=16 - (get_local $A) - ) + (i32.lt_u + (get_local $s) + (get_local $o) ) - (if - (i32.lt_u + (call_import $qa) + (block + (i32.store offset=16 + (get_local $C) (get_local $s) - (get_local $o) ) - (call_import $qa) - (block - (i32.store offset=16 - (get_local $C) - (get_local $s) - ) - (i32.store offset=24 - (get_local $s) - (get_local $C) - ) - (br $do-once$14) + (i32.store offset=24 + (get_local $s) + (get_local $C) ) ) ) @@ -1259,7 +1248,6 @@ (get_local $s) (get_local $C) ) - (br $do-once$12) ) ) ) @@ -2230,7 +2218,6 @@ (set_local $W (get_local $Z) ) - (br $do-once$21) ) ) ) @@ -2284,7 +2271,6 @@ (set_local $W (get_local $s) ) - (br $do-once$21) ) (call_import $qa) ) @@ -2396,29 +2382,26 @@ (get_local $W) (get_local $g) ) - (block $do-once$27 + (if + (set_local $q + (i32.load offset=16 + (get_local $V) + ) + ) (if - (set_local $q - (i32.load offset=16 - (get_local $V) - ) + (i32.lt_u + (get_local $q) + (get_local $s) ) - (if - (i32.lt_u + (call_import $qa) + (block + (i32.store offset=16 + (get_local $W) (get_local $q) - (get_local $s) ) - (call_import $qa) - (block - (i32.store offset=16 - (get_local $W) - (get_local $q) - ) - (i32.store offset=24 - (get_local $q) - (get_local $W) - ) - (br $do-once$27) + (i32.store offset=24 + (get_local $q) + (get_local $W) ) ) ) @@ -2446,7 +2429,6 @@ (get_local $q) (get_local $W) ) - (br $do-once$25) ) ) ) @@ -2905,7 +2887,6 @@ (get_local $i) (get_local $i) ) - (br $do-once$29) ) ) (if @@ -2958,7 +2939,6 @@ (get_local $i) (i32.const 0) ) - (br $do-once$29) ) (call_import $qa) ) @@ -3583,78 +3563,73 @@ (get_local $ka) ) ) - (block $do-once$40 - (if + (if + (i32.and + (i32.gt_u + (get_local $ea) + (get_local $ka) + ) (i32.and - (i32.gt_u - (get_local $ea) + (i32.lt_u (get_local $ka) + (i32.const 2147483647) ) - (i32.and - (i32.lt_u - (get_local $ka) - (i32.const 2147483647) - ) - (i32.ne - (get_local $ja) - (i32.const -1) - ) + (i32.ne + (get_local $ja) + (i32.const -1) ) ) - (if - (i32.lt_u - (set_local $e - (i32.and - (i32.add - (i32.sub - (get_local $ca) - (get_local $ka) - ) - (set_local $U - (i32.load - (i32.const 1688) - ) - ) - ) + ) + (if + (i32.lt_u + (set_local $e + (i32.and + (i32.add (i32.sub - (i32.const 0) - (get_local $U) + (get_local $ca) + (get_local $ka) + ) + (set_local $U + (i32.load + (i32.const 1688) + ) ) ) - ) - (i32.const 2147483647) - ) - (if - (i32.eq - (call_import $ta - (get_local $e) + (i32.sub + (i32.const 0) + (get_local $U) ) - (i32.const -1) ) - (block - (call_import $ta - (get_local $$) - ) - (br $label$break$d) + ) + (i32.const 2147483647) + ) + (if + (i32.eq + (call_import $ta + (get_local $e) ) - (block - (set_local $ma - (i32.add - (get_local $e) - (get_local $ka) - ) - ) - (br $do-once$40) + (i32.const -1) + ) + (block + (call_import $ta + (get_local $$) ) + (br $label$break$d) ) (set_local $ma - (get_local $ka) + (i32.add + (get_local $e) + (get_local $ka) + ) ) ) (set_local $ma (get_local $ka) ) ) + (set_local $ma + (get_local $ka) + ) ) (if (i32.ne @@ -4487,7 +4462,6 @@ (set_local $ya (get_local $Ba) ) - (br $do-once$57) ) ) ) @@ -4541,7 +4515,6 @@ (set_local $ya (get_local $e) ) - (br $do-once$57) ) (call_import $qa) ) @@ -4652,34 +4625,31 @@ (get_local $ya) (get_local $$) ) - (block $do-once$63 - (if - (set_local $V - (i32.load - (set_local $da - (i32.add - (get_local $ma) - (i32.const 16) - ) + (if + (set_local $V + (i32.load + (set_local $da + (i32.add + (get_local $ma) + (i32.const 16) ) ) ) - (if - (i32.lt_u + ) + (if + (i32.lt_u + (get_local $V) + (get_local $e) + ) + (call_import $qa) + (block + (i32.store offset=16 + (get_local $ya) (get_local $V) - (get_local $e) ) - (call_import $qa) - (block - (i32.store offset=16 - (get_local $ya) - (get_local $V) - ) - (i32.store offset=24 - (get_local $V) - (get_local $ya) - ) - (br $do-once$63) + (i32.store offset=24 + (get_local $V) + (get_local $ya) ) ) ) @@ -4710,7 +4680,6 @@ (get_local $V) (get_local $ya) ) - (br $label$break$e) ) ) ) @@ -5171,7 +5140,6 @@ (get_local $ka) (get_local $ka) ) - (br $do-once$50) ) ) (if @@ -5224,7 +5192,6 @@ (get_local $ka) (i32.const 0) ) - (br $do-once$50) ) (call_import $qa) ) @@ -5894,7 +5861,6 @@ (get_local $ja) (get_local $ja) ) - (br $do-once$42) ) ) (if @@ -5947,7 +5913,6 @@ (get_local $ja) (i32.const 0) ) - (br $do-once$42) ) (call_import $qa) ) @@ -6645,7 +6610,6 @@ (set_local $s (get_local $v) ) - (br $do-once$2) ) ) ) @@ -6699,7 +6663,6 @@ (set_local $s (get_local $j) ) - (br $do-once$2) ) (call_import $qa) ) @@ -6825,34 +6788,31 @@ (get_local $s) (get_local $g) ) - (block $do-once$6 - (if - (set_local $o - (i32.load - (set_local $l - (i32.add - (get_local $h) - (i32.const 16) - ) + (if + (set_local $o + (i32.load + (set_local $l + (i32.add + (get_local $h) + (i32.const 16) ) ) ) - (if - (i32.lt_u + ) + (if + (i32.lt_u + (get_local $o) + (get_local $j) + ) + (call_import $qa) + (block + (i32.store offset=16 + (get_local $s) (get_local $o) - (get_local $j) ) - (call_import $qa) - (block - (i32.store offset=16 - (get_local $s) - (get_local $o) - ) - (i32.store offset=24 - (get_local $o) - (get_local $s) - ) - (br $do-once$6) + (i32.store offset=24 + (get_local $o) + (get_local $s) ) ) ) @@ -6886,7 +6846,6 @@ (set_local $n (get_local $i) ) - (br $do-once$0) ) ) (block @@ -7331,7 +7290,6 @@ (set_local $y (get_local $B) ) - (br $do-once$10) ) ) ) @@ -7387,7 +7345,6 @@ (set_local $y (get_local $w) ) - (br $do-once$10) ) (call_import $qa) ) @@ -7498,34 +7455,31 @@ (get_local $y) (get_local $v) ) - (block $do-once$14 - (if - (set_local $h - (i32.load - (set_local $i - (i32.add - (get_local $f) - (i32.const 16) - ) + (if + (set_local $h + (i32.load + (set_local $i + (i32.add + (get_local $f) + (i32.const 16) ) ) ) - (if - (i32.lt_u + ) + (if + (i32.lt_u + (get_local $h) + (get_local $w) + ) + (call_import $qa) + (block + (i32.store offset=16 + (get_local $y) (get_local $h) - (get_local $w) ) - (call_import $qa) - (block - (i32.store offset=16 - (get_local $y) - (get_local $h) - ) - (i32.store offset=24 - (get_local $h) - (get_local $y) - ) - (br $do-once$14) + (i32.store offset=24 + (get_local $h) + (get_local $y) ) ) ) @@ -7553,7 +7507,6 @@ (get_local $h) (get_local $y) ) - (br $do-once$8) ) ) ) @@ -7820,228 +7773,224 @@ (get_local $m) (i32.const 0) ) - (block $do-once$16 - (if - (i32.and - (set_local $E - (i32.load - (i32.const 1212) - ) + (if + (i32.and + (set_local $E + (i32.load + (i32.const 1212) ) - (set_local $e - (i32.shl - (i32.const 1) - (get_local $G) - ) + ) + (set_local $e + (i32.shl + (i32.const 1) + (get_local $G) ) ) - (block - (set_local $F - (i32.shl - (get_local $D) - (if - (i32.eq + ) + (block + (set_local $F + (i32.shl + (get_local $D) + (if + (i32.eq + (get_local $G) + (i32.const 31) + ) + (i32.const 0) + (i32.sub + (i32.const 25) + (i32.shr_u (get_local $G) - (i32.const 31) - ) - (i32.const 0) - (i32.sub - (i32.const 25) - (i32.shr_u - (get_local $G) - (i32.const 1) - ) + (i32.const 1) ) ) ) ) - (set_local $b - (i32.load - (get_local $s) - ) + ) + (set_local $b + (i32.load + (get_local $s) ) - (loop $while-out$18 $while-in$19 - (if - (i32.eq - (i32.and - (i32.load offset=4 - (get_local $b) - ) - (i32.const -8) - ) - (get_local $D) - ) - (block - (set_local $H + ) + (loop $while-out$18 $while-in$19 + (if + (i32.eq + (i32.and + (i32.load offset=4 (get_local $b) ) - (set_local $I - (i32.const 130) - ) - (br $while-out$18) + (i32.const -8) ) + (get_local $D) ) - (if - (set_local $y - (i32.load - (set_local $n + (block + (set_local $H + (get_local $b) + ) + (set_local $I + (i32.const 130) + ) + (br $while-out$18) + ) + ) + (if + (set_local $y + (i32.load + (set_local $n + (i32.add (i32.add - (i32.add - (get_local $b) - (i32.const 16) - ) - (i32.shl - (i32.shr_u - (get_local $F) - (i32.const 31) - ) - (i32.const 2) + (get_local $b) + (i32.const 16) + ) + (i32.shl + (i32.shr_u + (get_local $F) + (i32.const 31) ) + (i32.const 2) ) ) ) ) - (block - (set_local $F - (i32.shl - (get_local $F) - (i32.const 1) - ) - ) - (set_local $b - (get_local $y) + ) + (block + (set_local $F + (i32.shl + (get_local $F) + (i32.const 1) ) ) - (block - (set_local $J - (get_local $n) - ) - (set_local $K - (get_local $b) - ) - (set_local $I - (i32.const 127) - ) - (br $while-out$18) + (set_local $b + (get_local $y) + ) + ) + (block + (set_local $J + (get_local $n) + ) + (set_local $K + (get_local $b) + ) + (set_local $I + (i32.const 127) + ) + (br $while-out$18) + ) + ) + (br $while-in$19) + ) + (if + (i32.eq + (get_local $I) + (i32.const 127) + ) + (if + (i32.lt_u + (get_local $J) + (i32.load + (i32.const 1224) + ) + ) + (call_import $qa) + (block + (i32.store + (get_local $J) + (get_local $m) + ) + (i32.store offset=24 + (get_local $m) + (get_local $K) + ) + (i32.store offset=12 + (get_local $m) + (get_local $m) + ) + (i32.store offset=8 + (get_local $m) + (get_local $m) ) ) - (br $while-in$19) ) (if (i32.eq (get_local $I) - (i32.const 127) + (i32.const 130) ) (if - (i32.lt_u - (get_local $J) - (i32.load - (i32.const 1224) + (i32.and + (i32.ge_u + (set_local $F + (i32.load + (set_local $b + (i32.add + (get_local $H) + (i32.const 8) + ) + ) + ) + ) + (set_local $i + (i32.load + (i32.const 1224) + ) + ) + ) + (i32.ge_u + (get_local $H) + (get_local $i) ) ) - (call_import $qa) (block + (i32.store offset=12 + (get_local $F) + (get_local $m) + ) (i32.store - (get_local $J) + (get_local $b) (get_local $m) ) - (i32.store offset=24 + (i32.store offset=8 (get_local $m) - (get_local $K) + (get_local $F) ) (i32.store offset=12 (get_local $m) - (get_local $m) + (get_local $H) ) - (i32.store offset=8 - (get_local $m) + (i32.store offset=24 (get_local $m) + (i32.const 0) ) - (br $do-once$16) - ) - ) - (if - (i32.eq - (get_local $I) - (i32.const 130) - ) - (if - (i32.and - (i32.ge_u - (set_local $F - (i32.load - (set_local $b - (i32.add - (get_local $H) - (i32.const 8) - ) - ) - ) - ) - (set_local $i - (i32.load - (i32.const 1224) - ) - ) - ) - (i32.ge_u - (get_local $H) - (get_local $i) - ) - ) - (block - (i32.store offset=12 - (get_local $F) - (get_local $m) - ) - (i32.store - (get_local $b) - (get_local $m) - ) - (i32.store offset=8 - (get_local $m) - (get_local $F) - ) - (i32.store offset=12 - (get_local $m) - (get_local $H) - ) - (i32.store offset=24 - (get_local $m) - (i32.const 0) - ) - (br $do-once$16) - ) - (call_import $qa) ) + (call_import $qa) ) ) ) - (block - (i32.store - (i32.const 1212) - (i32.or - (get_local $E) - (get_local $e) - ) - ) - (i32.store - (get_local $s) - (get_local $m) - ) - (i32.store offset=24 - (get_local $m) - (get_local $s) - ) - (i32.store offset=12 - (get_local $m) - (get_local $m) - ) - (i32.store offset=8 - (get_local $m) - (get_local $m) + ) + (block + (i32.store + (i32.const 1212) + (i32.or + (get_local $E) + (get_local $e) ) ) + (i32.store + (get_local $s) + (get_local $m) + ) + (i32.store offset=24 + (get_local $m) + (get_local $s) + ) + (i32.store offset=12 + (get_local $m) + (get_local $m) + ) + (i32.store offset=8 + (get_local $m) + (get_local $m) + ) ) ) (i32.store diff --git a/test/memorygrowth.fromasm.imprecise b/test/memorygrowth.fromasm.imprecise index dac188a60..e2bb3354e 100644 --- a/test/memorygrowth.fromasm.imprecise +++ b/test/memorygrowth.fromasm.imprecise @@ -234,60 +234,57 @@ ) ) ) - (block $do-once$2 - (if - (i32.eq - (get_local $i) - (get_local $n) - ) - (i32.store - (i32.const 1208) - (i32.and - (get_local $f) - (i32.xor - (i32.shl - (i32.const 1) - (get_local $h) - ) - (i32.const -1) + (if + (i32.eq + (get_local $i) + (get_local $n) + ) + (i32.store + (i32.const 1208) + (i32.and + (get_local $f) + (i32.xor + (i32.shl + (i32.const 1) + (get_local $h) ) + (i32.const -1) ) ) - (block - (if - (i32.lt_u - (get_local $n) - (i32.load - (i32.const 1224) - ) + ) + (block + (if + (i32.lt_u + (get_local $n) + (i32.load + (i32.const 1224) ) - (call_import $qa) ) - (if - (i32.eq - (i32.load - (set_local $o - (i32.add - (get_local $n) - (i32.const 12) - ) + (call_import $qa) + ) + (if + (i32.eq + (i32.load + (set_local $o + (i32.add + (get_local $n) + (i32.const 12) ) ) - (get_local $l) ) - (block - (i32.store - (get_local $o) - (get_local $i) - ) - (i32.store - (get_local $j) - (get_local $n) - ) - (br $do-once$2) + (get_local $l) + ) + (block + (i32.store + (get_local $o) + (get_local $i) + ) + (i32.store + (get_local $j) + (get_local $n) ) - (call_import $qa) ) + (call_import $qa) ) ) ) @@ -483,70 +480,67 @@ ) ) ) - (block $do-once$4 - (if - (i32.eq - (get_local $s) - (get_local $i) - ) - (block - (i32.store - (i32.const 1208) - (i32.and - (get_local $f) - (i32.xor - (i32.shl - (i32.const 1) - (get_local $u) - ) - (i32.const -1) + (if + (i32.eq + (get_local $s) + (get_local $i) + ) + (block + (i32.store + (i32.const 1208) + (i32.and + (get_local $f) + (i32.xor + (i32.shl + (i32.const 1) + (get_local $u) ) + (i32.const -1) ) ) - (set_local $v - (get_local $j) - ) ) - (block - (if - (i32.lt_u - (get_local $i) - (i32.load - (i32.const 1224) - ) + (set_local $v + (get_local $j) + ) + ) + (block + (if + (i32.lt_u + (get_local $i) + (i32.load + (i32.const 1224) ) - (call_import $qa) ) - (if - (i32.eq - (i32.load - (set_local $n - (i32.add - (get_local $i) - (i32.const 12) - ) + (call_import $qa) + ) + (if + (i32.eq + (i32.load + (set_local $n + (i32.add + (get_local $i) + (i32.const 12) ) ) - (get_local $q) ) - (block - (i32.store - (get_local $n) - (get_local $s) - ) - (i32.store - (get_local $t) - (get_local $i) - ) - (set_local $v - (i32.load - (i32.const 1216) - ) + (get_local $q) + ) + (block + (i32.store + (get_local $n) + (get_local $s) + ) + (i32.store + (get_local $t) + (get_local $i) + ) + (set_local $v + (i32.load + (i32.const 1216) ) - (br $do-once$4) ) - (call_import $qa) ) + (call_import $qa) ) ) ) @@ -1043,7 +1037,6 @@ (set_local $C (get_local $F) ) - (br $do-once$8) ) ) ) @@ -1097,7 +1090,6 @@ (set_local $C (get_local $o) ) - (br $do-once$8) ) (call_import $qa) ) @@ -1209,29 +1201,26 @@ (get_local $C) (get_local $e) ) - (block $do-once$14 + (if + (set_local $s + (i32.load offset=16 + (get_local $A) + ) + ) (if - (set_local $s - (i32.load offset=16 - (get_local $A) - ) + (i32.lt_u + (get_local $s) + (get_local $o) ) - (if - (i32.lt_u + (call_import $qa) + (block + (i32.store offset=16 + (get_local $C) (get_local $s) - (get_local $o) ) - (call_import $qa) - (block - (i32.store offset=16 - (get_local $C) - (get_local $s) - ) - (i32.store offset=24 - (get_local $s) - (get_local $C) - ) - (br $do-once$14) + (i32.store offset=24 + (get_local $s) + (get_local $C) ) ) ) @@ -1259,7 +1248,6 @@ (get_local $s) (get_local $C) ) - (br $do-once$12) ) ) ) @@ -2230,7 +2218,6 @@ (set_local $W (get_local $Z) ) - (br $do-once$21) ) ) ) @@ -2284,7 +2271,6 @@ (set_local $W (get_local $s) ) - (br $do-once$21) ) (call_import $qa) ) @@ -2396,29 +2382,26 @@ (get_local $W) (get_local $g) ) - (block $do-once$27 + (if + (set_local $q + (i32.load offset=16 + (get_local $V) + ) + ) (if - (set_local $q - (i32.load offset=16 - (get_local $V) - ) + (i32.lt_u + (get_local $q) + (get_local $s) ) - (if - (i32.lt_u + (call_import $qa) + (block + (i32.store offset=16 + (get_local $W) (get_local $q) - (get_local $s) ) - (call_import $qa) - (block - (i32.store offset=16 - (get_local $W) - (get_local $q) - ) - (i32.store offset=24 - (get_local $q) - (get_local $W) - ) - (br $do-once$27) + (i32.store offset=24 + (get_local $q) + (get_local $W) ) ) ) @@ -2446,7 +2429,6 @@ (get_local $q) (get_local $W) ) - (br $do-once$25) ) ) ) @@ -2905,7 +2887,6 @@ (get_local $i) (get_local $i) ) - (br $do-once$29) ) ) (if @@ -2958,7 +2939,6 @@ (get_local $i) (i32.const 0) ) - (br $do-once$29) ) (call_import $qa) ) @@ -3583,78 +3563,73 @@ (get_local $ka) ) ) - (block $do-once$40 - (if + (if + (i32.and + (i32.gt_u + (get_local $ea) + (get_local $ka) + ) (i32.and - (i32.gt_u - (get_local $ea) + (i32.lt_u (get_local $ka) + (i32.const 2147483647) ) - (i32.and - (i32.lt_u - (get_local $ka) - (i32.const 2147483647) - ) - (i32.ne - (get_local $ja) - (i32.const -1) - ) + (i32.ne + (get_local $ja) + (i32.const -1) ) ) - (if - (i32.lt_u - (set_local $e - (i32.and - (i32.add - (i32.sub - (get_local $ca) - (get_local $ka) - ) - (set_local $U - (i32.load - (i32.const 1688) - ) - ) - ) + ) + (if + (i32.lt_u + (set_local $e + (i32.and + (i32.add (i32.sub - (i32.const 0) - (get_local $U) + (get_local $ca) + (get_local $ka) + ) + (set_local $U + (i32.load + (i32.const 1688) + ) ) ) - ) - (i32.const 2147483647) - ) - (if - (i32.eq - (call_import $ta - (get_local $e) + (i32.sub + (i32.const 0) + (get_local $U) ) - (i32.const -1) ) - (block - (call_import $ta - (get_local $$) - ) - (br $label$break$d) + ) + (i32.const 2147483647) + ) + (if + (i32.eq + (call_import $ta + (get_local $e) ) - (block - (set_local $ma - (i32.add - (get_local $e) - (get_local $ka) - ) - ) - (br $do-once$40) + (i32.const -1) + ) + (block + (call_import $ta + (get_local $$) ) + (br $label$break$d) ) (set_local $ma - (get_local $ka) + (i32.add + (get_local $e) + (get_local $ka) + ) ) ) (set_local $ma (get_local $ka) ) ) + (set_local $ma + (get_local $ka) + ) ) (if (i32.ne @@ -4487,7 +4462,6 @@ (set_local $ya (get_local $Ba) ) - (br $do-once$57) ) ) ) @@ -4541,7 +4515,6 @@ (set_local $ya (get_local $e) ) - (br $do-once$57) ) (call_import $qa) ) @@ -4652,34 +4625,31 @@ (get_local $ya) (get_local $$) ) - (block $do-once$63 - (if - (set_local $V - (i32.load - (set_local $da - (i32.add - (get_local $ma) - (i32.const 16) - ) + (if + (set_local $V + (i32.load + (set_local $da + (i32.add + (get_local $ma) + (i32.const 16) ) ) ) - (if - (i32.lt_u + ) + (if + (i32.lt_u + (get_local $V) + (get_local $e) + ) + (call_import $qa) + (block + (i32.store offset=16 + (get_local $ya) (get_local $V) - (get_local $e) ) - (call_import $qa) - (block - (i32.store offset=16 - (get_local $ya) - (get_local $V) - ) - (i32.store offset=24 - (get_local $V) - (get_local $ya) - ) - (br $do-once$63) + (i32.store offset=24 + (get_local $V) + (get_local $ya) ) ) ) @@ -4710,7 +4680,6 @@ (get_local $V) (get_local $ya) ) - (br $label$break$e) ) ) ) @@ -5171,7 +5140,6 @@ (get_local $ka) (get_local $ka) ) - (br $do-once$50) ) ) (if @@ -5224,7 +5192,6 @@ (get_local $ka) (i32.const 0) ) - (br $do-once$50) ) (call_import $qa) ) @@ -5894,7 +5861,6 @@ (get_local $ja) (get_local $ja) ) - (br $do-once$42) ) ) (if @@ -5947,7 +5913,6 @@ (get_local $ja) (i32.const 0) ) - (br $do-once$42) ) (call_import $qa) ) @@ -6645,7 +6610,6 @@ (set_local $s (get_local $v) ) - (br $do-once$2) ) ) ) @@ -6699,7 +6663,6 @@ (set_local $s (get_local $j) ) - (br $do-once$2) ) (call_import $qa) ) @@ -6825,34 +6788,31 @@ (get_local $s) (get_local $g) ) - (block $do-once$6 - (if - (set_local $o - (i32.load - (set_local $l - (i32.add - (get_local $h) - (i32.const 16) - ) + (if + (set_local $o + (i32.load + (set_local $l + (i32.add + (get_local $h) + (i32.const 16) ) ) ) - (if - (i32.lt_u + ) + (if + (i32.lt_u + (get_local $o) + (get_local $j) + ) + (call_import $qa) + (block + (i32.store offset=16 + (get_local $s) (get_local $o) - (get_local $j) ) - (call_import $qa) - (block - (i32.store offset=16 - (get_local $s) - (get_local $o) - ) - (i32.store offset=24 - (get_local $o) - (get_local $s) - ) - (br $do-once$6) + (i32.store offset=24 + (get_local $o) + (get_local $s) ) ) ) @@ -6886,7 +6846,6 @@ (set_local $n (get_local $i) ) - (br $do-once$0) ) ) (block @@ -7331,7 +7290,6 @@ (set_local $y (get_local $B) ) - (br $do-once$10) ) ) ) @@ -7387,7 +7345,6 @@ (set_local $y (get_local $w) ) - (br $do-once$10) ) (call_import $qa) ) @@ -7498,34 +7455,31 @@ (get_local $y) (get_local $v) ) - (block $do-once$14 - (if - (set_local $h - (i32.load - (set_local $i - (i32.add - (get_local $f) - (i32.const 16) - ) + (if + (set_local $h + (i32.load + (set_local $i + (i32.add + (get_local $f) + (i32.const 16) ) ) ) - (if - (i32.lt_u + ) + (if + (i32.lt_u + (get_local $h) + (get_local $w) + ) + (call_import $qa) + (block + (i32.store offset=16 + (get_local $y) (get_local $h) - (get_local $w) ) - (call_import $qa) - (block - (i32.store offset=16 - (get_local $y) - (get_local $h) - ) - (i32.store offset=24 - (get_local $h) - (get_local $y) - ) - (br $do-once$14) + (i32.store offset=24 + (get_local $h) + (get_local $y) ) ) ) @@ -7553,7 +7507,6 @@ (get_local $h) (get_local $y) ) - (br $do-once$8) ) ) ) @@ -7820,228 +7773,224 @@ (get_local $m) (i32.const 0) ) - (block $do-once$16 - (if - (i32.and - (set_local $E - (i32.load - (i32.const 1212) - ) + (if + (i32.and + (set_local $E + (i32.load + (i32.const 1212) ) - (set_local $e - (i32.shl - (i32.const 1) - (get_local $G) - ) + ) + (set_local $e + (i32.shl + (i32.const 1) + (get_local $G) ) ) - (block - (set_local $F - (i32.shl - (get_local $D) - (if - (i32.eq + ) + (block + (set_local $F + (i32.shl + (get_local $D) + (if + (i32.eq + (get_local $G) + (i32.const 31) + ) + (i32.const 0) + (i32.sub + (i32.const 25) + (i32.shr_u (get_local $G) - (i32.const 31) - ) - (i32.const 0) - (i32.sub - (i32.const 25) - (i32.shr_u - (get_local $G) - (i32.const 1) - ) + (i32.const 1) ) ) ) ) - (set_local $b - (i32.load - (get_local $s) - ) + ) + (set_local $b + (i32.load + (get_local $s) ) - (loop $while-out$18 $while-in$19 - (if - (i32.eq - (i32.and - (i32.load offset=4 - (get_local $b) - ) - (i32.const -8) - ) - (get_local $D) - ) - (block - (set_local $H + ) + (loop $while-out$18 $while-in$19 + (if + (i32.eq + (i32.and + (i32.load offset=4 (get_local $b) ) - (set_local $I - (i32.const 130) - ) - (br $while-out$18) + (i32.const -8) ) + (get_local $D) ) - (if - (set_local $y - (i32.load - (set_local $n + (block + (set_local $H + (get_local $b) + ) + (set_local $I + (i32.const 130) + ) + (br $while-out$18) + ) + ) + (if + (set_local $y + (i32.load + (set_local $n + (i32.add (i32.add - (i32.add - (get_local $b) - (i32.const 16) - ) - (i32.shl - (i32.shr_u - (get_local $F) - (i32.const 31) - ) - (i32.const 2) + (get_local $b) + (i32.const 16) + ) + (i32.shl + (i32.shr_u + (get_local $F) + (i32.const 31) ) + (i32.const 2) ) ) ) ) - (block - (set_local $F - (i32.shl - (get_local $F) - (i32.const 1) - ) - ) - (set_local $b - (get_local $y) + ) + (block + (set_local $F + (i32.shl + (get_local $F) + (i32.const 1) ) ) - (block - (set_local $J - (get_local $n) - ) - (set_local $K - (get_local $b) - ) - (set_local $I - (i32.const 127) - ) - (br $while-out$18) + (set_local $b + (get_local $y) + ) + ) + (block + (set_local $J + (get_local $n) + ) + (set_local $K + (get_local $b) + ) + (set_local $I + (i32.const 127) + ) + (br $while-out$18) + ) + ) + (br $while-in$19) + ) + (if + (i32.eq + (get_local $I) + (i32.const 127) + ) + (if + (i32.lt_u + (get_local $J) + (i32.load + (i32.const 1224) + ) + ) + (call_import $qa) + (block + (i32.store + (get_local $J) + (get_local $m) + ) + (i32.store offset=24 + (get_local $m) + (get_local $K) + ) + (i32.store offset=12 + (get_local $m) + (get_local $m) + ) + (i32.store offset=8 + (get_local $m) + (get_local $m) ) ) - (br $while-in$19) ) (if (i32.eq (get_local $I) - (i32.const 127) + (i32.const 130) ) (if - (i32.lt_u - (get_local $J) - (i32.load - (i32.const 1224) + (i32.and + (i32.ge_u + (set_local $F + (i32.load + (set_local $b + (i32.add + (get_local $H) + (i32.const 8) + ) + ) + ) + ) + (set_local $i + (i32.load + (i32.const 1224) + ) + ) + ) + (i32.ge_u + (get_local $H) + (get_local $i) ) ) - (call_import $qa) (block + (i32.store offset=12 + (get_local $F) + (get_local $m) + ) (i32.store - (get_local $J) + (get_local $b) (get_local $m) ) - (i32.store offset=24 + (i32.store offset=8 (get_local $m) - (get_local $K) + (get_local $F) ) (i32.store offset=12 (get_local $m) - (get_local $m) + (get_local $H) ) - (i32.store offset=8 - (get_local $m) + (i32.store offset=24 (get_local $m) + (i32.const 0) ) - (br $do-once$16) - ) - ) - (if - (i32.eq - (get_local $I) - (i32.const 130) - ) - (if - (i32.and - (i32.ge_u - (set_local $F - (i32.load - (set_local $b - (i32.add - (get_local $H) - (i32.const 8) - ) - ) - ) - ) - (set_local $i - (i32.load - (i32.const 1224) - ) - ) - ) - (i32.ge_u - (get_local $H) - (get_local $i) - ) - ) - (block - (i32.store offset=12 - (get_local $F) - (get_local $m) - ) - (i32.store - (get_local $b) - (get_local $m) - ) - (i32.store offset=8 - (get_local $m) - (get_local $F) - ) - (i32.store offset=12 - (get_local $m) - (get_local $H) - ) - (i32.store offset=24 - (get_local $m) - (i32.const 0) - ) - (br $do-once$16) - ) - (call_import $qa) ) + (call_import $qa) ) ) ) - (block - (i32.store - (i32.const 1212) - (i32.or - (get_local $E) - (get_local $e) - ) - ) - (i32.store - (get_local $s) - (get_local $m) - ) - (i32.store offset=24 - (get_local $m) - (get_local $s) - ) - (i32.store offset=12 - (get_local $m) - (get_local $m) - ) - (i32.store offset=8 - (get_local $m) - (get_local $m) + ) + (block + (i32.store + (i32.const 1212) + (i32.or + (get_local $E) + (get_local $e) ) ) + (i32.store + (get_local $s) + (get_local $m) + ) + (i32.store offset=24 + (get_local $m) + (get_local $s) + ) + (i32.store offset=12 + (get_local $m) + (get_local $m) + ) + (i32.store offset=8 + (get_local $m) + (get_local $m) + ) ) ) (i32.store diff --git a/test/passes/remove-unused-brs.txt b/test/passes/remove-unused-brs.txt index d4c50563d..226065f3f 100644 --- a/test/passes/remove-unused-brs.txt +++ b/test/passes/remove-unused-brs.txt @@ -2,23 +2,27 @@ (memory 256 256) (func $b0-yes (param $i1 i32) (block $topmost + (nop) ) ) (func $b1 (param $i1 i32) (block $topmost - (i32.const 0) + (br $topmost + (i32.const 0) + ) ) ) (func $b2 (param $i1 i32) (block $topmost (block $inner - (br $topmost) + (nop) ) ) ) (func $b3-yes (param $i1 i32) (block $topmost (block $inner + (nop) ) ) ) @@ -34,7 +38,9 @@ (func $b5 (param $i1 i32) (block $topmost (block $inner - (i32.const 0) + (br $inner + (i32.const 0) + ) ) ) ) @@ -97,11 +103,15 @@ (i32.const 1) (block $block1 (i32.const 12) - (i32.const 1) + (br $topmost + (i32.const 1) + ) ) (block $block3 (i32.const 27) - (i32.const 2) + (br $topmost + (i32.const 2) + ) ) ) ) @@ -155,4 +165,77 @@ ) ) ) + (func $b16 + (block $a + (block $b + (block $c + (nop) + ) + (nop) + ) + (nop) + ) + (block $a + (block $b + (block $c + (nop) + ) + (nop) + ) + (nop) + ) + (block $a + (block $b + (block $c + (nop) + ) + (nop) + ) + (nop) + ) + ) + (func $b17 + (block $a + (if + (i32.const 0) + (block $block1 + (nop) + ) + (block $block3 + (nop) + ) + ) + ) + (block $a + (if + (i32.const 0) + (i32.const 1) + (block $block6 + (nop) + ) + ) + ) + (block $a + (if + (i32.const 0) + (block $block8 + (nop) + ) + (i32.const 1) + ) + ) + (block $c + (block $b + (if + (i32.const 0) + (block $block11 + (nop) + ) + (block $block13 + (nop) + ) + ) + ) + ) + ) ) diff --git a/test/passes/remove-unused-brs.wast b/test/passes/remove-unused-brs.wast index 8e1a557ef..2b3fb14d3 100644 --- a/test/passes/remove-unused-brs.wast +++ b/test/passes/remove-unused-brs.wast @@ -157,5 +157,78 @@ ) ) ) + (func $b16 + (block $a + (block $b + (block $c + (br $a) + ) + (br $a) + ) + (br $a) + ) + (block $a + (block $b + (block $c + (br $c) + ) + (br $b) + ) + (br $a) + ) + (block $a + (block $b + (block $c + (br $b) + ) + (br $a) + ) + (br $a) + ) + ) + (func $b17 + (block $a + (if + (i32.const 0) + (block + (br $a) + ) + (block + (br $a) + ) + ) + ) + (block $a + (if + (i32.const 0) + (i32.const 1) + (block + (br $a) + ) + ) + ) + (block $a + (if + (i32.const 0) + (block + (br $a) + ) + (i32.const 1) + ) + ) + (block $c + (block $b + (if + (i32.const 0) + (block + (br $b) + ) + (block + (br $c) + ) + ) + ) + ) + ) ) diff --git a/test/passes/vacuum.txt b/test/passes/vacuum.txt index bb76b2d82..d604cfa08 100644 --- a/test/passes/vacuum.txt +++ b/test/passes/vacuum.txt @@ -4,5 +4,28 @@ (i32.const 50) (i32.const 51) (i32.const 52) + (block $waka1 + (i32.const 53) + (br $waka1) + ) + (block $waka2 + (br $waka2) + ) + (block $waka3 + (br_table $waka3 $waka3 $waka3 + (i32.const 57) + ) + ) + (if + (i32.eqz + (i32.const 100) + ) + (i32.const 101) + ) + (if + (i32.const 102) + (i32.const 103) + ) + (i32.const 104) ) ) diff --git a/test/passes/vacuum.wast b/test/passes/vacuum.wast index 24dc32bcb..28125b969 100644 --- a/test/passes/vacuum.wast +++ b/test/passes/vacuum.wast @@ -7,6 +7,37 @@ (nop) (nop) (i32.const 52) + (block $waka1 + (i32.const 53) + (br $waka1) + (i32.const 54) + ) + (block $waka2 + (nop) + (br $waka2) + (i32.const 56) + ) + (block $waka3 + (br_table $waka3 $waka3 $waka3 + (i32.const 57) + ) + (i32.const 58) + ) + (if + (i32.const 100) + (nop) + (i32.const 101) + ) + (if + (i32.const 102) + (i32.const 103) + (nop) + ) + (if + (i32.const 104) + (nop) + (nop) + ) ) ) diff --git a/test/unit.fromasm b/test/unit.fromasm index 0b43f14fc..f3d978c88 100644 --- a/test/unit.fromasm +++ b/test/unit.fromasm @@ -222,15 +222,12 @@ ) (loop $while-out$10 $while-in$11 (br $while-out$10) - (br $while-in$11) ) (br $label$break$Lout) ) (loop $while-out$13 $while-in$14 (br $label$break$Lout) - (br $while-in$14) ) - (br $label$break$Lout) ) ) (loop $label$break$L1 $label$continue$L1 @@ -249,13 +246,11 @@ ) ) (br $label$break$L1) - (br $switch$17) ) (i32.const 1) (br $switch$17) ) (br $label$break$L3) - (br $switch$17) ) (br $label$break$L1) ) diff --git a/test/unit.fromasm.imprecise b/test/unit.fromasm.imprecise index f5ba55d90..5df8aef72 100644 --- a/test/unit.fromasm.imprecise +++ b/test/unit.fromasm.imprecise @@ -216,15 +216,12 @@ ) (loop $while-out$10 $while-in$11 (br $while-out$10) - (br $while-in$11) ) (br $label$break$Lout) ) (loop $while-out$13 $while-in$14 (br $label$break$Lout) - (br $while-in$14) ) - (br $label$break$Lout) ) ) (loop $label$break$L1 $label$continue$L1 @@ -243,13 +240,11 @@ ) ) (br $label$break$L1) - (br $switch$17) ) (i32.const 1) (br $switch$17) ) (br $label$break$L3) - (br $switch$17) ) (br $label$break$L1) ) |