diff options
| author | Alon Zakai <azakai@google.com> | 2023-05-17 16:10:57 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-05-17 16:10:57 -0700 |
| commit | d7d17c925af6ee1fd78f39d3fbf2cb22de9e74eb (patch) | |
| tree | 8c21002bbbbfa3d2ea410e814c78a793011d06c7 /scripts/fuzz_opt.py | |
| parent | 7c3a4690028beaa187e5b1810200359b6336b088 (diff) | |
| download | binaryen-d7d17c925af6ee1fd78f39d3fbf2cb22de9e74eb.tar.gz binaryen-d7d17c925af6ee1fd78f39d3fbf2cb22de9e74eb.tar.bz2 binaryen-d7d17c925af6ee1fd78f39d3fbf2cb22de9e74eb.zip | |
Vacuum code leading up to a trap in TrapsNeverHappen mode (#5228)
This adds two rules to vacuum in TNH mode:
if (..) trap() => if (..) {}
{ stuff, trap() } => {}
That is, we assume traps never happen so an if will not branch to one, and
code right before a trap can be assumed to not execute. Together, we should
be removing practically all possible code in TNH mode (though we could also
add support for br_if etc.).
Diffstat (limited to 'scripts/fuzz_opt.py')
0 files changed, 0 insertions, 0 deletions