Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | validate start | Alon Zakai | 2016-02-12 | 1 | -2/+13 | |
| | | ||||||
| * | refactor binaryen-shell to accept a wast that begins with a module ↵ | Alon Zakai | 2016-02-12 | 1 | -47/+61 | |
| | | | | | | | | invalidity test | |||||
* | | refactor operations into Literal | Alon Zakai | 2016-02-12 | 2 | -227/+507 | |
|/ | ||||||
* | Merge pull request #194 from WebAssembly/store-parsing | Alon Zakai | 2016-02-10 | 2 | -3/+7 | |
|\ | | | | | Store parsing fix | |||||
| * | fix s2wasm store parsing | Alon Zakai | 2016-02-10 | 1 | -2/+4 | |
| | | ||||||
| * | fix store printing | Alon Zakai | 2016-02-10 | 1 | -1/+3 | |
| | | ||||||
* | | Merge pull request #192 from WebAssembly/longjmp-throw | JF Bastien | 2016-02-11 | 1 | -18/+18 | |
|\ \ | |/ |/| | longjmp -> throw | |||||
| * | longjmp -> throw | JF Bastien | 2016-02-09 | 1 | -18/+18 | |
| | | | | | | | | Older tsan doesn't like longjmp. Use throw. | |||||
* | | Fix out-of-bounds read | JF Bastien | 2016-02-09 | 1 | -1/+4 | |
|/ | | | | Found by asan | |||||
* | Align the stack allocation to 16 bytes to satisfy the aligment ABI | Derek Schuff | 2016-02-08 | 1 | -0/+2 | |
| | ||||||
* | Update binaryen and several tests for the new br_if operand order. | Dan Gohman | 2016-02-08 | 3 | -6/+10 | |
| | ||||||
* | update wasm.js | Alon Zakai | 2016-02-08 | 1 | -3/+3 | |
| | ||||||
* | check break types in validator | Alon Zakai | 2016-02-08 | 1 | -0/+22 | |
| | ||||||
* | update spec tests and shift to putting the br_if condition at the end, as ↵ | Alon Zakai | 2016-02-08 | 3 | -13/+17 | |
| | | | | was just changed to in the spec | |||||
* | Fix .s parser to accept new order of select operands | Derek Schuff | 2016-02-05 | 1 | -3/+3 | |
| | | | | Also update waterfall revision and LLVM-generated tests. | |||||
* | fix import parsing | Alon Zakai | 2016-02-05 | 1 | -1/+1 | |
| | ||||||
* | Fix select | JF Bastien | 2016-02-05 | 6 | -22/+23 | |
| | | | | | | | | | The ordering changed in: https://github.com/WebAssembly/spec/pull/221 Which changed the spec tests, breaking sexpr-wasm because it pulls in the spec tests. This was then fixed: https://github.com/WebAssembly/sexpr-wasm-prototype/commit/23dc368148fc7827a603e3853f5a40287eb9effe Which in turn breaks when binaryen feeds sexpr-wasm .wast files with the old select operand ordering. Note that this PR has new failures when running the torture tests in binaryen-shell: the order of evaluation is correct in binaryen-shell but isn't emitted properly by LLVM in the .s files. This will require another patch to fix LLVM. | |||||
* | Review comments. | JF Bastien | 2016-02-05 | 1 | -8/+8 | |
| | ||||||
* | Support start | JF Bastien | 2016-02-05 | 6 | -9/+68 | |
| | | | | | | | | | | | | | | As spec'd in: https://github.com/WebAssembly/design/pull/495 And discussed in: https://github.com/WebAssembly/spec/issues/231 This will make it simpler and more uniform to add a start entry point. s2wasm is the right place to add start because it'll eventually need to do other basic setup, e.g. put code in start to setup the stack, as dschuff is doing in: https://github.com/WebAssembly/binaryen/pull/179 Or rather, the linker is the right place and s2wasm happens to act as our linker right now. | |||||
* | Merge pull request #174 from mbebenita/fix-import | Alon Zakai | 2016-02-04 | 1 | -9/+16 | |
|\ | | | | | Fix import parsing. | |||||
| * | Formatting. | Michael | 2016-02-04 | 1 | -3/+1 | |
| | | ||||||
| * | Remove assert. | Michael | 2016-02-03 | 1 | -1/+3 | |
| | | ||||||
| * | Fix import parsing. | Michael | 2016-02-03 | 1 | -8/+15 | |
| | | ||||||
* | | comment | Alon Zakai | 2016-02-04 | 1 | -0/+3 | |
| | | ||||||
* | | 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'. |