Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | support expressions in segment offsets | Alon Zakai | 2016-08-12 | 1 | -3/+3 | |
| | ||||||
* | wast function type name desugaring is changing in spec:301 (#654) | Alon Zakai | 2016-07-28 | 1 | -2/+6 | |
| | ||||||
* | Fix trailing whitespace, single-character strings, checking map element ↵ | Dominic Chen | 2016-07-22 | 1 | -47/+39 | |
| | | | | presence, and eliminate explicit index counter (#633) | |||||
* | support wasm globals (#650) | Alon Zakai | 2016-07-21 | 1 | -6/+60 | |
| | ||||||
* | fix unreachable constructor without allocator (#643) | Alon Zakai | 2016-07-16 | 1 | -2/+2 | |
| | ||||||
* | add support for symbol assignments, closes #4422 (#615) | Dominic Chen | 2016-07-11 | 1 | -0/+3 | |
| | | | Adds support for aliases to objects, to go along with the existing support for aliases to functions. | |||||
* | fix if type; if one is none and the other is concrete, still none (#575) | Alon Zakai | 2016-06-06 | 1 | -1/+9 | |
| | ||||||
* | make call_indirect type a name, so that it is not a dependency on the ↵ | Alon Zakai | 2016-06-03 | 1 | -5/+1 | |
| | | | | module, which would break consistency and make some parallel passes tricky (#568) | |||||
* | fix bugs found using afl (#546) | Dominic Chen | 2016-05-31 | 1 | -0/+3 | |
| | ||||||
* | add getBits and not-equals helper funcs for Literal | Alon Zakai | 2016-05-28 | 1 | -0/+12 | |
| | ||||||
* | update functions map in RemoveUnusedFunctions (#545) | Alon Zakai | 2016-05-26 | 1 | -0/+8 | |
| | ||||||
* | type check loop output type properly | Alon Zakai | 2016-05-20 | 1 | -2/+6 | |
| | ||||||
* | use separate internal opcodes for binary variants | Alon Zakai | 2016-05-18 | 1 | -7/+59 | |
| | ||||||
* | use separate internal opcodes for unary variants | Alon Zakai | 2016-05-18 | 1 | -16/+27 | |
| | ||||||
* | spec test updates, and many validation fixes | Alon Zakai | 2016-05-18 | 1 | -1/+40 | |
| | ||||||
* | Use typedef instead of explicit type (#503) | JF Bastien | 2016-05-14 | 1 | -1/+1 | |
| | ||||||
* | Fix the maximum memory size to be valid. (#492) | Dan Gohman | 2016-05-13 | 1 | -1/+2 | |
| | ||||||
* | Use a class with implicit overflow checks for Address (#486) | Derek Schuff | 2016-05-12 | 1 | -4/+26 | |
| | | | | 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. | |||||
* | Introduce a separate type for linear memory addresses (#477) | Derek Schuff | 2016-05-11 | 1 | -14/+16 | |
| | | | | | | | We've been using size_t (and other things) for addresses, which is generally wrong because it depends on the host, when it should in fact depend on the target. This is a partial fix for #278 (i.e. it's the right fix, I don't think it's applied quite everywhere yet). | |||||
* | fix block finalize(type) (#457) | Alon Zakai | 2016-05-07 | 1 | -1/+1 | |
| | ||||||
* | add a return type parameter to call and call_import in the C API. we need it ↵ | Alon Zakai | 2016-05-06 | 1 | -0/+4 | |
| | | | | since we don't know the type while building functions | |||||
* | Merge pull request #439 from WebAssembly/c-api-more | Alon Zakai | 2016-05-05 | 1 | -0/+4 | |
|\ | | | | | Validation in C API | |||||
| * | fix set_local finalize() | Alon Zakai | 2016-05-05 | 1 | -0/+4 | |
| | | ||||||
* | | Fix NaN / 0 (#442) | JF Bastien | 2016-05-05 | 1 | -4/+30 | |
|/ | | | As discussed in: https://github.com/WebAssembly/spec/pull/282#issuecomment-217280544 | |||||
* | Nicer shift masks (#431) | JF Bastien | 2016-05-04 | 1 | -7/+13 | |
| | | | | | | | | * Nicer shift masks * Yet nicer shift mask. * Fix typo. | |||||
* | Harmonize the internal opcodes with the binary format (#433) | Alon Zakai | 2016-05-03 | 1 | -2/+8 | |
| | | | | | | * 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 | |||||
* | Merge pull request #427 from WebAssembly/c-api-nice | Alon Zakai | 2016-05-03 | 1 | -1/+9 | |
|\ | | | | | C API | |||||
| * | kitchen sink test for c api | Alon Zakai | 2016-05-03 | 1 | -0/+6 | |
| | | ||||||
| * | add a default finalize() so it is valid to call on any node | Alon Zakai | 2016-05-02 | 1 | -1/+3 | |
| | | ||||||
* | | Fix signed integer overflow UB (#430) | JF Bastien | 2016-05-03 | 1 | -6/+6 | |
| | | | | | | This puts us back where #404 wanted to be: all UB that ubsan knows about now causes an abort. This ins't to say that it's all gone, merely that our tests don't trigger any more UB which ubsan knows how to find :-) | |||||
* | | Fix shift UB (#429) | JF Bastien | 2016-05-03 | 1 | -6/+6 | |
| | | | | | | Getting close to finishing #404. | |||||
* | | Fix UB with FP divide by zero (#424) | JF Bastien | 2016-05-02 | 1 | -2/+40 | |
| | | | | | | Another fix for #404. | |||||
* | | Fix memcpy UB (#422) | JF Bastien | 2016-05-02 | 1 | -1/+1 | |
|/ | | | Can't call memcpy with size of 0 and nullptr init. | |||||
* | add wasm.cpp which does full type detection for blocks, and prepare for full ↵ | Alon Zakai | 2016-04-29 | 1 | -5/+12 | |
| | | | | type checking everywhere | |||||
* | just use a simple vector in data segments | Alon Zakai | 2016-04-27 | 1 | -3/+8 | |
| | ||||||
* | use an arena vector for switch targets | Alon Zakai | 2016-04-27 | 1 | -3/+2 | |
| | ||||||
* | allocate only expressions in arenas - functions, imports, exports, function ↵ | Alon Zakai | 2016-04-27 | 1 | -18/+16 | |
| | | | | 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 | |||||
* | add an ArenaVector for internal array allocations in expression nodes | Alon Zakai | 2016-04-26 | 1 | -66/+89 | |
| | ||||||
* | update MemorySize => CurrentMemory | Alon Zakai | 2016-04-18 | 1 | -2/+2 | |
| | ||||||
* | remove the AllocatingModule class, and just make Module have allocations. ↵ | Alon Zakai | 2016-04-18 | 1 | -5/+2 | |
| | | | | the distinction is not really that useful, and passes do need to allocate, so we would need to pass around AllocatingModules all around anyhow. (#361) | |||||
* | index locals, so that get_local and set_local have just an index, and local ↵ | Alon Zakai | 2016-04-18 | 1 | -12/+62 | |
| | | | | names are kept on the Function object (#354) | |||||
* | rename function locals, to params and vars, which together are all the ↵ | Alon Zakai | 2016-04-14 | 1 | -2/+2 | |
| | | | | locals. preparation for #336 (#349) | |||||
* | dyn_cast => dynCast | Alon Zakai | 2016-04-11 | 1 | -1/+1 | |
| | ||||||
* | add counter for expression ids | Alon Zakai | 2016-04-09 | 1 | -1/+2 | |
| | ||||||
* | AST Builder class, and use it to optimzie umoddi4 in asm2wasm | Alon Zakai | 2016-04-08 | 1 | -3/+2 | |
| | ||||||
* | fix bug in If.finalize | Alon Zakai | 2016-04-08 | 1 | -1/+1 | |
| | ||||||
* | refactor wasm traversal code into separate file | Alon Zakai | 2016-04-06 | 1 | -295/+0 | |
| | ||||||
* | add apis for accessing module elements | Alon Zakai | 2016-04-04 | 1 | -5/+23 | |
| | ||||||
* | Fix the build with GCC 5.3.1 and Clang 3.8.0. | Csaba Osztrogonác | 2016-03-31 | 1 | -10/+10 | |
| | | | | Fixes #299 | |||||
* | Make type of EqZ unary operators always i32 | Derek Schuff | 2016-03-21 | 1 | -1/+8 | |
| | | | | | This makes them symmetric to binary relational operators. Also support eqz in the s2wasm parser. |