summaryrefslogtreecommitdiff
path: root/src/wasm.h
Commit message (Collapse)AuthorAgeFilesLines
...
* Type check block/loop/if sigs (#717)Alon Zakai2016-09-281-25/+17
| | | | | | * 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.
* refactor wasm.h to remove numericIndex hacks, and move indexing to the parsersAlon Zakai2016-09-211-37/+10
|
* global parsingAlon Zakai2016-09-191-0/+1
|
* br_if returns its valueAlon Zakai2016-09-161-1/+5
|
* fix if finalize()Alon Zakai2016-09-131-1/+2
|
* update br type when turning it into a br_if in remove-unused-brsAlon Zakai2016-09-131-0/+2
|
* new export syntax in spec repoAlon Zakai2016-09-071-4/+10
|
* get_global and set_global use a Name instead of an Index, to be more ↵Alon Zakai2016-09-071-2/+2
| | | | 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-2/+3
|
* import kindsAlon Zakai2016-09-071-1/+9
|
* export kindsAlon Zakai2016-09-071-1/+8
|
* SetGlobal should not return a valueAlon Zakai2016-09-071-4/+0
|
* loops no longer have an out label and other upstream loop updatesAlon Zakai2016-09-071-1/+1
|
* add drop and tee expressionsAlon Zakai2016-09-071-6/+22
|
* offset support in tableAlon Zakai2016-08-151-1/+13
|
* support function table initial and max sizes, and new printing formatAlon Zakai2016-08-121-0/+5
|
* support expressions in segment offsetsAlon Zakai2016-08-121-3/+3
|
* wast function type name desugaring is changing in spec:301 (#654)Alon Zakai2016-07-281-2/+6
|
* Fix trailing whitespace, single-character strings, checking map element ↵Dominic Chen2016-07-221-47/+39
| | | | presence, and eliminate explicit index counter (#633)
* support wasm globals (#650)Alon Zakai2016-07-211-6/+60
|
* fix unreachable constructor without allocator (#643)Alon Zakai2016-07-161-2/+2
|
* add support for symbol assignments, closes #4422 (#615)Dominic Chen2016-07-111-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 Zakai2016-06-061-1/+9
|
* make call_indirect type a name, so that it is not a dependency on the ↵Alon Zakai2016-06-031-5/+1
| | | | module, which would break consistency and make some parallel passes tricky (#568)
* fix bugs found using afl (#546)Dominic Chen2016-05-311-0/+3
|
* add getBits and not-equals helper funcs for LiteralAlon Zakai2016-05-281-0/+12
|
* update functions map in RemoveUnusedFunctions (#545)Alon Zakai2016-05-261-0/+8
|
* type check loop output type properlyAlon Zakai2016-05-201-2/+6
|
* use separate internal opcodes for binary variantsAlon Zakai2016-05-181-7/+59
|
* use separate internal opcodes for unary variantsAlon Zakai2016-05-181-16/+27
|
* spec test updates, and many validation fixesAlon Zakai2016-05-181-1/+40
|
* Use typedef instead of explicit type (#503)JF Bastien2016-05-141-1/+1
|
* Fix the maximum memory size to be valid. (#492)Dan Gohman2016-05-131-1/+2
|
* Use a class with implicit overflow checks for Address (#486)Derek Schuff2016-05-121-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 Schuff2016-05-111-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 Zakai2016-05-071-1/+1
|
* add a return type parameter to call and call_import in the C API. we need it ↵Alon Zakai2016-05-061-0/+4
| | | | since we don't know the type while building functions
* Merge pull request #439 from WebAssembly/c-api-moreAlon Zakai2016-05-051-0/+4
|\ | | | | Validation in C API
| * fix set_local finalize()Alon Zakai2016-05-051-0/+4
| |
* | Fix NaN / 0 (#442)JF Bastien2016-05-051-4/+30
|/ | | As discussed in: https://github.com/WebAssembly/spec/pull/282#issuecomment-217280544
* Nicer shift masks (#431)JF Bastien2016-05-041-7/+13
| | | | | | | | * Nicer shift masks * Yet nicer shift mask. * Fix typo.
* Harmonize the internal opcodes with the binary format (#433)Alon Zakai2016-05-031-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-niceAlon Zakai2016-05-031-1/+9
|\ | | | | C API
| * kitchen sink test for c apiAlon Zakai2016-05-031-0/+6
| |
| * add a default finalize() so it is valid to call on any nodeAlon Zakai2016-05-021-1/+3
| |
* | Fix signed integer overflow UB (#430)JF Bastien2016-05-031-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 Bastien2016-05-031-6/+6
| | | | | | Getting close to finishing #404.
* | Fix UB with FP divide by zero (#424)JF Bastien2016-05-021-2/+40
| | | | | | Another fix for #404.
* | Fix memcpy UB (#422)JF Bastien2016-05-021-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 Zakai2016-04-291-5/+12
| | | | type checking everywhere