summaryrefslogtreecommitdiff
path: root/check.py
Commit message (Collapse)AuthorAgeFilesLines
...
* Function parallelism (#343)Alon Zakai2016-04-151-1/+1
| | | | * allow traversals to mark themselves as function-parallel, in which case we run them using a thread pool. also mark some thread-safety risks (interned strings, arena allocators) with assertions they modify only on the main thread
* refactor check.py to use a run_command method that checks proc return codes, ↵Alon Zakai2016-04-141-33/+25
| | | | instead of hackishly looking at stderr for errors (#346)
* Generate emscripten dynCall thunks in s2wasm (#342)Derek Schuff2016-04-131-1/+1
| | | | | | | | | | | * Generate emscripten dynCall thunks in s2wasm Part of the usual emscripten glue for asm.js is thunks for calling functions on the module given a function pointer; aka a dynCall. This is implemented via thunks generated on the Module called 'dynCall_<signature>'. This gives support to s2wasm to generate these thunks in the wasm module along with other emscripten glue. It also introduces a flag to s2wasm to make generation of emscripten glue optional.
* start with passes in check.pyAlon Zakai2016-04-071-13/+13
|
* Properly align the stack pointerDerek Schuff2016-04-061-2/+3
| | | | | | | | | | | | * Properly align the stack pointer By default (if no global base is given) the global base is 1, which seems wrong. In this case the stack pointer gets an address of 1, which is unaligned and definitely wrong. So, start the global base at 0 instead of 1 by default and align the stack pointer. Also factor allocation of statics into a function. * unconditionally allocate stack pointer; explicitly reserve address 0
* add testing for binaryen.jsAlon Zakai2016-04-041-0/+17
|
* add testing for vanilla llvm + emcc without the hacks, as things are now ↵Alon Zakai2016-03-301-11/+13
| | | | starting to work, and add a full/real hello world testcase
* use binary_format_check on asm2wasm outputsAlon Zakai2016-03-211-6/+8
|
* add option for imprecise asm2wasm optsAlon Zakai2016-03-201-35/+39
|
* improve method namesAlon Zakai2016-03-181-9/+10
|
* remove some unnecessary testsAlon Zakai2016-03-131-5/+6
|
* test wasm-binary method on wasm.js testcasesAlon Zakai2016-03-131-2/+2
|
* use a 32-bit int for break offsets, as it is necessary (e.g. for bigswitch.cpp)Alon Zakai2016-03-131-6/+16
|
* finish wasm-binary method and update emscriptenAlon Zakai2016-03-121-2/+7
|
* add optional native wasm checkingAlon Zakai2016-03-121-1/+19
|
* fix test harness assignmentAlon Zakai2016-03-111-1/+2
|
* update emscripten and add testing for not including wasm.js polyfill ↵Alon Zakai2016-03-111-0/+7
| | | | unnecessarily
* better error loggingAlon Zakai2016-03-071-0/+1
|
* disable wasm2asm for now; it was never fully functional anyhow, and there is ↵Alon Zakai2016-03-071-0/+2
| | | | too much flux
* fix min.wast testcaseAlon Zakai2016-03-071-1/+1
|
* improve check error logging for wasm methodsAlon Zakai2016-03-041-4/+4
|
* update for emscripten PR4135Derek Schuff2016-03-011-4/+6
|
* Merge pull request #204 from mbebenita/print-compactAlon Zakai2016-02-291-2/+25
|\ | | | | Compact printing.
| * Whitespace removal.Michael2016-02-221-2/+25
| |
* | support block comments in check.pyAlon Zakai2016-02-251-1/+6
|/
* Bug fix and adds printing / parsing tests.Michael2016-02-221-0/+11
|
* remove --print-before and --print-after flags, since we now have --printAlon Zakai2016-02-171-3/+3
|
* add wasm-printing.hAlon Zakai2016-02-171-1/+5
|
* wasm_backend testcases require vanilla_llvm, anything else may be too oldAlon Zakai2016-02-171-1/+1
|
* Review comments.JF Bastien2016-02-051-2/+3
|
* Support startJF Bastien2016-02-051-1/+3
| | | | | | | | | | | | | | As spec'd in: https://github.com/WebAssembly/design/pull/495 And discussed in: https://github.com/WebAssembly/spec/issues/231 This will make it simpler and more uniform to add a start entry point. s2wasm is the right place to add start because it'll eventually need to do other basic setup, e.g. put code in start to setup the stack, as dschuff is doing in: https://github.com/WebAssembly/binaryen/pull/179 Or rather, the linker is the right place and s2wasm happens to act as our linker right now.
* handle initial comments in wast splittingAlon Zakai2016-01-311-0/+5
|
* enable binary format spec test outputsAlon Zakai2016-01-291-1/+1
|
* enable binary format spec testsAlon Zakai2016-01-291-1/+1
|
* gather invokes when splitting wastsAlon Zakai2016-01-281-2/+2
|
* refactor check.py in preparation for running spec tests after being ↵Alon Zakai2016-01-281-27/+45
| | | | converted to binary and back
* test all parts of spec tests for binary format, even when multiple modules ↵Alon Zakai2016-01-271-1/+38
| | | | in one file
* verify binary outputs are valid wastsAlon Zakai2016-01-271-0/+5
|
* verify we can convert the spec tests to binary and backAlon Zakai2016-01-261-6/+8
|
* refactor a binary format check method in check.pyAlon Zakai2016-01-261-20/+25
|
* Update waterfall repoJF Bastien2016-01-261-1/+2
| | | | Need to update arguments.
* add I32ReinterpretF32 in binary format, for nowAlon Zakai2016-01-221-1/+1
|
* add missing binary opcodesAlon Zakai2016-01-211-1/+1
|
* remove sys.exit that surely was not intended to be pushedAlon Zakai2016-01-211-1/+0
|
* Add --help test.JF Bastien2016-01-201-0/+16
|
* Use command-line & waterfall for binaryen-shellJF Bastien2016-01-201-30/+16
|
* further fix for not having vanilla llvm workable locallyAlon Zakai2016-01-201-2/+3
|
* fix non-vanilla llvm testing of wasm-backend testcasesAlon Zakai2016-01-201-6/+7
|
* set LLVM for vanilla llvm, and remove it later, to not confuse normal emccAlon Zakai2016-01-191-5/+10
|
* fix check.py after recent movement of codeAlon Zakai2016-01-181-7/+7
|
generated by cgit v1.2.3 (git 2.39.1) at 2025-04-13 04:20:09 +0000