diff options
author | Alon Zakai <azakai@google.com> | 2023-02-02 12:08:42 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-02-02 12:08:42 -0800 |
commit | 91f54df07766a5884203aa1fcfd6b0d61a3eb142 (patch) | |
tree | 82e85642ed86b0033dbf5b472710fb8f934baf7c /scripts/test | |
parent | d1b75970e5425a5e8b08ca87801d1343df43fde7 (diff) | |
download | binaryen-91f54df07766a5884203aa1fcfd6b0d61a3eb142.tar.gz binaryen-91f54df07766a5884203aa1fcfd6b0d61a3eb142.tar.bz2 binaryen-91f54df07766a5884203aa1fcfd6b0d61a3eb142.zip |
[Wasm GC] Fix RemoveUnusedModuleEffects struct field reads with call.without.effects (#5477)
If we see
(struct.new $A
(call $call.without.effects ;; intrinsic
(ref.func $getter)
)
)
then we can ignore side effects in that call, as the intrinsic tells us to. However,
that function is still called (it will be called normally, after intrinsics are lowered
away), and we should not remove it.
That is, such an intrinsic call can be removed, but it cannot be left as it is
and also ignored as if it does not exist.
Diffstat (limited to 'scripts/test')
0 files changed, 0 insertions, 0 deletions