summaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
...
| * add validation to the C api, and fix things that uncovered in the C API testsAlon Zakai2016-05-052-5/+15
| |
| * improve validator error message on set_localAlon Zakai2016-05-051-1/+1
| |
| * fix set_local finalize()Alon Zakai2016-05-051-0/+4
| |
* | Fix NaN / 0 (#442)JF Bastien2016-05-051-4/+30
| | | | | | As discussed in: https://github.com/WebAssembly/spec/pull/282#issuecomment-217280544
* | Merge pull request #436 from WebAssembly/fix-switchAlon Zakai2016-05-051-6/+11
|\ \ | | | | | | Fix switches in simplify-locals
| * | clear sinkables on unoptimizable blocks, as they have a control flow mergeAlon Zakai2016-05-051-6/+10
| | |
| * | note defaults of switches in SimplifyLocalsAlon Zakai2016-05-051-0/+1
| |/
* | make wasm.js safe in closure compiler (#438)Alon Zakai2016-05-051-1/+1
| |
* | [Linker] Make repeated passes over archive members (#440)Derek Schuff2016-05-051-15/+23
| | | | | | | | | | | | | | | | | | An archive member can depend on any other archive member, so adding a member to the link can introduce new undefined references that must be satisfied. The linker must continue to iterate over the members until nothing new is added to the link.
* | make print flags in archive.cpp nicer (#437)Alon Zakai2016-05-051-2/+2
|/
* add optimization to c api, and so that we can find all passes in the c api ↵Alon Zakai2016-05-052-0/+11
| | | | library, make it dynamic
* handle missing local names in ReorderLocalsAlon Zakai2016-05-051-2/+5
|
* better error on missing passesAlon Zakai2016-05-051-1/+2
|
* simplify PassRunner API, get a module directlyAlon Zakai2016-05-055-10/+11
|
* fix archive.cpp on 32-bitAlon Zakai2016-05-051-1/+1
|
* Import emscripten's relooper, port it to the binaryen AST, and provide a C ↵Alon Zakai2016-05-056-5/+1368
| | | | | API (#434) also ignore libstdc++ bug in ubsan
* [Linker] Handle archive filesDerek Schuff2016-05-056-15/+402
| | | | | | | | 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 Bastien2016-05-041-7/+13
| | | | | | | | * Nicer shift masks * Yet nicer shift mask. * Fix typo.
* Harmonize the internal opcodes with the binary format (#433)Alon Zakai2016-05-0313-136/+228
| | | | | | * 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-niceAlon Zakai2016-05-034-3/+644
|\ | | | | C API
| * kitchen sink test for c apiAlon Zakai2016-05-033-13/+23
| |
| * C API plus testAlon Zakai2016-05-022-0/+619
| |
| * add a default finalize() so it is valid to call on any nodeAlon Zakai2016-05-021-1/+3
| |
| * makeLoop and makeBreakAlon Zakai2016-05-021-2/+12
| |
* | Fix signed integer overflow UB (#430)JF Bastien2016-05-032-7/+7
| | | | | | 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 Bastien2016-05-031-6/+6
| | | | | | Getting close to finishing #404.
* | Fix null UB (#428)JF Bastien2016-05-031-33/+37
| | | | | | | | | | 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'
* | Fix alignment UB (#425)JF Bastien2016-05-021-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 Bastien2016-05-021-2/+40
| | | | | | Another fix for #404.
* | f32.demote/f64 fix UB (#423)JF Bastien2016-05-021-1/+8
| | | | | | Another fix for #404.
* | Fix memcpy UB (#422)JF Bastien2016-05-021-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 Smith2016-05-023-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)BSalita2016-04-301-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 Bastien2016-04-301-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.
* validate in binaryen shell and on wasm binaries, and fix type checkingAlon Zakai2016-04-294-26/+167
|
* add wasm.cpp which does full type detection for blocks, and prepare for full ↵Alon Zakai2016-04-292-5/+96
| | | | type checking everywhere
* warning on BreakSeekerAlon Zakai2016-04-291-1/+1
|
* get the reinterpret opcodes right on float/intAlon Zakai2016-04-281-6/+6
|
* fix size detection on reinterpret operations in binary formatAlon Zakai2016-04-281-2/+2
|
* fix asm2wasm f64->f32->i32 bitcast (#412)Alon Zakai2016-04-281-0/+4
|
* Merge pull request #411 from WebAssembly/flexible-methodsAlon Zakai2016-04-281-95/+108
|\ | | | | Refactor js/wasm glue to defer the wasm/wasm-polyfill/asmjs-fallback point
| * fall back from wasm compilation errors, and add loggingAlon Zakai2016-04-281-3/+12
| |
| * refactor js/wasm glue to defer the wasm/wasm-polyfill/asmjs-fallback as late ↵Alon Zakai2016-04-281-96/+100
| | | | | | | | as possible. this lets us recover from wasm compilation failures and still do a fallback method
* | avoid dynamic allocas (#410)Alon Zakai2016-04-282-5/+7
|/
* cleanups following review commentsAlon Zakai2016-04-271-1/+1
|
* avoid leaks when s-parsing hits an errorAlon Zakai2016-04-271-6/+6
|
* don't leak currFunction in s-parserAlon Zakai2016-04-271-5/+4
|
* don't leak when parsing segments in s-parserAlon Zakai2016-04-271-2/+2
|
* just use a simple vector in data segmentsAlon Zakai2016-04-278-42/+51
|
* do not leak in IStringSetAlon Zakai2016-04-272-14/+16
|