From 3092ce99cafa2bd587dd919de3e859cf416881b6 Mon Sep 17 00:00:00 2001
From: lkcl <lkcl@web>
Date: Thu, 7 Dec 2023 16:07:45 +0000
Subject: [PATCH]

---
 openpower/sv/svp64/appendix.mdwn | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/openpower/sv/svp64/appendix.mdwn b/openpower/sv/svp64/appendix.mdwn
index c4dc6701e..49c9bfadb 100644
--- a/openpower/sv/svp64/appendix.mdwn
+++ b/openpower/sv/svp64/appendix.mdwn
@@ -490,7 +490,16 @@ in sequential Program Order, element 0 being the first.
 
 Thus the new VL comprises a contiguous vector of results, all of which
 pass the testing criteria (equal to zero, less than zero). Demonstrated
-approximately in pseudocode:
+approximately in pseudocode, where the normal Vector-looping is just:
+
+```
+for i in range(VL):
+   GPR[RT+i], CR[i] = operation(GPR[RA+i]... )
+```
+
+Data-depedendent Fail-First is, in principle, the sequentially-ordered
+"early-termination" of looping, which is near-identical to the Z80
+LDIR and CPIR instructions, but generalised:
 
 ```
 for i in range(VL):
-- 
2.30.2