Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | fix break value removal in merge-blocks: a br_if's type changes without a ↵ | Alon Zakai | 2016-10-29 | 1 | -1/+10 | |
| | | | | value, so finalize the node, and remove the drop | |||||
* | handle the case of a br_if whose value is used in merge-blocks | Alon Zakai | 2016-10-29 | 1 | -14/+38 | |
| | ||||||
* | refactor get_local counting out of simplify-locals (#812) | Alon Zakai | 2016-10-28 | 2 | -19/+57 | |
| | ||||||
* | merge adjacent br_ifs | Alon Zakai | 2016-10-27 | 1 | -24/+46 | |
| | ||||||
* | recreate simply ifs | Alon Zakai | 2016-10-27 | 1 | -0/+25 | |
| | ||||||
* | recurse in optimizeBoolean (#809) | Alon Zakai | 2016-10-27 | 1 | -0/+10 | |
| | ||||||
* | Set the type of the implicit blocks we use for a loop body in s2wasm (#810) | jgravelle-google | 2016-10-27 | 1 | -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 Zakai | 2016-10-27 | 1 | -7/+17 | |
| | ||||||
* | Code pushing (#807) | Alon Zakai | 2016-10-26 | 5 | -0/+275 | |
| | | | Push code forward, potentially letting it not execute | |||||
* | update wasm.js and binaryen.js (#806) | Alon Zakai | 2016-10-26 | 1 | -0/+1 | |
| | ||||||
* | Conditionalize boolean operations based on cost (#805) | Alon Zakai | 2016-10-26 | 3 | -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 Schuff | 2016-10-26 | 3 | -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 Zakai | 2016-10-25 | 3 | -3/+79 | |
| | | | | | | * asm.js corrections to unit.asm.js test * optimize out bool&1 | |||||
* | Update s2wasm for reordered call_indirect (#802) | jgravelle-google | 2016-10-24 | 1 | -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 Zakai | 2016-10-22 | 2 | -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 Zakai | 2016-10-21 | 2 | -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 Zakai | 2016-10-21 | 1 | -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 Schuff | 2016-10-20 | 3 | -1815/+2023 | |
| | ||||||
* | Adds a pass to print call graphs in .dot (graphviz) format. (#794) | Michael Bebenita | 2016-10-20 | 4 | -0/+118 | |
| | ||||||
* | Move wasm.cpp and wasm-s-parser into a library (#796) | Derek Schuff | 2016-10-20 | 4 | -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 Zakai | 2016-10-20 | 2 | -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 Zakai | 2016-10-20 | 1 | -4/+10 | |
| | ||||||
* | update wasm-js.cpp code for asm2wasm constructor change (#793) | Alon Zakai | 2016-10-20 | 1 | -1/+1 | |
| | ||||||
* | Fix some C6246: "Local declaration of 'i' hides declaration of the same name ↵ | juj | 2016-10-20 | 2 | -5/+5 | |
| | | | | in outer scope." warnings. (#795) | |||||
* | Add support for i64.store[N] (#789) | jgravelle-google | 2016-10-19 | 1 | -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 Zakai | 2016-10-19 | 5 | -37/+111 | |
| | | | | And use them in wasm-opt and asm2wasm consistently and uniformly. | |||||
* | Minor improvements to the wasm-interpreter debug messages (#784) | jgravelle-google | 2016-10-18 | 2 | -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 Zakai | 2016-10-18 | 5 | -11/+59 | |
| | | | | * 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 | 1 | -0/+17 | |
| | ||||||
* | Use steady_clock to measure code execution time (#776) | Loo Rong Jie | 2016-10-17 | 2 | -6/+5 | |
| | ||||||
* | reorder locals after simplify-locals, to remove unused locals before ↵ | Alon Zakai | 2016-10-16 | 1 | -0/+1 | |
| | | | | coalesce-locals, making it much faster (#783) | |||||
* | optimize out i32.and of -1 | Alon Zakai | 2016-10-15 | 1 | -4/+9 | |
| | ||||||
* | optimize loads and stores that mask their values, as the load/store ↵ | Alon Zakai | 2016-10-15 | 1 | -0/+28 | |
| | | | | operation masks itself | |||||
* | Merge pull request #778 from WebAssembly/passe | Alon Zakai | 2016-10-14 | 1 | -15/+3 | |
|\ | | | | | Add remove-unused-functions to default passes | |||||
| * | run remove-unused-functions by default | Alon Zakai | 2016-10-14 | 1 | -0/+2 | |
| | | ||||||
| * | reuse code in add*Passes | Alon Zakai | 2016-10-14 | 1 | -15/+1 | |
| | | ||||||
* | | Import memory instead of defining/exporting it when using emscripten glue (#777) | Derek Schuff | 2016-10-14 | 3 | -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 ↵ | juj | 2016-10-14 | 1 | -7/+3 | |
|/ | | | | undefined behavior. (#769) | |||||
* | Do not use exported memory as a root set of RemoveUnusedFunctions pass (#763) | Taiju Tsuiki | 2016-10-14 | 1 | -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-fix | Alon Zakai | 2016-10-13 | 1 | -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 Zakai | 2016-10-13 | 1 | -4/+8 | |
| | | | | | | | | must be dropped | |||||
* | | Merge pull request #774 from WebAssembly/dce-fix | Alon Zakai | 2016-10-13 | 1 | -1/+3 | |
|\ \ | | | | | | | dce fix for globals | |||||
| * | | don't convert unreachable -> unreachable in dce | Alon Zakai | 2016-10-13 | 1 | -1/+1 | |
| | | | ||||||
| * | | handle globals in dce | Alon Zakai | 2016-10-13 | 1 | -0/+2 | |
| |/ | ||||||
* / | Expand "a.js" export check in binaryen.js to also work when running on ↵ | juj | 2016-10-13 | 1 | -1/+2 | |
|/ | | | | Windows. (#767) | |||||
* | Fix crash on loading archives, firstRegularData member field was not ↵ | juj | 2016-10-13 | 1 | -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 Bouvier | 2016-10-13 | 6 | -20/+32 | |
| | ||||||
* | handle unreachable tee_local properly in coalesce-locals (#761) | Alon Zakai | 2016-10-12 | 1 | -1/+5 | |
| | ||||||
* | fix bug where we set memory max to the initial value if the max wasn't ↵ | Alon Zakai | 2016-10-12 | 1 | -2/+0 | |
| | | | | specified (#760) | |||||
* | Implement binary search for coalesce-locals (#744) | Loo Rong Jie | 2016-10-12 | 1 | -27/+14 | |
| | | | | * Implement binary search using <algorithm> |