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.

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

Mark Zihintntl, Zicond, Zfa, Zbkb, and Zvbc as ratified #246

Merged
merged 7 commits into from
May 5, 2024
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
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
File renamed without changes.
2 changes: 1 addition & 1 deletion rv32_zbb
Original file line number Diff line number Diff line change
@@ -1,3 +1,3 @@
$pseudo_op rv_zbe::pack zext.h.rv32 rd rs1 31..25=0x04 24..20=0 14..12=0x4 6..0=0x33
$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 rv64_zbb::rori rori.rv32 rd rs1 31..25=0x30 shamtw 14..12=5 6..2=0x04 1..0=3
File renamed without changes.
2 changes: 1 addition & 1 deletion rv64_zbb
Original file line number Diff line number Diff line change
Expand Up @@ -5,5 +5,5 @@ rolw rd rs1 rs2 31..25=0x30 14..12=1 6..2=0x0E 1..0=
rorw rd rs1 rs2 31..25=0x30 14..12=5 6..2=0x0E 1..0=3
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_zbe::packw zext.h rd rs1 31..25=0x04 24..20=0 14..12=0x4 6..2=0xE 1..0=0x3
$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
2 changes: 1 addition & 1 deletion rv64_zbkb
Original file line number Diff line number Diff line change
Expand Up @@ -3,4 +3,4 @@ $import rv64_zbb::rolw
$import rv64_zbb::rorw
$import rv64_zbb::roriw
$import rv64_zbb::rori
$import rv64_zbe::packw
packw rd rs1 rs2 31..25=4 14..12=4 6..2=0x0E 1..0=3
2 changes: 1 addition & 1 deletion rv64_zk
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ $import rv64_zbb::rolw
$import rv64_zbb::rorw
$import rv64_zbb::roriw
$import rv64_zbb::rori
$import rv64_zbe::packw
$import rv64_zbkb::packw

#import zkne
# Scalar AES - RV64
Expand Down
2 changes: 1 addition & 1 deletion rv64_zkn
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ $import rv64_zbb::rolw
$import rv64_zbb::rorw
$import rv64_zbb::roriw
$import rv64_zbb::rori
$import rv64_zbe::packw
$import rv64_zbkb::packw

#import zkne
# Scalar AES - RV64
Expand Down
2 changes: 1 addition & 1 deletion rv64_zks
Original file line number Diff line number Diff line change
Expand Up @@ -4,4 +4,4 @@ $import rv64_zbb::rolw
$import rv64_zbb::rorw
$import rv64_zbb::roriw
$import rv64_zbb::rori
$import rv64_zbe::packw
$import rv64_zbkb::packw
File renamed without changes.
File renamed without changes.
File renamed without changes.
File renamed without changes.
4 changes: 2 additions & 2 deletions rv_zbkb
Original file line number Diff line number Diff line change
Expand Up @@ -3,6 +3,6 @@ $import rv_zbb::ror
$import rv_zbb::andn
$import rv_zbb::orn
$import rv_zbb::xnor
$import rv_zbe::pack
$import rv_zbe::packh
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
4 changes: 2 additions & 2 deletions rv_zbkx
Original file line number Diff line number Diff line change
@@ -1,2 +1,2 @@
$import rv_zbp::xperm4
$import rv_zbp::xperm8
xperm4 rd rs1 rs2 31..25=20 14..12=2 6..2=0x0C 1..0=3
xperm8 rd rs1 rs2 31..25=20 14..12=4 6..2=0x0C 1..0=3
File renamed without changes.
File renamed without changes.
File renamed without changes.
8 changes: 4 additions & 4 deletions rv_zk
Original file line number Diff line number Diff line change
Expand Up @@ -4,17 +4,17 @@ $import rv_zbb::ror
$import rv_zbb::andn
$import rv_zbb::orn
$import rv_zbb::xnor
$import rv_zbe::pack
$import rv_zbe::packh
$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

#import zbkc
$import rv_zbc::clmul
$import rv_zbc::clmulh

#import zbkx
$import rv_zbp::xperm4
$import rv_zbp::xperm8
$import rv_zbkx::xperm4
$import rv_zbkx::xperm8

#import zknh
# Scalar SHA256 - RV32/RV64
Expand Down
8 changes: 4 additions & 4 deletions rv_zkn
Original file line number Diff line number Diff line change
Expand Up @@ -4,17 +4,17 @@ $import rv_zbb::ror
$import rv_zbb::andn
$import rv_zbb::orn
$import rv_zbb::xnor
$import rv_zbe::pack
$import rv_zbe::packh
$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

#import zbkc
$import rv_zbc::clmul
$import rv_zbc::clmulh

#import zbkx
$import rv_zbp::xperm4
$import rv_zbp::xperm8
$import rv_zbkx::xperm4
$import rv_zbkx::xperm8

#import zknh
# Scalar SHA256 - RV32/RV64
Expand Down
8 changes: 4 additions & 4 deletions rv_zks
Original file line number Diff line number Diff line change
Expand Up @@ -4,17 +4,17 @@ $import rv_zbb::ror
$import rv_zbb::andn
$import rv_zbb::orn
$import rv_zbb::xnor
$import rv_zbe::pack
$import rv_zbe::packh
$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

#import zbkc
$import rv_zbc::clmul
$import rv_zbc::clmulh

#import zbkx
$import rv_zbp::xperm4
$import rv_zbp::xperm8
$import rv_zbkx::xperm4
$import rv_zbkx::xperm8

# Scalar SM4 - RV32, RV64
$import rv_zksed::sm4ed
Expand Down
File renamed without changes.
2 changes: 0 additions & 2 deletions unratified/rv64_zbe

This file was deleted.

3 changes: 0 additions & 3 deletions unratified/rv_zbe

This file was deleted.

2 changes: 0 additions & 2 deletions unratified/rv_zbp
Original file line number Diff line number Diff line change
@@ -1,3 +1 @@
xperm4 rd rs1 rs2 31..25=20 14..12=2 6..2=0x0C 1..0=3
xperm8 rd rs1 rs2 31..25=20 14..12=4 6..2=0x0C 1..0=3
xperm16 rd rs1 rs2 31..25=20 14..12=6 6..2=0x0C 1..0=3
Loading