aboutsummaryrefslogtreecommitdiff
path: root/unratified/rv64_p
diff options
context:
space:
mode:
Diffstat (limited to 'unratified/rv64_p')
-rw-r--r--unratified/rv64_p81
1 files changed, 81 insertions, 0 deletions
diff --git a/unratified/rv64_p b/unratified/rv64_p
new file mode 100644
index 0000000..db8ec29
--- /dev/null
+++ b/unratified/rv64_p
@@ -0,0 +1,81 @@
+add32 31..25=0b0100000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+radd32 31..25=0b0000000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+uradd32 31..25=0b0010000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kadd32 31..25=0b0001000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+ukadd32 31..25=0b0011000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+sub32 31..25=0b0100001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+rsub32 31..25=0b0000001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+ursub32 31..25=0b0010001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+ksub32 31..25=0b0001001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+uksub32 31..25=0b0011001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+cras32 31..25=0b0100010 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+rcras32 31..25=0b0000010 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+urcras32 31..25=0b0010010 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kcras32 31..25=0b0001010 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+ukcras32 31..25=0b0011010 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+crsa32 31..25=0b0100011 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+rcrsa32 31..25=0b0000011 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+urcrsa32 31..25=0b0010011 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kcrsa32 31..25=0b0001011 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+ukcrsa32 31..25=0b0011011 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+stas32 31..25=0b1111000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+rstas32 31..25=0b1011000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+urstas32 31..25=0b1101000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kstas32 31..25=0b1100000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+ukstas32 31..25=0b1110000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+stsa32 31..25=0b1111001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+rstsa32 31..25=0b1011001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+urstsa32 31..25=0b1101001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kstsa32 31..25=0b1100001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+ukstsa32 31..25=0b1110001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+sra32 31..25=0b0101000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+srai32 31..25=0b0111000 imm5 rs1 14..12=0b010 rd 6..0=0b1110111
+sra32.u 31..25=0b0110000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+srai32.u 31..25=0b1000000 imm5 rs1 14..12=0b010 rd 6..0=0b1110111
+srl32 31..25=0b0101001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+srli32 31..25=0b0111001 imm5 rs1 14..12=0b010 rd 6..0=0b1110111
+srl32.u 31..25=0b0110001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+srli32.u 31..25=0b1000001 imm5 rs1 14..12=0b010 rd 6..0=0b1110111
+sll32 31..25=0b0101010 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+slli32 31..25=0b0111010 imm5 rs1 14..12=0b010 rd 6..0=0b1110111
+ksll32 31..25=0b0110010 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kslli32 31..25=0b1000010 imm5 rs1 14..12=0b010 rd 6..0=0b1110111
+kslra32 31..25=0b0101011 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kslra32.u 31..25=0b0110011 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+smin32 31..25=0b1001000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+umin32 31..25=0b1010000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+smax32 31..25=0b1001001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+umax32 31..25=0b1010001 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kabs32 31..25=0b1010110 24..20=0b10010 rs1 14..12=0b000 rd 6..0=0b1110111
+khmbb16 31..25=0b1101110 rs2 rs1 14..12=0b001 rd 6..0=0b1110111
+khmbt16 31..25=0b1110110 rs2 rs1 14..12=0b001 rd 6..0=0b1110111
+khmtt16 31..25=0b1111110 rs2 rs1 14..12=0b001 rd 6..0=0b1110111
+kdmbb16 31..25=0b1101101 rs2 rs1 14..12=0b001 rd 6..0=0b1110111
+kdmbt16 31..25=0b1110101 rs2 rs1 14..12=0b001 rd 6..0=0b1110111
+kdmtt16 31..25=0b1111101 rs2 rs1 14..12=0b001 rd 6..0=0b1110111
+kdmabb16 31..25=0b1101100 rs2 rs1 14..12=0b001 rd 6..0=0b1110111
+kdmabt16 31..25=0b1110100 rs2 rs1 14..12=0b001 rd 6..0=0b1110111
+kdmatt16 31..25=0b1111100 rs2 rs1 14..12=0b001 rd 6..0=0b1110111
+# smbb32 is missing
+smbt32 31..25=0b0001100 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+smtt32 31..25=0b0010100 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kmabb32 31..25=0b0101101 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kmabt32 31..25=0b0110101 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kmatt32 31..25=0b0111101 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kmda32 31..25=0b0011100 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kmxda32 31..25=0b0011101 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+# kmada32 is missing
+kmaxda32 31..25=0b0100101 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kmads32 31..25=0b0101110 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kmadrs32 31..25=0b0110110 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kmaxds32 31..25=0b0111110 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kmsda32 31..25=0b0100110 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+kmsxda32 31..25=0b0100111 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+smds32 31..25=0b0101100 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+smdrs32 31..25=0b0110100 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+smxds32 31..25=0b0111100 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+sraiw.u 31..25=0b0011010 imm5 rs1 14..12=0b001 rd 6..0=0b1110111
+pkbb32 31..25=0b0000111 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+pkbt32 31..25=0b0001111 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+pktt32 31..25=0b0010111 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
+pktb32 31..25=0b0011111 rs2 rs1 14..12=0b010 rd 6..0=0b1110111