summaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
* Optimize/merge duplicate function types (#1041)Alon Zakai2017-06-1217-53/+156
|
* Don't add C++-only flags to CMAKE_C_FLAGS (#1052)Sam Clegg2017-06-121-2/+8
| | | | | I noticed that when settings -DCMAKE_C_COMPILER=clang I was getting a cmake warning when building dummy.c: error: invalid argument '-std=c++11' not allowed with 'C/ObjC'
* Log callImport fatal error to cerr so it is not buffered. (#1036)Sam Clegg2017-06-123-3/+13
| | | | | | | Use Fatal() rather than stdout or report callImport error Without this the write to stdout can be lost (Since the following line aborts)
* Merge pull request #1046 from WebAssembly/inf_symbolSam Clegg2017-06-112-5/+5
|\ | | | | Output inf/-inf rather than infinity/-infinity
| * update testsSam Clegg2017-06-091-4/+4
| |
| * Output inf/-inf rather than infinity/-infinitySam Clegg2017-06-091-1/+1
| | | | | | | | | | wast2wasm wes recently updated to only support the former: https://github.com/WebAssembly/wabt/pull/482
* | Merge pull request #1038 from WebAssembly/fix_ctor_eval_pathSam Clegg2017-06-093-5/+6
|\ \ | |/ |/| Fix path to wasm-ctor-eval binary used in test code
| * Fix path to wasm-ctor-eval binary used in test codeSam Clegg2017-06-093-5/+6
|/
* C API fixes (#1042)Alon Zakai2017-06-072-28/+29
| | | | | | * fix mutex usage in C API, and some minor cleanup around it too * update testcase that was forgotten to be updated before
* Update binaryen-c/binaryen.js, fixes #1028, fixes #1029 (#1030)Daniel Wirtz2017-06-0715-675/+939
| | | 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.
* S2wasm runtime funcs (#1027)jgravelle-google2017-06-0589-20/+3172
| | | | | | | | | | | | | | | | * Generate stackSave function in s2wasm * Generate stackAlloc in s2wasm * Generate stackRestore in s2wasm * Update dot_s tests for runtime functions * Add s2wasm check for exporting runtime functions * Fix flake8 for s2wasm.py * Rename wasmBuilder to builder
* validate returned values in all cases, even if the function returns none we ↵Alon Zakai2017-06-026-12/+12
| | | | should still not have returns with a value, etc. update spec tests to remove some stacky tests that do not fit these new validation rules (#1034)
* Merge pull request #1033 from WebAssembly/fuzz2Alon Zakai2017-06-0110-102/+168
|\ | | | | More misc fuzz fixes
| * clean up unnecessary spacingAlon Zakai2017-06-011-1/+1
| |
| * use atoll in getCheckedAddress string parsingAlon Zakai2017-06-011-1/+1
| |
| * refactor s-expr parsing code to remove duplication and unnecessary thingsAlon Zakai2017-06-012-39/+23
| |
| * remove unneeded code in interpreterAlon Zakai (kripken)2017-06-011-1/+0
| |
| * error if select sides are concrete but differentAlon Zakai (kripken)2017-06-011-0/+3
| |
| * fix fuzz-exec catching of traps, they can occur during init, not just callAlon Zakai (kripken)2017-06-011-6/+7
| |
| * handle out of range memory size values in s-expr parsingAlon Zakai (kripken)2017-06-011-2/+10
| |
| * handle out of range break offset parsingAlon Zakai2017-06-011-0/+2
| |
| * verify s-expr parsing of alignmentsAlon Zakai2017-06-011-2/+6
| |
| * validate memory/table Address values in s-expr parsingAlon Zakai (kripken)2017-06-011-4/+20
| |
| * trap on bad result types in shell-interface callTableAlon Zakai (kripken)2017-06-011-0/+3
| |
| * handle empty stack in sourceToUniqueAlon Zakai (kripken)2017-06-011-1/+4
| |
| * host op parsing error handlingAlon Zakai (kripken)2017-06-012-2/+11
| |
| * handle duplicate functions in s-expr parsingAlon Zakai (kripken)2017-06-011-0/+1
| |
| * throw parse errors in UniqueNameMapperAlon Zakai (kripken)2017-06-011-2/+8
| |
| * handle duplicate function types in s-expr parsingAlon Zakai (kripken)2017-06-011-0/+2
| |
| * handle duplicate imports and globals in s-expr parsingAlon Zakai (kripken)2017-06-011-0/+6
| |
| * handle a parse error of a function declaration with mixed import insideAlon Zakai (kripken)2017-06-011-0/+1
| |
| * s-expr parsing: handle empty switchAlon Zakai (kripken)2017-06-011-0/+1
| |
| * harden parsing.hAlon Zakai (kripken)2017-06-011-46/+50
| |
| * harden s-expr parsingAlon Zakai (kripken)2017-06-011-25/+29
| |
| * fix call depth detection in wasm-opt interpretingAlon Zakai (kripken)2017-06-012-2/+2
| |
| * fix wasm-opt with INTERPRETER_DEBUGAlon Zakai (kripken)2017-06-011-0/+1
| |
| * handle the wrong number of functions being provided in binary formatAlon Zakai (kripken)2017-06-011-0/+8
| |
| * in extra pass-debug validation, don't assume there is always a function, the ↵Alon Zakai (kripken)2017-06-011-1/+1
|/ | | | error may be in a global init
* Exporting/importing debug location information from .wast/.asm.js/.s formats ↵Yury Delendik2017-06-0133-111/+786
| | | | | | | | (#1017) * Extends wasm-as, wasm-dis and s2wasm to consume debug locations. * Exports source map from asm2wasm
* simplify reloop testcaseAlon Zakai2017-05-242-5/+12
|
* Refactor optimization opts (#1023)Alon Zakai2017-05-243-98/+129
| | | | * refactor optimization opts helper code to a class
* be more careful when deleting files when testing binaryen methods - the ↵Alon Zakai2017-05-241-5/+5
| | | | files may not exist, and it is not an error if they do not, we just want them to not be there (#1024)
* More fuzz fixes (#1021)Alon Zakai2017-05-221-4/+16
| | | | | | * validate that memory/table segment values fit in the initial range * validate that select condition should be i32
* Merge pull request #1019 from WebAssembly/fuzzAlon Zakai2017-05-2121-7595/+7615
|\ | | | | More fuzz bug fixes
| * add --fuzz-exec option to wasm-opt, which (when possible) executes results ↵Alon Zakai (kripken)2017-05-201-0/+73
| | | | | | | | before and after optimizations are run, checking for changes. this can be used when fuzzing
| * relooper improvementsAlon Zakai (kripken)2017-05-205-5/+76
| |
| * use TypeUpdater in vacuumAlon Zakai (kripken)2017-05-2015-7590/+7466
|/
* afl-fuzz bug fixes (#1018)Alon Zakai2017-05-207-1/+312
| | | | | | | | * values cannot flow through an if without an else, they never return a value * check pass tests in pass-debug mode too * add missing finalization in binary reading
* Address review feedback for #1014 (#1016)Alon Zakai2017-05-189-35/+80
| | | | | | * address review feedback for #1014
* optimize dceing of blocks and known-to-exist children (#1015)Alon Zakai2017-05-181-57/+34
|