diff options
| author | Alon Zakai <alonzakai@gmail.com> | 2017-05-18 10:47:23 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-05-18 10:47:23 -0700 |
| commit | 9c6b8e0f626ade30cee113294019edbdbf29dd36 (patch) | |
| tree | da088ba8eef1d3d20f1f0e9fa3b5af2c8dbeba1d /src/wasm-js.cpp | |
| parent | bb1c44a3f975bf8fb72216b9c04bcd34e31bd815 (diff) | |
| download | binaryen-9c6b8e0f626ade30cee113294019edbdbf29dd36.tar.gz binaryen-9c6b8e0f626ade30cee113294019edbdbf29dd36.tar.bz2 binaryen-9c6b8e0f626ade30cee113294019edbdbf29dd36.zip | |
Validate finalization (#1014)
* validate that types are properly finalized, when in pass-debug mode (BINARYEN_PASS_DEBUG env var): check after each pass is run that the type of each node is equal to the proper type (when finalizing it, i.e., fully recomputing the type).
* fix many fuzz bugs found by that.
* in particular, fix dce bugs with type changes not being fully updated during code removal. add a new TypeUpdater helper class that lets a pass update types efficiently, by the helper tracking deps between blocks and branches etc., and updating/propagating type changes only as necessary.
Diffstat (limited to 'src/wasm-js.cpp')
0 files changed, 0 insertions, 0 deletions