diff options
| author | Thomas Lively <tlively@google.com> | 2023-01-12 17:52:50 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-01-12 23:52:50 +0000 |
| commit | db083d6963d88a056ff8068aa30fa7484ac44c37 (patch) | |
| tree | ad207210dd6f7736003c8e24fb0d99822f48f3da /src/passes/SignaturePruning.cpp | |
| parent | cbd041088496fd41d19083729a727d97fb23504a (diff) | |
| download | binaryen-db083d6963d88a056ff8068aa30fa7484ac44c37.tar.gz binaryen-db083d6963d88a056ff8068aa30fa7484ac44c37.tar.bz2 binaryen-db083d6963d88a056ff8068aa30fa7484ac44c37.zip | |
[Wasm GC] Allow TypeMerging to merge cast types with TNH (#5425)
If traps are assumed never to happen, then ref.cast and call_indirect
instructions cannot differentiate between types because they always succeed.
Take advantage of this fact by only having these instructions inhibit type
merges when we are not assuming traps never happen.
Diffstat (limited to 'src/passes/SignaturePruning.cpp')
0 files changed, 0 insertions, 0 deletions