From: lkcl <lkcl@web>
Date: Mon, 6 Sep 2021 15:31:48 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: DRAFT_SVP64_0_1~207
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=035a760d8e3dc82f74802eb71063170eaa3cd935;p=libreriscv.git

---

diff --git a/openpower/sv/branches.mdwn b/openpower/sv/branches.mdwn
index fefe53172..1b2173d22 100644
--- a/openpower/sv/branches.mdwn
+++ b/openpower/sv/branches.mdwn
@@ -277,10 +277,12 @@ considered.
   completely different from normal SVP64 `sz=0` behaviour)
 * **CTR-test=1, CTi=0**: CTR decrements on a per-element basis
   if `BO[2]` is zero and the Condition Test succeeds.
-  Masked-out elements when `sz=0` are skipped.
+  Masked-out elements when `sz=0` are skipped (including
+  not decrementing CTR)
 * **CTR-test=1, CTi=1**: CTR decrements on a per-element basis
   if `BO[2]` is zero and the Condition Test *fails*.
-  Masked-out elements when `sz=0` are skipped.
+  Masked-out elements when `sz=0` are skipped (including
+  not decrementing CTR)
 
 `CTR-test=0, CTi=1, sz=0` requires special emphasis because it is the
 only time in the entirety of SVP64 that has side-effects when