From dc5f9816deb33f1ab476933be4b626671495c193 Mon Sep 17 00:00:00 2001
From: Ved Shanbhogue <ved@rivosinc.com>
Date: Sat, 25 Nov 2023 11:42:10 -0600
Subject: add pseudoops for zicfiss insts

---
 constants.py | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/constants.py b/constants.py
index 1298aa7..0f4e777 100644
--- a/constants.py
+++ b/constants.py
@@ -165,8 +165,10 @@ emitted_pseudo_ops = [
     'srli_rv32',
     'umax32',
     'c_mop_1',
+    'c_sspush_x1',
     'c_mop_3',
     'c_mop_5',
+    'c_sspopchk_x5',
     'c_mop_7',
     'c_mop_9',
     'c_mop_11',
@@ -201,6 +203,9 @@ emitted_pseudo_ops = [
     'mop_r_26',
     'mop_r_27',
     'mop_r_28',
+    'sspopchk_x1',
+    'sspopchk_x5',
+    'ssrdp',
     'mop_r_29',
     'mop_r_30',
     'mop_r_31',
@@ -213,4 +218,6 @@ emitted_pseudo_ops = [
     'mop_rr_5',
     'mop_rr_6',
     'mop_rr_7',
+    'sspush_x1',
+    'sspush_x5',
 ]
-- 
cgit v1.1


From 7316228813ca8dc54f905159f92d76a84c726c8e Mon Sep 17 00:00:00 2001
From: Ved Shanbhogue <ved@rivosinc.com>
Date: Sat, 25 Nov 2023 11:42:46 -0600
Subject: add compressed zicfiss instructions

---
 unratified/rv_c_zicfiss | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 unratified/rv_c_zicfiss

diff --git a/unratified/rv_c_zicfiss b/unratified/rv_c_zicfiss
new file mode 100644
index 0000000..83431c6
--- /dev/null
+++ b/unratified/rv_c_zicfiss
@@ -0,0 +1,5 @@
+# c.sspush x1 -> c.mop.1
+$pseudo_op rv_zcmop::c.mop.N c.sspush.x1   1..0=1 6..2=0 11..7=1  12=0 15..13=3
+
+# c.sspopchk x5 -> c.mop.5
+$pseudo_op rv_zcmop::c.mop.N c.sspopchk.x5 1..0=1 6..2=0 11..7=5  12=0 15..13=3
-- 
cgit v1.1


From e184bfc9d3d047a50d12a28466485510143e62cb Mon Sep 17 00:00:00 2001
From: Ved Shanbhogue <ved@rivosinc.com>
Date: Sat, 25 Nov 2023 11:42:58 -0600
Subject: add zicfiss instructions

---
 unratified/rv_zicfiss | 14 ++++++++++++++
 1 file changed, 14 insertions(+)
 create mode 100644 unratified/rv_zicfiss

diff --git a/unratified/rv_zicfiss b/unratified/rv_zicfiss
new file mode 100644
index 0000000..e46b64d
--- /dev/null
+++ b/unratified/rv_zicfiss
@@ -0,0 +1,14 @@
+ssamoswap.w rd rs1 rs2      aq rl 31..29=2 28..27=1 14..12=2 6..2=0x0B 1..0=3
+ssamoswap.d rd rs1 rs2      aq rl 31..29=2 28..27=1 14..12=3 6..2=0x0B 1..0=3
+
+# sspopchk x1/x5 -> mop.r.28 rd=x0, rs1=x1/x5
+$pseudo_op rv_zimop::mop.r.N  sspopchk.x1 30=1 27=1 26=1 21=0 20=0 31=1 29..28=0 25..22=7 19..15=1 14..12=4 11..7=0 6..2=0x1C 1..0=3
+$pseudo_op rv_zimop::mop.r.N  sspopchk.x5 30=1 27=1 26=1 21=0 20=0 31=1 29..28=0 25..22=7 19..15=5 14..12=4 11..7=0 6..2=0x1C 1..0=3
+
+# ssrdp rd != x0 -> mop.r.28 rd!=x0, rs1=x0
+$pseudo_op rv_zimop::mop.r.N  ssrdp rd_n0 30=1 27=1 26=1 21=0 20=0 31=1 29..28=0 25..22=7 19..15=0 14..12=4         6..2=0x1C 1..0=3
+
+# sspush x1/x5 -> mop.rr.7 rd=x0, rs2=x1/x5, rs1=x0
+$pseudo_op rv_zimop::mop.rr.N sspush.x1   30=1 27=1 26=1 31=1 29..28=0 25=1 24..20=1      19..15=0 14..12=4 11..7=0 6..2=0x1C 1..0=3
+$pseudo_op rv_zimop::mop.rr.N sspush.x5   30=1 27=1 26=1 31=1 29..28=0 25=1 24..20=5      19..15=0 14..12=4 11..7=0 6..2=0x1C 1..0=3
+
-- 
cgit v1.1