diff options
author | Alon Zakai <alonzakai@gmail.com> | 2017-05-02 13:46:53 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2017-05-02 13:46:53 -0700 |
commit | 5de55af88eaac818f86eaaec3f686eaede01397e (patch) | |
tree | ed896c1336272efa7e191e3675f883ad85ae3a6f /src/wasm.h | |
parent | 1f1018564c472b75335bf4bddbf65cfebb226fb0 (diff) | |
download | binaryen-5de55af88eaac818f86eaaec3f686eaede01397e.tar.gz binaryen-5de55af88eaac818f86eaaec3f686eaede01397e.tar.bz2 binaryen-5de55af88eaac818f86eaaec3f686eaede01397e.zip |
improve dce to handle more cases of nested unreachable code (#989)
* improve dce to handle more cases of nested unreachable code, in particular, when the child is unreachable in type but not an actual Unreachable node, e.g. if it's a br. in that case, we just need to verify that the br is not to us where we are a block or loop
* handle unreachable switch conditions in dce
* handle dce of br condition which is unreachable, and host arguments
* handle dce of block i32 etc. which is actually unreachable
Diffstat (limited to 'src/wasm.h')
0 files changed, 0 insertions, 0 deletions