summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* validate drop (#712)Alon Zakai2016-09-303-16/+13
|
* Update waterfall to 11453 and re-enable torture tests (#721)Derek Schuff2016-09-29106-7077/+6544
| | | | | | | | Torture tests from the clang were disabled with the first 0xc udpate. This PR updates the tests to a new waterfall build and turns them on (also updating the known failures for 0xc). It also updates the download URL since mac and windows bots have been added to the waterfall (they are not up yet and support in this script is not tested yet).
* Print the name of memory along with size (#720)Derek Schuff2016-09-28151-234/+235
| | | | | 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-284-7/+55
|
* s2wasm: Do not add drops for void values (#718)Derek Schuff2016-09-2833-3969/+3077
| | | Fixes #708
* Type check block/loop/if sigs (#717)Alon Zakai2016-09-2846-1368/+1223
| | | | | | * 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-2710-38/+82
| | | | | | 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-269-18/+1239
|
* precompute breaks and returns (#715)Alon Zakai2016-09-256-17/+300
|
* Merge pull request #714 from WebAssembly/precompute-voidAlon Zakai2016-09-2414-266/+138
|\ | | | | Precompute void expressions, which helps ifs
| * optimize if(const)Alon Zakai2016-09-2412-167/+96
| |
| * precompute void expressions tooAlon Zakai2016-09-2411-108/+51
|/
* add a pass fuzzer script (#709)Alon Zakai2016-09-231-0/+146
|
* Merge pull request #710 from WebAssembly/autodrop-fixAlon Zakai2016-09-2315-114/+390
|\ | | | | Autodrop fixes
| * fix a simplify-locals bug where we didn't notice and if already had a result ↵Alon Zakai2016-09-233-3/+57
| | | | | | | | value
| * replace two drops in an if-else with one on the ifAlon Zakai2016-09-238-2/+107
| |
| * autoDrop fixAlon Zakai2016-09-239-109/+226
| |
* | 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.
* Merge pull request #703 from WebAssembly/spec-updateAlon Zakai2016-09-21105-3678/+4206
|\ | | | | Spec update - get us passing the 0xc spec tests (minus stacky stuff)
| * fix use of endOfFunction in an uninitialized state in wasm-binaryAlon Zakai2016-09-211-1/+1
| |
| * wasm.js needs wasm-emscripten.cppAlon Zakai2016-09-212-10/+11
| |
| * update spec tests and check.py's handling of themAlon Zakai2016-09-212-8/+8
| |
| * update wasm.js and binaryen.jsAlon Zakai2016-09-212-299/+323
| |
| * 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-212-41/+29
| |
| * loop block signaturesAlon Zakai2016-09-211-2/+6
| |
| * refactor wasm.h to remove numericIndex hacks, and move indexing to the parsersAlon Zakai2016-09-2114-81/+88
| |
| * 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-2033-120/+100
| |
| * 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-1925-406/+526
| |
| * global parsingAlon Zakai2016-09-195-5/+37
| |
| * new-style import parsingAlon Zakai2016-09-191-5/+40
| |
| * parsing and validation fixesAlon Zakai2016-09-176-19/+42
| |
| * 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