Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | allow a maximum 0 size for a table | Alon Zakai | 2016-10-11 | 1 | -18/+18 | |
| | ||||||
* | Don't create table sections for imported tables (#756) | Derek Schuff | 2016-10-11 | 1 | -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 Schuff | 2016-10-04 | 1 | -4/+2 | |
| | | | | Also skip binary roundtrip on stacky spec tests | |||||
* | Write global mutability into wasm binary (#739) | Derek Schuff | 2016-10-04 | 1 | -3/+6 | |
| | | | | | For compatibility with 0xc Also update opcode for get_global | |||||
* | More binary updates for 0xc (#733) | Derek Schuff | 2016-10-03 | 1 | -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 Zakai | 2016-10-03 | 1 | -25/+25 | |
| | ||||||
* | fix signed int64 LEB bug with large negative values (#719) | Alon Zakai | 2016-09-28 | 1 | -7/+43 | |
| | ||||||
* | Type check block/loop/if sigs (#717) | Alon Zakai | 2016-09-28 | 1 | -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 Schuff | 2016-09-27 | 1 | -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 Zakai | 2016-09-26 | 1 | -1/+6 | |
| | ||||||
* | Update binary encodings for call instructions and segments (#706) | Derek Schuff | 2016-09-22 | 1 | -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 Schuff | 2016-09-22 | 1 | -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-binary | Alon Zakai | 2016-09-21 | 1 | -1/+1 | |
| | ||||||
* | fix start section in binary format | Alon Zakai | 2016-09-21 | 1 | -2/+2 | |
| | ||||||
* | refactor wasm.h to remove numericIndex hacks, and move indexing to the parsers | Alon Zakai | 2016-09-21 | 1 | -4/+6 | |
| | ||||||
* | globals mutability fixes | Alon Zakai | 2016-09-19 | 1 | -2/+7 | |
| | ||||||
* | global parsing | Alon Zakai | 2016-09-19 | 1 | -0/+1 | |
| | ||||||
* | call_import changes: no more call_import, shared index space with functions | Alon Zakai | 2016-09-16 | 1 | -52/+69 | |
| | ||||||
* | make sure to use the right order of operations when loading composite ints ↵ | Alon Zakai | 2016-09-07 | 1 | -3/+6 | |
| | | | | in binary format reading | |||||
* | use globals in asm2wasm | Alon Zakai | 2016-09-07 | 1 | -7/+42 | |
| | ||||||
* | get_global and set_global use a Name instead of an Index, to be more ↵ | Alon Zakai | 2016-09-07 | 1 | -7/+7 | |
| | | | | consistent with refering to other global objects; e.g. this avoids ordering issues with imported vs non-imported globals | |||||
* | import type for globals | Alon Zakai | 2016-09-07 | 1 | -6/+6 | |
| | ||||||
* | import kinds | Alon Zakai | 2016-09-07 | 1 | -5/+22 | |
| | ||||||
* | export kinds | Alon Zakai | 2016-09-07 | 1 | -9/+30 | |
| | ||||||
* | SetGlobal should not return a value | Alon Zakai | 2016-09-07 | 1 | -1/+0 | |
| | ||||||
* | update binary version to 0x0c | Alon Zakai | 2016-09-07 | 1 | -1/+1 | |
| | ||||||
* | loops no longer have an out label and other upstream loop updates | Alon Zakai | 2016-09-07 | 1 | -8/+3 | |
| | ||||||
* | add drop and tee expressions | Alon Zakai | 2016-09-07 | 1 | -15/+30 | |
| | ||||||
* | offset support in table | Alon Zakai | 2016-08-15 | 1 | -11/+26 | |
| | ||||||
* | support function table initial and max sizes, and new printing format | Alon Zakai | 2016-08-12 | 1 | -0/+1 | |
| | ||||||
* | support expressions in segment offsets | Alon Zakai | 2016-08-12 | 1 | -7/+13 | |
| | ||||||
* | Fix trailing whitespace, single-character strings, checking map element ↵ | Dominic Chen | 2016-07-22 | 1 | -4/+4 | |
| | | | | presence, and eliminate explicit index counter (#633) | |||||
* | binary support for wasm globals (#652) | Alon Zakai | 2016-07-22 | 1 | -13/+70 | |
| | ||||||
* | update spec tests, and handle some flux in call_indirect in upstream | Alon Zakai | 2016-07-06 | 1 | -0/+1 | |
| | ||||||
* | add shared-constants.h for wasm constants | Alon Zakai | 2016-06-26 | 1 | -11/+11 | |
| | ||||||
* | Add mode to wasm validator to check for web-environment constraints (#584) | Derek Schuff | 2016-06-14 | 1 | -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 Zakai | 2016-06-08 | 1 | -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 Zakai | 2016-06-03 | 1 | -4/+5 | |
| | | | | module, which would break consistency and make some parallel passes tricky (#568) | |||||
* | fix bugs found using afl (#546) | Dominic Chen | 2016-05-31 | 1 | -4/+9 | |
| | ||||||
* | use separate internal opcodes for binary variants | Alon Zakai | 2016-05-18 | 1 | -73/+89 | |
| | ||||||
* | use separate internal opcodes for unary variants | Alon Zakai | 2016-05-18 | 1 | -37/+48 | |
| | ||||||
* | spec test updates, and many validation fixes | Alon Zakai | 2016-05-18 | 1 | -1/+1 | |
| | ||||||
* | don't emit extra unnecessary blocks for loops in binary format (#523) | Alon Zakai | 2016-05-17 | 1 | -2/+1 | |
| | ||||||
* | fix binary reinterpret opcode bug | Alon Zakai | 2016-05-13 | 1 | -2/+2 | |
| | ||||||
* | Merge pull request #488 from WebAssembly/error_reporting | Alon Zakai | 2016-05-12 | 1 | -9/+9 | |
|\ | | | | | Better error reporting | |||||
| * | parse error details | Alon Zakai | 2016-05-12 | 1 | -8/+8 | |
| | | ||||||
| * | use exceptions consistently to report input errors | Alon Zakai | 2016-05-12 | 1 | -9/+9 | |
| | | ||||||
* | | Use a class with implicit overflow checks for Address (#486) | Derek Schuff | 2016-05-12 | 1 | -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 test | Alon Zakai | 2016-05-09 | 1 | -7/+7 | |
| | ||||||
* | allow error handling in binary parsing | Alon Zakai | 2016-05-09 | 1 | -1/+2 | |
| |