Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Pass options (#788) | Alon Zakai | 2016-10-18 | 4 | -18/+57 |
| | | | | * add PassOptions structure, and use it for new -Os param to wasm-opt | ||||
* | add table and memory contents to metrics (#787) | Alon Zakai | 2016-10-18 | 2 | -0/+18 |
| | |||||
* | reorder locals after simplify-locals, to remove unused locals before ↵ | Alon Zakai | 2016-10-16 | 6 | -7468/+7386 |
| | | | | coalesce-locals, making it much faster (#783) | ||||
* | optimize out i32.and of -1 | Alon Zakai | 2016-10-15 | 5 | -145/+97 |
| | |||||
* | optimize loads and stores that mask their values, as the load/store ↵ | Alon Zakai | 2016-10-15 | 4 | -378/+314 |
| | | | | operation masks itself | ||||
* | Merge pull request #778 from WebAssembly/passe | Alon Zakai | 2016-10-14 | 25 | -1877/+354 |
|\ | | | | | Add remove-unused-functions to default passes | ||||
| * | run remove-unused-functions by default | Alon Zakai | 2016-10-14 | 25 | -1877/+354 |
| | | |||||
* | | Import memory instead of defining/exporting it when using emscripten glue (#777) | Derek Schuff | 2016-10-14 | 83 | -166/+83 |
|/ | | | | | The emscripten JS module code creates the memory using the native wasm APIs, and imports that into the wasm module. | ||||
* | Do not use exported memory as a root set of RemoveUnusedFunctions pass (#763) | Taiju Tsuiki | 2016-10-14 | 2 | -0/+2 |
| | | | | | | | | * Do not use exported memory as a root set of RemoveUnusedFunctions pass RemoveUnusedFunctions pass of wasm-opt fails when the memory is exported. That's due to a wrong root set handling on the exported symbols. This CL fixes the failure by ignoring non-function exported symbol. | ||||
* | Merge pull request #775 from WebAssembly/sl-fix | Alon Zakai | 2016-10-13 | 2 | -27/+97 |
|\ | | | | | Fix simplify-locals when adding a value to a br_if | ||||
| * | when simplify-locals give br_if a value, the br_if also returns it, so it ↵ | Alon Zakai | 2016-10-13 | 2 | -27/+97 |
| | | | | | | | | must be dropped | ||||
* | | handle globals in dce | Alon Zakai | 2016-10-13 | 2 | -0/+10 |
|/ | |||||
* | Don't create a memory section for an imported memory; fixes #772 (#773) | Benjamin Bouvier | 2016-10-13 | 3 | -0/+29 |
| | |||||
* | update spec tests, now using binary-0xc branch as our stack test refactoring ↵ | Alon Zakai | 2016-10-12 | 1 | -0/+0 |
| | | | | landed in upstream (#754) | ||||
* | handle unreachable tee_local properly in coalesce-locals (#761) | Alon Zakai | 2016-10-12 | 2 | -0/+20 |
| | |||||
* | fix bug where we set memory max to the initial value if the max wasn't ↵ | Alon Zakai | 2016-10-12 | 9 | -0/+36 |
| | | | | specified (#760) | ||||
* | remove memory maximum in asm2wasm when memory growth is on | Alon Zakai | 2016-10-11 | 4 | -4/+4 |
| | |||||
* | if we see no asm.js function tables, the table size is 0 | Alon Zakai | 2016-10-11 | 24 | -24/+24 |
| | |||||
* | allow a maximum 0 size for a table | Alon Zakai | 2016-10-11 | 3 | -0/+14 |
| | |||||
* | Don't create table sections for imported tables (#756) | Derek Schuff | 2016-10-11 | 3 | -0/+29 |
| | | | Previously the Print pass searched the imports for a table import and skipped printing a local table declaration if found. Instead this refactors to make importation explicit, and also create importation records (previously we were inconsistent about whether such records were created in the IR depending on the wast syntax). | ||||
* | track unreachable code in coalesce-locals, we know what is unreachable ↵ | Alon Zakai | 2016-10-08 | 3 | -28/+86 |
| | | | | anyhow, and it just adds overhead to not ignore it | ||||
* | Change print order of top-level module components (#751) | Derek Schuff | 2016-10-07 | 152 | -676/+602 |
| | | | | | | | | 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 | 27 | -3674/+3670 |
| | |||||
* | Dot s block signatures (#747) | jgravelle-google | 2016-10-06 | 1254 | -4217/+4420 |
| | | | | | | | | | | * Support block signatures in s2wasm's .s format * Autogenerate tests * update cfg-stackify tests * Remove conflict files | ||||
* | Update for removal of loop's bottom label from LLVM (#750) | Derek Schuff | 2016-10-06 | 1249 | -5418/+5651 |
| | | | | Corresponds to LLVM change https://reviews.llvm.org/D25122, r283502 | ||||
* | Update s2wasm for removal of store results (#749) | Derek Schuff | 2016-10-06 | 1298 | -11549/+12279 |
| | | | | Corresponds to LLVM change https://reviews.llvm.org/D25122 | ||||
* | Remove hard-coded paths from LLVM test auto-generator (#748) | Derek Schuff | 2016-10-06 | 1 | -6/+11 |
| | | | | Use the command-line instead. Also update the blacklist to handle new tests. | ||||
* | DCE bugfix (#736) | Alon Zakai | 2016-10-04 | 4 | -0/+94 |
| | | | | | * fix a dce bug where it is invalid to truncate a block if it leaves a final element with a bad type (wasm doesn't always allow removing unreachable code) * add wast pass fuzzer | ||||
* | handle ifs with an i64 condition #741 (#742) | Alon Zakai | 2016-10-04 | 4 | -4/+12 |
| | |||||
* | Update i64 stores for 0xc (#731) | jgravelle-google | 2016-10-04 | 6 | -9/+26 |
| | | | | | | | | | | * Update i64 stores for 0xc * Update autogenerated LLVM tests * Update known torture test failures * Add i64.store32 test to unit.wast | ||||
* | don't create an unnecessary duplicate block in asm2wasm switches, when there ↵ | Alon Zakai | 2016-10-03 | 8 | -9876/+9836 |
| | | | | isn't a default (#734) | ||||
* | wasm-only additions: i32.cttz, copysign, popcnt (#729) | Alon Zakai | 2016-10-02 | 5 | -1/+88 |
| | |||||
* | fix vacuum big where we changed an unreachable node to a nop (#728) | Alon Zakai | 2016-10-02 | 2 | -0/+19 |
| | |||||
* | More wasm-only opts (#727) | Alon Zakai | 2016-10-02 | 5 | -34/+757 |
| | | | | | | * wasm-only loads and stores * wasm-only 32-bit bitcasts | ||||
* | asm2wasm i64 support (#723) | Alon Zakai | 2016-09-30 | 10 | -0/+1960 |
| | | | | | | | | | | | | * support i64 intrinsics from fastcomp, adding --wasm-only flag * refactor callImport logic in asm2wasm to avoid recomputing wasm types again * legalize illegal i64 params in exports and imports * do safe i64 binary ops depending on precision * fix addVar, only assert on names if we are using a name | ||||
* | Make the linker always create a table segment (#722) | Derek Schuff | 2016-09-30 | 71 | -3/+141 |
| | | | | | | | Previously a table was only created if there were any address-taken functions. New module validation rules require the existence of a table for any call-indirects to validate (even if they are dead and never called). However this use case seems common enough that we might want to make it continue to work. So the linker now always creates an empty table segment (indicating an empty table). | ||||
* | validate drop (#712) | Alon Zakai | 2016-09-30 | 2 | -10/+12 |
| | |||||
* | Update waterfall to 11453 and re-enable torture tests (#721) | Derek Schuff | 2016-09-29 | 105 | -7075/+6538 |
| | | | | | | | | Torture tests from the clang were disabled with the first 0xc udpate. This PR updates the tests to a new waterfall build and turns them on (also updating the known failures for 0xc). It also updates the download URL since mac and windows bots have been added to the waterfall (they are not up yet and support in this script is not tested yet). | ||||
* | Print the name of memory along with size (#720) | Derek Schuff | 2016-09-28 | 150 | -234/+234 |
| | | | | | 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. | ||||
* | fix signed int64 LEB bug with large negative values (#719) | Alon Zakai | 2016-09-28 | 3 | -0/+12 |
| | |||||
* | s2wasm: Do not add drops for void values (#718) | Derek Schuff | 2016-09-28 | 32 | -3968/+3072 |
| | | | Fixes #708 | ||||
* | Type check block/loop/if sigs (#717) | Alon Zakai | 2016-09-28 | 34 | -758/+770 |
| | | | | | | * type check using block/loop/if types provided in text and binary formats. * print if and loop sigs which were missing. * remove dsl from OptimizeInstructions as after those changes it needs rethinking. | ||||
* | Update binary encoding for block, loop, and if signatures (#711) | Derek Schuff | 2016-09-27 | 7 | -11/+11 |
| | | | | | | Also updates the tests and has a few other changes for binary 0xc: Update nop/unrechable opcodes Fix for "name" section | ||||
* | Make wasm-as emit the names section/debug info only with -g (#705) | Alon Zakai | 2016-09-26 | 5 | -0/+1205 |
| | |||||
* | precompute breaks and returns (#715) | Alon Zakai | 2016-09-25 | 4 | -1/+240 |
| | |||||
* | optimize if(const) | Alon Zakai | 2016-09-24 | 11 | -167/+81 |
| | |||||
* | precompute void expressions too | Alon Zakai | 2016-09-24 | 10 | -96/+45 |
| | |||||
* | fix a simplify-locals bug where we didn't notice and if already had a result ↵ | Alon Zakai | 2016-09-23 | 2 | -0/+55 |
| | | | | value | ||||
* | replace two drops in an if-else with one on the if | Alon Zakai | 2016-09-23 | 7 | -0/+100 |
| | |||||
* | autoDrop fix | Alon Zakai | 2016-09-23 | 7 | -59/+136 |
| |