From: Luke Kenneth Casson Leighton <lkcl@lkcl.net>
Date: Sun, 8 Apr 2018 00:26:30 +0000 (+0100)
Subject: add P-Ext ISA
X-Git-Tag: convert-csv-opcode-to-binary~5727
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4d66d4c9900081d26aa4a9fe7c84464e629a805b;p=libreriscv.git

add P-Ext ISA
---

diff --git a/simple_v_extension.mdwn b/simple_v_extension.mdwn
index 43b169850..ad8fd3a5d 100644
--- a/simple_v_extension.mdwn
+++ b/simple_v_extension.mdwn
@@ -557,6 +557,18 @@ translates effectively to:
 * ...
 * RV32 LOAD from addr 0x123B to r3
 
+# P-Ext ISA
+
+| Mnemonic           | 16-bit Instruction        |
+| ------------------ | ------------------------- |
+| ADD16 rt, ra, rb   | add                       |
+| RADD16 rt, ra, rb  | Signed Halving add        |
+| URADD16 rt, ra, rb | Unsigned Halving add      |
+| KADD16 rt, ra, rb  | Signed Saturating add     |
+| UKADD16 rt, ra, rb | Unsigned Saturating add   |
+| SUB16 rt, ra, rb   | sub                       |
+| RSUB16 rt, ra, rb  | Signed Halving sub        |
+
 
 # References