summaryrefslogtreecommitdiff
path: root/src/wasm-binary.h
Commit message (Collapse)AuthorAgeFilesLines
...
* allow a maximum 0 size for a tableAlon Zakai2016-10-111-18/+18
|
* Don't create table sections for imported tables (#756)Derek Schuff2016-10-111-1/+3
| | | Previously the Print pass searched the imports for a table import and skipped printing a local table declaration if found. Instead this refactors to make importation explicit, and also create importation records (previously we were inconsistent about whether such records were created in the IR depending on the wast syntax).
* Binary 0xc: Remove arity on return instruction (#740)Derek Schuff2016-10-041-4/+2
| | | | Also skip binary roundtrip on stacky spec tests
* Write global mutability into wasm binary (#739)Derek Schuff2016-10-041-3/+6
| | | | | For compatibility with 0xc Also update opcode for get_global
* More binary updates for 0xc (#733)Derek Schuff2016-10-031-26/+51
| | | | | | | | | | | | | | | Refine tables to explicitly exist or not. Previously they were printed or encoded if it had any segments, or an initial or max size. However tables can be defined but empty, so we had a special hack that defined an empty segment when we really just wanted an empty table. Now, just make the existence explicit. Update Function table encoding for 0xc (Table and Element sections) Add end opcodes after function bodies (these are consumed by getMaybeBlock with the same behavior that it had before when it reached the function end, so no explicit decode) Update call_indirect encoding for 0xc (no arity, call target is last)
* Refactor Import::Kind and Export::Kind into an ExternalKind enum class (#725)Alon Zakai2016-10-031-25/+25
|
* fix signed int64 LEB bug with large negative values (#719)Alon Zakai2016-09-281-7/+43
|
* Type check block/loop/if sigs (#717)Alon Zakai2016-09-281-40/+12
| | | | | | * 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-26/+67
| | | | | | 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-261-1/+6
|
* 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-221-88/+137
| | | | | | 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
|
* fix start section in binary formatAlon Zakai2016-09-211-2/+2
|
* refactor wasm.h to remove numericIndex hacks, and move indexing to the parsersAlon Zakai2016-09-211-4/+6
|
* globals mutability fixesAlon Zakai2016-09-191-2/+7
|
* global parsingAlon Zakai2016-09-191-0/+1
|
* call_import changes: no more call_import, shared index space with functionsAlon Zakai2016-09-161-52/+69
|
* make sure to use the right order of operations when loading composite ints ↵Alon Zakai2016-09-071-3/+6
| | | | in binary format reading
* use globals in asm2wasmAlon Zakai2016-09-071-7/+42
|
* get_global and set_global use a Name instead of an Index, to be more ↵Alon Zakai2016-09-071-7/+7
| | | | consistent with refering to other global objects; e.g. this avoids ordering issues with imported vs non-imported globals
* import type for globalsAlon Zakai2016-09-071-6/+6
|
* import kindsAlon Zakai2016-09-071-5/+22
|
* export kindsAlon Zakai2016-09-071-9/+30
|
* SetGlobal should not return a valueAlon Zakai2016-09-071-1/+0
|
* update binary version to 0x0cAlon Zakai2016-09-071-1/+1
|
* loops no longer have an out label and other upstream loop updatesAlon Zakai2016-09-071-8/+3
|
* add drop and tee expressionsAlon Zakai2016-09-071-15/+30
|
* offset support in tableAlon Zakai2016-08-151-11/+26
|
* support function table initial and max sizes, and new printing formatAlon Zakai2016-08-121-0/+1
|
* support expressions in segment offsetsAlon Zakai2016-08-121-7/+13
|
* Fix trailing whitespace, single-character strings, checking map element ↵Dominic Chen2016-07-221-4/+4
| | | | presence, and eliminate explicit index counter (#633)
* binary support for wasm globals (#652)Alon Zakai2016-07-221-13/+70
|
* update spec tests, and handle some flux in call_indirect in upstreamAlon Zakai2016-07-061-0/+1
|
* add shared-constants.h for wasm constantsAlon Zakai2016-06-261-11/+11
|
* Add mode to wasm validator to check for web-environment constraints (#584)Derek Schuff2016-06-141-4/+0
| | | | | | | In the web embedding, modules are not allowed to import or export functions which have i64 params or return values. Add a mode to the validator to check for this, and add flags to s2wasm and wasm-as to enable or disable this check. Also add tests.
* use WASM_UNUSED in some places to fix compiler warning/error on unused ↵Alon Zakai2016-06-081-0/+5
| | | | variables we only use in asserts (#579)
* make call_indirect type a name, so that it is not a dependency on the ↵Alon Zakai2016-06-031-4/+5
| | | | module, which would break consistency and make some parallel passes tricky (#568)
* fix bugs found using afl (#546)Dominic Chen2016-05-311-4/+9
|
* use separate internal opcodes for binary variantsAlon Zakai2016-05-181-73/+89
|
* use separate internal opcodes for unary variantsAlon Zakai2016-05-181-37/+48
|
* spec test updates, and many validation fixesAlon Zakai2016-05-181-1/+1
|
* don't emit extra unnecessary blocks for loops in binary format (#523)Alon Zakai2016-05-171-2/+1
|
* fix binary reinterpret opcode bugAlon Zakai2016-05-131-2/+2
|
* Merge pull request #488 from WebAssembly/error_reportingAlon Zakai2016-05-121-9/+9
|\ | | | | Better error reporting
| * parse error detailsAlon Zakai2016-05-121-8/+8
| |
| * use exceptions consistently to report input errorsAlon Zakai2016-05-121-9/+9
| |
* | Use a class with implicit overflow checks for Address (#486)Derek Schuff2016-05-121-1/+1
|/ | | | It includes implicit conversion from u64 and implicit conversion to address_t. This makes it easier to use without ugly casting and but still gets the overflow checks.
* add error handling for binary errors in new spec testAlon Zakai2016-05-091-7/+7
|
* allow error handling in binary parsingAlon Zakai2016-05-091-1/+2
|