diff options
author | Alon Zakai <azakai@google.com> | 2023-11-14 19:09:49 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2023-11-14 19:09:49 -0800 |
commit | 20fe882b47c4b2570c70b2f9d82189c5b2144d03 (patch) | |
tree | 51eb6b6b63ccfecf21d732dc682cee646272947f /test/gtest/stringify.cpp | |
parent | 001be441be8ec04df0b03035aefc411923485780 (diff) | |
download | binaryen-20fe882b47c4b2570c70b2f9d82189c5b2144d03.tar.gz binaryen-20fe882b47c4b2570c70b2f9d82189c5b2144d03.tar.bz2 binaryen-20fe882b47c4b2570c70b2f9d82189c5b2144d03.zip |
SignatureRefining: Notice LUB requirements of intrinsic calls (#6122)
call.without.effects implies a call to the function reference in the last parameter,
so the values sent in the other parameters must be taken into account when
computing LUBs for refining arguments, otherwise we might refine so much that
the intrinsic call no longer validates.
Diffstat (limited to 'test/gtest/stringify.cpp')
0 files changed, 0 insertions, 0 deletions