Stream: git-wasmtime

Topic: wasmtime / PR #4753 Port `Fcopysign`..`FcvtToSintSat` to ...


view this post on Zulip Wasmtime GitHub notifications bot (Aug 23 2022 at 15:47):

dheaton-arm edited PR #4753 from isle-fpcvt to main:

Ported the existing implementations of the following opcodes to ISLE on
AArch64:

Copyright (c) 2022 Arm Limited

<!--

Please ensure that the following steps are all taken care of before submitting
the PR.

Please ensure all communication adheres to the code of conduct.
-->

view this post on Zulip Wasmtime GitHub notifications bot (Aug 23 2022 at 18:10):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 23 2022 at 18:10):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 23 2022 at 18:10):

cfallin created PR review comment:

I wonder, would it make more sense to build an abstraction here that doesn't require the explicit invoke-for-side-effect-and-discard pattern, perhaps a helper that takes src, checks if NaN and traps if so, and then returns src? Then we could do something like (final_expression (check_nan_and_trap src) ...) in the body of the let. Likewise for min and max (underflow and overflow checks).

view this post on Zulip Wasmtime GitHub notifications bot (Aug 23 2022 at 18:10):

cfallin created PR review comment:

Can we add some doc comments here to describe what these new helpers do? E.g. for min_fp_value it's not clear to me exactly what the bool and two u8s mean, even though I can sort of guess what the constructor as a whole might do based on the name. Likewise below, especially fpu_on_ri_sli.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 24 2022 at 10:47):

dheaton-arm updated PR #4753 from isle-fpcvt to main.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 24 2022 at 10:54):

dheaton-arm updated PR #4753 from isle-fpcvt to main.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 24 2022 at 17:37):

cfallin submitted PR review.

view this post on Zulip Wasmtime GitHub notifications bot (Aug 24 2022 at 17:37):

cfallin merged PR #4753.


Last updated: Dec 23 2024 at 13:07 UTC