[Libre-soc-bugs] [Bug 495] Add API to PowerISA spec simulation to properly handle [partially] undefined results in tests

bugzilla-daemon at libre-soc.org bugzilla-daemon at libre-soc.org
Tue Sep 22 11:51:59 BST 2020


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

--- Comment #2 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
ngggggggh

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index fe3350f..7a03aff 100644
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -444,8 +444,8 @@ Pseudo-code:
         overflow <- 1
     else
         result <- DIVS(dividend, divisor)
-        if (result[32:63] = 0) then
-            RT[32:63] <- result[0:31]
+        if (result[0:31] = 0) then
+            RT[32:63] <- result[32:63]
             RT[0:31] <- undefined[0:31]
             overflow <- 0
         else

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


More information about the libre-soc-bugs mailing list