diff options
author | Alon Zakai <azakai@google.com> | 2023-04-17 10:18:36 -0700 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-04-17 10:18:36 -0700 |
commit | 5679e3b1ea0d4155a6b5c3b93fa6aef34023365f (patch) | |
tree | d7da64adf799b2f7fe3c876d106c3de85cdbee90 /src/passes/SignExtLowering.cpp | |
parent | addbc66ff7a42ed3b94c05e188db936b36968c9f (diff) | |
download | binaryen-5679e3b1ea0d4155a6b5c3b93fa6aef34023365f.tar.gz binaryen-5679e3b1ea0d4155a6b5c3b93fa6aef34023365f.tar.bz2 binaryen-5679e3b1ea0d4155a6b5c3b93fa6aef34023365f.zip |
[Wasm GC] OptimizeInstructions: Don't turn ref.test into unreachable immediately (#5673)
Emit an unreachable, but guarded by a block as we do in other cases in this pass, to avoid
having unreachable code that is not fully propagated during the pass (as we only do a full
refinalize at the end). See existing comments starting with
"Make sure to emit a block with the same type as us" in the pass.
This is mostly not a problem with other casts, but ref.test returns an i32 which we have
lots of code that tries to optimize.
Diffstat (limited to 'src/passes/SignExtLowering.cpp')
0 files changed, 0 insertions, 0 deletions