summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Make the linker always create a table segment (#722)Derek Schuff2016-09-302-0/+4
| | | | | | | Previously a table was only created if there were any address-taken functions. New module validation rules require the existence of a table for any call-indirects to validate (even if they are dead and never called). However this use case seems common enough that we might want to make it continue to work. So the linker now always creates an empty table segment (indicating an empty table).
* validate drop (#712)Alon Zakai2016-09-301-6/+1
|
* 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
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-09 23:36:04 +0000