From: lkcl <lkcl@web>
Date: Tue, 14 Sep 2021 13:11:42 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: DRAFT_SVP64_0_1~145
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3a65f9f39bff2ef149f1f82209e11d7633bab1e5;p=libreriscv.git

---

diff --git a/openpower/sv/branches.mdwn b/openpower/sv/branches.mdwn
index ccdbec5e8..ce659db0c 100644
--- a/openpower/sv/branches.mdwn
+++ b/openpower/sv/branches.mdwn
@@ -323,7 +323,12 @@ branch succeeds *or* if the branch condition fails allows for the flexibility
 required.  This allows a Vertical-First Branch to *either* be used as
 a branch-back (loop) *or* as part of a conditional exit or function
 call from *inside* a loop, and for VLSET to be integrated into both
-types of decision-making.
+types of decision-making.  
+
+In the case of a branch-back (loop), with VSb=0 the branch takes
+place if success conditions are met, but on exit from that loop
+(branch condition fails), VL will be truncated. This is extremely
+useful.
 
 `VLSET` mode with Horizontal-First when `VSb` is clear is still
 useful, because it can be used to truncate VL to the first predicated