(no commit message)

diff --git a/openpower/sv/branches.mdwn b/openpower/sv/branches.mdwn
index aa8d7934314a3cd70e71dff4c33dd7175254677c..fe16696c6df5e9f3251cb6282aa160fdb3527c1b 100644 (file)
--- a/openpower/sv/branches.mdwn
+++ b/openpower/sv/branches.mdwn
@@ -189,6 +189,15 @@ LRu and CTR-test modes are where SVP64 Branches subtly differ from
 Scalar v3.0B Branches. `bclr` for example will always update LR, whereas
 `sv.bclr/lru` will only update LR if the branch succeeds.
 
+Of special interest is that when using ALL Mode (Great Big AND
+of all Condition Tests), if `VL=0`,
+which is rare but can occur in Data-Dependent Modes, the Branch
+will always take place because there will be no failing Condition
+Tests to prevent it. Likewise when not using ALL Mode (Great Big OR
+of all Condition Tests) and `VL=0` the Branch is guaranteed not
+to occur because there will be no *successful* Condition Tests
+to make it happen.
+
 # Vectorised CR Field numbering, and Scalar behaviour
 
 It is important to keep in mind that just like all SVP64 instructions,