summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* fix emitting of unreachable ifs (#944)Alon Zakai2017-03-141-13/+11
|
* finalize interim ifs in relooper, and other if handling issues (#940)Alon Zakai2017-03-133-1/+14
|
* Wasm h to cpp (#926)jgravelle-google2017-03-1026-1035/+1410
| | | | | | | | | | | | | | | | | | | | | | | | * Move WasmType function implementations to wasm.cpp * Move Literal methods to wasm.cpp * Reorder wasm.cpp shared constants back to top * Move expression functions to wasm.cpp * Finish moving things to wasm.cpp * Split out Literal into its own .h/.cpp. Also factor out common wasm-type module * Remove unneeded/transitive includes from wasm.h * Add comment to try/check methods * Rename tryX/checkX methods to getXOrNull * Add missing include that should fix appveyor build breakage * More appveyor
* optimize pow (#934)Alon Zakai2017-03-104-0/+72
| | | | | | * optimize pow(x,2) => x*x * optimize pow(x, 0.5) => sqrt(x)
* fix sign-ext opt issues (#935)Alon Zakai2017-03-091-11/+15
| | | | | | * fix a bug where compared sign-exts of different sizes were turned into zero-exts * fix a bug where we consider an almost sign-ext as ok to change the sign of a load inside it, ignoring that the load has the extra shifting
* use a single space for pretty printing of wasts, so massive wasts are less ↵Alon Zakai2017-03-091-1/+1
| | | | unruly (#928)
* Local CSE (#930)Alon Zakai2017-03-085-0/+222
| | | Simple local common subexpression elimination. Useful mostly to reduce code size (as VMs do GVN etc.). Enabled by default in -Oz.
* Use 3 modes for potentially trapping ops in asm2wasm (#929)Alon Zakai2017-03-072-56/+132
| | | * use 3 modes for potentially trapping ops in asm2wasm: allow (just emit a potentially trapping op), js (do exactly what js does, even if it takes a slow ffi to do it), and clamp (avoid the trap by clamping as necessary)
* stop doing dce in -O0, which was just need temporarily while browsers figure ↵Alon Zakai2017-03-061-3/+0
| | | | out the spec (#932)
* do not merge a drop out of an if if the sides have different types, then the ↵Alon Zakai2017-02-281-5/+9
| | | | if would be invalid (#927)
* asm2wasm import overloading fix (#924)Alon Zakai2017-02-281-1/+2
| | | | * asm2wasm should not promote an overloaded import result to f64 if it is a single type and void
* Fixes compilation error on clang (#925)Kazuki Oikawa2017-02-271-1/+1
|
* fix BINARYEN_PASS_DEBUG option (#908)Alon Zakai2017-02-236-5/+25
| | | | | * fix BINARYEN_PASS_DEBUG option * Add isNested property to passRunner
* Refactor AsmConstWalker to use smaller subfunctions (#923)jgravelle-google2017-02-231-35/+61
| | | | | | * Refactor AsmConstWalker to use smaller subfunctions * Replace cashew::IStrings with Names
* Default Walker subclasses to using Visitor<SubType> (#921)jgravelle-google2017-02-2328-58/+58
| | | | Most module walkers use PostWalker<T, Visitor<T>>, let that pattern be expressed as simply PostWalker<T>
* Fully handle EM_ASM in s2wasm (#910)jgravelle-google2017-02-235-29/+83
| | | | | | | | | | | | * Fully handle EM_ASM in s2wasm * Iterate with size_ts, remember to erase from importsMap as well * Fix dot_s test EM_ASM signatures * Move Name out to its own file, support/name.h * Move removeImportsWithSubstring out of Module class
* fix asm2wasm import type setting - set the type of used calls based o… (#920)Alon Zakai2017-02-211-9/+16
| | | | * fix asm2wasm import type setting - set the type of used calls based on the context, early, so it's valid in the optimizer
* read unknown users sections as binary data stored on the Module (#918)Alon Zakai2017-02-214-4/+29
|
* allow traversing the inits of globals (#917)Alon Zakai2017-02-211-1/+6
|
* clean up raw pointer import->functionType, make it a Name like everything ↵Alon Zakai2017-02-1711-33/+36
| | | | else (#915)
* allow traversing the offset inits of table/memory segments (#916)Alon Zakai2017-02-171-2/+18
|
* fix a sign/unsigned compare compiler warningAlon Zakai2017-02-161-2/+2
|
* finish PickLoadSigns passAlon Zakai2017-02-162-8/+10
|
* refactor sign/zero extension code into nice headers, and prepare ↵Alon Zakai2017-02-167-97/+258
| | | | PickLoadSigns pass
* fix and clean up fallthrough logic in OptimizeInstructionsAlon Zakai (kripken)2017-02-161-22/+18
|
* optimize a compare of a load_s and a sign-extend into a load_u and a cheaper ↵Alon Zakai (kripken)2017-02-161-0/+18
| | | | zero-extend
* take into account loads into local info in OptimizeInstructionsAlon Zakai (kripken)2017-02-161-7/+10
|
* use local info about maxBits and sign-extendedness in OptimizeInstructionsAlon Zakai (kripken)2017-02-161-11/+120
| | | | fix the maxBits of a signed load, which this uncovered - all the bits may be used in such a case
* remove unneeded masks using getMaxBitsAlon Zakai (kripken)2017-02-161-3/+16
|
* tiny refactoring in OptimizeInstructions, for clarityAlon Zakai (kripken)2017-02-161-7/+8
|
* fix fuzz testcase, xor maxBits is the max, not the minAlon Zakai (kripken)2017-02-161-2/+2
|
* handle fallthrough values in load_s/u and sign/zero-extend optimizationAlon Zakai (kripken)2017-02-161-6/+30
|
* handle load in getMaxBitsAlon Zakai (kripken)2017-02-161-0/+2
|
* handle tee_local in getMaxBitsAlon Zakai (kripken)2017-02-161-0/+3
|
* optimize out a sign-ext into a store of the same sizeAlon Zakai (kripken)2017-02-161-0/+6
|
* optimize out add/sub of 0Alon Zakai (kripken)2017-02-161-1/+9
|
* optimize sign-extends to a booleanAlon Zakai (kripken)2017-02-161-0/+4
|
* optimize sign-extends to eqzAlon Zakai (kripken)2017-02-161-0/+7
|
* optimize sign-extends to neAlon Zakai (kripken)2017-02-161-2/+2
|
* Optimize "squared" operations (#905)Alon Zakai2017-02-161-23/+86
| | | | * optimize 'almost' sign extends: when we can remove one entirely, then extra shifts can be left behind. with that in place, we can then optimize 'squared' operations like shl on shl, as doing so does not break our sign extend opts
* optimize linear sums (#904)Alon Zakai2017-02-162-1/+111
|
* Optimize sign-extends (#902)Alon Zakai2017-02-161-18/+139
| | | | | | * optimize sign-extend output * optimize sign-extend input
* update wasm version to 0x01 (#913)Alon Zakai2017-02-161-1/+1
| | | | | | * update wasm version to 0x01, in prep for release, and since browsers are ready to accept it * update wasm.js
* Fix emitting of unreachable block/if/loop (#911)Alon Zakai2017-02-164-10/+69
| | | | | | | | | | | | | | | | | | | | | | * an unreachable block is one with an unreachable child, plus no breaks * document new difference between binaryen IR and wasm * fix relooper missing finalize * add a bunch of tests * don't assume that test/*.wast files print to themselves exactly; print to from.wast. this allows wast tests with comments in them * emit unreachable blocks as (block .. unreachable) unreachable * if without else and unreachable ifTrue is still not unreachable, it should be none * update wasm.js * cleanups * empty blocks have none type
* Optimize precise mode integer ops (#907)Alon Zakai2017-02-162-383/+83
| | | | | | * improve precise integer operations: call into a wasm function to do the possibly-trapping div/rem, which handles the corner cases, instead of an ffi. also fix a bug in the existing parallel 64-bit code for this * remove no longer needed wasm.js-post.js file (it moved into emscripten repo)
* Hide dead code (#909)Loo Rong Jie2017-02-151-0/+8
|
* asm2wasm debuginfo (#895)Alon Zakai2017-02-076-8/+204
| | | | | | | | | | | | * parse file/line comments in asm.js into debug intrinsics * convert debug intrinsics into annotations, and print them * ignore --debuginfo if not emitting text, as wasm binaries don't support that yet * emit full debug info when -g and emitting text; when -g and emitting binary, all we can do is the Names section * update wasm.js
* Improve handling of implicit traps (#898)Alon Zakai2017-02-069-60/+121
| | | | | | | | * add --ignore-implicit-traps option, and by default do not ignore them, to properly preserve semantics * implicit traps can be reordered, but are side effects and should not be removed * add testing for --ignore-implicit-traps
* Remove unused captures to fix warnings/errors when compiling with Clang (#896)Eric Holk2017-02-033-5/+3
|
* only read first 4 bytes to check if a file is a wasm binary (#894)Alon Zakai2017-02-021-3/+8
|
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-08 10:41:34 +0000