[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
Fri Jun 4 02:55:10 BST 2021


--- Comment #23 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
(In reply to Jacob Lifshay from comment #19)
> 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

which is as it should be.  it means, "don't do it! and if you do, you get to
sort it out". i.e. c/c++ matches IEEE754. makes flags / exceptions for
detecting when that happens pretty important though.

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

More information about the Libre-SOC-ISA mailing list