From: lkcl <lkcl@web>
Date: Mon, 11 Dec 2023 02:59:42 +0000 (+0000)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=cbe6a2f66253e883b0b223fbefab055bab649a42;p=libreriscv.git

---

diff --git a/openpower/sv/ldst.mdwn b/openpower/sv/ldst.mdwn
index 04f6de582..c2e3c3bff 100644
--- a/openpower/sv/ldst.mdwn
+++ b/openpower/sv/ldst.mdwn
@@ -464,6 +464,11 @@ This is precisely the same as Arithmetic Data-Dependent Fail-First,
 the only difference being that the result comes from the LD/ST
 rather than from an Arithmetic operation.
 
+Important to note is that reduce mode is implied by Data-Dependent Fail-First.
+In other words where normally if the destination is Scalar, the looping
+terminates at the first load/store, Data-Dependent Fail-First *continues*
+just as it does in reduce mode.
+
 Also a crucial difference between Arithmetic and LD/ST Data-Dependent Fail-First:
 except for Store-Conditional a 4-bit Condition Register Field test is created
 for testing purposes