Skip to content

Remove unratified rv64_zbp dependencies from ratified extensions #401

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

Merged
aswaterman merged 1 commit into from
Jan 13, 2026
Merged

Remove unratified rv64_zbp dependencies from ratified extensions #401

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
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
2 changes: 1 addition & 1 deletion extensions/rv32_zbb
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
$pseudo_op rv_zbkb::pack zext.h.rv32 rd rs1 31..25=0x04 24..20=0 14..12=0x4 6..0=0x33
$pseudo_op rv64_zbp::grevi rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
$pseudo_op rv32_zbkb::rev8.rv32 rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
$pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
6 changes: 3 additions & 3 deletions extensions/rv32_zbkb
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
$pseudo_op rv64_zbp::shfli zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
$pseudo_op rv64_zbp::unshfli unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
$pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
$pseudo_op rv64_zbp::grevi rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
8 changes: 4 additions & 4 deletions extensions/rv32_zk
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
#import zbkb
$pseudo_op rv64_zbp::shfli zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
$pseudo_op rv64_zbp::unshfli unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
$pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
$pseudo_op rv64_zbp::grevi rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
$pseudo_op rv32_zbkb::zip zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
$pseudo_op rv32_zbkb::unzip unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
$pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
$pseudo_op rv32_zbkb::rev8.rv32 rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13

#import zkne
$import rv32_zkne::aes32esmi
Expand Down
8 changes: 4 additions & 4 deletions extensions/rv32_zkn
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,8 +1,8 @@
#import zbkb
$pseudo_op rv64_zbp::shfli zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
$pseudo_op rv64_zbp::unshfli unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
$pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
$pseudo_op rv64_zbp::grevi rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
$pseudo_op rv32_zbkb::zip zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
$pseudo_op rv32_zbkb::unzip unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
$pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
$pseudo_op rv32_zbkb::rev8.rv32 rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13

#import zkne
$import rv32_zkne::aes32esmi
Expand Down
8 changes: 4 additions & 4 deletions extensions/rv32_zks
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
#import zbkb
$pseudo_op rv64_zbp::shfli zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
$pseudo_op rv64_zbp::unshfli unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
$pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
$pseudo_op rv64_zbp::grevi rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
$pseudo_op rv32_zbkb::zip zip rd rs1 31..25=4 24..20=15 14..12=1 6..2=4 1..0=3
$pseudo_op rv32_zbkb::unzip unzip rd rs1 31..25=4 24..20=15 14..12=5 6..2=4 1..0=3
$pseudo_op rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
$pseudo_op rv32_zbkb::rev8.rv32 rev8.rv32 rd rs1 31..20=0x698 14..12=5 6..0=0x13
2 changes: 1 addition & 1 deletion extensions/rv64_zbb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,4 +6,4 @@ rorw rd rs1 rs2 31..25=0x30 14..12=5 6..2=0x0E 1..0=
roriw rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x06 1..0=3
rori rd rs1 31..26=0x18 shamtd 14..12=5 6..2=0x04 1..0=3
$pseudo_op rv64_zbkb::packw zext.h rd rs1 31..25=0x04 24..20=0 14..12=0x4 6..2=0xE 1..0=0x3
$pseudo_op rv64_zbp::grevi rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
2 changes: 1 addition & 1 deletion extensions/rv64_zbkb
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,4 +1,4 @@
$pseudo_op rv64_zbp::grevi rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
$pseudo_op rv64_zbb::rev8 rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
$import rv64_zbb::rolw
$import rv64_zbb::rorw
$import rv64_zbb::roriw
Expand Down
2 changes: 1 addition & 1 deletion extensions/rv64_zk
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
#import zbkb
$pseudo_op rv64_zbp::grevi rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
$pseudo_op rv64_zbb::rev8 rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
$import rv64_zbb::rolw
$import rv64_zbb::rorw
$import rv64_zbb::roriw
Expand Down
2 changes: 1 addition & 1 deletion extensions/rv64_zkn
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
#import zbkb
$pseudo_op rv64_zbp::grevi rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
$pseudo_op rv64_zbb::rev8 rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
$import rv64_zbb::rolw
$import rv64_zbb::rorw
$import rv64_zbb::roriw
Expand Down
2 changes: 1 addition & 1 deletion extensions/rv64_zks
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
#import zbkb
$pseudo_op rv64_zbp::grevi rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
$pseudo_op rv64_zbb::rev8 rev8 rd rs1 31..20=0x6B8 14..12=5 6..0=0x13
$import rv64_zbb::rolw
$import rv64_zbb::rorw
$import rv64_zbb::roriw
Expand Down
2 changes: 1 addition & 1 deletion extensions/rv_zbb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -12,4 +12,4 @@ sext.b rd rs1 31..20=0x604 14..12=1 6..2=0x04 1..0=3
sext.h rd rs1 31..20=0x605 14..12=1 6..2=0x04 1..0=3
rol rd rs1 rs2 31..25=0x30 14..12=1 6..2=0x0C 1..0=3
ror rd rs1 rs2 31..25=0x30 14..12=5 6..2=0x0C 1..0=3
$pseudo_op rv64_zbp::gorci orc.b rd rs1 31..20=0x287 14..12=0x5 6..0=0x13
orc.b rd rs1 31..20=0x287 14..12=0x5 6..0=0x13
2 changes: 1 addition & 1 deletion extensions/rv_zbkb
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,4 +5,4 @@ $import rv_zbb::orn
$import rv_zbb::xnor
pack rd rs1 rs2 31..25=4 14..12=4 6..2=0x0C 1..0=3
packh rd rs1 rs2 31..25=4 14..12=7 6..2=0x0C 1..0=3
$pseudo_op rv64_zbp::grevi brev8 rd rs1 31..20=0x687 14..12=5 6..2=0x4 1..0=0x3
brev8 rd rs1 31..20=0x687 14..12=5 6..2=0x4 1..0=0x3
2 changes: 1 addition & 1 deletion extensions/rv_zk
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ $import rv_zbb::orn
$import rv_zbb::xnor
$import rv_zbkb::pack
$import rv_zbkb::packh
$pseudo_op rv64_zbp::grevi brev8 rd rs1 31..20=0x687 14..12=5 6..2=0x4 1..0=0x3
$pseudo_op rv_zbkb::brev8 brev8 rd rs1 31..20=0x687 14..12=5 6..2=0x4 1..0=0x3

