From: lkcl <lkcl@web>
Date: Wed, 18 Nov 2020 04:32:40 +0000 (+0000)
Subject: (no commit message)
X-Git-Tag: convert-csv-opcode-to-binary~1732
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4231621ca916369cfba21fe78a6a95c8bbe72c45;p=libreriscv.git

---

diff --git a/openpower/sv/16_bit_compressed.mdwn b/openpower/sv/16_bit_compressed.mdwn
index ac393a9ff..55dc19dc0 100644
--- a/openpower/sv/16_bit_compressed.mdwn
+++ b/openpower/sv/16_bit_compressed.mdwn
@@ -174,7 +174,8 @@ and when Cmaj.min is not 0b001.1.
     | 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 | i2           | | 010.1 | RA   | imm | 1 | addis
+    | 1 | i2!=0        | | 010.1 | RA   | imm | 1 | addis
+    | 1 | 0 | 0    0 0 | | 010.1 |      |     | 1 | TBD
     | 1 | i2           | | 011.0 | RA   | imm | 1 | cmpdi
     | 1 | i2           | | 011.1 | RA   | imm | 1 | cmpwi
     | 1 | i2           | | 100.0 | RT   | imm | 1 | stwi