Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | Replace text annotations with explicit file/line for debug info (#967) | Derek Schuff | 2017-04-13 | 1 | -2/+5 | |
| | | | Rather than storing debug info as text annotations, store explicit file and line information. This will make it easier to experiment with outputting other serializations or representations (e.g. source maps), and will allow outputting debug info for binaries as well. | |||||
* | Wasm h to cpp (#926) | jgravelle-google | 2017-03-10 | 1 | -987/+53 | |
| | | | | | | | | | | | | | | | | | | | | | | | | * Move WasmType function implementations to wasm.cpp * Move Literal methods to wasm.cpp * Reorder wasm.cpp shared constants back to top * Move expression functions to wasm.cpp * Finish moving things to wasm.cpp * Split out Literal into its own .h/.cpp. Also factor out common wasm-type module * Remove unneeded/transitive includes from wasm.h * Add comment to try/check methods * Rename tryX/checkX methods to getXOrNull * Add missing include that should fix appveyor build breakage * More appveyor | |||||
* | Fully handle EM_ASM in s2wasm (#910) | jgravelle-google | 2017-02-23 | 1 | -26/+1 | |
| | | | | | | | | | | | | * Fully handle EM_ASM in s2wasm * Iterate with size_ts, remember to erase from importsMap as well * Fix dot_s test EM_ASM signatures * Move Name out to its own file, support/name.h * Move removeImportsWithSubstring out of Module class | |||||
* | read unknown users sections as binary data stored on the Module (#918) | Alon Zakai | 2017-02-21 | 1 | -0/+10 | |
| | ||||||
* | clean up raw pointer import->functionType, make it a Name like everything ↵ | Alon Zakai | 2017-02-17 | 1 | -2/+2 | |
| | | | | else (#915) | |||||
* | asm2wasm debuginfo (#895) | Alon Zakai | 2017-02-07 | 1 | -0/+3 | |
| | | | | | | | | | | | | * parse file/line comments in asm.js into debug intrinsics * convert debug intrinsics into annotations, and print them * ignore --debuginfo if not emitting text, as wasm binaries don't support that yet * emit full debug info when -g and emitting text; when -g and emitting binary, all we can do is the Names section * update wasm.js | |||||
* | add a RemoveUnusedModuleElements pass, and make LegalizeJSInterface create ↵ | Alon Zakai | 2016-12-07 | 1 | -3/+19 | |
| | | | | TempRet0 if needed (otherwise we might remove it before we use it) | |||||
* | more consistent placement of & and *, on the type (#848) | Alon Zakai | 2016-11-28 | 1 | -28/+34 | |
| | ||||||
* | Don't create a memory section for an imported memory; fixes #772 (#773) | Benjamin Bouvier | 2016-10-13 | 1 | -1/+5 | |
| | ||||||
* | Don't create table sections for imported tables (#756) | Derek Schuff | 2016-10-11 | 1 | -1/+2 | |
| | | | 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). | |||||
* | More binary updates for 0xc (#733) | Derek Schuff | 2016-10-03 | 1 | -1/+4 | |
| | | | | | | | | | | | | | | | 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 | -16/+9 | |
| | ||||||
* | Type check block/loop/if sigs (#717) | Alon Zakai | 2016-09-28 | 1 | -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 parsers | Alon Zakai | 2016-09-21 | 1 | -37/+10 | |
| | ||||||
* | global parsing | Alon Zakai | 2016-09-19 | 1 | -0/+1 | |
| | ||||||
* | br_if returns its value | Alon Zakai | 2016-09-16 | 1 | -1/+5 | |
| | ||||||
* | fix if finalize() | Alon Zakai | 2016-09-13 | 1 | -1/+2 | |
| | ||||||
* | update br type when turning it into a br_if in remove-unused-brs | Alon Zakai | 2016-09-13 | 1 | -0/+2 | |
| | ||||||
* | new export syntax in spec repo | Alon Zakai | 2016-09-07 | 1 | -4/+10 | |
| | ||||||
* | get_global and set_global use a Name instead of an Index, to be more ↵ | Alon Zakai | 2016-09-07 | 1 | -2/+2 | |
| | | | | 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 | -2/+3 | |
| | ||||||
* | import kinds | Alon Zakai | 2016-09-07 | 1 | -1/+9 | |
| | ||||||
* | export kinds | Alon Zakai | 2016-09-07 | 1 | -1/+8 | |
| | ||||||
* | SetGlobal should not return a value | Alon Zakai | 2016-09-07 | 1 | -4/+0 | |
| | ||||||
* | loops no longer have an out label and other upstream loop updates | Alon Zakai | 2016-09-07 | 1 | -1/+1 | |
| | ||||||
* | add drop and tee expressions | Alon Zakai | 2016-09-07 | 1 | -6/+22 | |
| | ||||||
* | offset support in table | Alon Zakai | 2016-08-15 | 1 | -1/+13 | |
| | ||||||
* | support function table initial and max sizes, and new printing format | Alon Zakai | 2016-08-12 | 1 | -0/+5 | |
| | ||||||
* | 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 |