#import zbkc
$import rv_zbc::clmul
Expand Down
2 changes: 1 addition & 1 deletion extensions/rv_zkn
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ $import rv_zbb::orn
$import rv_zbb::xnor
$import rv_zbkb::pack
$import rv_zbkb::packh
$pseudo_op rv64_zbp::grevi brev8 rd rs1 31..20=0x687 14..12=5 6..2=0x4 1..0=0x3
$pseudo_op rv_zbkb::brev8 brev8 rd rs1 31..20=0x687 14..12=5 6..2=0x4 1..0=0x3

#import zbkc
$import rv_zbc::clmul
Expand Down
2 changes: 1 addition & 1 deletion extensions/rv_zks
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -6,7 +6,7 @@ $import rv_zbb::orn
$import rv_zbb::xnor
$import rv_zbkb::pack
$import rv_zbkb::packh
$pseudo_op rv64_zbp::grevi brev8 rd rs1 31..20=0x687 14..12=5 6..2=0x4 1..0=0x3
$pseudo_op rv_zbkb::brev8 brev8 rd rs1 31..20=0x687 14..12=5 6..2=0x4 1..0=0x3

#import zbkc
$import rv_zbc::clmul
Expand Down
8 changes: 4 additions & 4 deletions extensions/unratified/rv64_zbp
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,5 +1,5 @@
grevi rd rs1 31..26=26 shamtd 14..12=5 6..2=0x04 1..0=3
gorci rd rs1 31..26=10 shamtd 14..12=5 6..2=0x04 1..0=3
shfli rd rs1 31..26=2 25=0 shamtw 14..12=1 6..2=0x04 1..0=3
unshfli rd rs1 31..26=2 25=0 shamtw 14..12=5 6..2=0x04 1..0=3
$pseudo_op rv64_zbb::rev8 grevi rd rs1 31..26=26 shamtd 14..12=5 6..2=0x04 1..0=3
$pseudo_op rv_zbb::orc.b gorci rd rs1 31..26=10 shamtd 14..12=5 6..2=0x04 1..0=3
$pseudo_op rv32_zbkb::zip shfli rd rs1 31..26=2 25=0 shamtw 14..12=1 6..2=0x04 1..0=3
$pseudo_op rv32_zbkb::unzip unshfli rd rs1 31..26=2 25=0 shamtw 14..12=5 6..2=0x04 1..0=3
xperm32 rd rs1 rs2 31..25=20 14..12=0 6..2=0x0C 1..0=3