summaryrefslogtreecommitdiff
path: root/check.py
Commit message (Collapse)AuthorAgeFilesLines
...
* Make wasm-as emit the names section/debug info only with -g (#705)Alon Zakai2016-09-261-4/+6
|
* update spec tests and check.py's handling of themAlon Zakai2016-09-211-8/+8
|
* Update s2wasm for 0xc changes (#698)Derek Schuff2016-09-151-76/+74
| | | | | | | | | | | Several updates for s2wasm and its tests: Add explicit drops where they are emitted by LLVM already Convert loops (which are still modeled in the old way by LLVM) to wrap them in an explicit block (for the exit label). This also allows simplifying the loop creation (no need to post-process the implicit block which is the loop's body). After the engines update to 0xc we should update LLVM to model loops in the 0xc way, but for now it remains compatible with 0xb and 0xc. Fix the order of the calls to setTee() when creating tee_locals Add an explicit drop when creating the _start entry function wrapper if needed Update dot_s and llvm_autogenerated tests to remove store-results optimization (and few other minor updates) Fix the test auto-updater to fail if subprocesses fail There still seems to be a validation failure when building libc (I think it's from the stricter drop rules, but it may be in the source rather than the compiler), but this at least makes Binaryen's tests pa
* Add flag to s2wasm to export __growWasmMemory function (#696)jgravelle-google2016-09-091-0/+6
| | | | | | | | | | | | | | | | | | | | | * Add a flag to s2wasm to export grow_memory Binaryen's wasm.js-post.js calls back in to wasm in order to grow the linear memory, via a function that asm2wasm exports called __growWasmMemory. This changes exposes that method through s2wasm when invoked with a flag. * Move AsmConstWalker from wasm-linker to wasm-emscripten * Add test for memory growth in s2wasm * Move makeDynCallThunks into wasm-emscripten module * Move mutation in getTableSegment into a separate method * Move emscripten metadata generation into wasm-emscripten Also make AsmConstWalker internal to the wasm-emscripten module, as it's only used for the metadata pass.
* re-enable spec testsAlon Zakai2016-09-071-2/+0
|
* add asm2wasm option to import a mem init fileAlon Zakai2016-09-071-7/+12
| | | | | | | | apply memory segments only if there isn't a memory initializer (which we need for asmjs and asm2wasm modes) use wasm-opt to check recreated wasts for validity, as wasm-shell would try to execute them add testing for combined modes like asmjs,interpret-binary
* FIXME disable spec tests on the bots for nowAlon Zakai2016-09-071-0/+2
|
* use globals in asm2wasmAlon Zakai2016-09-071-1/+1
|
* update check.py skip lists for spec testsAlon Zakai2016-09-071-1/+1
|
* WIP get spec tests to pass by ignoring stacky stuffAlon Zakai2016-09-071-2/+22
|
* TEMP no wasm backend tests for nowAlon Zakai2016-09-071-1/+1
|
* TEMP no torture tests for nowAlon Zakai2016-09-071-1/+1
|
* add drop and tee expressionsAlon Zakai2016-09-071-2/+1
|
* remove wasm2asm tests, temporarily disable .s testsAlon Zakai2016-09-071-104/+70
|
* support expressions in segment offsetsAlon Zakai2016-08-121-1/+1
|
* 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
|