diff options
author | Thomas Lively <tlively@google.com> | 2024-11-22 14:21:54 -0800 |
---|---|---|
committer | GitHub <noreply@github.com> | 2024-11-22 14:21:54 -0800 |
commit | 013a8d346807da751fec283eddf86aee9ea28382 (patch) | |
tree | f867ba4f2e992bd663f1d13b3d2c8c5d814167a8 /test/binaryen.js | |
parent | ad3735ae7def0923c0f04738c6cba3f86634e865 (diff) | |
download | binaryen-013a8d346807da751fec283eddf86aee9ea28382.tar.gz binaryen-013a8d346807da751fec283eddf86aee9ea28382.tar.bz2 binaryen-013a8d346807da751fec283eddf86aee9ea28382.zip |
Print castType for unreachable br_on_cast{_fail} (#7107)
I forgot that there is a validation rule that the output type for
br_on_cast and br_on_cast_fail must be a subtype of the input type. We
were previously printing bottom input types in cases where the cast
operand was unreachable, but that's only valid if the cast type is the
same bottom type. Instead print the most precise valid input type, which
is the cast type itself.
Diffstat (limited to 'test/binaryen.js')
0 files changed, 0 insertions, 0 deletions