summaryrefslogtreecommitdiff
path: root/test
Commit message (Collapse)AuthorAgeFilesLines
* Pass options (#788)Alon Zakai2016-10-184-18/+57
| | | | * add PassOptions structure, and use it for new -Os param to wasm-opt
* add table and memory contents to metrics (#787)Alon Zakai2016-10-182-0/+18
|
* reorder locals after simplify-locals, to remove unused locals before ↵Alon Zakai2016-10-166-7468/+7386
| | | | coalesce-locals, making it much faster (#783)
* optimize out i32.and of -1Alon Zakai2016-10-155-145/+97
|
* optimize loads and stores that mask their values, as the load/store ↵Alon Zakai2016-10-154-378/+314
| | | | operation masks itself
* Merge pull request #778 from WebAssembly/passeAlon Zakai2016-10-1425-1877/+354
|\ | | | | Add remove-unused-functions to default passes
| * run remove-unused-functions by defaultAlon Zakai2016-10-1425-1877/+354
| |
* | Import memory instead of defining/exporting it when using emscripten glue (#777)Derek Schuff2016-10-1483-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 Tsuiki2016-10-142-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-fixAlon Zakai2016-10-132-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 Zakai2016-10-132-27/+97
| | | | | | | | must be dropped
* | handle globals in dceAlon Zakai2016-10-132-0/+10
|/
* Don't create a memory section for an imported memory; fixes #772 (#773)Benjamin Bouvier2016-10-133-0/+29
|
* update spec tests, now using binary-0xc branch as our stack test refactoring ↵Alon Zakai2016-10-121-0/+0
| | | | landed in upstream (#754)
* handle unreachable tee_local properly in coalesce-locals (#761)Alon Zakai2016-10-122-0/+20
|
* fix bug where we set memory max to the initial value if the max wasn't ↵Alon Zakai2016-10-129-0/+36
| | | | specified (#760)
* remove memory maximum in asm2wasm when memory growth is onAlon Zakai2016-10-114-4/+4
|
* if we see no asm.js function tables, the table size is 0Alon Zakai2016-10-1124-24/+24
|
* allow a maximum 0 size for a tableAlon Zakai2016-10-113-0/+14
|
* Don't create table sections for imported tables (#756)Derek Schuff2016-10-113-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 Zakai2016-10-083-28/+86
| | | | anyhow, and it just adds overhead to not ignore it
* Change print order of top-level module components (#751)Derek Schuff2016-10-07152-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 Zakai2016-10-0627-3674/+3670
|
* Dot s block signatures (#747)jgravelle-google2016-10-061254-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 Schuff2016-10-061249-5418/+5651
| | | | Corresponds to LLVM change https://reviews.llvm.org/D25122, r283502
* Update s2wasm for removal of store results (#749)Derek Schuff2016-10-061298-11549/+12279
| | | | Corresponds to LLVM change https://reviews.llvm.org/D25122
* Remove hard-coded paths from LLVM test auto-generator (#748)Derek Schuff2016-10-061-6/+11
| | | | Use the command-line instead. Also update the blacklist to handle new tests.
* DCE bugfix (#736)Alon Zakai2016-10-044-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 Zakai2016-10-044-4/+12
|
* Update i64 stores for 0xc (#731)jgravelle-google2016-10-046-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 Zakai2016-10-038-9876/+9836
| | | | isn't a default (#734)
* wasm-only additions: i32.cttz, copysign, popcnt (#729)Alon Zakai2016-10-025-1/+88
|
* fix vacuum big where we changed an unreachable node to a nop (#728)Alon Zakai2016-10-022-0/+19
|
* More wasm-only opts (#727)Alon Zakai2016-10-025-34/+757
| | | | | | * wasm-only loads and stores * wasm-only 32-bit bitcasts
* asm2wasm i64 support (#723)Alon Zakai2016-09-3010-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 Schuff2016-09-3071-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 Zakai2016-09-302-10/+12
|
* Update waterfall to 11453 and re-enable torture tests (#721)Derek Schuff2016-09-29105-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 Schuff2016-09-28150-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 Zakai2016-09-283-0/+12
|
* s2wasm: Do not add drops for void values (#718)Derek Schuff2016-09-2832-3968/+3072
| | | Fixes #708
* Type check block/loop/if sigs (#717)Alon Zakai2016-09-2834-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 Schuff2016-09-277-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 Zakai2016-09-265-0/+1205
|
* precompute breaks and returns (#715)Alon Zakai2016-09-254-1/+240
|
* optimize if(const)Alon Zakai2016-09-2411-167/+81
|
* precompute void expressions tooAlon Zakai2016-09-2410-96/+45
|
* fix a simplify-locals bug where we didn't notice and if already had a result ↵Alon Zakai2016-09-232-0/+55
| | | | value
* replace two drops in an if-else with one on the ifAlon Zakai2016-09-237-0/+100
|
* autoDrop fixAlon Zakai2016-09-237-59/+136
|