Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Change print order of top-level module components (#751) | Derek Schuff | 2016-10-07 | 5 | -34/+34 |
| | | | | | | | | In wast files, the spec and WABT require imports to appear before any non-import definitions (see also https://github.com/WebAssembly/wabt/issues/152). This patch re-orders visitModule in the wast printer to meet this requirement, and more or less match the order of the binary sections. Also remove extraneous whitespace around table definitions. | ||||
* | Require unique names in binaryen IR (#746) | Alon Zakai | 2016-10-06 | 1 | -1/+1 |
| | |||||
* | Print the name of memory along with size (#720) | Derek Schuff | 2016-09-28 | 5 | -17/+17 |
| | | | | | Otherwise when we export it as "$0" it's an undefined name. The spec interpreter actually rejects this, although I think it's intended to work, given the tests in export.wast. wabt also accepts it. | ||||
* | Update binary encoding for block, loop, and if signatures (#711) | Derek Schuff | 2016-09-27 | 2 | -6/+6 |
| | | | | | | Also updates the tests and has a few other changes for binary 0xc: Update nop/unrechable opcodes Fix for "name" section | ||||
* | optimize if(const) | Alon Zakai | 2016-09-24 | 2 | -120/+24 |
| | |||||
* | precompute void expressions too | Alon Zakai | 2016-09-24 | 2 | -60/+0 |
| | |||||
* | autoDrop fix | Alon Zakai | 2016-09-23 | 2 | -9/+15 |
| | |||||
* | br_if returns its value | Alon Zakai | 2016-09-16 | 2 | -9/+15 |
| | |||||
* | block signatures | Alon Zakai | 2016-09-16 | 2 | -6/+6 |
| | |||||
* | call_import changes: no more call_import, shared index space with functions | Alon Zakai | 2016-09-16 | 4 | -256/+256 |
| | |||||
* | optimize if-else to br_if when in a block | Alon Zakai | 2016-09-10 | 3 | -46/+40 |
| | |||||
* | autodrop if body if no else | Alon Zakai | 2016-09-07 | 2 | -3/+9 |
| | |||||
* | use eqz as an optimization | Alon Zakai | 2016-09-07 | 2 | -43/+25 |
| | |||||
* | new validation checks for upcoming spec tests | Alon Zakai | 2016-09-07 | 3 | -5/+5 |
| | |||||
* | new export syntax in spec repo | Alon Zakai | 2016-09-07 | 4 | -10/+10 |
| | |||||
* | new import syntax in spec repo | Alon Zakai | 2016-09-07 | 4 | -14/+14 |
| | |||||
* | export kinds | Alon Zakai | 2016-09-07 | 4 | -7/+7 |
| | |||||
* | update tests | Alon Zakai | 2016-09-07 | 1 | -4/+4 |
| | |||||
* | loops no longer have an out label and other upstream loop updates | Alon Zakai | 2016-09-07 | 3 | -149/+143 |
| | |||||
* | call_indirect now has the target at the end | Alon Zakai | 2016-09-07 | 2 | -3/+3 |
| | |||||
* | add drop and tee expressions | Alon Zakai | 2016-09-07 | 7 | -1294/+1919 |
| | |||||
* | offset support in table | Alon Zakai | 2016-08-15 | 2 | -3/+3 |
| | |||||
* | support function table initial and max sizes, and new printing format | Alon Zakai | 2016-08-12 | 2 | -3/+6 |
| | |||||
* | support expressions in segment offsets | Alon Zakai | 2016-08-12 | 3 | -13/+11 |
| | |||||
* | more RemoveUnusedName opts: merge names when possible, and do block/loop ↵ | Alon Zakai | 2016-07-20 | 2 | -87/+75 |
| | | | | merging based on their names | ||||
* | avoid label variable usage in relooper for forward branches, just use a ↵ | Alon Zakai | 2016-07-20 | 4 | -977/+841 |
| | | | | stack of blocks for them. after this change, only irreducible control flow should cause label variable usage | ||||
* | add more relooper testing and improve existing | Alon Zakai | 2016-07-20 | 7 | -342/+2562 |
| | |||||
* | Don't emit empty array literals in trace output (#631) | Alon Zakai | 2016-07-13 | 1 | -39/+39 |
| | | | | * don't emit empty array literals in trace output | ||||
* | relooper tracing + fixes | Alon Zakai | 2016-07-12 | 3 | -236/+1369 |
| | |||||
* | allow multiple traces | Alon Zakai | 2016-07-12 | 2 | -9/+6 |
| | |||||
* | add a tracing option to the c api, which logs out a runnable program from c ↵ | Alon Zakai | 2016-07-12 | 4 | -0/+1070 |
| | | | | api calls | ||||
* | add a relooper test for duff's device, showing irreducible control flow and ↵ | Alon Zakai | 2016-07-07 | 2 | -0/+106 |
| | | | | helper var use | ||||
* | validate set_local types against the function #618 (#620) | Alon Zakai | 2016-07-06 | 2 | -1/+33 |
| | |||||
* | quote names in s-format that need it | Alon Zakai | 2016-07-05 | 2 | -7/+7 |
| | |||||
* | Relooper switch support (#617) | Alon Zakai | 2016-07-02 | 2 | -2/+52 |
| | | | | | | * support switches in relooper and c api * update relooper fuzzer for switches | ||||
* | add c api method to interpret a module, calling its start method (#601) | Alon Zakai | 2016-06-25 | 2 | -0/+34 |
| | |||||
* | finalize blocks properly in relooper (#600) | Alon Zakai | 2016-06-24 | 2 | -0/+25 |
| | |||||
* | add BinaryenExpressionPrint to c api (#599) | Alon Zakai | 2016-06-24 | 2 | -0/+5 |
| | |||||
* | test only c api examples; c++ api is internal and unstable, it is tested by ↵ | Alon Zakai | 2016-06-21 | 2 | -67/+0 |
| | | | | our own codebase | ||||
* | make call_indirect type a name, so that it is not a dependency on the ↵ | Alon Zakai | 2016-06-03 | 1 | -1/+1 |
| | | | | module, which would break consistency and make some parallel passes tricky (#568) | ||||
* | refactor walk logic into walk* and doWalk* methods, for a more regular API ↵ | Alon Zakai | 2016-05-30 | 1 | -1/+1 |
| | | | | that is clearer where it should be overridden (#551) | ||||
* | add a pass that eliminates duplicate functions | Alon Zakai | 2016-05-28 | 1 | -33/+0 |
| | |||||
* | notice only branches out in EffectAnalyzer, internal control flow can be ↵ | Alon Zakai | 2016-05-19 | 1 | -26/+4 |
| | | | | ignored (#530) | ||||
* | vacuum after passes that create garbage; this makes the total time better | Alon Zakai | 2016-05-19 | 1 | -7/+1 |
| | |||||
* | vacuum away everything not tied down | Alon Zakai | 2016-05-19 | 1 | -85/+10 |
| | |||||
* | use separate internal opcodes for binary variants | Alon Zakai | 2016-05-18 | 4 | -52/+52 |
| | |||||
* | use separate internal opcodes for unary variants | Alon Zakai | 2016-05-18 | 1 | -11/+11 |
| | |||||
* | spec test updates, and many validation fixes | Alon Zakai | 2016-05-18 | 2 | -340/+348 |
| | |||||
* | Merge pull request #507 from WebAssembly/coalesce-locals | Alon Zakai | 2016-05-16 | 1 | -19/+11 |
|\ | | | | | Coalesce locals | ||||
| * | add cfg-building traversal and a pass to coalesce locals using it | Alon Zakai | 2016-05-15 | 1 | -19/+11 |
| | |