From: lkcl <lkcl@web>
Date: Thu, 7 Dec 2023 16:07:45 +0000 (+0000)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=3092ce99cafa2bd587dd919de3e859cf416881b6;p=libreriscv.git

---

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):