summaryrefslogtreecommitdiff
path: root/src/wasm.cpp
Commit message (Collapse)AuthorAgeFilesLines
* Move wasm.cpp and wasm-s-parser into a library (#796)Derek Schuff2016-10-201-198/+0
| | | | | Also moves the bulk of the code in wasm-s-parser into a cpp file. Allows namespace and #include cleanups, and improves j4 compile time by 20%. Should also make any future parser changes easier and more localized.
* Type check block/loop/if sigs (#717)Alon Zakai2016-09-281-0/+43
| | | | | | * 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-271-1/+1
| | | | | | Also updates the tests and has a few other changes for binary 0xc: Update nop/unrechable opcodes Fix for "name" section
* Update binary format toward 0xc (#704)Derek Schuff2016-09-221-15/+4
| | | | | | 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.
* global parsingAlon Zakai2016-09-191-0/+1
|
* support module operations in shell testsAlon Zakai2016-09-171-1/+0
|
* support assert_malformed in shell test runnerAlon Zakai2016-09-161-3/+0
|
* loops no longer have an out label and other upstream loop updatesAlon Zakai2016-09-071-8/+2
|
* support function table initial and max sizes, and new printing formatAlon Zakai2016-08-121-0/+2
|
* support expressions in segment offsetsAlon Zakai2016-08-121-0/+1
|
* binary support for wasm globals (#652)Alon Zakai2016-07-221-0/+1
|
* add shared-constants.h for wasm constantsAlon Zakai2016-06-261-0/+55
|
* add a precompute passAlon Zakai2016-06-181-0/+3
|
* note default in type checking of switchesAlon Zakai2016-06-011-0/+1
|
* type check loop output type properlyAlon Zakai2016-05-201-23/+48
|
* spec test updates, and many validation fixesAlon Zakai2016-05-181-34/+33
|
* break type system fixes, avoid spurious errors on mismatched typesAlon Zakai2016-05-131-1/+5
|
* add wasm.cpp which does full type detection for blocks, and prepare for full ↵Alon Zakai2016-04-291-0/+84
type checking everywhere