diff options
| author | Alon Zakai <azakai@google.com> | 2023-02-15 13:05:25 -0800 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-02-15 13:05:25 -0800 |
| commit | c4d15efc62fb6e6b55dd128e62896c93ca52c98a (patch) | |
| tree | 9d24b32068ece1bc76d55067f4464b0df4e308b8 /src/wasm-type.h | |
| parent | 8f98375c051f2b8e1be87e7eb97e88d73cfb2c26 (diff) | |
| download | binaryen-c4d15efc62fb6e6b55dd128e62896c93ca52c98a.tar.gz binaryen-c4d15efc62fb6e6b55dd128e62896c93ca52c98a.tar.bz2 binaryen-c4d15efc62fb6e6b55dd128e62896c93ca52c98a.zip | |
Unreachability fixes for inlining (#5492)
We must refinalize as inlining unreachable code can lead to
more things becoming unreachable.
We also must uniquify label names before refinalizing, as the
IR must be valid at that time, so that code is moved.
This causes some minor changes to existing test code (some
label changes, and refinalization makes more things
unreachable), but only the two new tests show actual problems
that needed to be fixed.
Diffstat (limited to 'src/wasm-type.h')
0 files changed, 0 insertions, 0 deletions