summaryrefslogtreecommitdiff
path: root/test/example
Commit message (Collapse)AuthorAgeFilesLines
* Support new result syntax for if/loop/block (#1047)Sam Clegg2017-06-122-12/+12
| | | | | | Support both syntax formats in input since the old spec tests still need to be parsable.
* Optimize/merge duplicate function types (#1041)Alon Zakai2017-06-122-9/+0
|
* Update binaryen-c/binaryen.js, fixes #1028, fixes #1029 (#1030)Daniel Wirtz2017-06-076-76/+88
| | | This PR adds global variable support (addGlobal, getGlobal, setGlobal), host operations (currentMemory, growMemory), a few utility functions (removeImport, removeExport, getFunctionTypeBySignature with the latter being scheduled for removal once a better alternative is in place) and it introduces an additional argument to specify the result type in BinaryenBlock (effectively breaking the C-API but retaining previous behaviour by introducing the BinaryenUndefined() type for this purpose). Additionally, it enables compilation with exception support in build-js.sh as exceptions are thrown and caught when optimizing endless loops, intentionally resulting in an unreachable opcode. Affected test cases have been updated accordingly.
* relooper improvementsAlon Zakai (kripken)2017-05-201-0/+3
|
* merge blocks before and after remove-unused-brsAlon Zakai (kripken)2017-05-101-10/+12
|
* Extensible name section (#933)pipcet2017-04-131-1/+1
| | | | | | | | | | | | | See https://github.com/WebAssembly/binaryen/issues/914. * extensible name section support: read function names, too * c-api-unused-mem.txt: change expected size to match new name section * * check subsection size matches * print warning for unknown name subsections (including the local section)
* New binaryen.js (#922)Alon Zakai2017-03-242-2/+2
| | | New binaryen.js implementation, based on the C API underneath and with a JS-friendly API on top. See docs under docs/ for API details.
* finalize interim ifs in relooper, and other if handling issues (#940)Alon Zakai2017-03-132-0/+557
|
* use a single space for pretty printing of wasts, so massive wasts are less ↵Alon Zakai2017-03-096-3914/+3914
| | | | unruly (#928)
* Fix emitting of unreachable block/if/loop (#911)Alon Zakai2017-02-161-1/+13
| | | | | | | | | | | | | | | | | | | | | | * an unreachable block is one with an unreachable child, plus no breaks * document new difference between binaryen IR and wasm * fix relooper missing finalize * add a bunch of tests * don't assume that test/*.wast files print to themselves exactly; print to from.wast. this allows wast tests with comments in them * emit unreachable blocks as (block .. unreachable) unreachable * if without else and unreachable ifTrue is still not unreachable, it should be none * update wasm.js * cleanups * empty blocks have none type
* mark memory as existing when it is created in the C APIAlon Zakai (kripken)2017-01-042-0/+194
|
* add a RemoveUnusedModuleElements pass, and make LegalizeJSInterface create ↵Alon Zakai2016-12-072-3/+0
| | | | TempRet0 if needed (otherwise we might remove it before we use it)
* run remove-unused-functions by defaultAlon Zakai2016-10-142-447/+0
|
* Change print order of top-level module components (#751)Derek Schuff2016-10-075-34/+34
| | | | | | | | In wast files, the spec and WABT require imports to appear before any non-import definitions (see also https://github.com/WebAssembly/wabt/issues/152). This patch re-orders visitModule in the wast printer to meet this requirement, and more or less match the order of the binary sections. Also remove extraneous whitespace around table definitions.
* Require unique names in binaryen IR (#746)Alon Zakai2016-10-061-1/+1
|
* Print the name of memory along with size (#720)Derek Schuff2016-09-285-17/+17
| | | | | Otherwise when we export it as "$0" it's an undefined name. The spec interpreter actually rejects this, although I think it's intended to work, given the tests in export.wast. wabt also accepts it.
* Update binary encoding for block, loop, and if signatures (#711)Derek Schuff2016-09-272-6/+6
| | | | | | Also updates the tests and has a few other changes for binary 0xc: Update nop/unrechable opcodes Fix for "name" section
* optimize if(const)Alon Zakai2016-09-242-120/+24
|
* precompute void expressions tooAlon Zakai2016-09-242-60/+0
|
* autoDrop fixAlon Zakai2016-09-232-9/+15
|
* br_if returns its valueAlon Zakai2016-09-162-9/+15
|
* block signaturesAlon Zakai2016-09-162-6/+6
|
* call_import changes: no more call_import, shared index space with functionsAlon Zakai2016-09-164-256/+256
|
* optimize if-else to br_if when in a blockAlon Zakai2016-09-103-46/+40
|
* autodrop if body if no elseAlon Zakai2016-09-072-3/+9
|
* use eqz as an optimizationAlon Zakai2016-09-072-43/+25
|
* new validation checks for upcoming spec testsAlon Zakai2016-09-073-5/+5
|
* new export syntax in spec repoAlon Zakai2016-09-074-10/+10
|
* new import syntax in spec repoAlon Zakai2016-09-074-14/+14
|
* export kindsAlon Zakai2016-09-074-7/+7
|
* update testsAlon Zakai2016-09-071-4/+4
|
* loops no longer have an out label and other upstream loop updatesAlon Zakai2016-09-073-149/+143
|
* call_indirect now has the target at the endAlon Zakai2016-09-072-3/+3
|
* add drop and tee expressionsAlon Zakai2016-09-077-1294/+1919
|
* offset support in tableAlon Zakai2016-08-152-3/+3
|
* support function table initial and max sizes, and new printing formatAlon Zakai2016-08-122-3/+6
|
* support expressions in segment offsetsAlon Zakai2016-08-123-13/+11
|
* more RemoveUnusedName opts: merge names when possible, and do block/loop ↵Alon Zakai2016-07-202-87/+75
| | | | merging based on their names
* avoid label variable usage in relooper for forward branches, just use a ↵Alon Zakai2016-07-204-977/+841
| | | | stack of blocks for them. after this change, only irreducible control flow should cause label variable usage
* add more relooper testing and improve existingAlon Zakai2016-07-207-342/+2562
|
* Don't emit empty array literals in trace output (#631)Alon Zakai2016-07-131-39/+39
| | | | * don't emit empty array literals in trace output
* relooper tracing + fixesAlon Zakai2016-07-123-236/+1369
|
* allow multiple tracesAlon Zakai2016-07-122-9/+6
|
* add a tracing option to the c api, which logs out a runnable program from c ↵Alon Zakai2016-07-124-0/+1070
| | | | api calls
* add a relooper test for duff's device, showing irreducible control flow and ↵Alon Zakai2016-07-072-0/+106
| | | | helper var use
* validate set_local types against the function #618 (#620)Alon Zakai2016-07-062-1/+33
|
* quote names in s-format that need itAlon Zakai2016-07-052-7/+7
|
* Relooper switch support (#617)Alon Zakai2016-07-022-2/+52
| | | | | | * support switches in relooper and c api * update relooper fuzzer for switches
* add c api method to interpret a module, calling its start method (#601)Alon Zakai2016-06-252-0/+34
|
* finalize blocks properly in relooper (#600)Alon Zakai2016-06-242-0/+25
|
generated by cgit v1.2.3 (git 2.39.1) at 2025-08-12 18:14:08 +0000