From: lkcl <lkcl@web>
Date: Sat, 14 Oct 2023 09:30:50 +0000 (+0100)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=b1dc4dacd679b7b4f31c431d0d38c3a916a26305;p=libreriscv.git

---

diff --git a/openpower/sv/cr_ops.mdwn b/openpower/sv/cr_ops.mdwn
index d4e81fc46..7b172303a 100644
--- a/openpower/sv/cr_ops.mdwn
+++ b/openpower/sv/cr_ops.mdwn
@@ -175,11 +175,9 @@ operations), and ignoring the Rc=1 co-results entirely,
 the totals (the behaviours) are consistent whether
 VLi=0 or VLi=1.
 
-*Programmer's Note: if necessary VL may be obtained by using the alias
-`getvl`, followed by incrementing or decrementing the GPR with the
-copy of VL, and using `setvl` with the same GPR, to adjust VL.
-Programmers should be aware that MAXVL will always limit
-VL*.
+*Programmer's Note: Data-dependent fail-first stores an updated
+VL in the SVSTATE SPR, not in any GPR. If needed
+VL may be obtained by using the alias `getvl`.
 
 ## Reduction and Iteration