summaryrefslogtreecommitdiff
path: root/src/wasm-s-parser.h
Commit message (Collapse)AuthorAgeFilesLines
* Move wasm.cpp and wasm-s-parser into a library (#796)Derek Schuff2016-10-201-1759/+67
| | | | | Also moves the bulk of the code in wasm-s-parser into a cpp file. Allows namespace and #include cleanups, and improves j4 compile time by 20%. Should also make any future parser changes easier and more localized.
* Fix some C6246: "Local declaration of 'i' hides declaration of the same name ↵juj2016-10-201-4/+4
| | | | in outer scope." warnings. (#795)
* Don't create a memory section for an imported memory; fixes #772 (#773)Benjamin Bouvier2016-10-131-10/+16
|
* fix bug where we set memory max to the initial value if the max wasn't ↵Alon Zakai2016-10-121-2/+0
| | | | specified (#760)
* Don't create table sections for imported tables (#756)Derek Schuff2016-10-111-0/+9
| | | 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).
* Require unique names in binaryen IR (#746)Alon Zakai2016-10-061-43/+23
|
* More binary updates for 0xc (#733)Derek Schuff2016-10-031-7/+6
| | | | | | | | | | | | | | | 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-32/+32
|
* Type check block/loop/if sigs (#717)Alon Zakai2016-09-281-12/+16
| | | | | | * 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.
* auto-generated import names must be unique by kindAlon Zakai2016-09-211-12/+19
|
* new if label behaviorAlon Zakai2016-09-211-33/+21
|
* loop block signaturesAlon Zakai2016-09-211-2/+6
|
* refactor wasm.h to remove numericIndex hacks, and move indexing to the parsersAlon Zakai2016-09-211-13/+39
|
* function numbering fix in wasm-s-parserAlon Zakai2016-09-201-3/+8
|
* memory data parsing fixesAlon Zakai2016-09-201-1/+8
|
* table elem parsing fixesAlon Zakai2016-09-201-7/+28
|
* max memory and table fixesAlon Zakai2016-09-201-0/+4
|
* memory parsing fixesAlon Zakai2016-09-201-3/+12
|
* memory and table parsing fixesAlon Zakai2016-09-201-7/+21
|
* table parsing and executing fixesAlon Zakai2016-09-201-9/+16
|
* mark table as present if seen as an importAlon Zakai2016-09-201-0/+1
|
* support spectest.globalAlon Zakai2016-09-201-2/+6
|
* global importing fixes: use the right counter for globals and for functionsAlon Zakai2016-09-201-13/+47
|
* import parsing fixesAlon Zakai2016-09-191-12/+12
|
* globals mutability fixesAlon Zakai2016-09-191-2/+1
|
* global parsingAlon Zakai2016-09-191-5/+33
|
* new-style import parsingAlon Zakai2016-09-191-5/+40
|
* parsing and validation fixesAlon Zakai2016-09-171-11/+19
|
* support module operations in shell testsAlon Zakai2016-09-171-2/+2
|
* parse empty modules without errorAlon Zakai2016-09-161-0/+1
|
* use export name as internal name if no internal name, for better s-expr ↵Alon Zakai2016-09-161-0/+3
| | | | debugging
* block signaturesAlon Zakai2016-09-161-8/+23
|
* s-expression modules can have namesAlon Zakai2016-09-161-8/+14
|
* call_import changes: no more call_import, shared index space with functionsAlon Zakai2016-09-161-1/+11
|
* new validation checks for upcoming spec testsAlon Zakai2016-09-071-1/+2
|
* additional parsing support for new spec thingsAlon Zakai2016-09-071-22/+74
|
* new export syntax in spec repoAlon Zakai2016-09-071-3/+20
|
* new import syntax in spec repoAlon Zakai2016-09-071-8/+27
|
* use globals in asm2wasmAlon Zakai2016-09-071-4/+11
|
* get_global and set_global use a Name instead of an Index, to be more ↵Alon Zakai2016-09-071-17/+5
| | | | 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/+4
|
* import kindsAlon Zakai2016-09-071-21/+37
|
* export kindsAlon Zakai2016-09-071-7/+21
|
* support (data .. ..), separate strings in a data()Alon Zakai2016-09-071-7/+7
|
* SetGlobal should not return a valueAlon Zakai2016-09-071-1/+0
|
* some additional validationsAlon Zakai2016-09-071-0/+5
|
* support (memory (data ..)) notationAlon Zakai2016-09-071-2/+15
|
* parse s-expression quoted strings more carefullyAlon Zakai2016-09-071-6/+12
|
* throw a parse error on bad result aritiesAlon Zakai2016-09-071-1/+4
|
* loops no longer have an out label and other upstream loop updatesAlon Zakai2016-09-071-8/+12
|