Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | fix archive.cpp on 32-bit | Alon Zakai | 2016-05-05 | 1 | -1/+1 |
| | |||||
* | add a relooper test | Alon Zakai | 2016-05-05 | 2 | -0/+98 |
| | |||||
* | Import emscripten's relooper, port it to the binaryen AST, and provide a C ↵ | Alon Zakai | 2016-05-05 | 10 | -7/+1681 |
| | | | | | API (#434) also ignore libstdc++ bug in ubsan | ||||
* | [Linker] Handle archive files | Derek Schuff | 2016-05-05 | 19 | -15/+616 |
| | | | | | | | | Add a class to parse archive files. Support linking archive files, with archive semantics (i.e. an archive member is linked in if it satisfies an undefined reference). Archive files must be gnu-format archives containing .s files. Add tests for linking semantics. | ||||
* | Nicer shift masks (#431) | JF Bastien | 2016-05-04 | 1 | -7/+13 |
| | | | | | | | | * Nicer shift masks * Yet nicer shift mask. * Fix typo. | ||||
* | Harmonize the internal opcodes with the binary format (#433) | Alon Zakai | 2016-05-03 | 16 | -180/+325 |
| | | | | | | * harmonize the internal opcodes with the binary format, so they clearly parallel, and also this helps us avoid needing the type to disambiguate * comment on GetLocal in C API | ||||
* | Merge pull request #427 from WebAssembly/c-api-nice | Alon Zakai | 2016-05-03 | 10 | -18/+1249 |
|\ | | | | | C API | ||||
| * | kitchen sink test for c api | Alon Zakai | 2016-05-03 | 7 | -18/+562 |
| | | |||||
| * | C API plus test | Alon Zakai | 2016-05-02 | 6 | -15/+690 |
| | | |||||
| * | add a default finalize() so it is valid to call on any node | Alon Zakai | 2016-05-02 | 1 | -1/+3 |
| | | |||||
| * | makeLoop and makeBreak | Alon Zakai | 2016-05-02 | 1 | -2/+12 |
| | | |||||
* | | Fix signed integer overflow UB (#430) | JF Bastien | 2016-05-03 | 3 | -8/+8 |
| | | | | | | This puts us back where #404 wanted to be: all UB that ubsan knows about now causes an abort. This ins't to say that it's all gone, merely that our tests don't trigger any more UB which ubsan knows how to find :-) | ||||
* | | Fix shift UB (#429) | JF Bastien | 2016-05-03 | 2 | -7/+7 |
| | | | | | | Getting close to finishing #404. | ||||
* | | Fix null UB (#428) | JF Bastien | 2016-05-03 | 2 | -34/+38 |
| | | | | | | | | | | As a continuation to #404, fix a dereference of a std::vector's zeroth element when the size of the vector is zero. Symptom: stl_vector.h:866:9: runtime error: reference binding to null pointer of type 'char' | ||||
* | | ubsan: only recover from some of the failures (#426) | JF Bastien | 2016-05-02 | 1 | -1/+1 |
| | | | | | | | | | | | | | | | | | | | | I fixed a few of the existing ubsan failures as part of #404, but would like to prevent regressions. This patch allows some of the sanitizer checks to continue execution (null, shift, signed-integer-overflow) and makes all the other ones hard errors (preventing regressions). Once the remaining errors are addressed we should commit #404 which moves ubsan to -fno-sanitize-recover=all. This likely requires a good checked-math library. | ||||
* | | Fix alignment UB (#425) | JF Bastien | 2016-05-02 | 1 | -3/+6 |
| | | | | | | There may be some other places which are broken, but they don't trigger ubsan right now. This is another fix for #404. | ||||
* | | Fix UB with FP divide by zero (#424) | JF Bastien | 2016-05-02 | 1 | -2/+40 |
| | | | | | | Another fix for #404. | ||||
* | | f32.demote/f64 fix UB (#423) | JF Bastien | 2016-05-02 | 1 | -1/+8 |
| | | | | | | Another fix for #404. | ||||
* | | Fix memcpy UB (#422) | JF Bastien | 2016-05-02 | 1 | -1/+1 |
|/ | | | Can't call memcpy with size of 0 and nullptr init. | ||||
* | Fix {i32,i64}.trunc_{s,u}/{f32,f64} in interpreter (#421) | Ben Smith | 2016-05-02 | 3 | -8/+124 |
| | | | | Check the binary representation of the float instead of converting it to a float first. | ||||
* | Changed type of flags to fix Visual Studio 2015 error (#418) | BSalita | 2016-04-30 | 1 | -1/+1 |
| | | | Changed type of flags (line 26) in read_file() from auto to std::ios_base::openmode to fix Visual Studio 2015 error. | ||||
* | Check LEB128 encoding fits in destination integer (#408) | JF Bastien | 2016-04-30 | 1 | -7/+23 |
| | | | | | | | | | | | * Check LEB128 encoding fits in destination integer As found by #404, the insignificant LEB128 bits were silently dropped when dealing with signed LEB values which tripped UBSAN in hello_world. This fixes #409. * Fix typo. | ||||
* | Merge pull request #416 from WebAssembly/full-validation-nice | Alon Zakai | 2016-04-29 | 16 | -42/+285 |
|\ | | | | | Full validation | ||||
| * | validate in binaryen shell and on wasm binaries, and fix type checking | Alon Zakai | 2016-04-29 | 10 | -34/+177 |
| | | |||||
| * | add wasm.cpp which does full type detection for blocks, and prepare for full ↵ | Alon Zakai | 2016-04-29 | 5 | -7/+107 |
| | | | | | | | | type checking everywhere | ||||
| * | warning on BreakSeeker | Alon Zakai | 2016-04-29 | 1 | -1/+1 |
|/ | |||||
* | Merge pull request #413 from WebAssembly/binary-fixes | Alon Zakai | 2016-04-28 | 2 | -8/+8 |
|\ | | | | | Reinterpret binary fixes | ||||
| * | get the reinterpret opcodes right on float/int | Alon Zakai | 2016-04-28 | 1 | -6/+6 |
| | | |||||
| * | fix size detection on reinterpret operations in binary format | Alon Zakai | 2016-04-28 | 2 | -4/+4 |
|/ | |||||
* | fix asm2wasm f64->f32->i32 bitcast (#412) | Alon Zakai | 2016-04-28 | 4 | -0/+18 |
| | |||||
* | Merge pull request #411 from WebAssembly/flexible-methods | Alon Zakai | 2016-04-28 | 1 | -95/+108 |
|\ | | | | | Refactor js/wasm glue to defer the wasm/wasm-polyfill/asmjs-fallback point | ||||
| * | fall back from wasm compilation errors, and add logging | Alon Zakai | 2016-04-28 | 1 | -3/+12 |
| | | |||||
| * | refactor js/wasm glue to defer the wasm/wasm-polyfill/asmjs-fallback as late ↵ | Alon Zakai | 2016-04-28 | 1 | -96/+100 |
| | | | | | | | | as possible. this lets us recover from wasm compilation failures and still do a fallback method | ||||
* | | avoid dynamic allocas (#410) | Alon Zakai | 2016-04-28 | 2 | -5/+7 |
|/ | |||||
* | Merge pull request #403 from WebAssembly/leaks | Alon Zakai | 2016-04-27 | 22 | -161/+180 |
|\ | | | | | Fix leaks and enable leak checks | ||||
| * | cleanups following review comments | Alon Zakai | 2016-04-27 | 1 | -1/+1 |
| | | |||||
| * | enable leak checks | Alon Zakai | 2016-04-27 | 1 | -1/+1 |
| | | |||||
| * | avoid leaks when s-parsing hits an error | Alon Zakai | 2016-04-27 | 1 | -6/+6 |
| | | |||||
| * | don't leak currFunction in s-parser | Alon Zakai | 2016-04-27 | 1 | -5/+4 |
| | | |||||
| * | don't leak when parsing segments in s-parser | Alon Zakai | 2016-04-27 | 1 | -2/+2 |
| | | |||||
| * | just use a simple vector in data segments | Alon Zakai | 2016-04-27 | 8 | -42/+51 |
| | | |||||
| * | do not leak in IStringSet | Alon Zakai | 2016-04-27 | 2 | -14/+16 |
| | | |||||
| * | clean up import if not passed to wasm module in asm2wasm | Alon Zakai | 2016-04-27 | 1 | -0/+1 |
| | | |||||
| * | clean up in emscripten-optimizer arenas | Alon Zakai | 2016-04-27 | 2 | -0/+10 |
| | | |||||
| * | use an arena vector for switch targets | Alon Zakai | 2016-04-27 | 1 | -3/+2 |
| | | |||||
| * | allocate only expressions in arenas - functions, imports, exports, function ↵ | Alon Zakai | 2016-04-27 | 13 | -82/+82 |
| | | | | | | | | types, can more simply be held by unique_ptrs on the owning module. this avoids need to coordinate arena allocation for their elements, and only the far more plentiful expression nodes are a perf factor anyhow | ||||
| * | don't leak when running tests in shell | Alon Zakai | 2016-04-27 | 1 | -6/+6 |
| | | |||||
| * | use arena allocation for s-expr Elements | Alon Zakai | 2016-04-27 | 1 | -3/+2 |
|/ | |||||
* | Merge pull request #406 from WebAssembly/i64.load32_u | Alon Zakai | 2016-04-27 | 16 | -13154/+12148 |
|\ | | | | | Fix zero-extension in i64.load32_u. | ||||
| * | use ONLY hack only for _only files in test/wasm_backend | Alon Zakai | 2016-04-27 | 11 | -1/+1 |
| | |