From: lkcl <lkcl@web>
Date: Mon, 25 Apr 2022 23:52:14 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~2589
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=de2d8cad419c5cbda6626f8f1389c648f7d3359c;p=libreriscv.git

---

diff --git a/openpower/isa/svfixedarith.mdwn b/openpower/isa/svfixedarith.mdwn
index 740491be9..ebef59cea 100644
--- a/openpower/isa/svfixedarith.mdwn
+++ b/openpower/isa/svfixedarith.mdwn
@@ -39,8 +39,8 @@ Pseudo-code:
         overflow <- 0
     else
         overflow <- 1
-        RT[0:XLEN-1] <- undefined([0]*XLEN)
-        RS[0:XLEN-1] <- undefined([0]*XLEN)
+        RT <- [1]*XLEN
+        RS <- [0]*XLEN
 
 Special Registers Altered: