(no commit message)

diff --git a/openpower/sv/16_bit_compressed.mdwn b/openpower/sv/16_bit_compressed.mdwn
index d30159959533c4a4b55691d013eba83efc44322a..a295ecf2097edc330ee4624145c21a28ee86e0f4 100644 (file)
--- a/openpower/sv/16_bit_compressed.mdwn
+++ b/openpower/sv/16_bit_compressed.mdwn
@@ -370,6 +370,9 @@ Notes:
 
 ### Logical
 
+* 10-bit, ignore bits 0-4 (used by EXTNNN=Compressed)
+* 16-bit: note that bit 1==0 (sub-sub-encoding)
+
     | 16-bit mode   | | 10-bit mode             |
     | 0 | 1 | 2 3 4 | | 567.8 | 9ab | c d e | f |
     | N | 0 |  RT   | | 100.0 | RB  | RA!=0 | M | and
@@ -381,7 +384,7 @@ Notes:
     | N | 0 |  RT   | | 101.0 | RB  | 0 0 0 | M | popcnt
     | N | 0 |  RT   | | 101.1 | RB  | 0 0 0 | M | not
 
-16-bit mode only:
+16-bit mode only (note that bit 1 == 1):
 
     | 0 | 1 | 2 3 4 | | 567.8 | 9ab | c d e | f |
     | N | 1 |  RT   | | 100.0 | RB  | RA!=0 | 0 | TBD
@@ -407,6 +410,9 @@ Notes:
 
 Note here that elwidth overrides (SV Prefix) can be used to select FP16/32/64
 
+* 10-bit, ignore bits 0-4 (used by EXTNNN=Compressed)
+* 16-bit: note that bit 1==0 (sub-sub-encoding)
+
     | 16-bit mode   | | 10-bit mode             |
     | 0 | 1 | 2 3 4 | | 567.8 | 9ab | c d e | f |
     | N |   |  RT   | | 011.1 | RB  | RA!=0 | M | fsub.
@@ -416,7 +422,7 @@ Note here that elwidth overrides (SV Prefix) can be used to select FP16/32/64
     | N | 0 |  RT   | | 110.0 | RB  | 0 0 0 | M |
     | N | 0 |  RT   | | 110.1 | RB  | 0 0 0 | M |
 
-16-bit mode only:
+16-bit mode only (note that bit 1 == 1):
 
     | 0 | 1 | 2 3 4 | | 567.8 | 9ab | c d e | f |
     | N | 1 |  RT   | | 011.1 | RB  | RA!=0 | 0 |