[Libre-soc-isa] [Bug 650] write rfc for OpenPower fpr <-> gpr moves/conversions

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Thu May 26 09:21:59 BST 2022


https://bugs.libre-soc.org/show_bug.cgi?id=650

--- Comment #34 from Jacob Lifshay <programmerjake at gmail.com> ---
one other idea: have a variant of fp->int that sets OV/OV32 (and SO) if the
rounded fp value doesn't fit in the destination type or the input is
NaN...would be very useful for the other webassembly fp->int conversions that
are specified to trap in those cases. the proposed instruction wouldn't trap,
it'd just set OV and return the saturated result. wasm engines can just branch
on overflow if they want.

this would likely also be useful for fp->bigint conversions (like in python
float->int) or fp->128-bit integer conversions so they can try the simple
64-bit conversion and if it sets overflow, then branch to the slow path.

-- 
You are receiving this mail because:
You are on the CC list for the bug.


More information about the Libre-SOC-ISA mailing list