| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | fix shl shift computation in getMaxBits | Alon Zakai | 2017-07-29 | 3 | -1/+19 |
| | | |||||
| * | fix shift computation in getMaxBits - in wasm only the lower 5 bits matter ↵ | Alon Zakai | 2017-07-29 | 3 | -4/+22 |
| | | | | | for a 32-bit shift | ||||
| * | do not combine a load/store offset with a constant pointer if it would wrap ↵ | Alon Zakai (kripken) | 2017-07-29 | 6 | -8/+63 |
| | | | | | a negative value to a positive one, as trapping is tricky | ||||
| * | fix import type detection of calls in comma operators; when the parent is a ↵ | Alon Zakai | 2017-07-27 | 11 | -67/+156 |
| | | | | | comma, it can't be a coersion (or that would have been the parent), so there is no coercion, so the result type is none (#1115) | ||||
| * | Merge pull request #1114 from WebAssembly/fuzz | Alon Zakai | 2017-07-27 | 6 | -2/+56 |
| |\ | | | | | Fuzz fixes | ||||
| | * | when finalizing a block in MergeBlocks, use its type, so that we don't need ↵ | Alon Zakai | 2017-07-24 | 3 | -1/+27 |
| | | | | | | | | | to consider type changes for its parent (changing it from a forced i32 to an unreachable might mean the parent needs to become unreachable too) | ||||
| | * | ignore untaken branches in determining block type | Alon Zakai | 2017-07-22 | 3 | -1/+29 |
| | | | |||||
| * | | fix asm2wasm wasm-only i64 switches with a large (>32 bit) offset #1109 (#1111) | Alon Zakai | 2017-07-26 | 8 | -22/+476 |
| |/ | |||||
| * | add api key (#1089) | Alon Zakai | 2017-07-21 | 1 | -1/+1 |
| | | |||||
| * | Optimizer support for atomic instructions (#1094) | Derek Schuff | 2017-07-21 | 13 | -77/+414 |
| | | | | | | | * Teach EffectAnalyzer not to reorder atomics wrt other memory operations. * Teach EffectAnalyzer not to reorder host operations with memory operations * Teach various passes about the operands of AtomicRMW and AtomicCmpxchg * Factor out some functions in DeadCodeElimination and MergeBlocks | ||||
| * | fix f32 frem in asm2wasm #1105 (#1106) | Alon Zakai | 2017-07-20 | 8 | -34/+126 |
| | | |||||
| * | Set stack size on MinGW to match the 8MB that is set for Visual Studio. (#1103) | juj | 2017-07-19 | 1 | -0/+1 |
| | | |||||
| * | improve WasmValidator::validateMemBytes, check for unreasonable sizes even ↵ | Alon Zakai | 2017-07-19 | 1 | -6/+6 |
| | | | | | type is unreachable (#1102) | ||||
| * | Merge pull request #1100 from WebAssembly/fuzz-4 | Alon Zakai | 2017-07-18 | 12 | -33/+180 |
| |\ | | | | | Yet more fuzz fixes | ||||
| | * | fix off-by-one in assertion in optimize-instructions | Alon Zakai | 2017-07-17 | 3 | -1/+30 |
| | | | |||||
| | * | fix vacuum bug on nop'ing an if whose body has brs that cause type changes ↵ | Alon Zakai | 2017-07-17 | 3 | -0/+28 |
| | | | | | | | | | when removed | ||||
| | * | add missing finalizations in removeUnusedBrs, when we change an if side and ↵ | Alon Zakai | 2017-07-17 | 1 | -0/+6 |
| | | | | | | | | | its outer block, we need to finalize the if first and then the block containing it | ||||
| | * | fix blockifyMerge logic - it needs to not skip code in the block we merge ↵ | Alon Zakai | 2017-07-17 | 6 | -32/+116 |
| | | | | | | | | | to. since that's a fairly specific functionality needed in removeUnusedBrs, move it to there | ||||
| * | | Fix wasm::read_file() to read correctly sized input strings in text mode. ↵ | juj | 2017-07-18 | 1 | -0/+6 |
| | | | | | | | | | (#1088) | ||||
| * | | Merge pull request #1095 from WebAssembly/fuzz-3 | Alon Zakai | 2017-07-18 | 28 | -83/+695 |
| |\| | | | | | More fuzz fixes | ||||
| | * | fix merge-blocks logic in call, call_indirect, select, we need to avoid any ↵ | Alon Zakai (kripken) | 2017-07-14 | 11 | -60/+307 |
| | | | | | | | | | danger of moving something past a side effect ; also fix an asm2wasm bug with call_indirect fixups; the call target may be a block, which we need to look through | ||||
| | * | handle an unreachable block with a reachable final element in merge-blocks | Alon Zakai (kripken) | 2017-07-14 | 3 | -0/+23 |
| | | | |||||
| | * | when removing an if-copy in coalesce-locals, if it's a tee, we do still need ↵ | Alon Zakai (kripken) | 2017-07-13 | 3 | -1/+64 |
| | | | | | | | | | the get in that arm. only when it is not a tee can we remove that arm and make the if-else into an if | ||||
| | * | fix validation of memBytes, if the load type is unreachable, we can't and ↵ | Alon Zakai (kripken) | 2017-07-13 | 2 | -3/+6 |
| | | | | | | | | | shouldn't try to validate | ||||
| | * | note changes when removing an if body in vacuum | Alon Zakai (kripken) | 2017-07-13 | 3 | -0/+44 |
| | | | |||||
| | * | optimize shifts of 0 | Alon Zakai | 2017-07-13 | 3 | -15/+44 |
| | | | |||||
| | * | zero shifts are not sign-extends | Alon Zakai | 2017-07-13 | 3 | -10/+80 |
| | | | |||||
| | * | handle an unreachable condition properly in vacuum if simplification | Alon Zakai (kripken) | 2017-07-13 | 3 | -0/+38 |
| | | | |||||
| | * | fix handling of an if in a tee without an else, in coalesce-locals | Alon Zakai (kripken) | 2017-07-13 | 3 | -1/+25 |
| | | | |||||
| | * | infinite loops have side effects | Alon Zakai (kripken) | 2017-07-13 | 5 | -8/+79 |
| | | | |||||
| * | | Fix wrong name in --help output (#1099) | Alan Mimms | 2017-07-17 | 1 | -1/+1 |
| | | | |||||
| * | | Validation for AtomicRMW and cmpxchg (#1092) | Derek Schuff | 2017-07-14 | 6 | -30/+57 |
| | | | | | | | | | Also fix cases where fail() had the arguments backwards. Wasn't an error because lol templates. Also fix printModuleComponent template to SFINAE on Expression* so we properly get the specialized version. | ||||
| * | | Added wasm-validator.cpp to build-js.sh (#1091) | Daniel Wirtz | 2017-07-13 | 1 | -0/+1 |
| |/ | |||||
| * | Merge pull request #1087 from WebAssembly/fuzz-2 | Alon Zakai | 2017-07-12 | 45 | -370/+1254 |
| |\ | | | | | Fuzz fixes | ||||
| | * | fix handling of unreachable br values in merge-blocks | Alon Zakai (kripken) | 2017-07-11 | 3 | -1/+35 |
| | | | |||||
| | * | fix coalesce-locals handling of set/tee local of an unreachable; we still ↵ | Alon Zakai (kripken) | 2017-07-11 | 4 | -14/+61 |
| | | | | | | | | | need the value, as it may do things | ||||
| | * | fix block removal in remove-unused-brs, even if not taken, if named, we must ↵ | Alon Zakai (kripken) | 2017-07-11 | 3 | -2/+73 |
| | | | | | | | | | preserve it | ||||
| | * | changing a set to a tee or vice versa needs to take into account the value ↵ | Alon Zakai (kripken) | 2017-07-11 | 5 | -4/+23 |
| | | | | | | | | | may be unreachable | ||||
| | * | handle unary and binary nodes that have implicit traps in vacuum | Alon Zakai (kripken) | 2017-07-11 | 5 | -1/+55 |
| | | | |||||
| | * | fix Const finalization and use it properly in br finalization in Precompute | Alon Zakai (kripken) | 2017-07-11 | 5 | -1/+77 |
| | | | |||||
| | * | loads may trap, do not remove them in vacuum unless the pass options allow that | Alon Zakai (kripken) | 2017-07-11 | 10 | -63/+449 |
| | | | |||||
| | * | properly handle if arm removal in vacuum | Alon Zakai (kripken) | 2017-07-11 | 3 | -0/+46 |
| | | | |||||
| | * | add the option to seek named breaks, not just taken breaks; refactor headers ↵ | Alon Zakai (kripken) | 2017-07-11 | 19 | -268/+352 |
| | | | | | | | | | to make this practical | ||||
| | * | refactor and improve break validation. breaks names are unique, so we don't ↵ | Alon Zakai (kripken) | 2017-07-11 | 4 | -18/+33 |
| | | | | | | | | | need a stack, and break targets must exist even if they are not actually taken | ||||
| | * | finalize new drops in SimplifyLocals | Alon Zakai (kripken) | 2017-07-11 | 3 | -0/+16 |
| | | | |||||
| | * | don't remove unreachable nodes in vaccuum, it can alter types, and dce does ↵ | Alon Zakai (kripken) | 2017-07-11 | 3 | -3/+39 |
| | | | | | | | | | that anyhow, let it do it's thing | ||||
| * | | Refactor validation failure and printing, validate atomic memory (#1090) | Derek Schuff | 2017-07-12 | 2 | -33/+76 |
| | | | |||||
| * | | Set up Travis to run build on various architectures using Alpine and deploy ↵ | Jakub Jirutka | 2017-07-12 | 1 | -36/+111 |
| | | | | | | | | | | | | | | | | | | | | | statically linked binaries to GH Releases (#1064) * Travis: Refactor config to use Build Stages * Travis: Add jobs for building on various architectures using Alpine * Travis: Build static binaries and deploy them to GH Releases | ||||
| * | | add docs and error hints when a Call should be a CallImport (#1081) | Alon Zakai | 2017-07-11 | 8 | -746/+1381 |
| |/ | | | | | | * add docs and error hints when a Call should be a CallImport * fix binaryen API docs in docs/ | ||||
| * | Factor wasm validator into a cpp file (#1086) | Derek Schuff | 2017-07-10 | 4 | -620/+685 |
| | | | | Also small cleanup to CMake libraries | ||||
 |
index : forks/binaryen.git | |
| summaryrefslogtreecommitdiff |