summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
...
| * validate startAlon Zakai2016-02-121-2/+13
| |
| * refactor binaryen-shell to accept a wast that begins with a module ↵Alon Zakai2016-02-121-47/+61
| | | | | | | | invalidity test
* | refactor operations into LiteralAlon Zakai2016-02-122-227/+507
|/
* Merge pull request #194 from WebAssembly/store-parsingAlon Zakai2016-02-102-3/+7
|\ | | | | Store parsing fix
| * fix s2wasm store parsingAlon Zakai2016-02-101-2/+4
| |
| * fix store printingAlon Zakai2016-02-101-1/+3
| |
* | Merge pull request #192 from WebAssembly/longjmp-throwJF Bastien2016-02-111-18/+18
|\ \ | |/ |/| longjmp -> throw
| * longjmp -> throwJF Bastien2016-02-091-18/+18
| | | | | | | | Older tsan doesn't like longjmp. Use throw.
* | Fix out-of-bounds readJF Bastien2016-02-091-1/+4
|/ | | | Found by asan
* Align the stack allocation to 16 bytes to satisfy the aligment ABIDerek Schuff2016-02-081-0/+2
|
* Update binaryen and several tests for the new br_if operand order.Dan Gohman2016-02-083-6/+10
|
* update wasm.jsAlon Zakai2016-02-081-3/+3
|
* check break types in validatorAlon Zakai2016-02-081-0/+22
|
* update spec tests and shift to putting the br_if condition at the end, as ↵Alon Zakai2016-02-083-13/+17
| | | | was just changed to in the spec
* Fix .s parser to accept new order of select operandsDerek Schuff2016-02-051-3/+3
| | | | Also update waterfall revision and LLVM-generated tests.
* fix import parsingAlon Zakai2016-02-051-1/+1
|
* Fix selectJF Bastien2016-02-056-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 Bastien2016-02-051-8/+8
|
* Support startJF Bastien2016-02-056-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-importAlon Zakai2016-02-041-9/+16
|\ | | | | Fix import parsing.
| * Formatting.Michael2016-02-041-3/+1
| |
| * Remove assert.Michael2016-02-031-1/+3
| |
| * Fix import parsing.Michael2016-02-031-8/+15
| |
* | commentAlon Zakai2016-02-041-0/+3
| |
* | Add an option to allocate space for user stack at link timeDerek Schuff2016-02-042-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 rationaleJF Bastien2016-02-041-2/+4
| | | | | | | | As discussed in https://github.com/WebAssembly/binaryen/pull/167#issuecomment-179496231
* | Merge pull request #180 from WebAssembly/unsigned_binaryJF Bastien2016-02-041-40/+42
|\ \ | | | | | | Use unsigned types to evaluate i32 and i64 binary operators
| * | Use unsigned types to evaluate i32 and i64 binary operatorsDerek Schuff2016-02-041-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 functionsDerek Schuff2016-02-031-3/+3
|/ / | | | | | | This fixes the clang build.
* | Fix ambiguous constructor call with explicit castDerek Schuff2016-02-031-2/+2
| | | | | | | | Should fix the Travis build.
* | Break and Return have unreachable typeAlon Zakai2016-02-033-6/+14
| |
* | Merge remote-tracking branch 'origin/improve-memory-trap'Alon Zakai2016-02-031-6/+14
|\ \
| * | Shell: improve memory trapJF Bastien2016-02-031-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 66da1ee9cc70e3848c45745c21a244e54512fa9cAlon Zakai2016-02-031-9/+13
| |
* | Merge pull request #152 from WebAssembly/float-refactorAlon Zakai2016-02-038-91/+111
|\ \ | |/ |/| Float refactoring and nan comparison change
| * fix type of large constsAlon Zakai2016-02-031-2/+2
| |
| * fix nan comparisonsAlon Zakai2016-02-021-4/+4
| |
| * in assert tests, verify nans are identicalAlon Zakai2016-02-021-2/+15
| |
| * simplify interpreter int reinterpretingAlon Zakai2016-02-021-10/+2
| |
| * parse nans with all due careAlon Zakai2016-02-021-2/+2
| |
| * convert CopySign to use int bitsAlon Zakai2016-02-021-8/+4
| |
| * convert Neg to use int bitsAlon Zakai2016-02-021-4/+6
| |
| * convert Abs to use int bitsAlon Zakai2016-02-022-2/+15
| |
| * save int bits in Literals, only bitcast to float/double on explicit requestAlon Zakai2016-02-026-69/+73
| |
* | Merge pull request #170 from WebAssembly/bits-supportJF Bastien2016-02-034-132/+169
|\ \ | | | | | | Move bits.h to support/
| * | Move bits.h to support/JF Bastien2016-02-034-132/+169
| |/ | | | | | | Faster compiles.
* | Merge pull request #167 from WebAssembly/unalignedJF Bastien2016-02-031-27/+76
|\ \ | |/ |/| Shell: don't use unaligned memory
| * Shell: don't use unaligned memoryJF Bastien2016-02-031-27/+76
| |
* | don't accept -+ #163Alon Zakai2016-02-021-1/+5
|/
* Make Literal's ctors explicitJF Bastien2016-02-024-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'.