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

[bugzilla-daemon at libre-soc.org]

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

--- 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.