From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Mon, 29 Jun 2020 14:37:43 +0000 (+0100)
Subject: swap divisor padding to MSBs in divXe
X-Git-Tag: convert-csv-opcode-to-binary~2405
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a2df7a1b8dc03e7e0b146aad074ef6cd2584d602;p=libreriscv.git

swap divisor padding to MSBs in divXe
---

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index cec4de39e..d18987b86 100644
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -388,7 +388,7 @@ XO-Form
 * divweo.  RT,RA,RB (OE=1 Rc=1)
 
     dividend[0:63] <- (RA)[32:63] || [0]*32
-    divisor[0:63] <- (RB)[32:63] || [0]*32
+    divisor[0:63] <- [0]*32 || (RB)[32:63]
     if (divisor = 0x0000_0000_0000_0000) then
         overflow <- 1
     else
@@ -417,7 +417,7 @@ XO-Form
 * divweuo.  RT,RA,RB (OE=1 Rc=1)
 
     dividend[0:63] <- (RA)[32:63] || [0]*32
-    divisor[0:63] <- (RB)[32:63] || [0]*32
+    divisor[0:63] <- [0]*32 || (RB)[32:63]
     if (divisor = 0x0000_0000_0000_0000) then
         overflow <- 1
     else
@@ -635,7 +635,7 @@ XO-Form
 * divdeo.  RT,RA,RB (OE=1 Rc=1)
 
     dividend[0:127] <-  (RA) || [0]*64
-    divisor[0:127] <- (RB) || [0*64]
+    divisor[0:127] <- [0*64] || (RB)
     if divisor = [0]*128 then
         overflow <- 1
     else
@@ -663,7 +663,7 @@ XO-Form
 * divdeuo.  RT,RA,RB (OE=1 Rc=1)
 
     dividend[0:127] <-  (RA) || [0]*64
-    divisor[0:127] <- (RB) || [0*64]
+    divisor[0:127] <- [0*64] || (RB)
     if divisor = [0]*128 then
         overflow <- 1
     else