summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
...
* fix break value removal in merge-blocks: a br_if's type changes without a ↵Alon Zakai2016-10-291-1/+10
| | | | value, so finalize the node, and remove the drop
* handle the case of a br_if whose value is used in merge-blocksAlon Zakai2016-10-291-14/+38
|
* refactor get_local counting out of simplify-locals (#812)Alon Zakai2016-10-282-19/+57
|
* merge adjacent br_ifsAlon Zakai2016-10-271-24/+46
|
* recreate simply ifsAlon Zakai2016-10-271-0/+25
|
* recurse in optimizeBoolean (#809)Alon Zakai2016-10-271-0/+10
|
* Set the type of the implicit blocks we use for a loop body in s2wasm (#810)jgravelle-google2016-10-271-0/+1
| | | | | | | Loops are modeled in Binaryen IR as having a Block as a body. The block is added to module walkers and validated like a normal block. In s2wasm when we add the blocks, we need to make sure that the type of the loop body matches the type of the loop itself, or we run into issues.
* optimize ne of 0 in a boolean context (#808)Alon Zakai2016-10-271-7/+17
|
* Code pushing (#807)Alon Zakai2016-10-265-0/+275
| | | Push code forward, potentially letting it not execute
* update wasm.js and binaryen.js (#806)Alon Zakai2016-10-261-0/+1
|
* Conditionalize boolean operations based on cost (#805)Alon Zakai2016-10-263-1/+297
| | | When we have expensive | expensive, and both are boolean, then we can execute one of them conditionally if it doesn't have side effects.
* Binary 0xd changes (#803)Derek Schuff2016-10-263-209/+240
| | | | | | | | | | | | | | | | | | | | | * Renumber opcodes for 0xd * Unified type encoding * Add reserved flags fields to host instructions and call_indirect * Rename flags->reserved * Fix line numbers in wast parser Also don't throw if the memory is defined in the same Element as the export of memory (the validity is checked later anyway). * Skip spec binary.wast The spec testsuite is still on 0xc, so 0xd doesn't match. In order to update to 0xd we need to implement some additional functionality for the import test, namely (register)
* Optimize out bool & 1 (#804)Alon Zakai2016-10-253-3/+79
| | | | | | * asm.js corrections to unit.asm.js test * optimize out bool&1
* Update s2wasm for reordered call_indirect (#802)jgravelle-google2016-10-241-3/+2
| | | | | | | | | | | | | | | * Update s2wasm for reordered call_indirect https://reviews.llvm.org/D25708 fixed call_indirect for 0xc by reordering the operands. s2wasm needs to be aware of that too. * Update llvm_autogenerated tests * Update torture-s tests * run auto_update_tests * update handwritten dot_s test that had call_indirect with args
* fix binary format regression from 9afa80951a3e9e59d5348780370a8b67d829ded1 - ↵Alon Zakai2016-10-222-22/+13
| | | | we must handle float literals carefully to not change their sign bit on some platforms/compilers, and that commit made relevant functions non-inline which hit a bug (#801)
* pass PassOptions to OptimizingIncrementalModuleBuilder, so that it can pass ↵Alon Zakai2016-10-212-8/+8
| | | | them to all the PassRunners it creates, letting them have the proper options at all times
* LinearExecutionWalker cleanups: call noteNonLinear for only necessary ↵Alon Zakai2016-10-211-1/+8
| | | | blocks, as some do not have branches, and add a missing call for unreachable which just like return halts control flow
* Move wasm binary reader and writer from the header file into libwasm (#797)Derek Schuff2016-10-203-1815/+2023
|
* Adds a pass to print call graphs in .dot (graphviz) format. (#794)Michael Bebenita2016-10-204-0/+118
|
* Move wasm.cpp and wasm-s-parser into a library (#796)Derek Schuff2016-10-204-1759/+1848
| | | | | Also moves the bulk of the code in wasm-s-parser into a cpp file. Allows namespace and #include cleanups, and improves j4 compile time by 20%. Should also make any future parser changes easier and more localized.
* Add priority to copies on backedges (#791)Alon Zakai2016-10-202-1/+33
| | | | | | | | * add a coalesce-locals test for costly backedges * add script to strip local names out, for convenient diffing * prioritize backedge copies
* Optimize to i64.store[less] (#792)Alon Zakai2016-10-201-4/+10
|
* update wasm-js.cpp code for asm2wasm constructor change (#793)Alon Zakai2016-10-201-1/+1
|
* Fix some C6246: "Local declaration of 'i' hides declaration of the same name ↵juj2016-10-202-5/+5
| | | | in outer scope." warnings. (#795)
* Add support for i64.store[N] (#789)jgravelle-google2016-10-191-4/+4
| | | | | | | | | | | | * Add support for i64.store[N] Previously storing i64 in the interpreter assumed an 8byte store. Stores like i64.store8 would then use the special-case i64 storing code, when they could just use the i32.store8 code. * Add printf test for interpreter * Update wasm.js
* Add -O0,-O1,etc. options (#790)Alon Zakai2016-10-195-37/+111
| | | | And use them in wasm-opt and asm2wasm consistently and uniformly.
* Minor improvements to the wasm-interpreter debug messages (#784)jgravelle-google2016-10-182-8/+67
| | | | | | | | | | | * Minor improvements to the wasm-interpreter debug messages 1. Indent nested blocks for more readable structure (with numeric labels to make it even clearer) 2. Print the names of the variables used for NOTE_EVALs 3. Print the values of arguments when entering a function call * Move Indenter class to wasm-interpreter.cpp
* Pass options (#788)Alon Zakai2016-10-185-11/+59
| | | | * add PassOptions structure, and use it for new -Os param to wasm-opt
* add table and memory contents to metrics (#787)Alon Zakai2016-10-181-0/+17
|
* Use steady_clock to measure code execution time (#776)Loo Rong Jie2016-10-172-6/+5
|
* reorder locals after simplify-locals, to remove unused locals before ↵Alon Zakai2016-10-161-0/+1
| | | | coalesce-locals, making it much faster (#783)
* optimize out i32.and of -1Alon Zakai2016-10-151-4/+9
|
* optimize loads and stores that mask their values, as the load/store ↵Alon Zakai2016-10-151-0/+28
| | | | operation masks itself
* Merge pull request #778 from WebAssembly/passeAlon Zakai2016-10-141-15/+3
|\ | | | | Add remove-unused-functions to default passes
| * run remove-unused-functions by defaultAlon Zakai2016-10-141-0/+2
| |
| * reuse code in add*PassesAlon Zakai2016-10-141-15/+1
| |
* | Import memory instead of defining/exporting it when using emscripten glue (#777)Derek Schuff2016-10-143-18/+33
| | | | | | | | | | The emscripten JS module code creates the memory using the native wasm APIs, and imports that into the wasm module.
* | Fix crash when loading archive files, dereferencing iterator .end() is ↵juj2016-10-141-7/+3
|/ | | | undefined behavior. (#769)
* Do not use exported memory as a root set of RemoveUnusedFunctions pass (#763)Taiju Tsuiki2016-10-141-1/+3
| | | | | | | | * 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-131-4/+8
|\ | | | | 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-131-4/+8
| | | | | | | | must be dropped
* | Merge pull request #774 from WebAssembly/dce-fixAlon Zakai2016-10-131-1/+3
|\ \ | | | | | | dce fix for globals
| * | don't convert unreachable -> unreachable in dceAlon Zakai2016-10-131-1/+1
| | |
| * | handle globals in dceAlon Zakai2016-10-131-0/+2
| |/
* / Expand "a.js" export check in binaryen.js to also work when running on ↵juj2016-10-131-1/+2
|/ | | | Windows. (#767)
* Fix crash on loading archives, firstRegularData member field was not ↵juj2016-10-131-1/+1
| | | | initialized to null which caused dereferencing a garbage pointer. (#770)
* Don't create a memory section for an imported memory; fixes #772 (#773)Benjamin Bouvier2016-10-136-20/+32
|
* handle unreachable tee_local properly in coalesce-locals (#761)Alon Zakai2016-10-121-1/+5
|
* fix bug where we set memory max to the initial value if the max wasn't ↵Alon Zakai2016-10-121-2/+0
| | | | specified (#760)
* Implement binary search for coalesce-locals (#744)Loo Rong Jie2016-10-121-27/+14
| | | | * Implement binary search using <algorithm>