From 6c796c9de75a0af32d852e109a55f6def952f394 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Tue, 25 Oct 2022 13:39:24 +0100
Subject: [PATCH]

---
 openpower/sv/rfc/ls003.mdwn | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/openpower/sv/rfc/ls003.mdwn b/openpower/sv/rfc/ls003.mdwn
index 1458466fd..4a4015e10 100644
--- a/openpower/sv/rfc/ls003.mdwn
+++ b/openpower/sv/rfc/ls003.mdwn
@@ -180,8 +180,8 @@ 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, zero extend
-    divisor[0:127] <- [0]*64 || (RB)       # Extend to 128-bit
+    dividend[0:127] <- (RA) || (RC)        # Combine RA/RC as 128-bit
+    divisor[0:127] <- EXTZ(RB)             # Extend RB to 128-bit
     result <- dividend / divisor           # Division
     modulo <- dividend % divisor           # Modulo
     RT <- result[64:127]                   # Store result in RT
-- 
2.30.2