summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Print the name of memory along with size (#720)Derek Schuff2016-09-281-0/+1
| | | | | Otherwise when we export it as "$0" it's an undefined name. The spec interpreter actually rejects this, although I think it's intended to work, given the tests in export.wast. wabt also accepts it.
* fix signed int64 LEB bug with large negative values (#719)Alon Zakai2016-09-281-7/+43
|
* s2wasm: Do not add drops for void values (#718)Derek Schuff2016-09-281-1/+5
| | | Fixes #708
* Type check block/loop/if sigs (#717)Alon Zakai2016-09-2810-338/+179
| | | | | | * type check using block/loop/if types provided in text and binary formats. * print if and loop sigs which were missing. * remove dsl from OptimizeInstructions as after those changes it needs rethinking.
* Update binary encoding for block, loop, and if signatures (#711)Derek Schuff2016-09-273-27/+71
| | | | | | Also updates the tests and has a few other changes for binary 0xc: Update nop/unrechable opcodes Fix for "name" section
* Make wasm-as emit the names section/debug info only with -g (#705)Alon Zakai2016-09-262-1/+11
|
* precompute breaks and returns (#715)Alon Zakai2016-09-252-16/+60
|
* optimize if(const)Alon Zakai2016-09-241-0/+15
|
* precompute void expressions tooAlon Zakai2016-09-241-12/+6
|
* Merge pull request #710 from WebAssembly/autodrop-fixAlon Zakai2016-09-234-55/+99
|\ | | | | Autodrop fixes
| * fix a simplify-locals bug where we didn't notice and if already had a result ↵Alon Zakai2016-09-231-3/+2
| | | | | | | | value
| * replace two drops in an if-else with one on the ifAlon Zakai2016-09-231-2/+7
| |
| * autoDrop fixAlon Zakai2016-09-232-50/+90
| |
* | Update binary encodings for call instructions and segments (#706)Derek Schuff2016-09-221-9/+10
|/ | | | | * Call instructions no longer encode the arity * Segments encode the linear memory index (0 for MVP)
* Update binary format toward 0xc (#704)Derek Schuff2016-09-222-103/+141
| | | | | | Updates section headers and formats for type, import, function, table, memory, and export sections, as well as "names" section, which is now a user section.
* fix use of endOfFunction in an uninitialized state in wasm-binaryAlon Zakai2016-09-211-1/+1
|
* error on putting spectest.print in a tableAlon Zakai2016-09-212-0/+15
|
* auto-generated import names must be unique by kindAlon Zakai2016-09-211-12/+19
|
* fix start section in binary formatAlon Zakai2016-09-211-2/+2
|
* new if label behaviorAlon Zakai2016-09-211-33/+21
|
* loop block signaturesAlon Zakai2016-09-211-2/+6
|
* refactor wasm.h to remove numericIndex hacks, and move indexing to the parsersAlon Zakai2016-09-216-69/+76
|
* function numbering fix in wasm-s-parserAlon Zakai2016-09-201-3/+8
|
* memory data parsing fixesAlon Zakai2016-09-201-1/+8
|
* table elem parsing fixesAlon Zakai2016-09-202-8/+28
|
* max memory and table fixesAlon Zakai2016-09-201-0/+4
|
* memory and table printing fixesAlon Zakai2016-09-201-8/+36
|
* memory parsing fixesAlon Zakai2016-09-201-3/+12
|
* memory and table parsing fixesAlon Zakai2016-09-201-7/+21
|
* table parsing and executing fixesAlon Zakai2016-09-202-10/+18
|
* mark table as present if seen as an importAlon Zakai2016-09-201-0/+1
|
* validate spectest.print as a functionAlon Zakai2016-09-201-1/+7
|
* support spectest.globalAlon Zakai2016-09-203-4/+25
|
* global importing fixes: use the right counter for globals and for functionsAlon Zakai2016-09-202-14/+59
|
* import parsing fixesAlon Zakai2016-09-192-12/+22
|
* globals mutability fixesAlon Zakai2016-09-195-6/+26
|
* global parsingAlon Zakai2016-09-195-5/+37
|
* new-style import parsingAlon Zakai2016-09-191-5/+40
|
* parsing and validation fixesAlon Zakai2016-09-172-12/+28
|
* support module operations in shell testsAlon Zakai2016-09-175-32/+68
|
* parse empty modules without errorAlon Zakai2016-09-161-0/+1
|
* use export name as internal name if no internal name, for better s-expr ↵Alon Zakai2016-09-161-0/+3
| | | | debugging
* br_if returns its valueAlon Zakai2016-09-164-8/+18
|
* block signaturesAlon Zakai2016-09-162-8/+26
|
* support assert_malformed in shell test runnerAlon Zakai2016-09-163-7/+6
|
* s-expression modules can have namesAlon Zakai2016-09-161-8/+14
|
* call_import changes: no more call_import, shared index space with functionsAlon Zakai2016-09-163-54/+81
|
* handle getTempRet0 having extra code, which can happen in emterpreter ↵Alon Zakai2016-09-151-1/+1
| | | | assertions mode
* fix remove-unused-brs bug when checking if it is safe to conditionalize codeAlon Zakai2016-09-152-13/+13
|
* Update s2wasm for 0xc changes (#698)Derek Schuff2016-09-152-24/+25
| | | | | | | | | | | Several updates for s2wasm and its tests: Add explicit drops where they are emitted by LLVM already Convert loops (which are still modeled in the old way by LLVM) to wrap them in an explicit block (for the exit label). This also allows simplifying the loop creation (no need to post-process the implicit block which is the loop's body). After the engines update to 0xc we should update LLVM to model loops in the 0xc way, but for now it remains compatible with 0xb and 0xc. Fix the order of the calls to setTee() when creating tee_locals Add an explicit drop when creating the _start entry function wrapper if needed Update dot_s and llvm_autogenerated tests to remove store-results optimization (and few other minor updates) Fix the test auto-updater to fail if subprocesses fail There still seems to be a validation failure when building libc (I think it's from the stricter drop rules, but it may be in the source rather than the compiler), but this at least makes Binaryen's tests pa
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-12 15:57:51 +0000