From: lkcl <lkcl@web>
Date: Thu, 23 Jun 2022 12:54:27 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: opf_rfc_ls005_v1~1572
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=08e93f459716fa9beb4744f79c3e8a2bb6706dc2;p=libreriscv.git

---

diff --git a/openpower/sv/vector_ops.mdwn b/openpower/sv/vector_ops.mdwn
index f0183f608..b20c3920f 100644
--- a/openpower/sv/vector_ops.mdwn
+++ b/openpower/sv/vector_ops.mdwn
@@ -48,7 +48,7 @@ as follows:
 
 * first pattern A: `x / ~x`
 * second pattern B: `| / & / ^`
-* third pattern C: `x+1 / x-1 / ~(x+1) / -x`
+* third pattern C: `x+1 / x-1 / ~(x+1) / (~x)+1`
 
 Thus it makes sense to create a single instruction
 that covers all of these.