Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Check for negative overflow. | JF Bastien | 2016-01-11 | 1 | -30/+50 |
| | |||||
* | Safe integer: assert before converting double to integer. | JF Bastien | 2016-01-10 | 1 | -0/+5 |
| | |||||
* | Asm2WasmBuilder: allow building u/s int32. | JF Bastien | 2016-01-10 | 1 | -2/+3 |
| | |||||
* | Add Travis builds with sanitizers | JF Bastien | 2016-01-10 | 10 | -57/+165 |
| | | | | | | | | | | | | | | | | 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. | ||||
* | use simplify-locals by default | Alon Zakai | 2016-01-09 | 3 | -0/+3 |
| | |||||
* | start work on SimplifyLocals | Alon Zakai | 2016-01-09 | 1 | -0/+43 |
| | |||||
* | add -O option to shell that runs default optimization passes | Alon Zakai | 2016-01-08 | 1 | -1/+6 |
| | |||||
* | RemoveUnneededBrs: remove all code in a block after a break | Alon Zakai | 2016-01-08 | 1 | -0/+7 |
| | |||||
* | improve RemoveUnusedBrs: unify an if-else's brs into one br outside | Alon Zakai | 2016-01-08 | 1 | -24/+39 |
| | |||||
* | s2wasm: only create output file when successful | JF Bastien | 2016-01-08 | 1 | -1/+1 |
| | | | Previously the file was created but was empty when s2wasm failed. This caused sexpr-wasm to be sad because it tried to use an empty file. | ||||
* | optimize if_else in RemoveUnusedBrs | Alon Zakai | 2016-01-08 | 1 | -8/+33 |
| | |||||
* | optimize RemoveUnusedBrs some more - handle values #84 | Alon Zakai | 2016-01-07 | 1 | -2/+6 |
| | |||||
* | Handle .skip | JF Bastien | 2016-01-07 | 1 | -1/+1 |
| | | | | LLVM will generate this now. | ||||
* | handle .zero x, y | Alon Zakai | 2016-01-07 | 1 | -1/+6 |
| | |||||
* | Merge branch 'private-label-names' | Alon Zakai | 2016-01-07 | 1 | -3/+3 |
|\ | | | | | | | | | | | 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 | 1 | -3/+3 |
| | | | | | | | | | | 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 | -7/+2 |
|/ | |||||
* | fix switch parsing and semantics, for br in the table | Alon Zakai | 2016-01-06 | 2 | -9/+5 |
| | |||||
* | fix switch br/case printing #70 | Alon Zakai | 2016-01-06 | 1 | -1/+5 |
| | |||||
* | Print nan literals as `nan:0x...` rather than `nan:...` to match the spec. | Dan Gohman | 2016-01-06 | 1 | -2/+2 |
| | |||||
* | Merge branch 'sections-visibilties' | Alon Zakai | 2016-01-06 | 1 | -1/+1 |
|\ | |||||
| * | handle/ignore visibilities in s2wasm | Alon Zakai | 2016-01-06 | 1 | -1/+1 |
| | | |||||
* | | get proper full type, including result, for indirect call types #77 | Alon Zakai | 2016-01-06 | 1 | -3/+1 |
| | | |||||
* | | print infinity properly #71 | Alon Zakai | 2016-01-06 | 1 | -0/+4 |
| | | |||||
* | | fix type of ne and neg in s2wasm #72 | Alon Zakai | 2016-01-06 | 1 | -2/+2 |
| | | |||||
* | | fix missing slash in reinterpret/i* #73 | Alon Zakai | 2016-01-06 | 1 | -1/+1 |
|/ | |||||
* | set function type of imports in s2wasm #68 | Alon Zakai | 2016-01-06 | 2 | -6/+31 |
| | |||||
* | s2wasm: load/store swap offset/align params | JF Bastien | 2016-01-06 | 1 | -6/+6 |
| | | | | | | | | | 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 | ||||
* | fix return handling in s-parser | Alon Zakai | 2016-01-05 | 1 | -8/+17 |
| | |||||
* | fix parsing error in s-parser with functions with just a block and then more ↵ | Alon Zakai | 2016-01-05 | 1 | -6/+6 |
| | | | | content | ||||
* | MergeBlocks #32 | Alon Zakai | 2016-01-05 | 2 | -0/+57 |
| | |||||
* | RemoveUnusedBrs #32 | Alon Zakai | 2016-01-05 | 2 | -0/+42 |
| | |||||
* | do not print a toplevel block in functions if we don't need one #32 | Alon Zakai | 2016-01-05 | 1 | -1/+10 |
| | |||||
* | fix RemoveUnusedNames | Alon Zakai | 2016-01-05 | 1 | -13/+11 |
| | |||||
* | Merge pull request #64 from WebAssembly/color-disable | Alon Zakai | 2016-01-04 | 3 | -4/+11 |
|\ | | | | | Disable colors when outputting to a file | ||||
| * | Disable colors when outputting to a file | JF Bastien | 2016-01-04 | 3 | -4/+11 |
| | | | | | | | | This will allow other tools to consume the output. | ||||
* | | Merge pull request #63 from WebAssembly/support-file | Alon Zakai | 2016-01-04 | 3 | -38/+106 |
|\ \ | | | | | | | Move file input / output to support. | ||||
| * | | Move file input / output to support. | JF Bastien | 2016-01-04 | 3 | -38/+106 |
| |/ | |||||
* | | run RemoveUnusedNames in asm2wasm | Alon Zakai | 2016-01-04 | 2 | -1/+10 |
| | | |||||
* | | add RemoveUnusedNames pass | Alon Zakai | 2016-01-04 | 1 | -0/+50 |
|/ | |||||
* | parse for loops in asm2wasm #60 | Alon Zakai | 2016-01-04 | 4 | -1/+82 |
| | |||||
* | Fix off-by-one in option parsing with '='. | JF Bastien | 2016-01-04 | 1 | -1/+1 |
| | |||||
* | Add curlies. | JF Bastien | 2016-01-04 | 2 | -3/+6 |
| | |||||
* | Generalize command-line parsing more. | JF Bastien | 2016-01-02 | 3 | -65/+180 |
| | | | | This should allow other programs to use the same command-line support. | ||||
* | Typo | JF Bastien | 2015-12-30 | 1 | -1/+1 |
| | |||||
* | Merge pull request #55 from WebAssembly/support-command-line | Alon Zakai | 2015-12-30 | 3 | -29/+54 |
|\ | | | | | Start moving command-line processing to libsupport.a | ||||
| * | Add a help to avoid out-of-bounds. | JF Bastien | 2015-12-29 | 1 | -1/+4 |
| | | |||||
| * | Fix include guards. | JF Bastien | 2015-12-29 | 1 | -3/+3 |
| | | |||||
| * | Start moving command-line processing to libsupport.a | JF Bastien | 2015-12-29 | 3 | -28/+50 |
| | | | | | | | | This only moves things, no functional change yet. | ||||
* | | BufferWithRandomAccess | Alon Zakai | 2015-12-29 | 1 | -2/+60 |
| | |