From: Dmitry Selyutin <dmitry.selyutin@3mdeb.com>
Date: Mon, 23 Aug 2021 19:04:28 +0000 (+0000)
Subject: fixedarith: switch divwuX to XLEN
X-Git-Tag: xlen-bcd~71
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=c95ab9685665af35c7f1ff25cf1b0cf4f5383ab3;p=openpower-isa.git

fixedarith: switch divwuX to XLEN
---

diff --git a/openpower/isa/fixedarith.mdwn b/openpower/isa/fixedarith.mdwn
index 7e98475e..98a32366 100644
--- a/openpower/isa/fixedarith.mdwn
+++ b/openpower/isa/fixedarith.mdwn
@@ -416,14 +416,14 @@ XO-Form
 
 Pseudo-code:
 
-    dividend[0:31] <- (RA)[32:63]
-    divisor[0:31] <- (RB)[32:63]
+    dividend[0:(XLEN/2)-1] <- (RA)[XLEN/2:XLEN-1]
+    divisor[0:(XLEN/2)-1] <- (RB)[XLEN/2:XLEN-1]
     if divisor != 0 then
-        RT[32:63] <- dividend / divisor
-        RT[0:31] <- undefined([0]*32)
+        RT[XLEN/2:XLEN-1] <- dividend / divisor
+        RT[0:(XLEN/2)-1] <- undefined([0]*(XLEN/2))
         overflow <- 0
     else
-        RT[0:63] <- undefined([0]*64)
+        RT[0:XLEN-1] <- undefined([0]*XLEN)
         overflow <- 1
 
 Special Registers Altered: