Commit message (Collapse) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
* | De-recurse traversals (#333) | Alon Zakai | 2016-04-11 | 1 | -1/+1 | |
| | | | | | | | | | | | | * refactor core walking to not recurse * add a simplify-locals test * reuse parent's non-branchey scan logic in SimpleExecutionWalker, reduce code duplication * update wasm.js * rename things following comments | |||||
* | trap on bad callExport, don't assert | Alon Zakai | 2016-04-04 | 1 | -1/+1 | |
| | ||||||
* | clean up callExport types | Alon Zakai | 2016-04-04 | 1 | -1/+1 | |
| | ||||||
* | add apis for accessing module elements | Alon Zakai | 2016-04-04 | 1 | -4/+4 | |
| | ||||||
* | Fix the build with GCC 5.3.1 and Clang 3.8.0. | Csaba Osztrogonác | 2016-03-31 | 1 | -2/+2 | |
| | | | | Fixes #299 | |||||
* | Clean up src\wasm-interpreter.h(644): warning C4244: 'initializing': ↵ | Jukka Jylänki | 2016-03-28 | 1 | -2/+2 | |
| | | | | conversion from 'double' to 'int64_t', possible loss of data. | |||||
* | Clean up src\wasm-interpreter.h(307): warning C4244: 'argument': conversion ↵ | Jukka Jylänki | 2016-03-28 | 1 | -1/+1 | |
| | | | | from 'int64_t' to 'unsigned int', possible loss of data | |||||
* | Clean up src\wasm-interpreter.h(286): warning C4800: 'int64_t': forcing ↵ | Jukka Jylänki | 2016-03-28 | 1 | -1/+1 | |
| | | | | value to bool 'true' or 'false' (performance warning) | |||||
* | Fix function trapIfGt() to operate on 64-bit integers even when building a ↵ | Jukka Jylänki | 2016-03-28 | 1 | -1/+1 | |
| | | | | 32-bit executable. | |||||
* | update spec tests, and new memory page size usage | Alon Zakai | 2016-03-25 | 1 | -13/+12 | |
| | ||||||
* | add function stack printing in interpreter | Alon Zakai | 2016-03-23 | 1 | -0/+16 | |
| | ||||||
* | fix float to int trap text | Alon Zakai | 2016-03-20 | 1 | -2/+2 | |
| | ||||||
* | update spec tests and support eqz | Alon Zakai | 2016-03-19 | 1 | -0/+2 | |
| | ||||||
* | de-recurse operations on nested blocks | Alon Zakai | 2016-03-10 | 1 | -3/+24 | |
| | ||||||
* | Implement rotates | Derek Schuff | 2016-03-09 | 1 | -0/+4 | |
| | ||||||
* | Make initial and max memory sizes be in pages instead of bytes | Derek Schuff | 2016-03-09 | 1 | -1/+1 | |
| | | | | | | | The AST and everything that uses it treats the values as pages. Javascript continues to use bytes. This matches v8 and sexpr-wasm, and the consensus from live discussion and PR209 in the spec. | |||||
* | br_table, no more cases | Alon Zakai | 2016-03-07 | 1 | -28/+12 | |
| | ||||||
* | fix assertion in interpreter that was too strong - we can have blocks with ↵ | Alon Zakai | 2016-03-02 | 1 | -3/+7 | |
| | | | | no return type, but that still end up returning a type due to a branch | |||||
* | grow memory returns a value now, and we can update the spec tests after ↵ | Alon Zakai | 2016-02-23 | 1 | -1/+2 | |
| | | | | doing that | |||||
* | Merge pull request #196 from WebAssembly/spec-start | Alon Zakai | 2016-02-12 | 1 | -0/+4 | |
|\ | | | | | Fully support start in wasm modules | |||||
| * | call start method in interpreter | Alon Zakai | 2016-02-12 | 1 | -0/+4 | |
| | | ||||||
* | | refactor operations into Literal | Alon Zakai | 2016-02-12 | 1 | -216/+107 | |
|/ | ||||||
* | update spec tests and shift to putting the br_if condition at the end, as ↵ | Alon Zakai | 2016-02-08 | 1 | -5/+5 | |
| | | | | was just changed to in the spec | |||||
* | Fix select | JF Bastien | 2016-02-05 | 1 | -3/+3 | |
| | | | | | | | | | 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. | |||||
* | 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. | |||||
* | Fix ambiguous constructor call with explicit cast | Derek Schuff | 2016-02-03 | 1 | -2/+2 | |
| | | | | Should fix the Travis build. | |||||
* | 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] | |||||
* | | Merge pull request #152 from WebAssembly/float-refactor | Alon Zakai | 2016-02-03 | 1 | -22/+12 | |
|\ \ | |/ |/| | Float refactoring and nan comparison change | |||||
| * | fix type of large consts | Alon Zakai | 2016-02-03 | 1 | -2/+2 | |
| | | ||||||
| * | simplify interpreter int reinterpreting | Alon Zakai | 2016-02-02 | 1 | -10/+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 | 1 | -2/+2 | |
| | | ||||||
* | | Move bits.h to support/ | JF Bastien | 2016-02-03 | 1 | -1/+1 | |
|/ | | | | Faster compiles. | |||||
* | Shell: fix --entry parameter numbers | JF Bastien | 2016-02-02 | 1 | -4/+16 | |
| | | | | 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 | -2/+14 | |
| | ||||||
* | Use LLVM style static polymorphism for WasmVisitors. | Michael Bebenita | 2016-01-13 | 1 | -20/+20 | |
| | ||||||
* | fix switch parsing and semantics, for br in the table | Alon Zakai | 2016-01-06 | 1 | -2/+4 | |
| | ||||||
* | Simplify the bit functions... a bit! | JF Bastien | 2015-12-24 | 1 | -21/+6 | |
| | ||||||
* | ensure proper literal type for popcnt results | Alon Zakai | 2015-12-23 | 1 | -2/+2 | |
| | ||||||
* | Add curly. | JF Bastien | 2015-12-23 | 1 | -1/+2 | |
| | ||||||
* | clz32: handle 0 as with ctz | JF Bastien | 2015-12-23 | 1 | -1/+3 | |
| | ||||||
* | Use the new bit functions | JF Bastien | 2015-12-23 | 1 | -41/+9 | |
| | ||||||
* | fix typo | Alon Zakai | 2015-12-23 | 1 | -1/+1 | |
| | ||||||
* | Implement feedback | Andrew Scheidecker | 2015-12-23 | 1 | -4/+2 | |
| | ||||||
* | Fix a few Windows/VS2013 compile errors | Andrew Scheidecker | 2015-12-23 | 1 | -2/+27 | |
| | ||||||
* | Fix / uniformize include guards | JF Bastien | 2015-12-22 | 1 | -0/+5 | |
| | ||||||
* | Fix warnings found by GCC | JF Bastien | 2015-12-22 | 1 | -1/+1 | |
| | | | | | | 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. | |||||
* | 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. |