(no commit message)

diff --git a/openpower/sv/svp64/appendix.mdwn b/openpower/sv/svp64/appendix.mdwn
index 25c62d769f61b7e59b166a96134f7264e5265c92..c4dc6701e4c5d9fe79ce1ca0817e3a5b4030995f 100644 (file)
--- a/openpower/sv/svp64/appendix.mdwn
+++ b/openpower/sv/svp64/appendix.mdwn
@@ -489,7 +489,16 @@ in sequential Program Order, element 0 being the first.
   depending on whether VLi (VL "inclusive") is set.
 
 Thus the new VL comprises a contiguous vector of results, all of which
-pass the testing criteria (equal to zero, less than zero).
+pass the testing criteria (equal to zero, less than zero). Demonstrated
+approximately in pseudocode:
+
+```
+for i in range(VL):
+   GPR[RT+i], CR[i] = operation(GPR[RA+i]... )
+   if test(CR[i]) == failure:
+      VL = i+VLi
+      break
+```
 
 The CR-based data-driven fail-on-first is new and not
 found in ARM SVE or RVV. At the same time it is also