From: lkcl <lkcl@web>
Date: Tue, 25 Oct 2022 15:28:11 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~39
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=6ec06925e8d3ef4177c721f0d4c3dc22bfb07f7c;p=libreriscv.git

---

diff --git a/openpower/sv/rfc/ls003.mdwn b/openpower/sv/rfc/ls003.mdwn
index 4a4015e10..f397365de 100644
--- a/openpower/sv/rfc/ls003.mdwn
+++ b/openpower/sv/rfc/ls003.mdwn
@@ -181,7 +181,7 @@ Pseudo-code:
 ```
 if ((RA) <u (RB)) & ((RB) != [0]*64) then  # Check RA<RB, for divide-by-0
     dividend[0:127] <- (RA) || (RC)        # Combine RA/RC as 128-bit
-    divisor[0:127] <- EXTZ(RB)             # Extend RB to 128-bit
+    divisor[0:127] <- [0]*64 || (RB)       # Extend RB to 128-bit
     result <- dividend / divisor           # Division
     modulo <- dividend % divisor           # Modulo
     RT <- result[64:127]                   # Store result in RT