From: lkcl <lkcl@web>
Date: Sat, 11 Sep 2021 15:59:51 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: DRAFT_SVP64_0_1~155
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=54070310c626b380df1c2bd0510a744530742529;p=libreriscv.git

---

diff --git a/openpower/sv/branches.mdwn b/openpower/sv/branches.mdwn
index 86d1589eb..b725bb73d 100644
--- a/openpower/sv/branches.mdwn
+++ b/openpower/sv/branches.mdwn
@@ -257,8 +257,9 @@ element computation and testing, and the continuation (or otherwise)
 of a given loop. The potential combinations of interactions is why CTR
 testing options have been added.
 
-If both CTR-test and VLSET Modes are requested, then because the CTR decrement is on a per element basis, the total amount that CTR is decremented
-by will end up being VL *after* truncation (should that occur). In
+If both CTR-test and VLSET Modes are requested, it's important to
+observe the correct order: testing the Condition and
+decrementing of CTR is done *before* truncation of VL. In
 other words, the order is strictly (as can be seen in pseudocode, below):
 
 1. compute the test