[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 Jun 3 23:21:44 BST 2021


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

--- Comment #19 from Jacob Lifshay <programmerjake at gmail.com> ---
note, for FP -> Int, IEEE 754 only specifies the result for finite inputs that
round to an integer in-range for the result integer type. The results for
NaN/Infinite/out-of-range inputs is unspecified.

C/C++ specifies NaN/Infinite/out-of-range FP -> Int is Undefined Behavior.

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


More information about the Libre-SOC-ISA mailing list