Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add Travis builds with sanitizers | JF Bastien | 2016-01-10 | 5 | -5/+5 |
| | | | | | | | | | | | | | | | | This triggers 5 independent build / test runs: - clang, no sanitizer; - clang, UB sanitizer; - clang, address sanitizer (disabled for now); - clang, thread sanitizer (disabled for now); - GCC. Enabling UBSan led to these changes: - Fix a bunch of undefined behavior throughout the code base. - Fix some tests that relied on that undefined behavior. - Make some of the tests easier to debug by printing their command line. - Add ubsan blacklist to work around libstdc++ bug. - Example testcase also needs sanitizer because libsupport.a uses it. | ||||
* | Update test/waterfall | JF Bastien | 2016-01-09 | 1 | -0/+0 |
| | | | | There's a fix that should make some of the testing faster when there are failures. | ||||
* | use simplify-locals by default | Alon Zakai | 2016-01-09 | 5 | -10/+0 |
| | |||||
* | start work on SimplifyLocals | Alon Zakai | 2016-01-09 | 2 | -0/+66 |
| | |||||
* | add test for -O | Alon Zakai | 2016-01-08 | 2 | -0/+46057 |
| | |||||
* | Allow force-updating to the latest waterfall hash. | JF Bastien | 2016-01-08 | 1 | -0/+0 |
| | | | | Allow overriding hash. | ||||
* | RemoveUnneededBrs: remove all code in a block after a break | Alon Zakai | 2016-01-08 | 1 | -58/+53 |
| | |||||
* | improve RemoveUnusedBrs: unify an if-else's brs into one br outside | Alon Zakai | 2016-01-08 | 2 | -648/+630 |
| | |||||
* | add a testcase | Alon Zakai | 2016-01-08 | 2 | -0/+115 |
| | |||||
* | update waterfall | Alon Zakai | 2016-01-08 | 1056 | -7264/+18121 |
| | |||||
* | Use waterfall instead of experimental, now the repo has moved. | JF Bastien | 2016-01-08 | 2 | -0/+0 |
| | |||||
* | pr24716 is failing sexpr-wasm, not s2wasm | JF Bastien | 2016-01-08 | 1 | -4/+0 |
| | |||||
* | Undo the TODO, waterfall seems un-borked now | JF Bastien | 2016-01-08 | 1 | -8/+6 |
| | |||||
* | simplify print output in passes tests | Alon Zakai | 2016-01-08 | 5 | -285/+0 |
| | |||||
* | optimize if_else in RemoveUnusedBrs | Alon Zakai | 2016-01-08 | 2 | -0/+153 |
| | |||||
* | Temporarily mark tests as passing, even if they shouldn't be | JF Bastien | 2016-01-08 | 1 | -6/+12 |
| | |||||
* | updat experimental submodule | Alon Zakai | 2016-01-07 | 1 | -0/+0 |
| | |||||
* | optimize RemoveUnusedBrs some more - handle values #84 | Alon Zakai | 2016-01-07 | 2 | -4/+162 |
| | |||||
* | handle .zero x, y | Alon Zakai | 2016-01-07 | 1 | -1/+0 |
| | |||||
* | Merge branch 'private-label-names' | Alon Zakai | 2016-01-07 | 1096 | -17101/+17101 |
|\ | | | | | | | | | | | Conflicts: test/llvm_autogenerated/cfg-stackify.wast test/llvm_autogenerated/switch.wast | ||||
| * | LLVM is now emitting private labels with a ".L" prefix. Update binaryen. | Dan Gohman | 2016-01-07 | 1096 | -17101/+17101 |
| | | | | | | | | | | The .L prefix convention is admittedly not the prettiest convention possible, but it is widely used in the ELF ecosystem. | ||||
* | | fix default being a br in switch #70 | Alon Zakai | 2016-01-07 | 2 | -3/+3 |
|/ | |||||
* | update switch outputs #70 | Alon Zakai | 2016-01-06 | 2 | -3/+3 |
| | |||||
* | Remove .wast files for tests that are currently blacklisted or removed. | Dan Gohman | 2016-01-06 | 3 | -176/+0 |
| | |||||
* | Print nan literals as `nan:0x...` rather than `nan:...` to match the spec. | Dan Gohman | 2016-01-06 | 1 | -4/+4 |
| | |||||
* | Remove .wast files that now live in llvm_autogenerated. | Dan Gohman | 2016-01-06 | 48 | -9656/+13 |
| | |||||
* | Replace the experimental/prototype-wasmate/test tests. | Dan Gohman | 2016-01-06 | 47 | -351/+9932 |
| | | | | Use the llvm_autogenerated tests instead. | ||||
* | Merge branch 'sections-visibilties' | Alon Zakai | 2016-01-06 | 4 | -0/+140 |
|\ | |||||
| * | handle/ignore visibilities in s2wasm | Alon Zakai | 2016-01-06 | 2 | -0/+63 |
| | | |||||
| * | Add tests for more assembler constructs that LLVM may use soon. | Dan Gohman | 2016-01-06 | 2 | -0/+77 |
| | | | | | | | | | | | | This adds tests for the kinds of assembly constructs produced by -ffunction-sections, -fdata-sections, -fvisibility=hidden, -fvisibility=protected, and -fvisibility=internal. | ||||
* | | get proper full type, including result, for indirect call types #77 | Alon Zakai | 2016-01-06 | 1 | -1/+1 |
| | | |||||
* | | Merge pull request #75 from WebAssembly/commit-torture-s | JF Bastien | 2016-01-06 | 1037 | -0/+99280 |
|\ \ | | | | | | | Commit the torture .s files | ||||
| * | | Add test/torture-s | JF Bastien | 2016-01-06 | 1036 | -0/+99279 |
| | | | |||||
| * | | Commit the torture .s files | JF Bastien | 2016-01-06 | 1 | -0/+1 |
| | | | | | | | | | | | | update.py used to just download them in a folder that .gitignore hid. They'll now be checked in instead, under test/, and lkgr will identify which version of LLVM built them. | ||||
* | | | print infinity properly #71 | Alon Zakai | 2016-01-06 | 1 | -4/+4 |
|/ / | |||||
* | | fix type of ne and neg in s2wasm #72 | Alon Zakai | 2016-01-06 | 2 | -6/+6 |
| | | |||||
* | | fix missing slash in reinterpret/i* #73 | Alon Zakai | 2016-01-06 | 1 | -2/+2 |
|/ | |||||
* | Merge pull request #69 from WebAssembly/import-wasmate-tests | Alon Zakai | 2016-01-06 | 54 | -0/+5784 |
|\ | | | | | Import wasmate tests | ||||
| * | Check in the llvm-to-s.py script used to generate the tests. | Dan Gohman | 2016-01-06 | 1 | -0/+68 |
| | | |||||
| * | Initial auto-generate of .s tests from LLVM tests. | Dan Gohman | 2016-01-06 | 46 | -0/+5614 |
| | | |||||
| * | Import hand-written tests from prototype-wasmate. | Dan Gohman | 2016-01-06 | 7 | -0/+102 |
| | | |||||
* | | set function type of imports in s2wasm #68 | Alon Zakai | 2016-01-06 | 14 | -23/+23 |
|/ | |||||
* | s2wasm: load/store swap offset/align params | JF Bastien | 2016-01-06 | 7 | -85/+85 |
| | | | | | | | | | These should probably be commutable so humans don't have to remember which order to read/write things in, but there's pushback and this really doesn't matter so fix it here, bikeshed on github. This will require an associated fix in sexpr-wasm's GCC torture test failure list. Ref: https://github.com/WebAssembly/sexpr-wasm-prototype/issues/17 Ref: https://github.com/WebAssembly/spec/pull/205 | ||||
* | update experimental submodule | Alon Zakai | 2016-01-05 | 1 | -0/+0 |
| | |||||
* | fix parsing error in s-parser with functions with just a block and then more ↵ | Alon Zakai | 2016-01-05 | 2 | -0/+17 |
| | | | | content | ||||
* | MergeBlocks #32 | Alon Zakai | 2016-01-05 | 4 | -366/+572 |
| | |||||
* | RemoveUnusedBrs #32 | Alon Zakai | 2016-01-05 | 5 | -1172/+1289 |
| | |||||
* | do not print a toplevel block in functions if we don't need one #32 | Alon Zakai | 2016-01-05 | 9 | -13060/+12906 |
| | |||||
* | fix RemoveUnusedNames | Alon Zakai | 2016-01-05 | 3 | -55/+55 |
| | |||||
* | update experimental submodule | Alon Zakai | 2016-01-05 | 1 | -0/+0 |
| |