summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Check for negative overflow.JF Bastien2016-01-111-30/+50
|
* Safe integer: assert before converting double to integer.JF Bastien2016-01-101-0/+5
|
* Asm2WasmBuilder: allow building u/s int32.JF Bastien2016-01-101-2/+3
|
* Add Travis builds with sanitizersJF Bastien2016-01-1010-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 defaultAlon Zakai2016-01-093-0/+3
|
* start work on SimplifyLocalsAlon Zakai2016-01-091-0/+43
|
* add -O option to shell that runs default optimization passesAlon Zakai2016-01-081-1/+6
|
* RemoveUnneededBrs: remove all code in a block after a breakAlon Zakai2016-01-081-0/+7
|
* improve RemoveUnusedBrs: unify an if-else's brs into one br outsideAlon Zakai2016-01-081-24/+39
|
* s2wasm: only create output file when successfulJF Bastien2016-01-081-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 RemoveUnusedBrsAlon Zakai2016-01-081-8/+33
|
* optimize RemoveUnusedBrs some more - handle values #84Alon Zakai2016-01-071-2/+6
|
* Handle .skipJF Bastien2016-01-071-1/+1
| | | | LLVM will generate this now.
* handle .zero x, yAlon Zakai2016-01-071-1/+6
|
* Merge branch 'private-label-names'Alon Zakai2016-01-071-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 Gohman2016-01-071-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 #70Alon Zakai2016-01-072-7/+2
|/
* fix switch parsing and semantics, for br in the tableAlon Zakai2016-01-062-9/+5
|
* fix switch br/case printing #70Alon Zakai2016-01-061-1/+5
|
* Print nan literals as `nan:0x...` rather than `nan:...` to match the spec.Dan Gohman2016-01-061-2/+2
|
* Merge branch 'sections-visibilties'Alon Zakai2016-01-061-1/+1
|\
| * handle/ignore visibilities in s2wasmAlon Zakai2016-01-061-1/+1
| |
* | get proper full type, including result, for indirect call types #77Alon Zakai2016-01-061-3/+1
| |
* | print infinity properly #71Alon Zakai2016-01-061-0/+4
| |
* | fix type of ne and neg in s2wasm #72Alon Zakai2016-01-061-2/+2
| |
* | fix missing slash in reinterpret/i* #73Alon Zakai2016-01-061-1/+1
|/
* set function type of imports in s2wasm #68Alon Zakai2016-01-062-6/+31
|
* s2wasm: load/store swap offset/align paramsJF Bastien2016-01-061-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-parserAlon Zakai2016-01-051-8/+17
|
* fix parsing error in s-parser with functions with just a block and then more ↵Alon Zakai2016-01-051-6/+6
| | | | content
* MergeBlocks #32Alon Zakai2016-01-052-0/+57
|
* RemoveUnusedBrs #32Alon Zakai2016-01-052-0/+42
|
* do not print a toplevel block in functions if we don't need one #32Alon Zakai2016-01-051-1/+10
|
* fix RemoveUnusedNamesAlon Zakai2016-01-051-13/+11
|
* Merge pull request #64 from WebAssembly/color-disableAlon Zakai2016-01-043-4/+11
|\ | | | | Disable colors when outputting to a file
| * Disable colors when outputting to a fileJF Bastien2016-01-043-4/+11
| | | | | | | | This will allow other tools to consume the output.
* | Merge pull request #63 from WebAssembly/support-fileAlon Zakai2016-01-043-38/+106
|\ \ | | | | | | Move file input / output to support.
| * | Move file input / output to support.JF Bastien2016-01-043-38/+106
| |/
* | run RemoveUnusedNames in asm2wasmAlon Zakai2016-01-042-1/+10
| |
* | add RemoveUnusedNames passAlon Zakai2016-01-041-0/+50
|/
* parse for loops in asm2wasm #60Alon Zakai2016-01-044-1/+82
|
* Fix off-by-one in option parsing with '='.JF Bastien2016-01-041-1/+1
|
* Add curlies.JF Bastien2016-01-042-3/+6
|
* Generalize command-line parsing more.JF Bastien2016-01-023-65/+180
| | | | This should allow other programs to use the same command-line support.
* TypoJF Bastien2015-12-301-1/+1
|
* Merge pull request #55 from WebAssembly/support-command-lineAlon Zakai2015-12-303-29/+54
|\ | | | | Start moving command-line processing to libsupport.a
| * Add a help to avoid out-of-bounds.JF Bastien2015-12-291-1/+4
| |
| * Fix include guards.JF Bastien2015-12-291-3/+3
| |
| * Start moving command-line processing to libsupport.aJF Bastien2015-12-293-28/+50
| | | | | | | | This only moves things, no functional change yet.
* | BufferWithRandomAccessAlon Zakai2015-12-291-2/+60
| |