Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

updating opcodes of riscv-p-spec - v0.9.11 (c3409c8) #147

Merged
merged 2 commits into from
Dec 8, 2022
Merged

updating opcodes of riscv-p-spec - v0.9.11 (c3409c8) #147

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
b806ffe
Correction of riscv-p-spec opcodes
Dec 1, 2022
b78575e
removed rv_m in rv32_zbpbp + newline additions
Dec 2, 2022
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions unratified/rv32_zbpbo
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
$import rv_zbb::clz
$import rv_zbt::fsr
$pseudo_op rv64_zbt::fsri fsri rd rs1 rs3 26=1 25=0 shamtw 14..12=5 6..2=0x04 1..0=3
$pseudo_op rv64_zbp::grevi rev rd rs1 31..20=0x69F 14..12=5 6..0=0x13

$pseudo_op rv64_zbp::grevi rev rd rs1 31..20=0x69F 14..12=5 6..0=0x13
$pseudo_op rv64_zbp::grevi grevi rd rs1 31..25=0x34 shamtw 14..12=5 6..2=0x04 1..0=3
3 changes: 3 additions & 0 deletions unratified/rv32_zpn
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,3 @@
$import rv_m::mulh
$pseudo_op rv64_zpn::srai.u srai.u 31..25=0b1101010 imm5 rs1 14..12=0b001 rd 6..0=0b1110111
$pseudo_op rv64_zpn::insb insb 31..25=0b1010110 24..22=0b000 imm2 rs1 14..12=0b000 rd 6..0=0b1110111
1 change: 0 additions & 1 deletion unratified/rv32_p → unratified/rv32_zpsf
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,2 @@
add64 31..25=0b1100000 rs2 rs1 14..12=0b001 rd 6..0=0b1110111
sub64 31..25=0b1100001 rs2 rs1 14..12=0b001 rd 6..0=0b1110111

81 changes: 0 additions & 81 deletions unratified/rv64_p
View file
Open in desktop

This file was deleted.

1 change: 1 addition & 0 deletions unratified/rv64_zbpbo
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,2 +1,3 @@
$import rv64_zbt::fsrw
$import rv64_zbp::grevi
$pseudo_op rv64_zbp::grevi rev rd rs1 31..20=0x6BF 14..12=5 6..0=0x13
82 changes: 82 additions & 0 deletions unratified/rv64_zpn
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,82 @@
add32 31..25=0b0100000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
insb 31..25=0b1010110 24..23=0b00 imm3 rs1 14..12=0b000 rd 6..0=0b1110111
pkbb16 31..25=0b0000111 rs2 rs1 14..12=0b001 rd 6..0=0b1110111
pktt16 31..25=0b0010111 rs2 rs1 14..12=0b001 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
smmul 31..25=0b0100000 rs2 rs1 14..12=0b001 rd 6..0=0b1110111
sra32 31..25=0b0101000 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
srai.u 31..26=0b110101 imm6 rs1 14..12=0b001 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
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
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
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
pkbt32 31..25=0b0001111 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
pktb32 31..25=0b0011111 rs2 rs1 14..12=0b010 rd 6..0=0b1110111
kabs32 31..25=0b1010110 24..20=0b10010 rs1 14..12=0b000 rd 6..0=0b1110111
Loading