summaryrefslogtreecommitdiff
path: root/check.py
Commit message (Collapse)AuthorAgeFilesLines
* fix dce bug in non-parallel mode, which happens in debug mode, and add debug ↵Alon Zakai2016-07-161-0/+3
| | | | testing
* use with-openAlon Zakai2016-07-131-5/+5
|
* separate wasm-opt out from wasm-shell: opt optimizes, shell runs wast shell ↵Alon Zakai2016-07-131-66/+20
| | | | tests
* rename binaryen-shell to wasm-shellAlon Zakai2016-07-131-20/+20
|
* relooper tracing + fixesAlon Zakai2016-07-121-1/+1
|
* add a tracing option to the c api, which logs out a runnable program from c ↵Alon Zakai2016-07-121-9/+25
| | | | api calls
* update spec tests, and handle some flux in call_indirect in upstreamAlon Zakai2016-07-061-1/+1
|
* don't do asmjs tests on all wasm.js tests, the one hello world is enoughAlon Zakai2016-06-291-1/+1
|
* test only c api examples; c++ api is internal and unstable, it is tested by ↵Alon Zakai2016-06-211-6/+1
| | | | our own codebase
* support -o in binaryen-shell (#592)Alon Zakai2016-06-181-0/+31
|
* support parse errors in .fail. testsAlon Zakai2016-06-171-1/+1
|
* Add mode to wasm validator to check for web-environment constraints (#584)Derek Schuff2016-06-141-2/+15
| | | | | | | In the web embedding, modules are not allowed to import or export functions which have i64 params or return values. Add a mode to the validator to check for this, and add flags to s2wasm and wasm-as to enable or disable this check. Also add tests.
* Use clang from the waterfall (#557)Alon Zakai2016-06-021-1/+9
| | | This avoids relying on clang from llvm, which sometimes is down (see #553)
* Specify version of python interpreter (#547)Sven-Hendrik Haase2016-06-011-1/+1
| | | Without this, the script won't work on distros that use python3 by default.
* allow passes tests with more than one passAlon Zakai2016-05-251-2/+2
|
* update spec tests, and handle the new .fail. tests (#541)Alon Zakai2016-05-251-3/+14
|
* add --no-opt testing to asm2wasmAlon Zakai2016-05-191-40/+44
|
* Allows running check.py on the Mac OSX. (#517)Yury Delendik2016-05-191-1/+6
| | | Also tries to cleanup example.dSYM files and hide libbinaryen.dylib.
* spec test updates, and many validation fixesAlon Zakai2016-05-181-1/+1
|
* Quietly extract the waterfall tarball (#512)Derek Schuff2016-05-171-3/+4
| | | | Verbose exctraction makes the Travis build much less readable. Also print the URL before downloading it.
* rename binaryen-c library to binaryen (#458)Alon Zakai2016-05-071-1/+1
|
* Use more static libraries in the CMake build (#451)Derek Schuff2016-05-071-2/+2
| | | | | | | | | | | * Factor passes and emscripten-optimizer into static libs This removes the redundancies from the source sets in the main CMakeLists.txt. * Make passes an object lib * Use static libs with --whole-archive because Travis has old cmake
* Use rpath instead of LD_LIBRARY_PATH for shared object use (#448)Derek Schuff2016-05-061-11/+10
| | | | | | | | Use the -rpath linker flag to locate libbinaryen-c.so instead of injecting paths into the user's LD_LIBRARY_PATH Also Link libsupport and libasmjs into libbinaryen-c Fixes #444
* fix breakage on master from #441 (#445)Alon Zakai2016-05-051-1/+6
|
* Fix LD_LIBRARY_PATH (#441)JF Bastien2016-05-051-1/+1
| | | It needs to be concatenated, not overwritten.
* [Linker] Make repeated passes over archive members (#440)Derek Schuff2016-05-051-1/+3
| | | | | | | | | An archive member can depend on any other archive member, so adding a member to the link can introduce new undefined references that must be satisfied. The linker must continue to iterate over the members until nothing new is added to the link.
* add optimization to c api, and so that we can find all passes in the c api ↵Alon Zakai2016-05-051-0/+1
| | | | library, make it dynamic
* [Linker] Handle archive filesDerek Schuff2016-05-051-0/+23
| | | | | | | | Add a class to parse archive files. Support linking archive files, with archive semantics (i.e. an archive member is linked in if it satisfies an undefined reference). Archive files must be gnu-format archives containing .s files. Add tests for linking semantics.
* kitchen sink test for c apiAlon Zakai2016-05-031-5/+5
|
* C API plus testAlon Zakai2016-05-021-15/+27
|
* add wasm.cpp which does full type detection for blocks, and prepare for full ↵Alon Zakai2016-04-291-0/+1
| | | | type checking everywhere
* use ONLY hack only for _only files in test/wasm_backendAlon Zakai2016-04-271-1/+1
|
* do not ignore stderr in binary format check testsAlon Zakai2016-04-261-3/+3
|
* Move wasm-linker into its own cpp file (#375)Derek Schuff2016-04-211-1/+1
| | | | | | | Still making things nicer for #370 Pulling wasm-linker into its own file also necessitated pulling asm_v_wasm.h into a cpp file. It goes into a new lib directory, src/asmjs. No actual code changes in this PR.
* update check.py for the wasm default method now being native with binary supportAlon Zakai2016-04-201-5/+2
|
* 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
|