From: lkcl <lkcl@web>
Date: Sat, 18 Sep 2021 17:34:06 +0000 (+0100)
Subject: (no commit message)
X-Git-Tag: DRAFT_SVP64_0_1~68
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=949e0d637c4a8720caba072906dc2b05eca907cd;p=libreriscv.git

---

diff --git a/openpower/sv/cr_ops.mdwn b/openpower/sv/cr_ops.mdwn
index bab74f052..fc67e7cc1 100644
--- a/openpower/sv/cr_ops.mdwn
+++ b/openpower/sv/cr_ops.mdwn
@@ -97,13 +97,15 @@ than the normal 0..VL-1
 
 # Data-dependent fail-first on CR operations
 
-The principle of data-dependent fail-first is that if a Condition Test
-fails then VL (Vector Length) is truncated at that point. In the case
+The principle of data-dependent fail-first is that if, during
+the course of sequentially evaluating an element's Condition Test,
+one such test is encountered which fails,
+then VL (Vector Length) is truncated at that point. In the case
 of Arithmetic SVP64 Operations the Condition Register Field generated from
-Rc=1 is used as the basis for the truncation decision,
-however with CR-based operations that CR Field result to be
+Rc=1 is used as the basis for the truncation decision.
+However with CR-based operations that CR Field result to be
 tested is provided
-by the operation itself.
+*by the operation itself*.
 
 Data-dependent SVP64 Vectorised Operations involving the creation or
 modification of a CR can require an extra two bits, which are not available