From a80bb0e970c078c48120f65edf4a8f831a3a186b Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Sun, 5 Sep 2021 15:49:58 +0100
Subject: [PATCH]

---
 openpower/sv/branches.mdwn | 6 ++++++
 1 file changed, 6 insertions(+)

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):
 
-- 
2.30.2