(no commit message)

diff --git a/openpower/sv/normal.mdwn b/openpower/sv/normal.mdwn
index 88db31a4e038bcf312aefce2b8b3214a52a17c5b..f0619fcee3c51a260123c0c79f4662e7203ad178 100644 (file)
--- a/openpower/sv/normal.mdwn
+++ b/openpower/sv/normal.mdwn
@@ -162,7 +162,7 @@ tests this may be insufficient.  If that is the case, a vectorised crops
 (crand, cror) may be used, and ffirst applied to the crop instead of to
 the arithmetic vector.
 
-One extremely important aspect of ffirst is:
+Two extremely important aspects of ffirst are:
 
 * LDST ffirst may never set VL equal to zero.  This because on the first
   element an exception must be raised "as normal".
@@ -173,7 +173,12 @@ One extremely important aspect of ffirst is:
   vectorised operations are effectively `nops` which is
   *precisely the desired and intended behaviour*.
 
-CR-based data-dependent first on the other hand MUST not truncate VL
+The second crucial aspect, compared to LDST Ffirst:
+
+* LD/ST Failfirst may (beyond the initial first element
+  conditions) truncate VL for any architecturally
+  suitable reason.
+* CR-based data-dependent first on the other hand MUST NOT truncate VL
 arbitrarily to a length decided by the hardware: VL MUST only be
 truncated based explicitly on whether a test fails.
 This because it is a precise test on which algorithms