Skip to content

Commit

Permalink
Merge pull request riscv#159 from riscv/revert-158
Browse files Browse the repository at this point in the history 
Revert riscv#158, restoring riscv#147
  • Loading branch information
@neelgala
neelgala authored Feb 6, 2023
2 parents 5074b00 + eb42b0b commit bec2564
Show file tree
Hide file tree
Showing 10 changed files with 322 additions and 329 deletions.
4 changes: 2 additions & 2 deletions unratified/rv32_zbpbo
View file
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
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
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

This file was deleted.

1 change: 1 addition & 0 deletions unratified/rv64_zbpbo
View file
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
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

0 comments on commit bec2564

Please sign in to comment.