[Libre-soc-bugs] [Bug 439] generated op_divde appears to be incorrect

[bugzilla-daemon at libre-soc.org]

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

--- Comment #2 from Luke Kenneth Casson Leighton <lkcl at lkcl.net> ---
wasn't in the parser, it was the pseudocode

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index 5f55660..7edafee 100644
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -716,7 +716,7 @@ XO-Form
 Pseudo-code:

     dividend[0:127] <-  (RA) || [0]*64
-    divisor[0:127] <- [0*64] || (RB)
+    divisor[0:127] <- [0]*64 || (RB)
     if divisor = [0]*128 then
         overflow <- 1
     else
@@ -746,7 +746,7 @@ XO-Form
 Pseudo-code:

     dividend[0:127] <-  (RA) || [0]*64
-    divisor[0:127] <- [0*64] || (RB)
+    divisor[0:127] <- [0]*64 || (RB)
     if divisor = [0]*128 then
         overflow <- 1

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