Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | | Add an option to allocate space for user stack at link time | Derek Schuff | 2016-02-04 | 2 | -5/+40 | |
| | | | | | | | | | | | | | | | | | | Currently s2wasm pre-allocates space for the special __stack_pointer variable but not for the actual stack, and __stack_pointer is null. On real systems the stack is allocated by the dynamic linker, thread runtime, or other toolchain/system-provided startup code. Since we don't have any of that in wasm yet, just add an option to allocate the stack in the linker for now, so we can continue to run single-file libc-free tests. | |||||
* | | NFC: improve minSize rationale | JF Bastien | 2016-02-04 | 1 | -2/+4 | |
| | | | | | | | | As discussed in https://github.com/WebAssembly/binaryen/pull/167#issuecomment-179496231 | |||||
* | | Merge pull request #180 from WebAssembly/unsigned_binary | JF Bastien | 2016-02-04 | 1 | -40/+42 | |
|\ \ | | | | | | | Use unsigned types to evaluate i32 and i64 binary operators | |||||
| * | | Use unsigned types to evaluate i32 and i64 binary operators | Derek Schuff | 2016-02-04 | 1 | -40/+42 | |
| | | | | | | | | | | | | | | | | | | | | | Instead of defaulting to signed types and casting as necessary, use unsigned types. Explicitly make signed copies of them and us them where appropriate, avoiding lots of casting and improving readability. Avoids undefined behavior of signed overflow. | |||||
* | | | De-inline signed wrapper templates for bit manipulation functions | Derek Schuff | 2016-02-03 | 1 | -3/+3 | |
|/ / | | | | | | | This fixes the clang build. | |||||
* | | Fix ambiguous constructor call with explicit cast | Derek Schuff | 2016-02-03 | 1 | -2/+2 | |
| | | | | | | | | Should fix the Travis build. | |||||
* | | Break and Return have unreachable type | Alon Zakai | 2016-02-03 | 3 | -6/+14 | |
| | | ||||||
* | | Merge remote-tracking branch 'origin/improve-memory-trap' | Alon Zakai | 2016-02-03 | 1 | -6/+14 | |
|\ \ | ||||||
| * | | Shell: improve memory trap | JF Bastien | 2016-02-03 | 1 | -6/+14 | |
| |/ | | | | | | | | | This makes it easier to debug, the message looks like: [trap final > memory: 1 > 0] | |||||
* | | fix gcc 4.8.2 breakage due to 66da1ee9cc70e3848c45745c21a244e54512fa9c | Alon Zakai | 2016-02-03 | 1 | -9/+13 | |
| | | ||||||
* | | Merge pull request #152 from WebAssembly/float-refactor | Alon Zakai | 2016-02-03 | 8 | -91/+111 | |
|\ \ | |/ |/| | Float refactoring and nan comparison change | |||||
| * | fix type of large consts | Alon Zakai | 2016-02-03 | 1 | -2/+2 | |
| | | ||||||
| * | fix nan comparisons | Alon Zakai | 2016-02-02 | 1 | -4/+4 | |
| | | ||||||
| * | in assert tests, verify nans are identical | Alon Zakai | 2016-02-02 | 1 | -2/+15 | |
| | | ||||||
| * | simplify interpreter int reinterpreting | Alon Zakai | 2016-02-02 | 1 | -10/+2 | |
| | | ||||||
| * | parse nans with all due care | Alon Zakai | 2016-02-02 | 1 | -2/+2 | |
| | | ||||||
| * | convert CopySign to use int bits | Alon Zakai | 2016-02-02 | 1 | -8/+4 | |
| | | ||||||
| * | convert Neg to use int bits | Alon Zakai | 2016-02-02 | 1 | -4/+6 | |
| | | ||||||
| * | convert Abs to use int bits | Alon Zakai | 2016-02-02 | 2 | -2/+15 | |
| | | ||||||
| * | save int bits in Literals, only bitcast to float/double on explicit request | Alon Zakai | 2016-02-02 | 6 | -69/+73 | |
| | | ||||||
* | | Merge pull request #170 from WebAssembly/bits-support | JF Bastien | 2016-02-03 | 4 | -132/+169 | |
|\ \ | | | | | | | Move bits.h to support/ | |||||
| * | | Move bits.h to support/ | JF Bastien | 2016-02-03 | 4 | -132/+169 | |
| |/ | | | | | | | Faster compiles. | |||||
* | | Merge pull request #167 from WebAssembly/unaligned | JF Bastien | 2016-02-03 | 1 | -27/+76 | |
|\ \ | |/ |/| | Shell: don't use unaligned memory | |||||
| * | Shell: don't use unaligned memory | JF Bastien | 2016-02-03 | 1 | -27/+76 | |
| | | ||||||
* | | don't accept -+ #163 | Alon Zakai | 2016-02-02 | 1 | -1/+5 | |
|/ | ||||||
* | Make Literal's ctors explicit | JF Bastien | 2016-02-02 | 4 | -18/+18 | |
| | | | | 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 | 3 | -9/+30 | |
| | | | | 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. | |||||
* | use Return in s2wasm | Alon Zakai | 2016-02-01 | 1 | -10/+1 | |
| | ||||||
* | use Return in asm2wasm | Alon Zakai | 2016-02-01 | 1 | -14/+1 | |
| | ||||||
* | add return node | Alon Zakai | 2016-02-01 | 4 | -22/+56 | |
| | ||||||
* | relax wasm.js assertions on alignment, and update wasm.js build | Alon Zakai | 2016-02-01 | 1 | -2/+2 | |
| | ||||||
* | use getReachableWasmType in if_else and select | Alon Zakai | 2016-02-01 | 3 | -4/+9 | |
| | ||||||
* | 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 | 3 | -0/+6 | |
| | ||||||
* | fix call_indirect s2wasm parsing order #162 | Alon Zakai | 2016-02-01 | 1 | -9/+5 | |
| | ||||||
* | clean up refactored call processing code | Alon Zakai | 2016-02-01 | 1 | -15/+12 | |
| | ||||||
* | refactor call processing code in s2wasm to not share as much between ↵ | Alon Zakai | 2016-02-01 | 1 | -31/+43 | |
| | | | | call_indirect and the others, as we need to rewrite the call_indirect code | |||||
* | optimize store offsets from emscripten output | Alon Zakai | 2016-01-31 | 1 | -2/+12 | |
| | ||||||
* | optimize load offsets from emscripten output | Alon Zakai | 2016-01-31 | 2 | -0/+71 | |
| | ||||||
* | fix block type in LowerIfElse | Alon Zakai | 2016-01-31 | 1 | -0/+1 | |
| | ||||||
* | refactor some binary writing code | Alon Zakai | 2016-01-30 | 1 | -14/+14 | |
| | ||||||
* | Do relocation properly when ignoring unknown symbols | JF Bastien | 2016-01-30 | 1 | -2/+4 | |
| | | | | My previous patch didn't perform the relocation, so it stuck around. Make it a nullptr instead. | |||||
* | fix switch in binary format | Alon Zakai | 2016-01-29 | 1 | -29/+24 | |
| | ||||||
* | refactor binary format break code | Alon Zakai | 2016-01-29 | 1 | -10/+19 | |
| | ||||||
* | don't let ceil in binary memory size computation let us get to UINT_MAX ↵ | Alon Zakai | 2016-01-29 | 1 | -2/+2 | |
| | | | | which can overflow | |||||
* | allow memory size 0 in binary format | Alon Zakai | 2016-01-29 | 1 | -5/+16 | |
| | ||||||
* | fix I8Const usage | Alon Zakai | 2016-01-29 | 1 | -3/+3 | |
| | ||||||
* | if functions are already type-named, do not change their types | Alon Zakai | 2016-01-29 | 1 | -1/+3 | |
| | ||||||
* | print named types of functions | Alon Zakai | 2016-01-29 | 1 | -0/+3 | |
| | ||||||
* | fix function type parsing in s-parser | Alon Zakai | 2016-01-29 | 1 | -3/+3 | |
| |