diff options
| author | Alon Zakai <azakai@google.com> | 2024-10-14 14:38:12 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-10-14 14:38:12 -0700 |
| commit | e201819761bd8ae21bd03b2656a15544f9e44c32 (patch) | |
| tree | bbaed23fa02d5b0191c9a3d3cf42b4ab2341552d /src/shell-interface.h | |
| parent | 31b4558f3decc49c5d780083d995d7c094132b77 (diff) | |
| download | binaryen-e201819761bd8ae21bd03b2656a15544f9e44c32.tar.gz binaryen-e201819761bd8ae21bd03b2656a15544f9e44c32.tar.bz2 binaryen-e201819761bd8ae21bd03b2656a15544f9e44c32.zip | |
[Wasm EH] Optimize away _ref from try_table catches when unused (#6996)
If we have
(drop
(block $b (result exnref)
(try_table (catch_all_ref $b)
then we don't really need to send the ref: it is dropped, so we can just replace
catch_all_ref with catch_all and then remove the drop and the block value.
MergeBlocks already had logic to remove block values, so it is the natural
place to add this.
Diffstat (limited to 'src/shell-interface.h')
0 files changed, 0 insertions, 0 deletions