From: Dmitry Selyutin <dmitry.selyutin@3mdeb.com>
Date: Sun, 29 Aug 2021 19:40:12 +0000 (+0000)
Subject: fixedarith: switch divdX to XLEN
X-Git-Tag: xlen-bcd~52
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=27bc70824b2fd76617cbcad2507c93549714d71e;p=openpower-isa.git

fixedarith: switch divdX to XLEN
---

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index 5832be51..b9501093 100644
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -668,12 +668,12 @@ XO-Form
 
 Pseudo-code:
 
-    dividend[0:63] <- (RA)
-    divisor[0:63] <- (RB)
-    if (((dividend = 0x8000_0000_0000_0000) &
-         (divisor = [1]*64)) |
-         (divisor = [0]*64)) then
-        RT[0:63] <- undefined([0]*64)
+    dividend[0:XLEN-1] <- (RA)
+    divisor[0:XLEN-1] <- (RB)
+    if (((dividend = (0b1 || ([0b0] * (XLEN-1)))) &
+         (divisor = [1]*XLEN)) |
+         (divisor = [0]*XLEN)) then
+        RT[0:XLEN-1] <- undefined([0]*XLEN)
         overflow <- 1
     else
         RT <- DIVS(dividend, divisor)