From: lkcl <lkcl@web>
Date: Sun, 5 Sep 2021 14:49:58 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: DRAFT_SVP64_0_1~229
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=a80bb0e970c078c48120f65edf4a8f831a3a186b;p=libreriscv.git

---

diff --git a/openpower/sv/branches.mdwn b/openpower/sv/branches.mdwn
index 4a7976dfa..8478fb480 100644
--- a/openpower/sv/branches.mdwn
+++ b/openpower/sv/branches.mdwn
@@ -76,6 +76,12 @@ Early-exit is enacted such that the Vectorised Branch does not
 perform needless extra tests, which will help reduce reads on
 the Condition Register file.
 
+*Note: Early-exit is **MANDATORY** (required) behaviour.
+Branches **MUST** exit at the first failure point, for
+exactly the same reasons for which it us mandatory in
+programming languages doing early-exit: to avoid
+damaging side-effects.*
+
 Additional useful behaviour involves two primary Modes (both of
 which may be enabled and combined):