aboutsummaryrefslogtreecommitdiff
path: root/unratified
diff options
context:
space:
mode:
Diffstat (limited to 'unratified')
-rw-r--r--unratified/rv128_c14
-rw-r--r--unratified/rv128_i24
2 files changed, 0 insertions, 38 deletions
diff --git a/unratified/rv128_c b/unratified/rv128_c
deleted file mode 100644
index 79cd532..0000000
--- a/unratified/rv128_c
+++ /dev/null
@@ -1,14 +0,0 @@
-# quadrant 0
-c.lq rd_p rs1_p c_uimm9lo c_uimm9hi 1..0=0 15..13=1
-$import rv64_c::c.ld
-c.sq rs1_p rs2_p c_uimm9hi c_uimm9lo 1..0=0 15..13=5
-$import rv64_c::c.sd
-
-#quadrant 1
-$import rv64_c::c.addiw
-
-#quadrant 2
-c.lqsp rd_n0 c_uimm10sphi c_uimm10splo 1..0=2 15..13=1
-$import rv64_c::c.ldsp
-c.sqsp c_rs2 c_uimm10sp_s 1..0=2 15..13=5
-$import rv64_c::c.sdsp
diff --git a/unratified/rv128_i b/unratified/rv128_i
deleted file mode 100644
index bb2c10b..0000000
--- a/unratified/rv128_i
+++ /dev/null
@@ -1,24 +0,0 @@
-# RV128I additions to RV64I
-
-addid rd rs1 imm12 14..12=0 6..2=0x16 1..0=3
-sllid rd rs1 31..26=0 shamtd 14..12=1 6..2=0x16 1..0=3
-srlid rd rs1 31..26=0 shamtd 14..12=5 6..2=0x16 1..0=3
-sraid rd rs1 31..26=16 shamtd 14..12=5 6..2=0x16 1..0=3
-
-addd rd rs1 rs2 31..25=0 14..12=0 6..2=0x1E 1..0=3
-subd rd rs1 rs2 31..25=32 14..12=0 6..2=0x1E 1..0=3
-slld rd rs1 rs2 31..25=0 14..12=1 6..2=0x1E 1..0=3
-srld rd rs1 rs2 31..25=0 14..12=5 6..2=0x1E 1..0=3
-srad rd rs1 rs2 31..25=32 14..12=5 6..2=0x1E 1..0=3
-
-lq rd rs1 imm12 14..12=3 6..2=0x03 1..0=3
-ldu rd rs1 imm12 14..12=7 6..2=0x00 1..0=3
-
-sq imm12hi rs1 rs2 imm12lo 14..12=4 6..2=0x08 1..0=3
-
-$pseudo_op rv64_i::slli slli rd rs1 31..27=0 shamtq 14..12=1 6..2=0x04 1..0=3
-$pseudo_op rv64_i::srli srli rd rs1 31..27=0 shamtq 14..12=5 6..2=0x04 1..0=3
-$pseudo_op rv64_i::srai srai rd rs1 31..27=8 shamtq 14..12=5 6..2=0x04 1..0=3
-$pseudo_op rv64_i::slli slli_rv128 rd rs1 31..27=0 shamtq 14..12=1 6..2=0x04 1..0=3
-$pseudo_op rv64_i::srli srli_rv128 rd rs1 31..27=0 shamtq 14..12=5 6..2=0x04 1..0=3
-$pseudo_op rv64_i::srai srai_rv128 rd rs1 31..27=8 shamtq 14..12=5 6..2=0x04 1..0=3