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/passes/OptimizeInstructions.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/passes/OptimizeInstructions.cpp')
| -rw-r--r-- | src/passes/OptimizeInstructions.cpp | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/passes/OptimizeInstructions.cpp b/src/passes/OptimizeInstructions.cpp index 50a7c5589..0e7c34564 100644 --- a/src/passes/OptimizeInstructions.cpp +++ b/src/passes/OptimizeInstructions.cpp @@ -27,6 +27,7 @@ #include <ast_utils.h> #include <ast/cost.h> #include <ast/properties.h> +#include <ast/manipulation.h> namespace wasm { |