diff options
| author | Alon Zakai <azakai@google.com> | 2021-08-17 14:26:24 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-08-17 21:26:24 +0000 |
| commit | b82be0fe1abd3c56cc85150c76efbd66db6fe32e (patch) | |
| tree | 886cf25d9cfd2bd38c18cbdcf60b0c7386a1f50d /test/example/local-graph.cpp | |
| parent | d1bea49163be364d6f8b277b35510555211374b5 (diff) | |
| download | binaryen-b82be0fe1abd3c56cc85150c76efbd66db6fe32e.tar.gz binaryen-b82be0fe1abd3c56cc85150c76efbd66db6fe32e.tar.bz2 binaryen-b82be0fe1abd3c56cc85150c76efbd66db6fe32e.zip | |
LocalCSE: ignore traps (#4085)
If we replace
A
A
A
with
(local.set A)
(local.get)
(local.get)
then it is ok for A to trap (so long as it does so deterministically), as if
it does trap then the first appearance will do so, and the others not
be reached anyhow.
This helps GC code as often there are repeated struct.gets and such that
may trap.
Diffstat (limited to 'test/example/local-graph.cpp')
0 files changed, 0 insertions, 0 deletions