diff options
| author | Alon Zakai <azakai@google.com> | 2021-04-23 16:09:35 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-23 16:09:35 -0700 |
| commit | 3fe1823a59dc689d081a7a7e327639c20bf51bbc (patch) | |
| tree | ff7b7840f4f1718864bffa6bc75e55f8ebf88cf6 /src/wasm-binary.h | |
| parent | 8b66a9d40f55758b99b528d7adb371d275707c5e (diff) | |
| download | binaryen-3fe1823a59dc689d081a7a7e327639c20bf51bbc.tar.gz binaryen-3fe1823a59dc689d081a7a7e327639c20bf51bbc.tar.bz2 binaryen-3fe1823a59dc689d081a7a7e327639c20bf51bbc.zip | |
OptimizeInstructions: Do not change unreachability in if/select changes (#3840)
For example,
(if (result i32)
(local.get $x)
(return
(local.get $y)
)
(return
(local.get $z)
)
)
If we move the returns outside we'd become unreachable, but we should
not make such type changes in this pass (they are handled by DCE and
Vacuum).
(found by the fuzzer)
Diffstat (limited to 'src/wasm-binary.h')
0 files changed, 0 insertions, 0 deletions