summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* fix shl shift computation in getMaxBitsAlon Zakai2017-07-291-1/+1
|
* fix shift computation in getMaxBits - in wasm only the lower 5 bits matter ↵Alon Zakai2017-07-291-2/+2
| | | | 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-291-2/+9
| | | | 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 Zakai2017-07-271-7/+11
| | | | 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/fuzzAlon Zakai2017-07-272-2/+4
|\ | | | | Fuzz fixes
| * when finalizing a block in MergeBlocks, use its type, so that we don't need ↵Alon Zakai2017-07-241-1/+1
| | | | | | | | 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 typeAlon Zakai2017-07-221-1/+3
| |
* | fix asm2wasm wasm-only i64 switches with a large (>32 bit) offset #1109 (#1111)Alon Zakai2017-07-261-1/+31
|/
* Optimizer support for atomic instructions (#1094)Derek Schuff2017-07-219-75/+155
| | | | | | * 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 Zakai2017-07-201-33/+20
|
* improve WasmValidator::validateMemBytes, check for unreasonable sizes even ↵Alon Zakai2017-07-191-6/+6
| | | | type is unreachable (#1102)
* Merge pull request #1100 from WebAssembly/fuzz-4Alon Zakai2017-07-184-25/+38
|\ | | | | Yet more fuzz fixes
| * fix off-by-one in assertion in optimize-instructionsAlon Zakai2017-07-171-1/+1
| |
| * fix vacuum bug on nop'ing an if whose body has brs that cause type changes ↵Alon Zakai2017-07-171-0/+1
| | | | | | | | when removed
| * add missing finalizations in removeUnusedBrs, when we change an if side and ↵Alon Zakai2017-07-171-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 Zakai2017-07-172-24/+30
| | | | | | | | 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. ↵juj2017-07-181-0/+6
| | | | | | | | (#1088)
* | Merge pull request #1095 from WebAssembly/fuzz-3Alon Zakai2017-07-189-23/+87
|\| | | | | More fuzz fixes
| * fix merge-blocks logic in call, call_indirect, select, we need to avoid any ↵Alon Zakai (kripken)2017-07-142-7/+21
| | | | | | | | 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-blocksAlon Zakai (kripken)2017-07-141-0/+9
| |
| * when removing an if-copy in coalesce-locals, if it's a tee, we do still need ↵Alon Zakai (kripken)2017-07-131-1/+3
| | | | | | | | 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-132-3/+6
| | | | | | | | shouldn't try to validate
| * note changes when removing an if body in vacuumAlon Zakai (kripken)2017-07-131-0/+4
| |
| * optimize shifts of 0Alon Zakai2017-07-131-0/+6
| |
| * zero shifts are not sign-extendsAlon Zakai2017-07-131-10/+14
| |
| * handle an unreachable condition properly in vacuum if simplificationAlon Zakai (kripken)2017-07-131-0/+6
| |
| * fix handling of an if in a tee without an else, in coalesce-localsAlon Zakai (kripken)2017-07-131-1/+3
| |
| * infinite loops have side effectsAlon Zakai (kripken)2017-07-131-1/+15
| |
* | Fix wrong name in --help output (#1099)Alan Mimms2017-07-171-1/+1
| |
* | Validation for AtomicRMW and cmpxchg (#1092)Derek Schuff2017-07-142-10/+37
|/ | | | 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.
* Merge pull request #1087 from WebAssembly/fuzz-2Alon Zakai2017-07-1223-293/+405
|\ | | | | Fuzz fixes
| * fix handling of unreachable br values in merge-blocksAlon Zakai (kripken)2017-07-111-1/+7
| |
| * fix coalesce-locals handling of set/tee local of an unreachable; we still ↵Alon Zakai (kripken)2017-07-111-2/+6
| | | | | | | | 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-111-2/+2
| | | | | | | | preserve it
| * changing a set to a tee or vice versa needs to take into account the value ↵Alon Zakai (kripken)2017-07-112-1/+2
| | | | | | | | may be unreachable
| * handle unary and binary nodes that have implicit traps in vacuumAlon Zakai (kripken)2017-07-111-1/+12
| |
| * fix Const finalization and use it properly in br finalization in PrecomputeAlon Zakai (kripken)2017-07-113-1/+10
| |
| * loads may trap, do not remove them in vacuum unless the pass options allow thatAlon Zakai (kripken)2017-07-111-1/+3
| |
| * properly handle if arm removal in vacuumAlon Zakai (kripken)2017-07-111-0/+4
| |
| * add the option to seek named breaks, not just taken breaks; refactor headers ↵Alon Zakai (kripken)2017-07-1117-268/+324
| | | | | | | | to make this practical
| * refactor and improve break validation. breaks names are unique, so we don't ↵Alon Zakai (kripken)2017-07-114-18/+33
| | | | | | | | need a stack, and break targets must exist even if they are not actually taken
| * finalize new drops in SimplifyLocalsAlon Zakai (kripken)2017-07-111-0/+2
| |
| * don't remove unreachable nodes in vaccuum, it can alter types, and dce does ↵Alon Zakai (kripken)2017-07-111-0/+2
| | | | | | | | that anyhow, let it do it's thing
* | Refactor validation failure and printing, validate atomic memory (#1090)Derek Schuff2017-07-122-33/+76
| |
* | add docs and error hints when a Call should be a CallImport (#1081)Alon Zakai2017-07-112-1/+9
|/ | | | | | * 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 Schuff2017-07-103-611/+675
| | | Also small cleanup to CMake libraries
* Fix visitor stubs in traversal templates #1084Derek Schuff2017-07-101-34/+34
| | | Making them valid means that derived implementations need not implement all of them, and can fall back on the ones in the template.
* Add IR, parsing, printing, and binary for atomic cmpxchg (#1083)Derek Schuff2017-07-108-14/+155
|
* Add IR, parsing and binary support for AtomicRMW instructions from wasm ↵Derek Schuff2017-07-068-68/+282
| | | | | threads proposal (#1082) Also leave a stub (but valid) visitAtomicRMW in the visitor template so that not all visitors need to implement this function yet.
* show a clear error on nulls in inline strings in binary format (#1068)Alon Zakai2017-07-051-1/+5
| | | | * show a clear error on nulls in inline strings (which we don't support, and in general are not seen in practice, but are technically valid wasm) in binary format reading
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-07 20:08:25 +0000