(no commit message)

diff --git a/openpower/sv/branches.mdwn b/openpower/sv/branches.mdwn
index 4a7976dfa9f03606d007d351d70c3d12c5f87e1b..8478fb480c0d7e4b375f7f3991f4fd3fe24c99b6 100644 (file)
--- 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):