Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | 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 | |
| | ||||||
* | Harmonize the internal opcodes with the binary format (#433) | Alon Zakai | 2016-05-03 | 1 | -30/+40 | |
| | | | | | | * harmonize the internal opcodes with the binary format, so they clearly parallel, and also this helps us avoid needing the type to disambiguate * comment on GetLocal in C API | |||||
* | Check LEB128 encoding fits in destination integer (#408) | JF Bastien | 2016-04-30 | 1 | -7/+23 | |
| | | | | | | | | | | | * Check LEB128 encoding fits in destination integer As found by #404, the insignificant LEB128 bits were silently dropped when dealing with signed LEB values which tripped UBSAN in hello_world. This fixes #409. * Fix typo. | |||||
* | validate in binaryen shell and on wasm binaries, and fix type checking | Alon Zakai | 2016-04-29 | 1 | -0/+6 | |
| | ||||||
* | get the reinterpret opcodes right on float/int | Alon Zakai | 2016-04-28 | 1 | -6/+6 | |
| | ||||||
* | fix size detection on reinterpret operations in binary format | Alon Zakai | 2016-04-28 | 1 | -2/+2 | |
| | ||||||
* | avoid dynamic allocas (#410) | Alon Zakai | 2016-04-28 | 1 | -2/+3 | |
| | ||||||
* | just use a simple vector in data segments | Alon Zakai | 2016-04-27 | 1 | -8/+6 | |
| | ||||||
* | allocate only expressions in arenas - functions, imports, exports, function ↵ | Alon Zakai | 2016-04-27 | 1 | -15/+14 | |
| | | | | types, can more simply be held by unique_ptrs on the owning module. this avoids need to coordinate arena allocation for their elements, and only the far more plentiful expression nodes are a perf factor anyhow | |||||
* | Remove UB (#405) | JF Bastien | 2016-04-27 | 1 | -8/+6 | |
| | | | | | ubsan fails with: wasm-binary.h:97:32: runtime error: left shift of negative value -1 Also use type_traits for is_signed. | |||||
* | Split construction, scanning, and building phases of S2WasmBuilder (#400) | Derek Schuff | 2016-04-27 | 1 | -1/+1 | |
| | | | | | | | | | | | Instead of doing all of the S2Wasm work in the constructor, split construction, scanning (to determine implemented functions) and building of the wasm module. This allows the linker to get the symbol information (e.g. implemented functions) without having to build an entire module (which will be useful for archives) and to allow the linker to link a new object into the existing one by building the wasm module in place on the existing module. | |||||
* | add an ArenaVector for internal array allocations in expression nodes | Alon Zakai | 2016-04-26 | 1 | -111/+113 | |
| | ||||||
* | emit ifs in an optimized way in binary format | Alon Zakai | 2016-04-26 | 1 | -2/+16 | |
| | ||||||
* | use arities in calls | Alon Zakai | 2016-04-25 | 1 | -3/+9 | |
| | ||||||
* | use arities on switch | Alon Zakai | 2016-04-25 | 1 | -4/+4 | |
| | ||||||
* | use arities on returns | Alon Zakai | 2016-04-25 | 1 | -4/+6 | |
| | ||||||
* | use arities on breaks | Alon Zakai | 2016-04-25 | 1 | -4/+4 | |
| | ||||||
* | allow allocations on side threads (#365) | Alon Zakai | 2016-04-24 | 1 | -3/+1 | |
| | ||||||
* | fix conversion opcodes (#381) | Alon Zakai | 2016-04-22 | 1 | -44/+44 | |
| | ||||||
* | br_table offsets are int32s, not lebs | Alon Zakai | 2016-04-22 | 1 | -4/+4 | |
| | ||||||
* | put segments in right order | Alon Zakai | 2016-04-21 | 1 | -4/+6 | |
| | ||||||
* | function toplevels is a list | Alon Zakai | 2016-04-21 | 1 | -6/+6 | |
| | ||||||
* | ifs in the binary format always have a break scope | Alon Zakai | 2016-04-21 | 1 | -12/+23 | |
| | ||||||
* | fix if and else bodies, which can be lists | Alon Zakai | 2016-04-21 | 1 | -13/+11 | |
| | ||||||
* | fix loop binary parsing | Alon Zakai | 2016-04-21 | 1 | -4/+19 | |
| | ||||||
* | if condition is popped from before, not pre-order inline | Alon Zakai | 2016-04-21 | 1 | -3/+3 | |
| | ||||||
* | update br_table in binary format | Alon Zakai | 2016-04-21 | 1 | -13/+8 | |
| | ||||||
* | fix a reinterpret opcode | Alon Zakai | 2016-04-21 | 1 | -1/+1 | |
| | ||||||
* | update eqz opcodes | Alon Zakai | 2016-04-21 | 1 | -3/+2 | |
| | ||||||
* | name unnamed functions in binaries | Alon Zakai | 2016-04-21 | 1 | -1/+1 | |
| | ||||||
* | function ending fixes | Alon Zakai | 2016-04-21 | 1 | -16/+15 | |
| |