[Libre-soc-bugs] [Bug 1250] pseudocode should avoid using strings as constants

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Sun Jan 14 21:03:28 GMT 2024


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

--- Comment #2 from Dmitry Selyutin <ghostmansd at gmail.com> ---
fcfids doesn't have the pseudocode. It just happens that "A.3 Floating-Point
Convert from Integer Model" specifies precision as string, but does it in the
conversion __internals__.

if Floating Convert From Integer Doubleword then do
    tgt_precision  “double-precision”
    sign  (FRB)0
    exp  63
    frac0:63  (FRB)
end

...and therefore in the body of this "if" we can check anything we want.
Including integral constant. That is, you can pass anything to INT2FP, because
the standard lacks the mere idea you used INT2FP.

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


More information about the libre-soc-bugs mailing list