From: lkcl <lkcl@web>
Date: Thu, 23 Jun 2022 10:02:25 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~1582
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=924f6889ce0de367225b7a18f1c16e50e40ffdf9;p=libreriscv.git

---

diff --git a/openpower/sv/vector_ops/discussion.mdwn b/openpower/sv/vector_ops/discussion.mdwn
index 4055678b2..6ff8b9f79 100644
--- a/openpower/sv/vector_ops/discussion.mdwn
+++ b/openpower/sv/vector_ops/discussion.mdwn
@@ -11,7 +11,7 @@ needs some work though
     a1 <- (RA) & mask
     if mode[1] then a1 <- ¬ra
     mode2 <- mode[2:3]
-    if mode2 = 0 then a2 <- -ra
+    if mode2 = 0 then a2 <- (¬ra)+1
     if mode2 = 1 then a2 <- ra-1
     if mode2 = 2 then a2 <- ra+1
     if mode2 = 3 then a2 <- ¬(ra+1)