[Libre-soc-bugs] [Bug 810] New: openpower-isa simulator improperly handles fp division by zero

[bugzilla-daemon at libre-soc.org]

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

            Bug ID: 810
           Summary: openpower-isa simulator improperly handles fp division
                    by zero
           Product: Libre-SOC's first SoC
           Version: unspecified
          Hardware: Other
                OS: Linux
            Status: CONFIRMED
          Severity: normal
          Priority: ---
         Component: Source Code
          Assignee: lkcl at lkcl.net
          Reporter: programmerjake at gmail.com
                CC: libre-soc-bugs at lists.libre-soc.org
   NLnet milestone: ---

openpower-isa simulator improperly handles fp division by zero, raising
ZeroDivisionError instead of following ieee754 and returning inf/nan.

ieee754 specifies:
nan/0 -> nan
0/0 -> nan
+x/+0 -> +inf
-x/+0 -> -inf
+x/-0 -> -inf
-x/-0 -> +inf

see
https://salsa.debian.org/Kazan-team/simple-soft-float/-/blob/04506f1f0196dbbf5cfede98b72d7d9702c5f156/src/lib.rs#L3086

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