Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | convert Abs to use int bits | Alon Zakai | 2016-02-02 | 1 | -0/+13 | |
| | ||||||
* | save int bits in Literals, only bitcast to float/double on explicit request | Alon Zakai | 2016-02-02 | 1 | -20/+25 | |
| | ||||||
* | Make Literal's ctors explicit | JF Bastien | 2016-02-02 | 1 | -6/+6 | |
| | | | | This tends to avoid silly mistakes, which I'm worried about after adding an explicit ctor with the enum WasmType parameter. See 'C++ Coding Standards: 101 Rules, Guidelines, and Best Practices' rule #40 'avoid providing implicit conversion'. | |||||
* | Shell: fix --entry parameter numbers | JF Bastien | 2016-02-02 | 1 | -1/+2 | |
| | | | | When running the shell with --entry it was assumed that the signature had zero parameters. This isn't true for main, so look at the function's parameter list and construct a zero-initialized arguments vector of the right types. This fixes a few failures, some of which were hiding other failures. | |||||
* | add return node | Alon Zakai | 2016-02-01 | 1 | -0/+27 | |
| | ||||||
* | use getReachableWasmType in if_else and select | Alon Zakai | 2016-02-01 | 1 | -2/+7 | |
| | ||||||
* | add an unreachable type, so we can properly type check binaries with an ↵ | Alon Zakai | 2016-02-01 | 1 | -4/+14 | |
| | | | | unreachable side (which we then ignore) #160 | |||||
* | set type for loop #161 | Alon Zakai | 2016-02-01 | 1 | -0/+4 | |
| | ||||||
* | print named types of functions | Alon Zakai | 2016-01-29 | 1 | -0/+3 | |
| | ||||||
* | fix float payloads based on #152 | Alon Zakai | 2016-01-29 | 1 | -2/+2 | |
| | ||||||
* | clarify Export fields | Alon Zakai | 2016-01-29 | 1 | -2/+2 | |
| | ||||||
* | fix printing of i64 loads of 4 bytes | Alon Zakai | 2016-01-29 | 1 | -1/+3 | |
| | ||||||
* | Factor out bit_cast. | JF Bastien | 2016-01-28 | 1 | -14/+3 | |
| | ||||||
* | Don't emit NaN payload when zero. | JF Bastien | 2016-01-28 | 1 | -7/+11 | |
| | ||||||
* | Output NaN payloads only | JF Bastien | 2016-01-28 | 1 | -6/+12 | |
| | | | | As discussed with @binji and @sunfish in https://github.com/WebAssembly/sexpr-wasm-prototype/issues/28 | |||||
* | Write each memory segment on its own line | JF Bastien | 2016-01-27 | 1 | -2/+2 | |
| | | | | 30k+ column files are silly. | |||||
* | Adds a --metrics command line argument to print metrics about .wast files ↵ | Michael | 2016-01-27 | 1 | -0/+26 | |
| | | | | between optimization passes. | |||||
* | Parenthesize macro arguments. | Dan Gohman | 2016-01-27 | 1 | -2/+2 | |
| | ||||||
* | fix select type | Alon Zakai | 2016-01-27 | 1 | -0/+5 | |
| | ||||||
* | improve assert | Alon Zakai | 2016-01-27 | 1 | -1/+7 | |
| | ||||||
* | avoid emitting a block in a loop when the .wast format allows doing so #139 | Alon Zakai | 2016-01-23 | 1 | -1/+10 | |
| | ||||||
* | only the IString constructor for Name can avoid memory copying | Alon Zakai | 2016-01-20 | 1 | -1/+1 | |
| | ||||||
* | Don't allow re-using memory | JF Bastien | 2016-01-20 | 1 | -1/+1 | |
| | ||||||
* | Name: support std::string ctor | JF Bastien | 2016-01-20 | 1 | -0/+1 | |
| | | | This makes other code less verbose | |||||
* | Merge pull request #103 from mbebenita/static-poly | Alon Zakai | 2016-01-19 | 1 | -195/+215 | |
|\ | | | | | Use LLVM style static polymorphism for AST Visitors | |||||
| * | Add unreachable macro for the default case. | Michael Bebenita | 2016-01-15 | 1 | -4/+1 | |
| | | ||||||
| * | Add default case so that GCC doesn't complain. | Michael Bebenita | 2016-01-14 | 1 | -0/+4 | |
| | | ||||||
| * | Some cleanup. | Michael Bebenita | 2016-01-14 | 1 | -31/+39 | |
| | | ||||||
| * | Use LLVM style static polymorphism for WasmVisitors. | Michael Bebenita | 2016-01-13 | 1 | -126/+131 | |
| | | ||||||
| * | A more generic compiler pass system. | Michael Bebenita | 2016-01-13 | 1 | -86/+92 | |
| | | ||||||
* | | The break operation may have a value, and must with the v8 encoding. | Douglas Crosher | 2016-01-18 | 1 | -2/+2 | |
| | | ||||||
* | | initial work on wasm-dis | Alon Zakai | 2016-01-13 | 1 | -0/+1 | |
| | | ||||||
* | | avoid unportable sizes in wasm.h | Alon Zakai | 2016-01-13 | 1 | -2/+2 | |
|/ | ||||||
* | refactor FunctionType to always be accessed from the Module's central store, ↵ | Alon Zakai | 2016-01-11 | 1 | -2/+6 | |
| | | | | which is necessary for simple binary writing | |||||
* | Add Travis builds with sanitizers | JF Bastien | 2016-01-10 | 1 | -2/+3 | |
| | | | | | | | | | | | | | | | | 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. | |||||
* | fix default being a br in switch #70 | Alon Zakai | 2016-01-07 | 1 | -1/+1 | |
| | ||||||
* | 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 | |
| | ||||||
* | print infinity properly #71 | Alon Zakai | 2016-01-06 | 1 | -0/+4 | |
| | ||||||
* | fix missing slash in reinterpret/i* #73 | Alon Zakai | 2016-01-06 | 1 | -1/+1 | |
| | ||||||
* | 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 | |||||
* | do not print a toplevel block in functions if we don't need one #32 | Alon Zakai | 2016-01-05 | 1 | -1/+10 | |
| | ||||||
* | Fix a few Windows/VS2013 compile errors | Andrew Scheidecker | 2015-12-23 | 1 | -0/+1 | |
| | ||||||
* | Fix / uniformize include guards | JF Bastien | 2015-12-22 | 1 | -3/+9 | |
| | ||||||
* | Fix warnings found by GCC | JF Bastien | 2015-12-22 | 1 | -0/+3 | |
| | | | | | | My previous patch addressed all LLVM warnings, this one addresses all the GCC ones as well (mostly signed / unsigned mix). The patch also turns on -Wall -Werror. | |||||
* | Add missing virtual dtor | JF Bastien | 2015-12-22 | 1 | -0/+1 | |
| | | | | Deleting a Pass* wasn't doing the right thing. | |||||
* | s2wasm: add outfile | JF Bastien | 2015-12-22 | 1 | -0/+2 | |
| | | | | Use some C++ in a few places. I'll propagate similar changes to the rest of the codebase later. I also need to turn off colors when outputting to a file (isatty on stdout doesn't do that with -o) but I'll do it in a separate PR because it'll touch more files. | |||||
* | Fix the license headers | JF Bastien | 2015-12-21 | 1 | -1/+15 | |
| | | | | This applies Apache 2.0 properly (as far as our lawyers have told me). We can do this early since all of the code was written by Alon Zakai. | |||||
* | remove Label, which was removed from the spec | Alon Zakai | 2015-12-18 | 1 | -40/+19 | |
| | ||||||
* | start to emit metadata from s2wasm | Alon Zakai | 2015-12-14 | 1 | -0/+6 | |
| |