(no commit message)

diff --git a/openpower/sv/rfc/ls007.mdwn b/openpower/sv/rfc/ls007.mdwn
index 4c3f93e8285aa47a588a8d100d5faf4d9ca81fa0..c19c7b4727bdb470da26200a7d5a6b9308012f0b 100644 (file)
--- 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