From: lkcl <lkcl@web>
Date: Wed, 26 Apr 2023 11:21:34 +0000 (+0100)
Subject: (no commit message)
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=e3c0a32b9de5a8b2e170ee4de3047dad6d69e7f7;p=libreriscv.git

---

diff --git a/openpower/sv/rfc/ls007.mdwn b/openpower/sv/rfc/ls007.mdwn
index 4c3f93e82..c19c7b472 100644
--- a/openpower/sv/rfc/ls007.mdwn
+++ b/openpower/sv/rfc/ls007.mdwn
@@ -75,7 +75,10 @@ GPR, CR-Field, bit-manipulation, ternary, binary, dynamic, look-up-table
 **Notes and Observations**:
 
 * `ternlogi` is like the existing `xxeval` instruction, except operates on GPRs instead
-   of VSRs and doesn't require VSX/VMX. SFS and SFFS are comparatively compromised.
+   of VSRs and does not require VSX/VMX. SFS and SFFS are comparatively compromised.
+* SVP64/VSX may have different semantics from SVP64/SFFS. SVP64 orthogonality is compromised
+  by a *non*-Vector-considerate argument that if equivalent  instructions are in VSX they
+  do not have to be added to SFFS: they do.
 * `crternlogi` is similar to the group of CR Operations (crand, cror etc) which have
    been identified as a Binary Lookup Group, except an 8-bit
    immediate is used instead of a 4-bit one, and up to 4 bits of a CR Field may