re-encode addi and addis in 16-bit C

diff --git a/openpower/sv/16_bit_compressed.mdwn b/openpower/sv/16_bit_compressed.mdwn
index 270a5ad1157b27a23d847f851fc4e1d3a6ed8996..148a9099d9c6aa2fd3d94bdaafc5785cabc306d6 100644 (file)
--- a/openpower/sv/16_bit_compressed.mdwn
+++ b/openpower/sv/16_bit_compressed.mdwn
@@ -205,8 +205,10 @@ instruction counts from objdump on /bin/bash:
     | 1 | 0  |  sh2    | | 001.0 | RA   | sh  | 1 | sradi.
     | 1 | 1  | 0   0 0 | | 001.0 |      | 000 | 1 | TBD
     | 1 | 1  | 0 | sh2 | | 001.0 | RA   | sh  | 1 | srawi.
-    | 1 | 1  | 1 |     | | 001.0 |      |     | 1 | TBD
-    | 1 | i2 |  RT     | | 010.0 | RA|0 | imm | 1 | addi
+    | 1 | 1  | 1 |     | | 001.0 | 000  | imm | 1 | TBD
+    | 1 | 1  | 1 | i2  | | 001.0 | RA!=0| imm | 1 | addis
+    | 1 |              | | 010.0 | 000  |     | 1 | TBD
+    | 1 | i2           | | 010.0 | RA!=0| imm | 1 | addi
     | 1 | 0  | i2      | | 010.1 | RA   | imm | 1 | cmpdi
     | 1 | 1  | i2      | | 010.1 | RA   | imm | 1 | cmpwi
     | 1 | 0  | i2      | | 011.0 | RT   | imm | 1 | ldspi